Fifty shades of black

Let X be a black box group encrypting a finite group G and assume that each of k tuples of strings

generate X in the sense that the projections \pi\left(x^{(i)}_1\right),\dots,\pi\left(x^{(i)}_m)\right) generate G. Assume that the map

can be extended to an automorphism a \in {\rm Aut}\, G of order k. The black box group Y generated in X^k by the strings

encrypts G via the canonical projection on the first component

and possess an additional unary operation, cyclic shift

which encrypts the automorphism a of G in the sense that the following diagram commutes:

Let X be a black box group encrypting a group G. Assume that G contains subgroups G_1,\dots, G_l invariant under an automorphism \alpha \in \mathop{{\rm Aut}}G and that these subgroups are encrypted in X as black boxes X_i, i = 1,\dots, l, supplied with morphisms \phi_i: X_i \longrightarrow X_i which encrypt restrictions \alpha\!\mid_{G_i} of \alpha on G_i.

Finally, assume \langle G_i, i=1,\dots,l\rangle=G.

Then we can construct, in polynomial in l(X) time, a morphism \phi: X \longrightarrow X which encrypts \alpha.

[suko12A, Theorem 1.2] Let X be a black box group encrypting ( {\rm{P}} ) {\rm{SL}}_2(q), where q \equiv 1 \bmod 4 and q=p^k for some k\geqslant 1. If p\neq 5,7, then there is a Monte-Carlo algorithm which constructs in X strings u, h, n such that there exists an (abstract) isomorphism

with

where t is some primitive element of the field \mathbb{F}_q. The running time of the algorithm is quadratic in p and polynomial in \log q.

If p=5 or 7, and k has a small divisor \ell, the same result holds where the running time is polynomial in \log q and quadratic in p^\ell.

(Informal formulation) Let X be as in Theorem 2.3. Then there is a Monte-Carlo algorithm which constructs a map

that corresponds to the Frobenius automorphism a \mapsto a^p of the field \mathbb{F}_q and leaves invariant subgroups U and T and the elements u and w of X.

The running time of the algorithm is quadratic in p and polynomial in \log q.

Let X be a black box group encrypting a simple Lie type group G=G(q) of untwisted type over a field of order q=p^k for p odd (and known) and k >1. Then we can construct, in time polynomial in \log |G|,

• a black box Y encrypting G,

• a morphism X \longleftarrow Y, and

• a morphism \phi:Y \longrightarrow Y which encrypts a Frobenius automorphism of G induced by the map x \mapsto x^p on the field \mathbb{F}_q.

Let X be a black box group encrypting {\rm{SL}}_2(2^n) for some (perhaps unknown) n. We assume that we are given an involution u \in X.

Then there exists a Monte-Carlo algorithm which constructs, in polynomial in l(X) time,

• a black box field \mathbb{U} encrypting \mathbb{F}_{2^n}, and

• a polynomial in l(X) time isomorphism

  \Phi: {\rm{SL}}_2(\mathbb{U}) \longrightarrow X.

[suko12B] Let X be a black box group encrypting the group {\rm{SL}}_n(q^2) for q odd, q=p^k for some k (perhaps unknown) and a known prime number p. Then we can construct, in time polynomial in \log q and n, a black box group Y encrypting the group {\rm{SU}}_n(q) and a morphism Y \hookrightarrow X. If in addition n is even and n =2m, we can do the same with a black box group Z encrypting {\rm{Sp}}_{2m}(q) and a morphism Z \hookrightarrow Y.

[suko12B] Let X be a black box group encrypting the group {\rm{SL}}_8(F) for a field F of (unknown) odd order q = p^k but known p= {\rm char}\,F. Then we can construct, in time polynomial in \log |F|, a chain of black box groups and morphisms

that encrypts the chain of canonical embeddings

Let X be a black box group encrypting the group G\cong ( {\rm{P}} ) {\rm{SL}}_2(q), where q \equiv 1 \bmod 4 and q=p^k for some k\geqslant 1 (perhaps unknown). If p\neq 5,7, then there is a Monte-Carlo algorithm which constructs, in time quadratic in p and polynomial in \log q,

• a black box field \mathbb{K} encrypting \mathbb{F}_{q}, and

• a quadratic in p and polynomial in \log q time isomorphism

  \Phi: (P)SL_2(\mathbb{K}) \longrightarrow X.

If p=5 or 7, and k has a small divisor \ell, the same result holds where the running time is polynomial in \log q and quadratic in p^\ell.

[suko12E] Let X be a black box group encrypting one of the classical groups {\rm G}(q) \simeq ( {\rm{P}} ) {\rm{SL}}_{n+1}(q), ( {\rm{P}} ) {\rm{Sp}}_{2n}(q), {\rm{\Omega }}_{2n+1}(q) or {\rm{(P) \Omega }}_{2n}^+(q), where q \equiv 1 \bmod 4 and q=p^k for some k\geqslant 1 (k and the type of the group are perhaps unknown).

If p\neq 5,7, then there is a Monte-Carlo algorithm which constructs, in time quadratic in p and polynomial in \log q,

• a black box field \mathbb{K} encrypting \mathbb{F}_{q}, and

• a quadratic in p and polynomial in \log q time isomorphism

  \Phi: {\rm G}(\mathbb{K}) \longrightarrow X.

If p=5 or 7, and k has a small divisor \ell, the same result holds where the running time is polynomial in \log q and quadratic in p^\ell.

Let X be a black box group encrypting an untwisted Chevalley group {\rm G}(2^n) (with n known) and U < X an unipotent long root subgroup given as a black box subgroup of X. Then there is a polynomial time, in n and Lie rank of {\rm G}(2^n), Monte-Carlo algorithm which constructs a black box for N_X(U) and a black box \mathbb{U} for the field \mathbb{F}_{2^n} interpreted in the action of N_X(U) on U, with U becoming the additive group of the field \mathbb{U}.