Single-round KL contraction conjecture for the binary hypercube Gaussian-location channel

Less than 1 year old · traced to

Let YY be the output of the binary hypercube Gaussian-location channel, let VV denote its binary-hypercube input, and let PYP_Y and PV∣YP_{V\mid Y} be the corresponding distributions and channel. Write ηKL(PY,PV∣Y)\eta_{\mathrm{KL}}(P_Y,P_{V\mid Y}) for the distribution-dependent Kullback–Leibler contraction coefficient, and let SNR\mathrm{SNR} denote the channel's signal-to-noise ratio. Assume SNR≤1\mathrm{SNR}\le 1. Single-round KL contraction conjecture. There is an absolute constant CC such that

ηKL(PY,PV∣Y)≤C SNR.\eta_{\mathrm{KL}}(P_Y,P_{V\mid Y})\le C\,\mathrm{SNR}.

Under this conjecture, for a message MM and side information UU satisfying the setup in the paper with message budget BB, one obtains I(V;M∣U)≤C SNR⋅BI(V;M\mid U)\le C\,\mathrm{SNR}\cdot B; equivalently, the single-round case T=1T=1 of the target inequality holds with C⋆(d)=CC_\star(d)=C and no polylogarithmic factor. The conjecture is presented as the missing bound needed to turn the KL strong data-processing implication into the desired single-round product bound; its resolution is not supplied here.

References

Primary source

Munsik Kim, “Information-Theoretic Lower Bounds for Bit-Constrained Stochastic Optimization via a Reduction to Compressed Gaussian Mean Estimation”, arXiv:2606.00703 (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.