English

Asymptotically attaining the Moore bound

Combinatorics 2026-08-04 v1 Discrete Mathematics

Abstract

For positive integers dd and kk, let nk(d)n_k(d) be the maximum order of a graph of maximum degree at most dd and diameter at most kk. We prove that limdnk(d)dk=1 \lim_{d\to\infty}\frac{n_k(d)}{d^k}=1 for every fixed kk, thereby resolving the asymptotic degree-diameter problem for fixed diameter and proving a conjecture of Bollob\'as. The lower bound comes from regular graphs Hk,qH_{k,q}, indexed by prime powers qq, whose vertices are partial flags in Fq2k+1\mathbb{F}_q^{\,2k+1}. These graphs have diameter kk and order V(Hk,q)=(1+o(1))Δ(Hk,q)k|V(H_{k,q})| =(1+o(1))\Delta(H_{k,q})^k. We also construct, for every fixed 2\ell \ge 2, graphs of maximum degree at most dd and line-graph diameter at most \ell with (1+o(1))d(1+o(1))d^{\ell} edges.

Cite

@article{arxiv.2608.03965,
  title  = {Asymptotically attaining the Moore bound},
  author = {Wouter Cames van Batenburg and Samuel Korsky},
  journal= {arXiv preprint arXiv:2608.03965},
  year   = {2026}
}

Comments

$7+ε$ pages