The Kikuchi spectral-threshold conjecture

Fix even rr and \ell with nr/2n\gg\ell\geq r/2, and let ZSN(0,1)Z_S\sim\mathcal N(0,1) independently for each rr-subset S[n]S\subset[n]. Define the Kikuchi matrix M(λ)M(\lambda), indexed by \ell-subsets of [n][n], by

M(λ)I,J={λ+ZIJIJ=r,0otherwise,M(\lambda)_{I,J}=\begin{cases}\lambda+Z_{I\triangle J}&|I\triangle J|=r,\\\\0&\text{otherwise},\end{cases}

where IJ=(IJ)(IJ)I\triangle J=(I\cup J)\setminus(I\cap J), and let λr,\lambda^\natural_{r,\ell} be the threshold at which eigenvalues pop out of the spectrum in the sense specified in the source. Kikuchi spectral-threshold conjecture. For fixed rr,

nr/4λr,0n^{r/4}\lambda^\natural_{r,\ell}\to0

as \ell\to\infty, after taking nn\to\infty. The conjecture concerns whether increasing the Kikuchi parameter reaches below the sum-of-squares scale; the threshold is characterized in part of the parameter range, but the stated asymptotic remains open.

Sources & referencesView supporting material

Primary source

Afonso S. Bandeira, Anastasia Kireeva, Antoine Maillard and Almut Rödder, “Randomstrasse101: Open Problems of 2024”, arXiv:2504.20539 (2025).

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.