TheoremBase

The Gaussian Entropy Pair is Uniformly Displacement Convex, with Modulus the Temperature over the Variance-to-Noise Bound

When the Gaussian variances are at most kappa times the noise weights, the Gaussian entropy pair with temperature beta is beta over kappa displacement convex along noise-optimal couplings, and in particular displacement convex.

Statement

In the setting of A Diagonal Gaussian Reference Measure on the Noise Wasserstein Space, Rescaled Heads and Gaussian Tails: Standing Notation, so that the reference measure is ρ=γc\rho=\gamma_{c}, let β\beta and κ\kappa be positive real numbers with ck≤κ akc_{k}\le\kappa\,a_{k} for every k∈Nk\in\mathbb{N}, and let (D,DΣ,E,Σ)(\mathcal{D},\mathcal{D}_{\Sigma},\mathcal{E},\Sigma) be the Gaussian entropy pair with temperature β\beta, whose hypothesis holds with this κ\kappa; it is a noise penalty pair on Pρa\mathcal{P}^{a}_{\rho} by The Gaussian Entropy Pair is a Noise Penalty Pair, with Nonnegative Penalty and Dense Score Domain §pair. λ\lambda-displacement convexity and displacement convexity are those of Lambda-Displacement Convexity of a Noise Penalty Pair §convex and Lambda-Displacement Convexity of a Noise Penalty Pair §displacement-convex.

1. (Uniform displacement convexity) The pair is βκ\frac{\beta}{\kappa}-displacement convex: for every μ∈DΣ\mu\in\mathcal{D}_{\Sigma}, every ν∈D\nu\in\mathcal{D} and every noise-optimal coupling π∈Πa(μ,ν)\pi\in\Pi^{a}(\mu,\nu), with Ja\mathcal{J}^{a} the noise displacement pairing and IaI^{a} the noise cost,

E(μ)+Ja(Σ(μ),π)+β2κ Ia(π)≤E(ν).\mathcal{E}(\mu)+\mathcal{J}^{a}(\Sigma(\mu),\pi)+\frac{\beta}{2\kappa}\,I^{a}(\pi)\le\mathcal{E}(\nu).

2. (Displacement convexity) The pair is displacement convex.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…