{"id":"arxiv/2606.08958","url":"https://arxiv.org/abs/2606.08958","tags":["math.CO","math.PR"],"score":0,"title":"A spectral correlation inequality for increasing Boolean functions","domain":"math.CO","source":"arxiv","authors":["Fan Chang"],"reviews":0,"subject":"math.CO","summary":"Talagrand's correlation inequality provides a quantitative strengthening of the Harris--Kleitman inequality for increasing Boolean functions. Motivated by a Fourier-analytic conjecture of Friedgut, Kahn, Kalai, and Keller, we prove that $$ \\mathrm{Cov}(f,g)\\ge 2\\sum_{S\\neq\\emptyset}|S|\\hat f(S)^2\\hat g(S)^2 $$ holds for all increasing Boolean functions $f,g:\\{0,1\\}^n\\to\\{0,1\\}$. The proof combines the reverse Bonami--Beckner inequality with Young's convolution inequality. We also establish a sharp pointwise inequality: for every $n\\ge1$, every $0\\leρ\\le1$, and every $f,g:\\{0,1\\}^n\\to[0,1]$,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-08","reactions":{}}