Binary-entropy lower-bound conjecture for Fourier entropy on the biased cube

From papers

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

q:=4p(1p)[0,1]q:=4p(1-p)\in[0,1]

and let h(q)=qlogq(1q)log(1q)h(q)=-q\log q-(1-q)\log(1-q) be the binary entropy function. Binary-entropy lower-bound conjecture. For every such ff and pp,

Entp(f)h(q)k=1nInfk(p)[f]2.{\rm Ent}_p(f) \ge h(q)\cdot \sum_{k=1}^n {\rm Inf}_k^{(p)}[f]^2.

The conjecture proposes the optimal bias-dependent constant in the paper's lower bound; the supplied text gives no resolution.

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.