Keller–Mossel–Schlank Fourier-Entropy-Influence conjecture for the biased cube

About 1 year old · traced to

Let 0<p<10<p<1, let nn be positive, and let f:({0,1}n,μpn)→{±1}f:(\{0,1\}^n,\mu_p^n)\to\{\pm1\} be Boolean-valued. Write

Entp(f)=∑S⊂[n]f^(S)2log⁡(1f^(S)2){\rm Ent}_p(f)=\sum_{S\subset[n]}\hat f(S)^2\log\left(\frac{1}{\hat f(S)^2}\right)

and I(p)[f]=∑i=1nInfi(p)[f]{\rm I}^{(p)}[f]=\sum_{i=1}^n{\rm Inf}_i^{(p)}[f]. Keller–Mossel–Schlank's biased FEI conjecture. There exists a universal constant CC such that

Entp(f)≤Cplog⁡(1p)⋅I(p)[f].{\rm Ent}_p(f)\le Cp\log\left(\frac{1}{p}\right)\cdot{\rm I}^{(p)}[f].

This is the pp-biased generalization of the Fourier-Entropy-Influence conjecture; its resolution is not established by the supplied source.

References

Primary source

Fan Chang, “A Lower Bound for the Fourier Entropy of Boolean Functions on the Biased Hypercube”, arXiv:2511.07739 (2026).

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.