paper

On small deviations of stationary Gaussian processes and related analytic inequalities

arXiv:1104.2786

Abstract

Let be a Gaussian stationary sequence having a spectral function of infinite type. Then for all and ,$$ ¶\Big\{\sup_{j=1}^n |X_j|\le z \Big\}\le \Big(\int_{-z/\sqrt{G(f)}}^{z/\sqrt{G(f)}} e^{-x^2/2}\frac{\dd x}{\sqrt{2π}} \Big)^n,$$ where is the geometric mean of the Radon Nycodim derivative of the absolutely continuous part of . The proof uses properties of finite Toeplitz forms. Let be a sample continuous stationary Gaussian process with covariance function $\g(u) $. We also show that there exists an absolute constant such that for all , with $T\ge \e(a)$, $$¶\Big\{\sup_{0\le s,t\le T} |X(s)-X(t)|\le a\Big\} \le \exp \Big \{-{KT \over \e(a) p(\e(a))}\Big\} ,$$ where $\e (a)= \min\big\{b>0: \d (b)\ge a\big\}$, $\d (b)=\min_{u\ge 1}\{\sqrt{2(1-\g((ub))}, u\ge 1\}$, and $ p(b) = 1+\sum_{j=2}^\infty {|2\g (jb)-\g ((j-1)b)-\g ((j+1)b)| \over 2(1-\g(b))}$. The proof is based on some decoupling inequalities arising from Brascamp-Lieb inequality. Both approaches are developed and compared on examples. Several other related results are established.

References in corpus (1)