Abstract:We show that the Graph Isomorphism (GI) problem and the more general problems of String Isomorphism (SI) andCoset Intersection (CI) can be solved in quasipolynomial(exp((logn)O(1))) time. The best previous bound for GI was exp(O( √n log n)), where n is the number of vertices (Luks, 1983); for the other two problems, the bound was similar, exp(O~(√ n)), where n is the size of the permutation domain (Babai, 1983). Following the approach of Luks’s seminal 1980/82 paper, the problem we actually address is SI. This problem takes two strings of length n and a permutation group G of degree n (the “ambient group”) as input (G is given by a list of generators) and asks whether or not one of the strings can be transformed into the other by some element of G. Luks’s divide-and-conquer algorithm for SI proceeds by recursion on the ambient group. We build on Luks’s framework and attack the obstructions to efficient Luks recurrence via an interplay between local and global symmetry. We construct group theoretic “local certificates” to certify the presence or absence of local symmetry, aggregate the negative certificates to canonical k-ary relations where k = O(log n), and employ combinatorial canonical partitioning techniques to split the k-ary relational structure for efficient divide-and- conquer. We show that in a well–defined sense, Johnson graphs are the only obstructions to effective canonical partitioning. The central element of the algorithm is the “local certificates” routine which is based on a new group theoretic result, the “Unaffected stabilizers lemma,” that allows us to construct global automorphisms out of local information.

Parameters of Quotient-Polynomial Graphs

Parameters of Quotient-Polynomial Graphs

Quotients of graph operators by symmetry representations

Functional graphs of generalized cyclotomic mappings of finite fields

A parametrization of nonassociative cyclic algebras of prime degree

A Family of Symmetric Graphs with Complete Quotients.

Bivariate $P$-polynomial association schemes

Some graph theoretical characterizations of positive definite symmetric quasi-Cartan matrices

The critical polynomial of a graph

Graph parameters, implicit representations and factorial properties

Multivariate P- and/or Q-polynomial association schemes

On the $Q$-polynomial property of the full bipartite graph of a Hamming graph

Integral Cayley graphs over a finite symmetric algebra

Graphical Symplectic Algebra

Towards a polynomial basis of the algebra of peak quasisymmetric functions

On distance graphs in rational spaces

$Q$-polynomial distance-regular graphs and a double affine Hecke algebra of rank one

Polynomial correspondences expressible as maps of $d$-tuples

Symbol length in positive characteristic

Graph isomorphism in quasipolynomial time [extended abstract]

Distinguishing and Reconstructing Directed Graphs by their -Polynomials