Abstract:We study the regularity of the law of a quadratic form $Q(X,X)$, evaluated in a sequence $X = (X_{i})$ of independent and identically distributed random variables, when $X_{1}$ can be expressed as a sufficiently smooth function of a Gaussian field. This setting encompasses a large class of important and frequently used distributions, such as, among others, Gaussian, Beta, for instance uniform, Gamma distributions, or else any polynomial transform of them. Let us present an emblematic application. Take $X = (X_{i})$ a sequence of independent and identically distributed centered random variables, with unit variance, following such distribution. Consider also $(Q_{n})$ a sequence of quadratic forms, with associated symmetric Hilbert--Schmidt operators $(\mathsf{A}^{(n)})$. Assume that $\operatorname{Tr}[ (\mathsf{A}^{(n)})^{2} ] = 1/2$, $\mathsf{A}^{(n)}_{ii} =0$, and the spectral radius of $\mathsf{A}^{(n)}$ tends to $0$. Then, $(Q_{n}(X))$ converges in a strong sense to the standard Gaussian distribution. Namely, all derivatives of the densities, which are well-defined for $n$ sufficiently large, converge uniformly on $\mathbb{R}$ to the corresponding derivatives of the standard Gaussian density. While classical methods, from Malliavin calculus or $\Gamma$-calculus, generally consist in bounding negative moments of the so-called \emph{carré du champ} operator $\Gamma(Q(X),Q(X))$, we provide a new paradigm through a second-order criterion involving the eigenvalues of a Hessian-type matrix related to $Q(X)$. This Hessian is built by iterating twice a tailor-made gradient, the \emph{sharp operator} $\sharp$, obtained via a Gaussian representation of the carré du champ. We believe that this method, recently developed by the authors in the current paper and in their companion paper [AoP 52 n°3 (2024)] , is of independent interest and could prove useful in other settings.

On the Independence of Linear and Quadratic Forms in Normal Variates

ON THE DISTRIBUTION OF A QUADRATIC FORM IN NORMAL VARIATES

A Reformulation of the Criteria for the Independence of Quadratic Functions in Normal Variables

Linear algebra of quadratic forms and polynomial identity

Random Quadratic Forms with Dependence: Applications to Restricted Isometry and Beyond

A simple proof of the generalized Craig–Sakamoto theorem

Linear independence on simple abelian varieties

Proving Nonsingularity of Coefficient Matrix in Least Squares Normal Equation of Non-Linear Semiparametric Model

Strong Limit Theorems for Extended Independent Random Variables and Extended Negatively Dependent Random Variables under Sub-Linear Expectations

Invariants of Quadratic Forms and applications in Design Theory

Equivalent Conditions for Noncentral Generalized Laplacianness and Independence of Matrix Quadratic Forms

Regularity of laws via Dirichlet forms: application to quadratic forms in independent and identically distributed random variables

Regularity of laws via Dirichlet forms -- Application to quadratic forms in independent and identically distributed random variables

On the almost sure invariance principle for dependent Bernoulli random variables

The Research about Independence of Random Errors in Quasi-Linearity Regression Model

Moderate-Dimensional Inferences on Quadratic Functionals in Ordinary Least Squares

Asymptotic distribution for pairs of linear and quadratic forms at integral vectors

On Row Differential Inequalities Related to Normality and Quasi-normality

Independence of Linear Statistics with Random Coefficients and Characterizations of Geometric and Poisson Distributions

A central limit theorem for generalized quadratic forms