Cayley-graph diameter and minimal-generator conjecture

From papers

Let GG be a finite group, let SS be a generating set, let nn denote the group order, let gming_{\mathrm{min}} be the minimal number of generators of GG, and let D(Cay(G,S))\mathfrak{D}(\operatorname{Cay}(G,S)) denote the graph diameter. Cayley-graph diameter and minimal-generator conjecture. If

D(Cay(G,S))ngmin,\mathfrak{D}(\operatorname{Cay}(G,S))\geq \frac{n}{g_{\mathrm{min}}},

then G=(Z/2Z)kG=(\mathbb{Z}/2\mathbb{Z})^k and g=kg=k for k=2,3,4k=2,3,4. Moreover, the value D(Cay(G,S))gmin/n\mathfrak{D}(\operatorname{Cay}(G,S))\,g_{\mathrm{min}}/n is directly related to some group property. The conjecture is based on computations of small finite groups, where the corresponding upper bound had only the stated exceptions and equality occurred only for the listed elementary abelian 22-groups. The group property governing the normalized value is not identified in the source.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Rashid Barket, Enrico Grimaldi, Yacoub Hendi, Edward Hirst, Adam Onus and Harmeet Singh, “Learning the Graphical Nature of Symmetries”, arXiv:2607.12026 (2026).

Additional references

3 papers in this index state this conjecture (2019–2026). The statement above is taken from the most recent of them; the others are arXiv:2303.11996, arXiv:1903.10613.

Solutions 0

No solutions have been posted yet.