László Pyber,Saveliy V. Skresanov
Abstract:The motion of a graph is the minimal degree of its full automorphism group. Babai conjectured that the motion of a primitive distance-regular graph on $n$ vertices of diameter greater than two is at least $n/C$ for some universal constant $C > 0$, unless the graph is a Johnson or Hamming graph. We prove that the motion of a distance-regular graph of diameter $d \geq 3$ on $n$ vertices is at least $Cn/(\log n)^6$ for some universal constant $C > 0$, unless it is a Johnson, a Hamming or a crown graph. This follows using an improvement of an earlier result by Kivva who gave a lower bound on motion of the form $n/c_d$, where $c_d$ depends exponentially on $d$. As a corollary we derive a quasipolynomial upper bound for the automorphism group of a primitive distance-regular graph acting edge-transitively on the graph and on its distance-2 graph. The proofs use elementary combinatorial arguments and do not depend on the classification of finite simple groups.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the lower bound estimation of the motion (i.e., the minimum degree) of the automorphism group of distance - regular graphs. Specifically, the paper focuses on the motion properties of distance - regular graphs with diameter greater than 2 and attempts to prove a stronger lower bound.
### Background and Motivation
In graph theory, the **motion** of a graph is defined as the minimum degree of its full automorphism group. Babai conjectured that for a primitive distance - regular graph \(G\) with diameter greater than 2, its motion is at least \(\frac{n}{C}\) (where \(n\) is the number of vertices of the graph and \(C\) is some constant), unless the graph is a Johnson graph or a Hamming graph.
### Main Contributions
1. **Main Theorem**:
- The paper proves that for a distance - regular graph \(G\) with diameter \(d\geq3\), if \(G\) is not a Johnson graph, a Hamming graph or a wreath product graph, then its motion is at least \(\frac{Cn}{(\log n)^6}\), where \(C\) is some constant.
- This result improves Kivva's previous result, which gave a lower bound of the form \(\frac{n}{c_d}\), where \(c_d\) grows exponentially with \(d\).
2. **Corollary**:
- As a direct corollary of the above result, the paper obtains a quasipolynomial upper bound on the order of the automorphism group of distance - regular graphs. Specifically, for a primitive distance - regular graph \(G\) with diameter \(d\geq3\), if \(G\) is not a Johnson graph, a Hamming graph or a wreath product graph, then the order of its automorphism group does not exceed \(n^{C (\log n)^9}\), where \(C\) is some constant.
### Technical Details
- **Method**: The paper uses basic combinatorial argument methods without relying on the Classification of Finite Simple Groups (CFSG). The main tools include the Bang - Koolen theorem, the Metsch theorem and the generalization of Babai - Szegedy's edge - expansion bound for coherent configurations.
- **Key Steps**:
- Through the Bang - Koolen theorem and the Metsch theorem, some structural properties of distance - regular graphs are proved.
- Using these structural properties, the lower bound on the motion is derived.
- Through Wielandt's thickness bound, the upper bound on the order of the automorphism group is further obtained.
### Conclusion
The paper successfully improves Kivva's result, provides a stronger lower bound on the motion of distance - regular graphs, and obtains a quasipolynomial upper bound on the order of the automorphism group. These results are of great significance for understanding the symmetry of distance - regular graphs and the structure of their automorphism groups.