Entropy factorization conjecture for cone measures on ℓ_p-spheres

About 2 years old · traced to

For p>0p>0, let Spn−1={x∈Rn:∥x∥p=1}{\mathbb{S}}^{n-1}_p=\{x\in\mathbb{R}^n:\|x\|_p=1\}, where ∥x∥p=(∑i=1n∣xi∣p)1/p\|x\|_p=(\sum_{i=1}^n|x_i|^p)^{1/p}. Let P\mathbf{P} be the cone measure on Spn−1{\mathbb{S}}^{n-1}_p, and let θ\theta be a probability vector with associated quantities θ⋆⋆\theta_{\star\star} and θA\theta_A. For f∈Llog⁡Lf\in L\log L, write Ent⁡(f)\operatorname{Ent}(f) for entropy and Ent⁡A(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 f∈Llog⁡Lf\in L\log L, the cone measure satisfies

θ⋆⋆ Ent⁡(f)≤∑A⊂[n]θAE[Ent⁡A(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.

References

Primary source

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

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.