Code equivalence and group isomorphism

  title={Code equivalence and group isomorphism},
  author={L{\'a}szl{\'o} Babai and Paolo Codenotti and Joshua A. Grochow and Youming Qiao},
  booktitle={SODA '11},
The isomorphism problem for groups given by their multiplication tables has long been known to be solvable in time nlog n+O(1). The decades-old quest for a polynomial-time algorithm has focused on the very difficult case of class-2 nilpotent groups (groups whose quotient by their center is abelian), with little success. In this paper we consider the opposite end of the spectrum and initiate a more hopeful program to find a polynomial-time algorithm for semisimple groups, defined as groups… 
Polynomial-Time Isomorphism Test for Groups with No Abelian Normal Subgroups - (Extended Abstract)
It is demonstrated that the obstacle to efficient algorithms is the presence of abelian normal subgroups; it is shown by giving a polynomial-time isomorphism test for groups without nontrivial abelians subgroups.
Algorithms for Group Isomorphism via Group Extensions and Cohomology
This work solves GPI in nO(log log n) time for central-radical groups, and in polynomial time for several prominent subclasses of central- Radical groups, which is the first time that a nontrivial algorithm with worst-case guarantees has tackled both aspects of GPI-actions and cohomology-simultaneously.
On the Complexity of Group
The group isomorphism problem consists in deciding whether two groups G and H given by their multiplication tables are isomorphic. An algorithm for group isomorphism attributed to Tarjan runs in time
Beating the Generator-Enumeration Bound for Solvable-Group Isomorphism
A new object is defined that generalizes the notion of a composition series with small factors but exists even when the composition factors are large and is obtained by constructing graphs that represent these objects and running Luks’ algorithm for solvable-group isomorphism.
Polynomial-time Isomorphism Test for Groups with Abelian Sylow Towers
A polynomial-time algorithm to test isomorphism for the largest class of solvable groups yet, namely groups with abelian Sylow towers, and develops an algorithm for a parameterized versin of the graph-isomorphism-hard setwise stabilizer problem, which may be of independent interest.
Beating the generator-enumeration bound for p-group isomorphism
454 Polynomial-time Isomorphism Test for Groups with Abelian Sylow Towers
We consider the problem of testing isomorphism of groups of order n given by Cayley tables. The trivial nlogn bound on the time complexity for the general case has not been improved over the past
Breaking the nlog n Barrier for Solvable-Group Isomorphism
This work presents the first significant improvement over n^(log n) by showing that group isomorphicism is n^((1 / 2) log_p n + O(1)) Turing reducible to composition-series isomorphism where p is the smallest prime dividing the order of the group.
On the Complexity of Group Isomorphism
  • Fabian Wagner
  • Mathematics
    Electron. Colloquium Comput. Complex.
  • 2011
This work introduces a different reduction for isomorphism testing, where the valence of the graphs, say X(G) and X(H), and the complexity of the isomorphicism test is closely related to the structure of the groups.
Classical and Quantum Algorithms for Testing Equivalence of Group Extensions
This paper shows that equivalence of central extensions can be computed efficiently on a classical computer when the groups are small enough to be given by their multiplication tables, and demonstrates a new application of the hidden subgroup problem for general abelian groups.


Linear time algorithms for Abelian group isomorphism and related problems
  • T. Kavitha
  • Mathematics, Computer Science
    J. Comput. Syst. Sci.
  • 2007
Computational complexity and the classification of finite simple groups
It appears that unless there is another radical breakthrough in ISO, independent of the previous one, the simple groups classification is an indispensable tool for further developments.
Efficient Isomorphism Testing for a Class of Group Extensions
This paper presents an efficient algorithm solving the group isomorphism problem for all the groups of this class such that the order of A is coprime with m, and runs in time almost linear in the orders of the input groups.
Polynomial-time theory of matrix groups
The order of the largest semisimple quotient can be determined in randomized polynomial time (no number theory oracles required and no restriction on parity), and a natural problem is obtained that belongs to BPP and is not known to belong either to RP or to coRP.
An O(n) Algorithm for Abelian p-Group Isomorphism and an O(n log n) Algorithm for Abelian Group Isomorphism
  • N. Vikas
  • Mathematics
    J. Comput. Syst. Sci.
  • 1996
It is shown that if the groups are Abelianp-groups then isomorphism can be determined in timeO(n) and that the elementary divisor sequence for an Abelian group can been determined inTimeO(nlogn) and for a Abelian p-group it can beetermined in time O(n).
Groups St Andrews 1997 in Bath, I: A polynomial-time theory of black box groups I
It is demonstrated that the “nonabelian normal structure” of matrix groups over finite fields can be mapped out in great detail by polynomial-time randomized (Monte Carlo) algorithms.
Isomorphism of graphs of bounded valence can be tested in polynomial time
  • E. Luks
  • Mathematics
    21st Annual Symposium on Foundations of Computer Science (sfcs 1980)
  • 1980
Testing isomorphism of graphs of valence ≤ t is polynomial-time reducible to the color automorphism problem for groups with small simple sections, and some results on primitive permutation groups are used to show that the algorithm runs inPolynomial time.
Polynomial-time algorithms for permutation groups
It is demonstrated that the normal closure of a subgroup can be computed in polynomial time, and that this proceaure can be used to test a group for solvability.
Is code equivalence easy to decide?
If one could find an efficient (i.e., polynomial-time) algorithm for code equivalence, then one could settle the long-standing problem of determining whether there is an efficient algorithm for solving graph isomorphism.
On the nlog n isomorphism technique (A Preliminary Report)
It is shown that Tarjan's technique generalizes to isomorphism of quasigroups, latin squares, Steiner systems, and many graphs generated from these combinatorial objects.