{"id":"arxiv/2607.26028","url":"https://arxiv.org/abs/2607.26028","tags":["math.CO","cs.DM","quant-ph"],"score":0,"title":"A Spectral Proof of the Hypergraph Moore Bound","domain":"math.CO","source":"arxiv","authors":["Alexander Schmidhuber","Matthew B. Hastings"],"reviews":0,"subject":"math.CO","summary":"A nonempty subfamily of a $k$-uniform hypergraph is an \\emph{even cover} if every vertex lies in an even number of its hyperedges; for $k=2$ these are edge-disjoint unions of cycles, so the minimum size of an even cover is the natural hypergraph analogue of girth. We prove Feige's 2008 conjecture on the hypergraph Moore bound: there are absolute constants $A$ and $C$ (independent of $k$) such that for every $k\\ge3$ and every $1\\le\\ell\\le n$, any $k$-uniform hypergraph on $n$ vertices with more than $C\\,n^{k/2}/\\ell^{k/2-1}$ hyperedges contains an even cover of size at most…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-28","reactions":{}}