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

About 1 year old · traced to

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(1−p)∈[0,1]q:=4p(1-p)\in[0,1]

and let h(q)=−qlog⁡q−(1−q)log⁡(1−q)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.

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.