The conjecture that the entropy sum lower-bound constant can be improved to one-half

From papers

Let G=FpG={\mathbf{F}}_p or G=RG=\mathbf{R}, let 0<ϵ<1/20<\epsilon<1/2, and let XX and YY be independent discrete random variables taking values in GG, under the hypotheses of Theorem 1. The theorem currently gives

H(X+Y)12H(X)+12H(Y)+18ϵ.\operatorname{\mathbf{H}}(X+Y)\geq \frac{1}{2}\operatorname{\mathbf{H}}(X)+\frac{1}{2}\operatorname{\mathbf{H}}(Y)+\frac{1}{8}-\epsilon.

Entropy sum lower-bound conjecture. The constant 1/81/8 can be improved to 1/21/2, meaning that

H(X+Y)12H(X)+12H(Y)+12ϵ.\operatorname{\mathbf{H}}(X+Y)\geq \frac{1}{2}\operatorname{\mathbf{H}}(X)+\frac{1}{2}\operatorname{\mathbf{H}}(Y)+\frac{1}{2}-\epsilon.

The value 1/81/8 is known for the stated non-identically distributed setting, whereas the value 1/21/2 holds when the variables are identically distributed and is suggested by Shannon's continuous entropy power inequality. Improving the constant in the general independent setting remains open.

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

Lampros Gavalakis, Marcel K. Goh and Ioannis Kontoyiannis, “Entropy lower bounds and sum-product phenomena”, arXiv:2604.20233 (2026).

Solutions 0

No solutions have been posted yet.