The entropic Marton-type conjecture for random variables over F2m\mathbb{F}_2^m

From papers

Let c1>0c_1>0. For a random variable XX valued in F2m\mathbb{F}_2^m, let XX' be an independent copy of XX, and let HH denote Shannon entropy. For a subspace GF2mG\leq\mathbb{F}_2^m, let UGU_G be the uniform random variable on GG, independent of XX.

Entropic Marton-type conjecture. There exists c2=exp(O(1/c1))c_2=\exp(O(1/c_1)) such that, for every mZ+m\in\mathbb{Z}_+ and every such XX, there is a subspace GG with

dimGc2H(X)\dim G\leq c_2H(X)

and

H(UG+X)H(UG)(1+c1)(H(X+X)H(X)).H(U_G+X)-H(U_G)\leq (1+c_1)\bigl(H(X'+X)-H(X')\bigr).

The conjecture is intended to strengthen the paper's rate from 2Ω(m)2^{-\Omega(\sqrt m)} to 2Ω(mlogm)2^{-\Omega(\sqrt m\log m)}, which would yield vanishing block-error probability up to Shannon capacity via the bit-to-block results cited by the authors. The statement is a conjectural entropic covering assertion related to the polynomial Freiman--Ruzsa and Marton-type phenomena; its resolution status is not specified in the supplied text.

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

Emmanuel Abbe, Colin Sandon, Vladyslav Shashkov and Maryna Viazovska, “Polynomial Freiman-Ruzsa, Reed-Muller codes and Shannon capacity”, arXiv:2411.13493 (2026).

Solutions 0

No solutions have been posted yet.