Friedgut–Kahn–Kalai–Keller antipodal correlation conjecture

From papers

Let [n]={1,,n}[n]=\{1,\ldots,n\} and let f,g:{0,1}n{0,1}f,g:\{0,1\}^n\to\{0,1\} be increasing Boolean functions. A Boolean function gg is antipodal if

g(x)=1g(1x)g(x)=1-g(1-x)

for every x{0,1}nx\in\{0,1\}^n, where 1x1-x is the coordinatewise complement. For a Boolean function ff, define

Infi[f]=P[f(x)f(xei)].\operatorname{Inf}_i[f]=\mathbb{P}[f(x)\neq f(x\oplus e_i)].

Friedgut–Kahn–Kalai–Keller antipodal correlation conjecture. For every increasing f,g:{0,1}n{0,1}f,g:\{0,1\}^n\to\{0,1\}, if gg is antipodal, then

Cov(f,g)14mini[n]Infi[f].\operatorname{Cov}(f,g)\geq \frac14\min_{i\in[n]}\operatorname{Inf}_i[f].

This is presented as an equivalent correlation formulation of Chvátal's conjecture. The supplied text does not state a resolution of either formulation.

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

Fan Chang, “A spectral correlation inequality for increasing Boolean functions”, arXiv:2606.08958 (2026).

Additional references

2 papers in this index state this conjecture (2025–2026). The statement above is taken from the most recent of them; the others are arXiv:2510.22307.

Solutions 0

No solutions have been posted yet.