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

From papers

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.

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 Lower Bound for the Fourier Entropy of Boolean Functions on the Biased Hypercube”, arXiv:2511.07739 (2026).

Solutions 0

No solutions have been posted yet.