Friedgut–Kahn–Kalai–Keller antipodal correlation conjecture

About 1 year old · traced to

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)=1−g(1−x)g(x)=1-g(1-x)

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

Inf⁡i[f]=P[f(x)≠f(x⊕ei)].\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)≥14min⁡i∈[n]Inf⁡i[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.

References

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.

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.