Pith. sign in

REVIEW 5 minor 2 cited by

Harmonic analysis of multiplicative chaos Part I: the proof of Garban-Vargas conjecture for 1D GMC

T0 review · 0 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Pith's one-line read For every sub-critical $\gamma\in(0,\sqrt2)$, the Fourier dimension of the standard Gaussian multiplicative chaos measure on the unit interval is almost surely $1-\gamma^2$ for $\gamma<\sqrt2/2$ and $(\sqrt2-\gamma)^2$ for…

desk verdict This paper settles the Garban-Vargas conjecture for 1D GMC with a genuinely new lower-bound technique, and the stress-test worry about the upper bound is minor rather than fatal; send it to review. read the letter →

arxiv 2411.13923 v3 pith:THRWAWKG submitted 2024-11-21 math.PR math-phmath.DSmath.FAmath.MP

classification math.PRmath-phmath.DSmath.FAmath.MP MSC 60G5742A6146B0960G46
keywords GaussianmultiplicativechaosFourierdimensioncorrelationvector-valuedmartingalemethodtypepwhite-noisedecompositiondyadicdecay
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper resolves a conjecture about the harmonic analysis of Gaussian multiplicative chaos: for every sub-critical parameter $\gamma\in(0,\sqrt2)$, the random measure on the unit interval has an exact Fourier dimension $D_\gamma$, equal to $1-\gamma^2$ when $\gamma<\sqrt2/2$ and to $(\sqrt2-\gamma)^2$ when $\gamma\ge\sqrt2/2$. That means the Fourier coefficients decay polynomially at every exponent below $D_\gamma$ and fail to decay at any exponent above it, almost surely. The result matters because Fourier dimension is the sharp measure of how a measure spreads in frequency space, and for continuous multiplicative chaos only non-matching bounds were known before. The equality also confirms that, for this model, Fourier dimension and correlation dimension coincide, which is the qualitative content of the conjecture.

What carries the argument

The key machinery is an $\ell^q$-valued martingale indexed by the Fourier coefficients of the approximating measures, $M_m = (n^{\tau/2}\widehat{\mu}_{\gamma,m}(n))_{n\ge 1}$, with $1<p<2$ and $q>4/(1-\tau)$ chosen so that a certain positive-exponent condition holds. The proof establishes a uniform $L^p(\ell^q)$ bound for this martingale by a two-stage localization: first, martingale type $p$ inequalities for $\ell^q$ reduce the bound to sums over dyadic intervals; second, a separation-of-variable estimate bounds each dyadic contribution by deterministic weight sequences times explicit random variables. The separation step combines a white-noise decomposition of the log-correlated field, an odd-even decomposition of dyadic intervals to create conditional independence, a quantitative modulus of continuity for the weight processes, Abel summation to turn oscillatory integrals into differences of adjacent weights, and a discrete product rule. These ingredients convert the problem into checking geometric series that converge exactly when $\tau<D_\gamma$.

What would settle it

Compute the correlation dimension of the exact-log-kernel GMC measure on $[0,1]$ directly from the Riesz-energy definition, for example numerically for $\gamma=0.8$: the double integral $\int\int \mu(dt)\mu(ds)/|t-s|^s$ should diverge for every $s>D_{0.8}$ and converge for every $s<D_{0.8}$. A deviation from this threshold at any sub-critical $\gamma$ would falsify the upper bound and hence the equality.

Watch

Extended reading notes

Core claim

The paper's central claim is the almost-sure equality $\dim_F(\mu_{\gamma,\mathrm{GMC}}) = D_\gamma$, with $D_\gamma = 1-\gamma^2$ for $0<\gamma<\sqrt2/2$ and $D_\gamma = (\sqrt2-\gamma)^2$ for $\sqrt2/2\le\gamma<\sqrt2$. The hard direction is the lower bound $\dim_F\ge D_\gamma$: the paper forms the $\ell^q$-valued martingale $(n^{\tau/2}\widehat{\mu}_{\gamma,m}(n))_{n\ge1}$ from the Fourier coefficients of the approximating measures, proves a uniform $L^p(\ell^q)$ bound by localizing onto dyadic intervals and applying martingale type $p$ inequalities for $\ell^q$, and then passes to the limit to obtain $|\widehat{\mu}_{\gamma,\mathrm{GMC}}(n)|^2 = O(n^{-\tau})$ for every $\tau<D_\gamma$. The upper bound $\dim_F\le D_\gamma$ is short: it combines the classical inequality $\dim_F\le\dim_2$ with the already established correlation dimension $\dim_2(\mu_{\gamma,\mathrm{GMC}})=D_\gamma$. The new content is the lower bound; the theorem is that the two dimensions agree.

Load-bearing premise

The upper bound assumes, as an imported result, that the two-point correlation dimension of this random measure is almost surely $D_\gamma$; if that identity fails for the exact log-kernel on $[0,1]$, the equality could fail even though the paper's own lower-bound proof remains valid.

Editorial extensions

If this is right

  • For every sub-critical $\gamma$, the Fourier dimension of the standard 1D GMC is known exactly, so the decay rate of its Fourier coefficients is no longer an open question.
  • For small parameters, the result upgrades the previously known upper bound and the nonexplicit lower bound to the sharp equality $1-\gamma^2$.
  • For large sub-critical parameters, it gives the first exact value $(\sqrt2-\gamma)^2$, in the regime where the Fourier dimension is strictly smaller than the Hausdorff dimension.
  • Almost-sure $\alpha$-upper Frostman regularity holds for every $\alpha < D_\gamma/2$, and Fourier restriction estimates hold with the stated range of exponents.
  • The same method, with one white-noise decomposition replaced by a hyperbolic-disk decomposition, yields the identical theorem for the GMC on the unit circle.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A purely internal proof of the correlation-dimension identity would make the theorem self-contained; the paper's own lower bound already gives the reverse inequality.
  • The same $\ell^q$-martingale scheme should transfer to the unit-circle GMC by swapping in a hyperbolic-disk white-noise decomposition, as the paper notes; a direct consequence, if carried out, is an exact Fourier dimension for that model as well.
  • Because the paper shows bounded continuous perturbations of the log-kernel can change Fourier dimension, it is natural to conjecture that the equality survives exactly for perturbations in some smoothness class; identifying the minimal class would decide which higher-dimensional chaos models admit the same sharp result.
  • The sharp decay threshold suggests that the normalized coefficients $n^{D_\gamma/2}\widehat{\mu}_{\gamma,\mathrm{GMC}}(n)$ fluctuate on the scale of their mean for all sub-critical $\gamma$, not only in the small-$\gamma$ range where a central limit theorem is already known.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper establishes the exact almost-sure Fourier dimension of the standard subcritical Gaussian multiplicative chaos measure on the unit interval, confirming the Garban-Vargas conjecture. Theorem 1.1 states that for every γ∈(0,√2), dim_F(μ_{γ,GMC})=D_γ, where D_γ=1−γ² for γ<√2/2 and D_γ=(√2−γ)² for γ≥√2/2. The lower bound is proved in detail by a vector-valued martingale method: weighted Fourier coefficients are arranged into ℓ^q-valued martingales, Pisier's martingale type p inequalities are applied twice, and a dyadic-discrete-time approximation together with an Abel summation step yields a separation-of-variable estimate that gives the required uniform L^p(ℓ^q) bound for every τ<D_γ. The upper bound is obtained from the classical inequality dim_F≤dim_2 combined with the known L²-spectrum/correlation-dimension identity dim_2(μ_{γ,GMC})=D_γ, cited from Bertacco and from Lacoin-Rhodes-Vargas. The paper also states corollaries on upper Frostman regularity and on a Fourier restriction estimate.

Significance. If correct, this is a substantial result: it resolves the Garban-Vargas conjecture and provides an exact formula for the Fourier dimension of 1D GMC. The lower-bound proof is the main novelty and is internally consistent; I checked the exponent bookkeeping in Steps 7–12 of §5.5 and the variational calculation in Lemma 4.2, and the threshold D_γ emerges correctly from the condition Θ(γ,τ,p,q)>0. The method, based on a random Fourier decoupling estimate and a separation-of-variable estimate, is likely to generalize to other multiplicative chaos models, as the authors indicate. The upper bound is not proved from first principles but is explicitly reduced to published L²-spectrum results; this is a legitimate strategy, though the verification of the hypotheses of those external results should be made more explicit. The paper is clearly written and the main proof is fully detailed.

minor comments (5)
  1. [§6.2] The upper bound in Lemma 6.2 is load-bearing and depends entirely on the external identity dim_2(μ_{γ,GMC})=D_γ from [Ber23, Theorem 3.1] or on the [LRV15] energy criterion. The manuscript states in §6.2.1 that these results cover perturbed log-kernels of the form (1.4), and the exact kernel (1.2) is the special case g≡0, but the verification that the Bacry-Muzy construction of §3 satisfies all hypotheses (including positive definiteness in d=1) is left implicit. Please add one explicit sentence in §6.2.1 and §6.2.2 stating precisely which cited theorem applies to the exact-kernel GMC on [0,1] and why.
  2. [§5.3] The cardinality of D_{k-1} is 2^{k-1}, not 2^k, so the display in §5.3 should be ∑_{k≥2} 2^{k-1}·2^{-(k-1)(1+Θ)}; the convergence is unaffected, but the displayed exponent is off by a harmless factor.
  3. [§6.1, Lemma 6.1] The displayed equality E[(∑ n^{τq/2}|μ̂_{γ,GMC}(n)|^q)^{p/q}] = sup_m E[‖M_m‖^p_{ℓ^q}] should be an inequality ≤ sup_m, obtained by Fatou's lemma after the pointwise convergence of Fourier coefficients; the subsequent conclusion is unaffected.
  4. [§1.3, Corollary 1.2] The derivation of Corollary 1.2 is omitted as routine. Since Corollary 1.3 relies on the upper Frostman regularity statement, please either include a short derivation or give the precise argument in [CHQW24, Corollary 1.5] that is being invoked.
  5. [Throughout] There are several typographical and formatting issues: 'refered' should be 'referred', 'halp-plane' should be 'half-plane', 'Garban-V arga' appears with a spurious space in the abstract, and some spacing in displays is irregular. A careful copyedit would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the lower bound is derived in-paper from first principles, and the upper bound uses an external correlation-dimension identity that is not equivalent to the Fourier-dimension conclusion.

full rationale

The paper's central claim dim_F(μ_γ,GMC)=D_γ splits into two halves. The lower bound (Lemma 6.1) is proved entirely inside the paper: Theorem 1.4 is established via the Bacry-Muzy white-noise decomposition, odd-even dyadic localization, twice-applied Pisier martingale type p inequalities for ℓq, and the deterministic separation-of-variable estimates of §5.5. The exponent Dγ in Lemma 4.2 is obtained by elementary maximization of fγ over p∈(1,2], not by fitting or by importing the conclusion; no step reduces to the desired Fourier decay. The upper bound (Lemma 6.2) is imported: §6.2.1 cites Bertacco [Ber23, Theorem 3.1] (also RV14, GV23) for the L2-spectrum identity dim_2(μ_γ,GMC)=D_γ and then applies the general potential-theoretic inequality dim_F ≤ dim_2; §6.2.2 gives an alternative proof using the Riesz-energy threshold of Lacoin-Rhodes-Vargas [LRV15] plus Kolmogorov's zero-one law. These external inputs concern the correlation dimension or Riesz energy of GMC, not the Fourier dimension; they are independent results, not restatements of Theorem 1.1. The self-citation to [CHQW24] (one shared author, Qiu) is methodological credit for the vector-valued martingale technique; the martingale type inequalities themselves are cited to Pisier [Pis16], and Propositions 5.1 and 5.2 are proved in the present paper. Accordingly, no prediction reduces by construction to its inputs; the possible inapplicability of Bertacco's theorem to the exact-log-kernel GMC would be a correctness risk on an external premise, not a circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claim depends on three classes of inputs: standard background from Banach space geometry and probability (Pisier's martingale type p inequalities, Kolmogorov's continuity theorem, Kahane's T-martingale convergence); the specific white-noise construction of GMC and its exact geometric properties, which are proved inside the paper; and external results for the L²-spectrum or correlation dimension of GMC (Bertacco [Ber23], Rhodes-Vargas [RV14], Lacoin-Rhodes-Vargas [LRV15]) used only for the upper bound. No free parameters are fitted; the sharp exponent D_γ arises from a variational condition.

assumptions (6)
  • domain assumption Kahane's T-martingale theory ensures that the approximating measures μ_γ,m converge weakly to a limiting measure μ_γ,GMC.
    Invoked at equation (3.4) to define the GMC measure; this is a standard result from Kahane's theory of multiplicative chaos.
  • standard math Pisier's martingale type p inequality holds for the Banach space ℓ^q for any 1<p≤2≤q<∞.
    Used in (2.7)-(2.8) as the core tool for bounding the ℓ^q-valued martingale; this is a classical result in Banach space geometry, cited from Pisier's book.
  • standard math Kolmogorov's continuity theorem can be applied to construct Hölder modifications of the stochastic processes X_j.
    Used in Corollaries 3.5 and 3.6 to justify Convention 3.7, which is essential for the pointwise estimates later in the proof.
  • domain assumption The L²-spectrum identity dim_2(μ_γ,GMC)=D_γ holds, as computed by Bertacco [Ber23, Theorem 3.1] and Rhodes-Vargas [RV14, Section 4.2].
    Used in §6.2.1 to obtain the upper bound dim_F ≤ dim_2 = D_γ; the alternative proof in §6.2.2 uses a Riesz-energy characterization from Lacoin-Rhodes-Vargas [LRV15].
  • standard math The classical potential-theoretic inequality dim_F(ν) ≤ dim_2(ν) and the Riesz-energy Fourier representation are valid.
    Used in §2.1 and §6.2.1; these are standard facts from harmonic analysis, referenced to BSS23 and Mattila.
  • standard math Kolmogorov's zero-one law applies to tail events generated by the tail of the white-noise decomposition of the Gaussian field.
    Used in Lemma 6.3 to prove that finiteness of the Riesz energy is an almost-sure or almost-never event, a key step in the alternative upper-bound proof.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Harmonic analysis of multiplicative chaos Part I: the proof of Garban-Vargas conjecture for 1D GMC." pith.science (2026). https://pith.science/paper/THRWAWKG

@misc{pith2026241113923,
  author       = {Pith},
  title        = {Pith review of: Harmonic analysis of multiplicative chaos Part I: the proof of Garban-Vargas conjecture for 1D GMC},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/THRWAWKG}},
  note         = {Machine review of arXiv:2411.13923}
}
read the original abstract

In this paper, we establish the exact Fourier dimensions of all standard sub-critical Gaussian multiplicative chaos on the unit interval, thereby confirming the Garban-Vargas conjecture. The proof relies on a significant improvement of the vector-valued martingale method, initially developed by Chen-Han-Qiu-Wang in the studies of the Fourier dimensions of Mandelbrot cascade random measures.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Exact values of Fourier dimensions of Gaussian multiplicative chaos on high dimensional torus

    math.PR 2025-07 conditional novelty 8.0 of 10

    For a specially constructed log-correlated field on T^d, the GMC measure almost surely has Fourier dimension d-γ^2 when γ<√(2d)/2 and (√(2d)-γ)^2 when √(2d)/2<=γ<√(2d), for all d>=1.

  2. Microcanonical cascades and random homeomorphisms

    math.PR 2025-05 conditional novelty 8.0 of 10

    Almost surely, the Fourier dimension of a Mandelbrot microcanonical cascade measure equals log_2(1/(E[W0^2]+E[W1^2])), settling the Mandelbrot-Kahane problem for this class.

Reference graph

Works this paper leans on

31 extracted references · 27 canonical work pages · cited by 2 Pith papers

  1. [1]

    Random conformal weldings

    Kari Astala, Peter Jones, Antti Kupiainen, and Eero Saksman. Random conformal weldings. Acta Math. 207 (2011), no. 2, 203-254

  2. [2]

    Log-infinitely divisible multifractal processes

    Emmanuel Bacry and Jean-Francois Muzy. Log-infinitely divisible multifractal processes. Comm. Math. Phys. 236 (2003), no. 3, 449-475

  3. [3]

    Self-similar and self-affine sets and measures

    Bal \'a zs B \'a r \'a ny, K \'a roly Simon, and Boris Solomyak. Self-similar and self-affine sets and measures. Mathematical Surveys and Monographs, 276. American Mathematical Society, Providence, RI, 2023

  4. [4]

    Basic properties of critical lognormal multiplicative chaos

    Julien Barral, Antti Kupiainen, Miika Nikula, Eero Saksman, and Christian Webb. Basic properties of critical lognormal multiplicative chaos. Ann. Probab. 43 (2015), no. 5, 2205-2249

  5. [5]

    The Virasoro structure and the scattering matrix for Liouville conformal field theory

    Guillaume Baverez, Colin Guillarmou, Antti Kupiainen, R \'e mi Rhodes, and Vincent Vargas. The Virasoro structure and the scattering matrix for Liouville conformal field theory. Probab. Math. Phys. 5 (2024), no. 2, 269-320

  6. [6]

    Random Hermitian matrices and Gaussian multiplicative chaos

    Nathana\" e l Berestycki, Christian Webb, and Mo Dick Wong. Random Hermitian matrices and Gaussian multiplicative chaos. Probab. Theory Related Fields 172 (2018), no. 1-2, 103-189

  7. [7]

    Multifractal analysis of Gaussian multiplicative chaos and applications

    Federico Bertacco. Multifractal analysis of Gaussian multiplicative chaos and applications. Electron. J. Probab. 28 (2023), Paper No. 2, 36 pp

  8. [8]

    Fourier dimension of Mandelbrot multiplicative cascades

    Changhao Chen, Bing Li, and Ville Suomala. Fourier dimension of Mandelbrot multiplicative cascades. arXiv preprint. arXiv: 2409.13455, 2024

Show all 31 references
  1. [9]

    Harmonic analysis of mandelbrot cascades -- in the context of vector-valued martingales

    Xinxin Chen, Yong Han, Yanqi Qiu, and Zipeng Wang. Harmonic analysis of mandelbrot cascades -- in the context of vector-valued martingales. arXiv preprint. arXiv: 2409.13164, 2024

  2. [10]

    On the circle, Gaussian Multiplicative Chaos and Beta Ensembles match exactly

    Reda Chhaibi and Joseph Najnudel. On the circle, Gaussian Multiplicative Chaos and Beta Ensembles match exactly. arXiv preprint. arXiv: 1904.00578, 2019

  3. [11]

    Liouville quantum gravity on the Riemann sphere

    Fran c ois David, Antti Kupiainen, R\'emi Rhodes, and Vincent Vargas. Liouville quantum gravity on the Riemann sphere. Comm. Math. Phys. 342 (2016), no. 3, 869-907

  4. [12]

    Liouville quantum gravity and KPZ

    Bertrand Duplantier and Scott Sheffield. Liouville quantum gravity and KPZ. Invent. Math. 185 (2011), no. 2, 333-393

  5. [13]

    Exact dimensionality and projection properties of Gaussian multiplicative chaos measures

    Kenneth Falconer and Xiong Jin. Exact dimensionality and projection properties of Gaussian multiplicative chaos measures. Trans. Amer. Math. Soc. 372 (2019), no. 4, 2921-2957

  6. [14]

    Relationships between different dimensions of a measure

    Ai-Hua Fan, Ka-Sing Lau, and Hui Rao. Relationships between different dimensions of a measure. Monatsh. Math. 135 (2002), no. 3, 191-201

  7. [15]

    Harmonic analysis of Gaussian multiplicative chaos on the circle

    Christophe Garban and Vincent Vargas. Harmonic analysis of Gaussian multiplicative chaos on the circle. arXiv preprint. arXiv: 2311.04027, 2023

  8. [16]

    Random analytic functions via Gaussian multiplicative chaos

    Yichao Huang and Eero Saksman. Random analytic functions via Gaussian multiplicative chaos. arXiv preprint. arXiv: 2306.07732, 2023

  9. [17]

    Hunt and Vadim Yu

    Brian R. Hunt and Vadim Yu. Kaloshin. How projections affect the dimension spectrum of fractal measures. Nonlinearity 10 (1997), no. 5, 1031-1046

  10. [18]

    Decompositions of log-correlated fields with applications

    Janne Junnila, Eero Saksman, and Christian Webb. Decompositions of log-correlated fields with applications. Ann. Appl. Probab. 29 (2019), no. 6, 3786-3820

  11. [19]

    Sur le chaos multiplicatif

    Jean-Pierre Kahane. Sur le chaos multiplicatif. Ann. Sci. Math. Qu \'e bec 9 (1985), no. 2, 105-150

  12. [20]

    Some random series of functions

    Jean-Pierre Kahane. Some random series of functions. Second edition. Cambridge Studies in Advanced Mathematics, 5. Cambridge University Press, Cambridge, 1985

  13. [21]

    Positive martingales and random measures

    Jean-Pierre Kahane. Positive martingales and random measures. Chinese Ann. Math. Ser. B 8 (1987), no. 1, 1-12

  14. [22]

    An introduction to harmonic analysis

    Yitzhak Katznelson. An introduction to harmonic analysis. Third edition. Cambridge Mathematical Library. Cambridge University Press, Cambridge, 2004

  15. [23]

    Integrability of Liouville theory: proof of the DOZZ formula

    Antti Kupiainen, R \'e mi Rhodes, and Vincent Vargas. Integrability of Liouville theory: proof of the DOZZ formula. Ann. of Math. (2) 191 (2020), no. 1, 81-166

  16. [24]

    Complex gaussian multiplicative chaos

    Hubert Lacoin, R \'e mi Rhodes, and Vincent Vargas. Complex gaussian multiplicative chaos. Comm. Math. Phys. 337 (2015), no. 2, 569-632

  17. [25]

    Fourier analysis and Hausdorff dimension

    Pertti Mattila. Fourier analysis and Hausdorff dimension. Cambridge Studies in Advanced Mathematics, 150. Cambridge University Press, Cambridge, 2015

  18. [26]

    Salem sets and restriction properties of F ourier transforms

    Gerd Mockenhaupt. Salem sets and restriction properties of F ourier transforms. Geom. Funct. Anal. 10 (2000), no. 6, 1579-1587

  19. [27]

    Martingales in Banach spaces

    Gilles Pisier. Martingales in Banach spaces. Cambridge Studies in Advanced Mathematics, 155. Cambridge University Press, Cambridge, 2016

  20. [28]

    Continuous martingales and Brownian motion

    Daniel Revuz and Marc Yor. Continuous martingales and Brownian motion. Third edition. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 293. Springer-Verlag, Berlin, 1999

  21. [29]

    Gaussian multiplicative chaos and applications: a review

    R \'e mi Rhodes and Vincent Vargas. Gaussian multiplicative chaos and applications: a review. Probab. Surv. 11 (2014), 315-392

  22. [30]

    Conformal weldings of random surfaces: SLE and the quantum gravity zipper

    Scott Sheffield. Conformal weldings of random surfaces: SLE and the quantum gravity zipper. Ann. Probab. 44 (2016), no. 5, 3474-3545

  23. [31]

    The characteristic polynomial of a random unitary matrix and Gaussian multiplicative chaos--the L^2 -phase

    Christian Webb. The characteristic polynomial of a random unitary matrix and Gaussian multiplicative chaos--the L^2 -phase. Electron. J. Probab. 20 (2015), no. 104, 21 pp

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.