1
$\begingroup$

I have been struggling with the following question.

Let $X \in \mathbb{R}^n$ be a $K$ sub Gaussian random vector (i.e. $\|\langle u, X \rangle\|_{\psi_2} \leq K$ for all $\|u\|=1$) and let $f : \mathbb{R}^n \to \mathbb{R}$ be a $1$-Lipschitz function. Is it possible to show that $f(X)$ is sub Gaussian with constant independent of $n$ ?

A similar question was asked here and here, in particular, it was mentioned that the previous property holds when the vector is a standard Gaussian (see for instance Theorem 8 here). An answer proposed to see $X$ as $\phi(Z)$ with some Lipschitz function $\phi$ and Gaussian $Z$. Another situation where this can be proved is if $X$ has density $e^{-U(x)}$ for strongly convex $U$ (Theorem 5.2.15 in the book High Dimensional Probability by Roman Vershynin). Unfortunately I cannot leverage these options.

It is important to note this is untrue when $X$ is formed of independent separately sub Gaussian coordinates (see this thread) but that is a different setting.

$\endgroup$
2
  • $\begingroup$ you might want to look up the topic of 'transportation inequalities'. not sure whether Vershynin covers them, but if not, the survey paper of Gozlan-Léonard is a good place to look. $\endgroup$
    – πr8
    Commented Jan 18, 2023 at 17:34
  • $\begingroup$ Thanks for the reference. I checked Thm 6.2 and Corollary 8.14 there which, combined with Bobkov-Götze theorem, provide some other possible criteria but I haven't managed to do much with them. I'm thinking the proof for Gaussian $X$ (3rd link in my post) could be adapted by finding a path $X_{\theta}$ independent of $dX_{\theta}$, perhaps by randomizing $X_{\theta}$ somehow ... $\endgroup$
    – karel
    Commented Jan 19, 2023 at 10:57

0

You must log in to answer this question.

Browse other questions tagged .