3
$\begingroup$

Stein's bound in the total variation distance $d_{TV}$ expresses that if $F$ is an integrable real random variable, and $N$ a random variable with the standard normal distribution $\mathcal {N}(0,1)$, then $$ d_{TV} (F, N) \leq \sup | E(f'(F)) - E (F f(F)) | $$ where the supremum runs over the smooth (absolutely continuous) functions $f : \mathbb{R} \to \mathbb{R}$ such that $\| f\|_\infty \leq \sqrt {\frac \pi 2}$ and $\| f'\|_\infty \leq 2$ (cf. Nourdin-Peccati, 2012, Chapter~3). A similar bound holds for the Wasserstein distance $W_1$ with the class of functions $f$ satisfying $\| f'\|_\infty \leq \sqrt {\frac 2\pi}$.

What would be a version of this bound (in total variation or Wasserstein distance) for $F$ and $N$ random vectors in $\mathbb {R}^d$ ($N$ with the standard normal law with mean zero and covariance matrix the identity)?

$\endgroup$

1 Answer 1

1
$\begingroup$

See e.g. Stein's method for functions of multivariate normal random variables, in particular, formula (1.3) there: \begin{equation} \nabla^T\Sigma\nabla f(\mathbf{w})-\mathbf{w}^T\nabla f(\mathbf{w})=h(\mathbf{w})-Eh(\Sigma^{1/2}\mathbf{Z}), \end{equation} where $\mathbf{Z}$ denotes a random vector having the standard multivariate normal distribution of dimension $d$. See also further references in that paper.

In the case when each coordinate of a random vector $F=(F_1,\dots,F_d)$ in $\mathbb R^d$ is a certain kind of limit (defined at the bottom of p. 47 of Multivariate normal approximation using Stein's method and Malliavin calculus by Nourdin, Peccati, and Réveillac) of certain smooth cylindrical functionals of an isonormal Gaussian process (indexed by elements of a Hilbert space) , Theorem 3.5 of that paper provides an upper bound on the Wasserstein distance between the distribution of $f$ and a multivariate normal distribution.

$\endgroup$
5
  • 1
    $\begingroup$ I cannot find in the paper (and the references therein) any inequality, in total variation or Wasserstein, that looks like the one-dimensional bounds? $\endgroup$
    – Ramaljath
    Commented Feb 2, 2023 at 20:38
  • $\begingroup$ @RebeccaLuke : I have added another reference. $\endgroup$ Commented Feb 2, 2023 at 22:34
  • 1
    $\begingroup$ Thank you, but this is of course very specific, and not as general and useful as the one-dimensional case. $\endgroup$
    – Ramaljath
    Commented Feb 3, 2023 at 7:38
  • $\begingroup$ @RebeccaLuke : I don't think this is very specific. Say, in Proposition 4..3 of the 2nd linked paper (which is a corollary of Theorem 3.5 of that paper), each of the coordinates of the random vector $W$ can have any distribution with not too heavy tails. Apparently, quite a bit more can be said here, using (say) Monge transport functions to transport a multivariate normal distribution to a rather general multivariate distribution (but I have not considered this in details). $\endgroup$ Commented Feb 3, 2023 at 16:58
  • $\begingroup$ The coordinates $W_i$ are (smooth) functions of a given Gaussian vector... $\endgroup$
    – Ramaljath
    Commented Feb 4, 2023 at 8:14

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .