Mathematics > Group Theory
[Submitted on 23 Feb 2015 (this version), latest version 30 Sep 2017 (v3)]
Title:Adjoint representations of black box groups ${\rm PSL}_2(\mathbb{F}_q)$
View PDFAbstract:In the area of computational group theory known as "black box group theory", the following problem by Babai and Beals remained unsolved since 1999: Given a black-box group known to be isomorphic to ${\rm PSL}_2(p^k)$, find an element of order $p$.
We present a probabilistic algorithm that solves this problem in odd characteristic $p$. The running time of the algorithm is polynomial in $k$ and $\log p$ if $p$ is known, or linear in $p$ and polynomial in $k$ if $p$ is not known. Our algorithm also finds the characteristic of the underlying field when it is not given as an input.
More generally, given a global exponent for a black box group $\mathbf{Y}$ (that is, an integer $E$ such that $y^E=1$ for all $x \in \mathbf{Y}$) encrypting ${\rm PSL}_2$ over some finite field of unknown odd characteristic $p$, we construct, in probabilistic time polynomial in $\log E$,
1. a black box group $\mathbf{X}$ encrypting ${\rm SO}_3$ over the same field as $\mathbf{Y}$ and an effective embedding $\mathbf{Y} \hookrightarrow \mathbf{X}$;
2. a black box field $\mathbf{K}$, and
3. polynomial time, in $\log E$, isomorphisms ${\rm SO}_3(\mathbf{K}) \longrightarrow \mathbf{X} \longrightarrow {\rm SO}_3(\mathbf{K})$.
Moreover, if $p$ is known and $\mathbb{F}$ is a standard explicitly given finite field isomorphic to the field on which $\mathbf{Y}$ is defined, then we construct, in time polynomial in $\log E$, isomorphism ${\rm SO}_3(\mathbb{F})\longrightarrow {\rm SO}_3(\mathbf{K})$. We implemented our algorithms on GAP for groups such as ${\rm PSL}_2(\mathbb{F})$ for $|\mathbb{F}|=5463458053$ (a prime number).
Submission history
From: Şükrü Yalçinkaya [view email][v1] Mon, 23 Feb 2015 10:26:22 UTC (37 KB)
[v2] Tue, 4 Apr 2017 16:08:21 UTC (42 KB)
[v3] Sat, 30 Sep 2017 11:20:31 UTC (42 KB)
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.