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.

Value Distributions of Derivatives of $K$-regular Polynomial Families

Convergence of Equilibrium Measures under $K$-regular Polynomial Sequences and their Derivatives

Zero distributions of derivatives of polynomial families centering on a set

Equidistribution of the zeros of higher order derivatives in polynomial dynamics

Quantitative tame properties of differentiable functions with controlled derivatives

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

Polynomial progressions in topological fields

Limit distributions for polynomials with independent and identically distributed entries

Regularity of optimal sets for some functional involving eigenvalues of an operator in divergence form

Regularity theory and Green's function for elliptic equations with lower order terms in unbounded domains

Value Distribution of Logarithmic Derivatives of Quadratic Twists of Automorphic L -functions

The distribution of the cokernel of a polynomial evaluated at a random integral matrix

Equidistribution in Random Polynomials and Systems of Random Holomorphic Sections

Non-autonomous iteration of polynomials in the complex plane

Value Distributions of Exponential Sums from Perfect Nonlinear Functions and Their Applications

A note on logarithmic equidistribution

Asymptotic expansion for the Fourier coefficients associated with the inverse of the modular discriminant function $Δ$

Local theory of stable polynomials and bounded rational functions of several variables

Arakelov-Green's functions for dynamical systems on projective varieties

Joint distribution in residue classes of families of polynomially-defined additive functions