Monotonicity conjecture for new KMP eigenvalues

From papers

Let Γ\Gamma be a hypergraph with non-negative weights. For every kZ1k\in\mathbb{Z}_{\geq 1}, let ωk=ωk(Γ)\omega_k=\omega_k(\Gamma) denote the smallest new eigenvalue of the Laplacian L(Γ,KMPk)\mathcal{L}(\Gamma,\mathcal{KMP}_k), meaning the smallest eigenvalue arising in the new invariant subspace at level kk. Monotonicity conjecture for new KMP eigenvalues.

ω1ω3ω5andω2ω4ω6.\omega_1\leq\omega_3\leq\omega_5\leq\cdots\qquad\text{and}\qquad\omega_2\leq\omega_4\leq\omega_6\leq\cdots.

The inequalities are supported by computer simulations and generalize the proved result for hypergraphs supported on subsets of size n1n-1. The source gives no resolution in general.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Gil Alon and Doron Puder, “Aldous-type Spectral Gaps in Unitary Groups”, arXiv:2603.00353 (2026).

Solutions 0

No solutions have been posted yet.