A1065
Title: Cramer-type moderate deviation for quadratic forms with a fast rate
Authors: Songhao Liu - Southern University of Science and Technology (China) [presenting]
Xiao Fang - The Chinese University of Hong Kong (Hong Kong)
Qi-Man Shao - The Chinese University of Hong Kong (Hong Kong)
Abstract: Let $X_1,\dots, X_n$ be independent and identically distributed random vectors in $\mathbb{R}^d$. Suppose $\mathbb{E} X_1=0$, $\mathrm{Cov}(X_1)=I_d$, where $I_d$ is the $d\times d$ identity matrix. Suppose further that there exist positive constants $t_0$ and $c_0$ such that $\mathbb{E} e^{t_0|X_1|}\leq c_0<\infty$, where $|\cdot|$ denotes the Euclidean norm. Let $W=\frac{1}{\sqrt{n}}\sum_{i=1}^n X_i$ and let $Z$ be a $d$-dimensional standard normal random vector. Let $Q$ be a $d\times d$ symmetric positive definite matrix whose largest eigenvalue is 1. It is proved that for $0\leq x\leq \varepsilon n^{1/6}$, $\left| \frac{\mathbb{P}(|Q^{1/2}W|>x)}{\mathbb{P}(|Q^{1/2}Z|>x)}-1 \right|\leq C \left( \frac{1+x^5}{\det{(Q^{1/2})}n}1_{\{d\geq 5\}}+\frac{1+x^3}{\det{(Q^{1/2})}n^{\frac{d}{d+1}}}1_{\{d\leq 4\}}+\frac{x^6}{n}\right) $, where $\varepsilon$ and $C$ are positive constants depending only on $d, t_0$, and $c_0$. This is the first extension of Cram\'er-type moderate deviation to the multivariate setting with a faster convergence rate than $1/\sqrt{n}$. The range of $x=o(n^{1/6})$ for the relative error to vanish and the dimension requirement $d\geq 5$ for the $1/n$ rate are both optimal. The result is proved using a new change of measure, a two-term Edgeworth expansion for the changed measure, and cancellation by symmetry for terms of the order $1/\sqrt{n}$.
