Table of Contents
Fetching ...

Optimal local central limit theorems on Wiener chaos

Masahisa Ebina, Ivan Nourdin, Giovanni Peccati

TL;DR

The paper studies local central limit theorems for normalized Wiener-chaos functionals converging to $\mathcal{N}(0,1)$, proving that the optimal density-convergence rate in Sobolev spaces $W^{k,r}(\mathbb{R})$ is governed by $\mathbf{M}(F_n)=\max\{|\mathbb{E}[F_n^3]|,\mathbb{E}[F_n^4]-3\}$. The authors develop a novel tempered-distribution Stein framework, solving Stein's equation in $\mathcal{S}'(\mathbb{R})$ and using composition with delta distributions to obtain uniform control of density derivatives. They connect cumulants via Gamma-operators to Edgeworth-type expansions, establishing sharp rates in $L^r$ and $W^{k,r}$ norms, and they derive exact asymptotics under a two-dimensional convergence assumption, with applications to Breuer–Major-type functionals. The results enhance the Malliavin–Stein method by enabling direct density-level analysis, offering precise, optimal rates and asymptotics that have potential impact on a broad class of Gaussian functionals. Overall, the work provides a rigorous, unified approach to density convergence in Wiener chaos and clarifies the role of third and fourth cumulants in local CLTs across Sobolev scales.

Abstract

This paper investigates a local central limit theorem for a normalized sequence of random variables belonging to a fixed order Wiener chaos and converging to the standard normal distribution. We prove, without imposing any additional conditions, that the optimal rate of convergence of their density functions to the standard normal density in the Sobolev space $W^{k,r}(\mathbb{R})$, for every $k \in \mathbb{N} \cup \{0\}$ and $r \in [1,\infty]$, is determined by the maximum of the absolute values of their third and fourth cumulants. We also obtain exact asymptotics for this convergence under an additional assumption. Our approach is based on Malliavin--Stein techniques combined with tools from the theory of generalized functionals in Malliavin calculus.

Optimal local central limit theorems on Wiener chaos

TL;DR

The paper studies local central limit theorems for normalized Wiener-chaos functionals converging to , proving that the optimal density-convergence rate in Sobolev spaces is governed by . The authors develop a novel tempered-distribution Stein framework, solving Stein's equation in and using composition with delta distributions to obtain uniform control of density derivatives. They connect cumulants via Gamma-operators to Edgeworth-type expansions, establishing sharp rates in and norms, and they derive exact asymptotics under a two-dimensional convergence assumption, with applications to Breuer–Major-type functionals. The results enhance the Malliavin–Stein method by enabling direct density-level analysis, offering precise, optimal rates and asymptotics that have potential impact on a broad class of Gaussian functionals. Overall, the work provides a rigorous, unified approach to density convergence in Wiener chaos and clarifies the role of third and fourth cumulants in local CLTs across Sobolev scales.

Abstract

This paper investigates a local central limit theorem for a normalized sequence of random variables belonging to a fixed order Wiener chaos and converging to the standard normal distribution. We prove, without imposing any additional conditions, that the optimal rate of convergence of their density functions to the standard normal density in the Sobolev space , for every and , is determined by the maximum of the absolute values of their third and fourth cumulants. We also obtain exact asymptotics for this convergence under an additional assumption. Our approach is based on Malliavin--Stein techniques combined with tools from the theory of generalized functionals in Malliavin calculus.

Paper Structure

This paper contains 22 sections, 42 theorems, 280 equations.

Key Result

Theorem 1.1

Let $\mathbf{F} = \{F_n\}_{n \in \mathbb{N}}$ be a sequence of random variables living in the $m$th Wiener chaos with $m \geq 2$ such that $\mathbb{E}[F_n^2] = 1$ and $F_n \xrightarrow[n \to \infty]{d} \mathcal{N}(0,1)$. Then, for any $j \in \mathbb{N}_0$, there exists $N_{\mathbf{F}, j} \in \mathbb hold for every $n \geq N_{\mathbf{F}, j}$, where the constants $C_{\mathbf{F}, j, m}$ and $\widetil

Theorems & Definitions (90)

  • Theorem 1.1
  • Remark 1.2
  • Theorem 1.3
  • Remark 1.4
  • Theorem 1.5
  • Remark 1.6
  • Remark 1.7
  • Lemma 2.1
  • Lemma 2.2
  • Lemma 2.3
  • ...and 80 more