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.

Regularity Preserving Sum of Squares Decompositions

Sum of Squares Decompositions in Hölder Spaces

Second Order Conditions to Decompose Smooth Functions as Sums of Squares

Sum-of-squares Chordal Decomposition of Polynomial Matrix Inequalities

Finite convergence of sum-of-squares hierarchies for the stability number of a graph

Unique powers-of-forms decompositions from simple Gram spectrahedra

New Behavior in Legal Decompositions Arising from Non-positive Linear Recurrences

On functional decomposition of multivariate polynomials with differentiation and homogenization

On Centres and Direct Sum Decompositions of Higher Degree Forms

Black Box Absolute Reconstruction for Sums of Powers of Linear Forms

Generalized incidence theorems, homogeneous forms, and sum-product estimates in finite fields

Direct Sum Decomposition of L2(Rn1) into Subspaces Invariant under Fourier Transformation

Generalized Dissections and Monsky's Theorem

Generalized Schauder Theory and its Application to Degenerate/Singular Parabolic Equations

Nonlinear Random Matrices and Applications to the Sum of Squares Hierarchy

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

Algebraic Davis Decomposition and Asymmetric Doob Inequalities

A Decomposition Procedure for Nearly-Symmetric Matrices with Applications to Some Nonlinear Problems

Sums of squares representations on singular loci

Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time

Sharp Bilinear Decomposition for Products of Both Anisotropic Hardy Spaces and Their Dual Spaces with Its Applications to Endpoint Boundedness of Commutators