Let $X_1,...,X_N$ be IID, meanzero random variables whose tail is bounded by a subgaussiantailed variable to the fourth moment, i.e., for some $t \ge t_0 > 0$ $$ P(X_i > t) \le C\exp\left( C t^{1/2} \right) $$ Then what is the best upper bound one can get for the $$ P\left( \left\frac{1}{\sqrt{N}} \sum_{i=1}^N X_i \right > t\right) $$ ?
1 Answer
For $\gamma\gt 0$ and a random variable $X$, define $$\lVert X\rVert_{\Phi_\gamma}:=\inf\left\{c\gt 0;\mathbb E\left[\exp\left(\leftX/c\right^\gamma\right)\right] \leqslant 2\right\}.$$ For $\gamma\geqslant 1$, this defines a norm, and for $0\lt \gamma\lt 1$, this is equivalent to a norm. Obverse that Markov's inequality and the monotone convergence theorem entail $$\mathbb P \left\{\leftX\right\geqslant x\right\}\leqslant 2\exp\left(\frac{x^\gamma}{\lVert X\rVert^\gamma_{\Phi_\gamma}}\right),$$ and rewriting the expectation of the exponential in terms of norm, we derive that if $Y$ satisfies $$\mathbb P \left\{\leftY\right\geqslant t\right\}\leqslant K\exp\left(\frac{t^\gamma}{\lambda^\gamma}\right)$$ for each positive $t$, then $\lVert Y\rVert_{\Phi_\gamma}\leqslant \left(1+K/2\right)^{1/\gamma}\lambda$. Therefore, the problem reduces to find a good upper bound for $\lVert \sum_{i=1}^nX_i\rVert_{\Phi_\gamma}$. This is precisely the purpose of Theorems 3 and 4 in Isoperimetry and integrability of the sum of independent Banachspace valued random variables by Michel Talagrand. In particular, this gives that if $X_1$ satisfies $$\mathbb P \left\{\leftX_1\right\geqslant x\right\}\leqslant c_1\exp\left(c_2t^\gamma\right)$$ then the quantity $\lVert \sum_{i=1}^nX_i\rVert_{\Phi_\gamma}/\sqrt n$ can be bounded independently of $n$.

$\begingroup$ Seems very helpful. Will read more into the paper. Thanks! $\endgroup$ Apr 2, 2017 at 11:50

$\begingroup$ In our case theorem 3 should be very helpful $\endgroup$ Apr 2, 2017 at 12:05