Homemath.COarXiv:2605.29457

Diameter Thresholds of Random Cayley Graphs

math.CO2026-05v1license

Abstract

Given a group GG, the model G(G,p)\mathcal{G}(G,p) denotes the probability space of all Cayley graphs of GG where each element of GG is included in the generating set independently at random with probability pp. In this article, we investigate the threshold probabilities for the diameter of random graphs in this model. Specifically, let dN=(1γ)logN2loglogNd_N = (1-\gamma)\sqrt{\frac{\log{N}}{2\log{\log{N}}}}, where γ(0,1)\gamma \in (0,1) is any fixed real number. We show that for any ε>0\varepsilon > 0, any family of groups GkG_k of order NkN_k for which NkN_k \to \infty, and any integer 2ddNk2 \leqslant d\leqslant d_{N_k}, a graph ΓkG(Gk,p)\Gamma_k \in \mathcal{G}(G_k,p) with high probability has diameter at most dd if p(1+ε)d!logNkNkd1dp \geqslant \sqrt[d]{(1+\varepsilon) d! \frac{\log{N_k}}{N_k^{d-1}}}, and diameter greater than dd if p1ε2dlogNkNkd1dp \leqslant \sqrt[d]{\frac{1-\varepsilon}{2^d} \frac{\log{N_k}}{N_k^{d-1}}}. Up to a constant factor, these thresholds are similar to those for the usual Erd\H{o}s-R\'enyi random graphs. However, the precise thresholds in our model depend on the underlying family of groups. We provide specific examples of group families demonstrating that both of our bounds are best possible.

Cite

@article{arxiv.2605.29457,
  title  = {Diameter Thresholds of Random Cayley Graphs},
  author = {Demetres Christofides and Klas Markström and Christina Savvidou},
  journal= {arXiv preprint arXiv:2605.29457},
  year   = {2026}
}