TheoremBase

The Gaussian Entropy Pair Has Closed Score Along Noise Couplings

Along couplings of vanishing noise cost, measures with uniformly bounded scores converge to a measure that again has finite weighted Fisher information, and the scores converge weakly along the couplings.

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.

(Closed score) The pair has closed score along noise couplings.

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…