KMP2_2 conjecture for arbitrary weighted hypergraphs

Less than 1 year old · traced to

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)=inf⁡triv≠ρ∈Irr(U(n))λmin⁡(Γ,ρ)=min⁡triv≠ρ∈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.

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.