Monotonicity conjecture for new KMP eigenvalues

Less than 1 year old · traced to

Let Γ\Gamma be a hypergraph with non-negative weights. For every k∈Z≥1k\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≤ω5≤⋯andω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 n−1n-1. The source gives no resolution in general.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.