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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [§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.
- [§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.
- [§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.
- [§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.
- [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
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
assumptions (6)
- domain assumption Kahane's T-martingale theory ensures that the approximating measures μ_γ,m converge weakly to a limiting measure μ_γ,GMC.
- standard math Pisier's martingale type p inequality holds for the Banach space ℓ^q for any 1<p≤2≤q<∞.
- standard math Kolmogorov's continuity theorem can be applied to construct Hölder modifications of the stochastic processes X_j.
- 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].
- standard math The classical potential-theoretic inequality dim_F(ν) ≤ dim_2(ν) and the Riesz-energy Fourier representation are valid.
- standard math Kolmogorov's zero-one law applies to tail events generated by the tail of the white-noise decomposition of the Gaussian field.
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.
Forward citations
Cited by 2 Pith papers
-
Exact values of Fourier dimensions of Gaussian multiplicative chaos on high dimensional torus
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.
-
Microcanonical cascades and random homeomorphisms
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
-
[1]
Kari Astala, Peter Jones, Antti Kupiainen, and Eero Saksman. Random conformal weldings. Acta Math. 207 (2011), no. 2, 203-254
work page 2011
-
[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
work page 2003
-
[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
work page 2023
-
[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
work page 2015
-
[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
work page 2024
-
[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
work page 2018
-
[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
work page 2023
-
[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
arXiv 2024
Show all 31 references
-
[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
2024 arXiv
-
[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
1904
-
[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
2016
-
[12]
Liouville quantum gravity and KPZ
Bertrand Duplantier and Scott Sheffield. Liouville quantum gravity and KPZ. Invent. Math. 185 (2011), no. 2, 333-393
2011
-
[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
2019
-
[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
2002
-
[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
2023 arXiv
-
[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
2023 arXiv
-
[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
1997
-
[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
2019
-
[19]
Sur le chaos multiplicatif
Jean-Pierre Kahane. Sur le chaos multiplicatif. Ann. Sci. Math. Qu \'e bec 9 (1985), no. 2, 105-150
1985
-
[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
1985
-
[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
1987
-
[22]
An introduction to harmonic analysis
Yitzhak Katznelson. An introduction to harmonic analysis. Third edition. Cambridge Mathematical Library. Cambridge University Press, Cambridge, 2004
2004
-
[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
2020
-
[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
2015
-
[25]
Fourier analysis and Hausdorff dimension
Pertti Mattila. Fourier analysis and Hausdorff dimension. Cambridge Studies in Advanced Mathematics, 150. Cambridge University Press, Cambridge, 2015
2015
-
[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
2000
-
[27]
Martingales in Banach spaces
Gilles Pisier. Martingales in Banach spaces. Cambridge Studies in Advanced Mathematics, 155. Cambridge University Press, Cambridge, 2016
2016
-
[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
1999
-
[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
2014
-
[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
2016
-
[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
2015
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.