Pith. sign in

REVIEW

Entropy factorization via curvature

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2407.13457 v2 pith:XHYW3GUU submitted 2024-07-18 math.PR math.COmath.FA

classification math.PRmath.COmath.FA
keywords entropyuniformapplicationsarbitrarycurvaturediscretefactorizationinequalities
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We develop a new framework for establishing approximate factorization of entropy on arbitrary probability spaces, using a geometric notion known as non-negative sectional curvature. The resulting estimates are equivalent to entropy subadditivity and generalized Brascamp-Lieb inequalities, and provide a sharp modified log-Sobolev inequality for the Gibbs sampler of several particle systems in both continuous and discrete settings. The method allows us to obtain simple proofs of known results, as well as some new inequalities. We illustrate this through various applications, including discrete Gaussian free fields on arbitrary networks, the down-up walk on uniform $n$-sets, the uniform measure over permutations, and the uniform measure on the unit sphere in $\R^n$. Our method also yields a simple, coupling-based proof of the celebrated logarithmic Sobolev inequality for Langevin diffusions in a convex potential, which is one of the most emblematic applications of the Bakry-\'Emery criterion.

Discussion (0). Continue with ORCID to comment.

Pith tools