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

Let YY be the output of the binary hypercube Gaussian-location channel, let VV denote its binary-hypercube input, and let PYP_Y and PVYP_{V\mid Y} be the corresponding distributions and channel. Write ηKL(PY,PVY)\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 SNR1\mathrm{SNR}\le 1. Single-round KL contraction conjecture. There is an absolute constant CC such that

ηKL(PY,PVY)CSNR.\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;MU)CSNRBI(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.

Sources & referencesView supporting material

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.