Skip to content

A Spectral Proof of the Hypergraph Moore Bound

Jul 2026 · arXiv.org · Vol abs/2607.26028 · 1 citation · 14 references
Mathematics Computer Science Physics

Abstract

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 $A\,\ell\log(en/\ell)$. Our proof is based on sharp spectral bounds for Kikuchi matrices, which we expect to be of independent interest; we apply them to the refutation of random constraint satisfaction problems in a companion paper.

View source

Similar papers

Preprint Aug 2026

Counting thresholds for perfect matchings in hypergraphs

In a $k$-uniform hypergraph, the minimum $d$-degree for some $0\le d\le k-1$ is the minimum number of edges containing any given $d$-set of vertices. An extension of the classical Dirac theorem guarantees that whenever the minimum $d$-degree of a $k$-uniform $n$-vertex hypergraph, $k\mid n$, is larger than a certain Di...

Strahinja Gvozdic · 0 citations
Preprint Sep 2026

The maximum spectral radius of uniform hypergraphs whose shadow excludes a complete or complete bipartite minor

For a $k$-uniform hypergraph $\mathcal H$, the shadow of $\mathcal H$ is the graph whose edges are the pairs covered by a hyperedge. In this paper, for all sufficiently large $n$, we determine the $n$-vertex $k$-uniform hypergraphs of maximum adjacency-tensor spectral radius whose shadow has no $K_t$ minor, for every $...

Pei Liu, O. Suil · 0 citations
Preprint Sep 2026

Sparse Approximate Chromatic Profiles of Triangle-Free Graphs

We prove a sparse version of the four-colour theorem of Brandt and Thomass\'{e}, answering a question of Allen, B\"ottcher, Kohayakawa and Roberts. For every fixed $0<\gamma\le1/10$ and every $p=p(n)\in(0,1]$, asymptotically almost surely every spanning triangle-free $H\subseteq G(n,p)$ with $\delta(H)\ge(1/3+\gamma)pn...

Guo-Rong Gao, Jia-Lin He · 0 citations
Preprint Aug 2026

Spectral extremal hypergraphs without long Berge cycles

Let $r\ge 3$ and $k\ge 2r+1$ be fixed integers. We determine, for all sufficiently large $n$, the maximum adjacency-tensor spectral radius of an $n$-vertex $r$-uniform hypergraph containing no Berge cycle of length at least $k$. Write $s=\left\lfloor\frac{k-1}{2}\right\rfloor$. If $k=2s+1$ is odd, the unique extremal h...

Li-Hua Feng, Lu Lu, Ting-Zeng Wu · 0 citations
Preprint Sep 2026

Ordered Ramsey numbers of 3-uniform hypergraphs with bounded weak degeneracy

The \emph{ordered Ramsey number} $r_<(G,H)$ of ordered $k$-graphs $G$ and $H$ is the least integer $N$ such that every red-blue edge-coloring of the naturally ordered complete $k$-graph on $[N]$ contains a blue ordered copy of $G$ or a red ordered copy of $H$. We prove that there is an absolute constant $c>0$ such that...

Wen Chen, Zi-Han He, Qi-Zhong Lin et al. · 0 citations
Preprint Aug 2026

Locally bipartite subgraphs via multicolor Ramsey numbers

A famous conjecture of Erd\H{o}s and Hajnal (1969) states that for every integer $g\ge 4$ there is a smallest function $f_g:\mathbb{N}\to\mathbb{N}$ such that every graph of chromatic number at least $f_g(k)$ contains a subgraph of chromatic number $k$ and girth at least $g$. So far, this has only been proved for $g=4$...

Raphael Steiner · 1 citation

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.