Entropy factorization conjecture for cone measures on ℓ_p-spheres

From papers

For p>0p>0, let Spn1={xRn:xp=1}{\mathbb{S}}^{n-1}_p=\{x\in\mathbb{R}^n:\|x\|_p=1\}, where xp=(i=1nxip)1/p\|x\|_p=(\sum_{i=1}^n|x_i|^p)^{1/p}. Let P\mathbf{P} be the cone measure on Spn1{\mathbb{S}}^{n-1}_p, and let θ\theta be a probability vector with associated quantities θ\theta_{\star\star} and θA\theta_A. For fLlogLf\in L\log L, write Ent(f)\operatorname{Ent}(f) for entropy and EntA(f)\operatorname{Ent}_A(f) for the entropy conditional on the coordinates indexed by AA. Entropy factorization conjecture. For all p>0p>0, all probability vectors θ\theta, and all fLlogLf\in L\log L, the cone measure satisfies

θEnt(f)A[n]θAE[EntA(f)].\theta_{\star\star}\,\operatorname{Ent}(f)\leq\sum_{A\subset[n]}\theta_A\mathbf{E}[\operatorname{Ent}_A(f)].

The claim would extend the entropy-factorization estimates proved for the Euclidean and 1\ell_1 spheres to all positive pp, and the authors suggest it should follow from their main theorem; its status is not established 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

Pietro Caputo and Justin Salez, “Entropy factorization via curvature”, arXiv:2407.13457 (2024).

Solutions 0

No solutions have been posted yet.