On the automorphism groups of strongly regular graphs II

We derive strong constraints on the automorphism groups of strongly regular (SR) graphs, resolving old problems motivated by Peter Cameron's 1981 description of large primitive groups.Trivial SR graphs are the disjoint unions of cliques of equal size and their complements. Graphic SR graphs are the line-graphs of cliques and of regular bipartite cliques (complete bipartite graphs with equal parts) and their complements.We conjecture that the order of the automorphism group of a non-trivial, non-graphic SR graph is quasi-polynomially bounded, i.e., it is at most exp((logn)C) for some constant C, where n is the number of vertices.While the conjecture remains open, we find surprisingly strong bounds on important parameters of the automorphism group. In particular, we show that the order of every automorphism is O(n8), and in fact O(n) if we exclude the line-graphs of certain geometries. We prove the conjecture for the case when the automorphism group is primitive; in this case we obtain a nearly tight n1+log2n bound.We obtain these bounds by bounding the fixicity of the automorphism group, i.e., the maximum number of fixed points of non-identity automorphisms, in terms of the second largest (in magnitude) eigenvalue and the maximum number of pairwise common neighbors of a regular graph. We connect the order of the automorphisms to the fixicity through an old lemma by Ákos Seress and the author.We propose to extend these investigations to primitive coherent configurations and offer problems and conjectures in this direction. Part of the motivation comes from the complexity of the Graph Isomorphism problem

3-manifold groups are virtually residually p

Given a prime $p$, a group is called residually $p$ if the intersection of its $p$-power index normal subgroups is trivial. A group is called virtually residually $p$ if it has a finite index subgroup which is residually $p$. It is well-known that finitely generated linear groups over fields of characteristic zero are virtually residually $p$ for all but finitely many $p$. In particular, fundamental groups of hyperbolic 3-manifolds are virtually residually $p$. It is also well-known that fundamental groups of 3-manifolds are residually finite. In this paper we prove a common generalization of these results: every 3-manifold group is virtually residually $p$ for all but finitely many $p$. This gives evidence for the conjecture (Thurston) that fundamental groups of 3-manifolds are linear groups