Year: 2026
Type: preprint
Abstract: The Murty-Simon conjecture states that every $n$-vertex diameter-$2$-critical graph has at most $\lfloor n^2/4 \rfloor$ edges, with equality only for the balanced complete bipartite graph. Using regularity methods, Füredi proved this for all sufficiently large $n$ (specifically, $n$ greater than a tower of $2$'s of height roughly $10^{14}$). We present a proof of the Murty-Simon conjecture that works for all $n$. A proof of the $\lfloor n^2/4 \rfloor$ bound was originally found by AI; we simplified this proof and extended its ideas to get a proof of the full conjecture.
Source: arXiv (Cornell University)
Authors: Das, Sanjana, Fox, Jacob
Institution: Stanford University
Language: English
Subfield: Discrete Mathematics and Combinatorics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Funder: National Science Foundation
OpenAlex ID: W7224880501