KMP2_2 conjecture for arbitrary weighted hypergraphs

From papers

Let Γ=([n],w)\Gamma=([n],w) be an arbitrary hypergraph with non-negative weights. Let KMPk\mathcal{KMP}_k be the discrete KMP process with kk indistinguishable particles on Γ\Gamma, and let λmin(Γ,KMPk)\lambda_{\min}^*(\Gamma,\mathcal{KMP}_k) denote its smallest non-trivial eigenvalue. For an irreducible representation ρ\rho of U(n)\mathrm{U}(n), write λmin(Γ,ρ)\lambda_{\min}(\Gamma,\rho) for the smallest eigenvalue in its spectrum. KMP2_2 conjecture.

λmin(Γ,KMP2)=inftrivρIrr(U(n))λmin(Γ,ρ)=mintrivρIrr(U(n))λmin(Γ,ρ).\lambda_{\min}^*(\Gamma,\mathcal{KMP}_2)=\inf_{\mathrm{triv}\ne\rho\in\mathrm{Irr}(\mathrm{U}(n))}\lambda_{\min}(\Gamma,\rho)=\min_{\mathrm{triv}\ne\rho\in\mathrm{Irr}(\mathrm{U}(n))}\lambda_{\min}(\Gamma,\rho).

Equivalently, the spectral gap on the regular representation of U(n)\mathrm{U}(n) would coincide with that of the two-particle KMP process. The source presents this as equivalent to the preceding conjecture and gives no resolution.

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.