TOPICS
Search

McKay-Miller-Širáň Graph


The McKay-Miller-Širáň graph H_q is a regular graph with 2q^2 vertices for each prime power q>=3. The family arose in the study of the degree-diameter problem for graph diameter 2 (McKay et al. 1998, Li 2026).

The construction uses two copies of F_q^2, where F_q is the finite field of order q. The cross edges join (x,a) in the first copy to (y,a+xy) in the second for x,y,a in F_q. Within each copy, edges join vertices with the same first coordinate whose second coordinates differ by an element of a symmetric difference set. Write q=4l+delta, with delta=-1, 0, or 1, and let xi generate the multiplicative group of F_q. For odd q, the difference sets are Y union (-Y) and Y^' union (-Y^'), where Y={xi^(2j):0<=j<l} and Y^'={xi^(2j+1):0<=j<l} for delta=1 or Y^'={1} union {xi^(2j-1):1<=j<l} for delta=-1. For even q they are {xi^(2j):0<=j<2l} and {xi^(2j+1):0<=j<2l}. The vertex degree is (3q-delta)/2. When delta=1, the graph is vertex-transitive (Li 2026, §2). For example, H_5 is the Hoffman-Singleton graph (McKay et al. 1998).

Li (2026, Theorem 1.2) constructed at least [(q-1)/2] pairwise edge-disjoint Hamiltonian cycles for every prime power q>=3, where [·] is the ceiling function.


See also

Degree-Diameter Problem, Hamiltonian Cycle, Hoffman-Singleton Graph

Explore with Wolfram|Alpha

References

Li, X. "Edge-Disjoint Hamilton Cycles in the McKay-Miller-Širáň Graphs H_q for Every Prime Power q>=3." 9 Nov 2026. https://arxiv.org/abs/2611.12355v1.McKay, B. D.; Miller, M.; and Širáň, J. "A Note on Large Graphs of Diameter Two and Given Maximum Degree." J. Combin. Th. Ser. B 74, 110-118, 1998. https://doi.org/10.1006/jctb.1998.1828.

Cite this as:

Weisstein, Eric W. "McKay-Miller-Širáň Graph." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/McKay-Miller-SiranGraph.html

Subject classifications