TheoremBase

The Weighted Fisher Information Relative to the Gibbs Measure of an Admissible Cylindrical Potential

Defines, for a measure with a relative score with respect to the Gibbs measure of an admissible cylindrical potential, finite Fisher information relative to that Gibbs measure with the noise weights and its value as the weighted series of squared score norms.

Statement

In the setting of A Diagonal Gaussian Reference Measure on the Noise Wasserstein Space, Rescaled Heads and Gaussian Tails: Standing Notation, let VV be an admissible cylindrical potential with head dimension dd, with the functions ∂kV\partial_{k}V of Admissible Cylindrical Potentials on a Hilbert Space in the Noise Geometry §gradient, let β∈R\beta\in\mathbb{R} be positive, and let γβV\gamma^{V}_{\beta} be the Gibbs measure of VV at temperature β\beta. aa is the noise weight sequence, a weight sequence by A Diagonal Gaussian Reference Measure on the Noise Wasserstein Space, Rescaled Heads and Gaussian Tails: Standing Notation §gaussian. For μ∈P2(X)\mu\in\mathcal{P}_{2}(X), the set of The Second Moment of a Borel Probability Measure on a Hilbert Space and the Probability Measures with Finite Second Moment §space, such that ∂kV\partial_{k}V is integrable with respect to μ\mu for every k∈[d]k\in[d], the relative score of μ\mu with respect to γβV\gamma^{V}_{\beta} and its components are those of that definition, with L2(μ)L^{2}(\mu) and its norm ∥⋅∥L2(μ)\lVert\cdot\rVert_{L^{2}(\mu)} as there.

(Weighted Fisher information relative to the Gibbs measure) Let μ∈P2(X)\mu\in\mathcal{P}_{2}(X) be such that ∂kV\partial_{k}V is integrable with respect to μ\mu for every k∈[d]k\in[d], and let μ\mu have a relative score (ζkV)k∈N(\zeta^{V}_{k})_{k\in\mathbb{N}} with respect to γβV\gamma^{V}_{\beta}. The measure μ\mu has finite Fisher information relative to γβV\gamma^{V}_{\beta} with weights aa if the series ∑k=1∞ak∥ζkV∥L2(μ)2\sum_{k=1}^{\infty}a_{k}\lVert\zeta^{V}_{k}\rVert_{L^{2}(\mu)}^{2} converges, and its Fisher information relative to γβV\gamma^{V}_{\beta} with weights aa is then the sum

Ia(μ ∣ γβV)=∑k=1∞ak∥ζkV∥L2(μ)2,\mathcal{I}_{a}(\mu\,|\,\gamma^{V}_{\beta})=\sum_{k=1}^{\infty}a_{k}\lVert\zeta^{V}_{k}\rVert_{L^{2}(\mu)}^{2},

a nonnegative real number by Series of Nonnegative Real Numbers, Comparison, and the Geometric Series §dominates, the terms being nonnegative.

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…