Abstract:In this paper, we prove results on the relationship between the complexity of the group and color isomorphism problems. The difficulty of color isomorphism problems is known to be closely linked to the the composition factors of the permutation group involved. Previous works are primarily concerned with applying color isomorphism to bou nded degree graph isomorphism, and have therefore focused on the alternating composit ion factors, since those are the bottleneck in the case of graph isomorphism. We consider the color isomorphism problem with composition factors restricted to those other than the alternating group, show that group isomorphism reduces in n^(O(log log n)) time to this problem, and, conversely, that a special case of this color isomorphism problem reduces to a slight generalization of group isomorphism. We then sharpen our results by identifying the projective special linear group as the main obstacle to faster algorithms for group isomorphism and prove that the aforementioned reduc tion from group isomorphism to color isomorphism in fact produces only cyclic and projective special linear factors. Our results demonstrate that, just as the alternatin g group was a barrier to faster algorithms for graph isomorphism for three decades, the projective special linear group is an obstacle to faster algorithms for group isomorphism.

Nearly-linear solution to the word problem for 3-manifold groups

Fixed Subgroups of 3-Manifold Group Automorphisms

The Word Problem is Solvable for 3-free Artin groups in Quadratic Time

On an Algebraic Formula and Applications to Group Action on Manifolds

The 2-rank of finite groups acting on hyperelliptic 3-manifolds

On the length of nonsolutions to equations with constants in some linear groups

The groups $Γ_{n}^{4}$, braids, and $3$-manifolds

Finite quotients of 3-manifold groups

Linear average-case complexity of algorithmic problems in groups

Algorithms in 3-manifold theory

Prosoluble subgroups of the profinite completion of the fundamental group of compact 3-manifolds

Complexity of some algorithmic problems in groups: a survey

Residual properties of 3-manifold groups I: Fibered and hyperbolic 3-manifolds

The generalised word problem in hyperbolic and relatively hyperbolic groups

Algorithmic detection and description of hyperbolic structures on closed 3-manifolds with solvable word problem

Spectral gap of scl in graphs of groups and $3$-manifolds

Complexity of word problems for HNN-extensions

Triangulated 3-Manifolds: Combinatorics and Volume Optimisation

The combinatorics of Farey words and their traces

A free action of a finite group on 3-sphere equivalent to a linear action

On the Group and Color Isomorphism Problems