The non-existence of some Moore polygons and spectral Moore bounds

TL;DR

This paper investigates the existence and bounds of Moore polygons in regular graphs, providing new nonexistence results, exact values for specific parameters, and insights into the second eigenvalue constraints of such graphs.

Contribution

It proves new nonexistence results for Moore polygons with certain parameters and determines new exact values of the maximum order for specific regular graphs.

Findings

Proved nonexistence of Moore polygons with certain parameters.

Determined that v(4, √2) = 14 and v(5, √2) = v(5, √5 - 1) = 16.

Established bounds on the second eigenvalue for 5-regular graphs, identifying the unique extremal graph.

Abstract

In this paper, we study the maximum order $v(k,\theta)$ of a connected $k$-regular graph whose second largest eigenvalue is at most $\theta$. From Alon-Boppana and Serre, we know that $v(k,\theta)$ is finite when $\theta < 2\sqrt{k-1}$ while the work of Marcus, Spielman, and Srivastava implies that $v(k,\theta)$ is infinite if $\theta\geq 2\sqrt{k-1}$. Cioab\u{a}, Koolen, Nozaki, and Vermette obtained a general upper bound on $v(k, \theta)$ via Nozaki's linear programming bound and determined many values of $v(k,\theta)$. The graphs attaining this bound are distance-regular and are called Moore polygons. Damerell and Georgiacodis proved that there are no Moore polygons of diameter $6$ or more. For smaller diameters, there are infinitely many Moore polygons. We complement these results by proving two nonexistence results for Moore polygons with specific parameters. We also determine new values of $v(k,\theta)$: $v(4, \sqrt{2}) = 14$ and $v(5, \sqrt{2}) = v(5,\sqrt{5}-1)=16$. The former is achieved by the co-Heawood graph, and the latter by the folded $5$-cube. We verify that any connected $5$-regular graph with second eigenvalue $\lambda_2$ exceeding $1$ satisfies $\lambda_2 \geq \sqrt{5} - 1$, and that the unique $5$-regular graph attaining equality in this bound has $10$ vertices. We prove a stronger form of a 2015 conjecture of Kolokolnikov related to the second eigenvalue of cubic graphs of given order, and observe that other recent results on the second eigenvalue of regular graphs are consequences of the general upper bound theorem on $v(k,\theta)$ mentioned above.