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.

A Bernstein-von Mises Theorem for Generalized Fiducial Distributions

Riemannian-geometric generalizations of quantum fidelities and Bures-Wasserstein distance

A Geometric Perspective on Bayesian and Generalized Fiducial Inference

Bernstein-von Mises Theorems for Functionals of Covariance Matrix

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

Semiparametric inference using fractional posteriors

Large-sample theory for inferential models: a possibilistic Bernstein--von Mises theorem

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

Improved dimension dependence in the Bernstein von Mises Theorem via a new Laplace approximation bound

A general Fubini theorem for the Riesz paradigm

A small remark on Bernstein's theorem

The general Bernstein function: Application to χ‐fractional differential equations

A central limit theorem for generalized quadratic forms

Bernstein - von Mises theorems for statistical inverse problems I: Schrödinger equation

Quantum Rényi and f-Divergences from Integral Representations

Identities in law between quadratic functionals of bivariate Gaussian processes, through Fubini theorems and symmetric projections

Bernstein-von Mises theorems for time evolution equations

Computation of the Generalized F Distribution

Exponential sum approximations of finite completely monotonic functions

Quantum Rényi and $f$-divergences from integral representations

Bounds on f-Divergences between Distributions within Generalized Quasi-$\varepsilon$-Neighborhood