Composition of a Square-Integrable Vector Field with a Random Vector, and the Lifted Score: Isometry, Norm, Weak Identity and Second-Moment Identity

In the setting of Square-Integrable Vector Fields Against a Probability Measure on Euclidean Space, and Test Functions: Standing Notation, let $X\in L^{2}(\Omega;\mathbb{R}^{d})$ and let $\mu=\mathcal{L}(X)$ be its law, which belongs to $\mathcal{P}_{2}(\mathbb{R}^{d})$ by The Space of Square-Integrable Random Vectors is a Real Hilbert Space; Its Laws Have Finite Second Moment; Constants and Translations §law. Let $L^{2}(\mu;\mathbb{R}^{d})$ be the space of square-integrable vector fields with respect to $\mu$, let $\mathrm{id}$ be the identity map of $\mathbb{R}^{d}$, an element of $L^{2}(\mu;\mathbb{R}^{d})$ by Basic Properties of the Tangent Space: Closed Subspace, the Identity Map Belongs to It, Second-Moment Limits, and Representation of Bounded Functionals on Gradients §identity, and let finite Fisher information, the set $\mathcal{P}_{2}^{\mathcal{I}}(\mathbb{R}^{d})$, the score $\xi_{\mu}$ and the Fisher information $\mathcal{I}(\mu)$ be as defined there. The natural number $d$ is read as a real number where a real number is required, and $\mathbb{E}$ is the expectation on $(\Omega,\mathcal{F},P)$.

1. (Composition)¶ For $\xi\in L^{2}(\mu;\mathbb{R}^{d})$, the composition $\xi\circ X:\Omega\to\mathbb{R}^{d}$ of a representative of $\xi$ with a representative of $X$ is a square-integrable random vector whose class in $L^{2}(\Omega;\mathbb{R}^{d})$ does not depend on the two representatives chosen; this class is denoted $\xi\circ X$. The map $\xi\mapsto\xi\circ X$ from $L^{2}(\mu;\mathbb{R}^{d})$ to $L^{2}(\Omega;\mathbb{R}^{d})$ is linear and preserves inner products,

and $\mathrm{id}\circ X=X$.

2. (The lifted score)¶ If $\mu\in\mathcal{P}_{2}^{\mathcal{I}}(\mathbb{R}^{d})$, then $\lVert\xi_{\mu}\circ X\rVert_{L^{2}}^{2}=\mathcal{I}(\mu)$ and, for every test function $\psi\in C_{c}^{\infty}(\mathbb{R}^{d})$,

3. (Second-moment identity)¶ For every $\nu\in\mathcal{P}_{2}^{\mathcal{I}}(\mathbb{R}^{d})$, whether or not it is the law of an element of $L^{2}(\Omega;\mathbb{R}^{d})$, $\langle\xi_{\nu},\mathrm{id}\rangle_{\nu}=-d$, the identity map lying in $L^{2}(\nu;\mathbb{R}^{d})$ by Basic Properties of the Tangent Space: Closed Subspace, the Identity Map Belongs to It, Second-Moment Limits, and Representation of Bounded Functionals on Gradients §identity. In particular, if $\mu\in\mathcal{P}_{2}^{\mathcal{I}}(\mathbb{R}^{d})$, then