{"id":"arxiv/2610.38525","url":"https://arxiv.org/abs/2610.38525","tags":["cs.IT","math.CO","math.PR"],"score":0,"title":"Dimension-free exponential entropy quotients over $\\mathbb{F}_2$","domain":"cs.IT","source":"arxiv","authors":["Josiah Park"],"reviews":0,"subject":"cs.IT","summary":"Let $X$ be a random vector in $\\mathbb{F}_2^m$, and let $X'$ be an independent copy. We prove that, for every $\\varepsilon>0$, there is a subspace $G$ with $\\dim G\\le 2^{320(1+\\varepsilon)/\\varepsilon}H(X)$ such that $H(q_GX)\\le(1+\\varepsilon)(H(q_GX+q_GX')-H(q_GX))$. In particular, the quotient entropy is at most $(1+\\varepsilon)(H(X+X')-H(X))$. The coefficient is independent of the ambient dimension, and its exponential order in $1/\\varepsilon$ is necessary. The structural result is a logarithmic rigidity estimate for finite weighted families of laws with averaged subspace entropy…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-28","reactions":{}}