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.

Densities of integer sets represented by quadratic forms

On $p$-adic denseness of quotients of values of integral forms

What is the probability that a random integral quadratic form in $n$ variables has an integral zero?

Effective density of values of indefinite ternary inhomogeneous quadratic forms

Averages of Fourier coefficients of Siegel modular forms and representation of binary quadratic forms by quadratic forms in four variables

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

Densities for sets of natural numbers vanishing on a given family

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 indefinite and potentially universal quadratic forms over number fields

Quaternary quadratic forms with prime discriminant

Translation invariant quadratic forms in dense sets

Classically Integral Quadratic Forms Excepting at Most Two Values

Quantitative strong approximation for ternary quadratic forms II

Eligible Integers Represented by Positive Ternary Quadratic Forms

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

Counting Abelian Varieties over Finite Fields Via Frobenius Densities

Counting integral points on indefinite ternary quadratic equations over number fields

Quantitative strong approximation for ternary quadratic forms I

Density formulas for $p$-adically bounded primes for hypergeometric series with rational and quadratic irrational parameters