Lemma
Stein's Lemma
Metric on the Space of Probability Measures
A real valued random variable $N$ has the standard Gaussian distribution if and only if for every test function
$f : \mathbb{R} \to \mathbb{R}$ that is differentiable with $f' \in \mathcal{L}'(\gamma)$, the expectations
$\mathbb{E}(Nf(N))$ and $\mathbb{E}(f'(N)) = \mathbb{E}(Nf(N))$.
Proof
$\implies$
If $N \sim N(0,1)$, then
\[
\mathbb{E}(f'(N)) = \mathbb{E}(Nf(N))
\]
implies
\[
\int_\mathbb{R} f'(x) \frac{1}{\sqrt{2\pi}}dx = \int_\mathbb{R} x f(x) \frac{1}{\sqrt{2\pi}}dx
\]
which if we translate into the Gaussian measure
\[
\int_\mathbb{R} f'(x) \gamma(dx) = \int_\mathbb{R} xf(x) \gamma(dx)
\]
which is just a representation of integration by parts.
Other direction is HW : TODO
For some distributions, they are characterized by their moments. Necessarily this means the distribution has to be characterized by this.
Distribution needs moments of all moments. If you figure it out what the moments, we can take $f$ to be a monomial then we get moments of higher order, since $\mathcal{H}$ is a seperating class.
Dependency Graph
flowchart LR
classDef current fill:#6366f1,color:#fff,stroke:#4f46e5
nf64c7c47["Metric on the Space of Probability Measures"]
n52ca04cc["Stein's Lemma"]:::current
nac623bd2["Stein's Lemma and Metrics via Stein's Eq"]
na8ae60fa["Stein Bounds for TV Metric"]
nf64c7c47 --> n52ca04cc
n52ca04cc --> nac623bd2
n52ca04cc --> na8ae60fa
click nf64c7c47 "../objects/f64c7c47.html" "_self"
click nac623bd2 "../objects/ac623bd2.html" "_self"
click na8ae60fa "../objects/a8ae60fa.html" "_self"