Table of Contents
Fetching ...

Density of imaginary multiplicative chaos via Malliavin calculus

Juhan Aru, Antoine Jego, Janne Junnila

TL;DR

This work establishes that the imaginary Gaussian multiplicative chaos $\mu_\beta$ associated with a non-degenerate log-correlated field possesses a smooth, Schwartz density for $\mu_\beta(f)$ when tested against nonzero compactly supported $f$. The authors introduce and implement Malliavin calculus in this complex setting, complemented by a novel decomposition theorem that enables a transfer to almost $\star$-scale invariant components and facilitates small-ball Sobolev estimates. Key contributions include precise bounds for the Malliavin determinant and related functionals, leading to the density result and implications for moments in the Fyodorov-Bouchaud framework. The techniques illuminate a pathway for analyzing densities and tail behavior of complex multiplicative chaos and suggest broader applicability to sine-Gordon-type models and related log-correlated systems.

Abstract

We consider the imaginary Gaussian multiplicative chaos, i.e. the complex Wick exponential $μ_β:= :e^{iβΓ(x)}:$ for a log-correlated Gaussian field $Γ$ in $d \geq 1$ dimensions. We prove a basic density result, showing that for any nonzero continuous test function $f$, the complex-valued random variable $μ_β(f)$ has a smooth density w.r.t. the Lebesgue measure on $\mathbb{C}$. As a corollary, we deduce that the negative moments of imaginary chaos on the unit circle do not correspond to the analytic continuation of the Fyodorov-Bouchaud formula, even when well-defined. Somewhat surprisingly, basic density results are not easy to prove for imaginary chaos and one of the main contributions of the article is introducing Malliavin calculus to the study of (complex) multiplicative chaos. To apply Malliavin calculus to imaginary chaos, we develop a new decomposition theorem for non-degenerate log-correlated fields via a small detour to operator theory, and obtain small ball probabilities for Sobolev norms of imaginary chaos.

Density of imaginary multiplicative chaos via Malliavin calculus

TL;DR

This work establishes that the imaginary Gaussian multiplicative chaos associated with a non-degenerate log-correlated field possesses a smooth, Schwartz density for when tested against nonzero compactly supported . The authors introduce and implement Malliavin calculus in this complex setting, complemented by a novel decomposition theorem that enables a transfer to almost -scale invariant components and facilitates small-ball Sobolev estimates. Key contributions include precise bounds for the Malliavin determinant and related functionals, leading to the density result and implications for moments in the Fyodorov-Bouchaud framework. The techniques illuminate a pathway for analyzing densities and tail behavior of complex multiplicative chaos and suggest broader applicability to sine-Gordon-type models and related log-correlated systems.

Abstract

We consider the imaginary Gaussian multiplicative chaos, i.e. the complex Wick exponential for a log-correlated Gaussian field in dimensions. We prove a basic density result, showing that for any nonzero continuous test function , the complex-valued random variable has a smooth density w.r.t. the Lebesgue measure on . As a corollary, we deduce that the negative moments of imaginary chaos on the unit circle do not correspond to the analytic continuation of the Fyodorov-Bouchaud formula, even when well-defined. Somewhat surprisingly, basic density results are not easy to prove for imaginary chaos and one of the main contributions of the article is introducing Malliavin calculus to the study of (complex) multiplicative chaos. To apply Malliavin calculus to imaginary chaos, we develop a new decomposition theorem for non-degenerate log-correlated fields via a small detour to operator theory, and obtain small ball probabilities for Sobolev norms of imaginary chaos.

Paper Structure

This paper contains 32 sections, 34 theorems, 231 equations.

Key Result

Theorem 1

Let $\Gamma$ be a non-degenerate log-correlated field in an open domain $U$ and let $f$ be a nonzero continuous function with compact support in $U$. Then the law of $\mu_\beta(f)$ is absolutely continuous with respect to the Lebesgue measure on $\mathbb{C}$ and the density is a Schwartz function. M

Theorems & Definitions (70)

  • Theorem
  • Remark
  • Corollary 1.1
  • proof
  • Remark 1.2
  • Theorem
  • Proposition
  • Definition 2.1: Non-degenerate log-correlated field
  • Definition 2.2
  • Proposition 3.1
  • ...and 60 more