{"id":"arxiv/2606.32024","url":"https://arxiv.org/abs/2606.32024","tags":["math.CO","math.FA","math.PR"],"score":0,"title":"The sharp diagonal spectral correlation inequality on the discrete cube","domain":"math.CO","source":"arxiv","authors":["Fan Chang","Hong Liu","Miao Liu"],"reviews":0,"subject":"math.CO","summary":"We prove the sharp diagonal spectral correlation conjecture of Friedgut, Kahn, Kalai and Keller, proposed in their Fourier-analytic approach to Chvátal's conjecture. For every pair of increasing Boolean functions $f,g:\\{0,1\\}^n\\to\\{0,1\\}$, $$\\mathrm{Cov}(f,g)\\ge4\\sum_{\\varnothing\\ne S\\subseteq[n]}|S|\\hat{f}(S)^2\\hat{g}(S)^2.$$ Thus covariance controls the degree-weighted collision of the two nonconstant Fourier spectra, giving a sharp Fourier strengthening of the Harris--Kleitman inequality. The theorem also implies the unweighted diagonal conjecture of Friedgut--Kahn--Kalai--Keller for an…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-30","reactions":{}}