Pith. sign in

REVIEW 3 minor 3 cited by

Dyadic Mandelbrot cascades have equal Fourier, energy and L2 dimensions almost surely under minimal integrability.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-27 17:57 UTC pith:HDPDTNTT

load-bearing objection The paper gives exact Fourier-dimension formulas for vector dyadic Mandelbrot cascades under the weakest Kahane-Peyrière conditions, with a separate circle result.

arxiv 2606.08683 v2 pith:HDPDTNTT submitted 2026-06-07 math.PR

Exact Fourier dimensions of dyadic Mandelbrot cascades under minimal integrability

Yin Cai , Guozheng Cheng , Xiang Fang , Menghan Li , Hongdou Qu , Chengbo Xiao This is my paper
classification math.PR
keywords Mandelbrot cascadeFourier dimensionenergy dimensionKahane-Peyriere conditionmultiplicative cascadesdyadic measuresrandom fractals
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper shows that for dyadic Mandelbrot cascades generated by vector weights obeying a balanced energy-admissible law, the Fourier dimension equals the energy dimension and the quadratic dimension almost surely when the cascade does not die out. This identification uses only the minimal Kahane-Peyriere integrability on the weights together with a logarithmic moment condition. In the scalar setting the common value takes an explicit form as a supremum over moment orders between one and two. The circle version yields a different supremum that involves the minimum lower local dimension. Readers care because these equalities give the exact rate at which the Fourier transform of the random measure decays, controlling its smoothness and correlation properties.

Core claim

For every balanced energy-admissible vector law the equality dim_F(mu) = dim_E(mu) = dim_2(mu) = D_E(X) holds almost surely on non-extinction. In the scalar case with nonnegative weights normalized to mean one, under the conditions E[W log_2^+ W] finite and E[W log_2 W] less than one, the common dimension equals the supremum over q in (1,2) of max{0, 2 - (2/q)(1 + log_2 E[W^q])}. On the unit circle the Fourier dimension equals the supremum over q greater than one of max{0, (q-1 - log_2 E[W^q])/q}.

What carries the argument

The energy dimension D_E(X) of the underlying branching process, which equals the common value of the three dimensions for the cascade measure mu.

Load-bearing premise

The weight law must obey the minimal Kahane-Peyriere integrability condition and satisfy E[W log_2 W] < 1.

What would settle it

A weight distribution meeting E[W log_2^+ W] < infinity and E[W log_2 W] < 1 for which the Fourier dimension of the resulting cascade measure differs from the predicted supremum on a set of positive probability.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The light-tail/heavy-tail dichotomy appears in both the interval and circle settings.
  • The circle result relies on a finite-moment annular Fourier theorem rather than energy methods.
  • The formulas remain valid when some moments E[W^q] are infinite, returning zero in that case.
  • The vector model accommodates arbitrary dependence between sibling weights.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The proof techniques may adapt to cascades on other groups or trees beyond dyadic intervals and the circle.
  • Numerical verification of the sup formulas could be done by generating many realizations and estimating Fourier transforms at high frequencies.
  • The distinction between energy dimension on the line and local dimension on the circle highlights how geometry influences which quantity governs Fourier decay.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 3 minor

Summary. The manuscript determines the Fourier dimension of dyadic Mandelbrot cascades under the minimal Kahane-Peyrière integrability conditions. In a vector-valued dyadic cascade model allowing arbitrary dependence among sibling weights, it proves that for every balanced energy-admissible vector law, almost surely on non-extinction, dim_F(μ)=dim_E(μ)=dim_2(μ)=D_E(X). In the canonical scalar case (W≥0, EW=1, E[W log₂⁺W]<∞, E[W log₂ W]<1), this specializes to dim_F(μ)=sup_{1<q<2} max{0, 2-(2/q)(1+log₂ E[W^q])}, with the term zero when E[W^q]=∞. An endpoint result is also proved for the cascade on the unit circle: dim_F(μ_circle)=sup_{q>1} max{0, (q-1-log₂ E[W^q])/q}. The interval and circle cases share a light-tail/heavy-tail dichotomy but use different mechanisms (energy dimension versus minimum lower local dimension).

Significance. If the results hold, the work supplies the sharp Fourier dimension for these random measures under the weakest integrability assumptions that guarantee non-degeneracy and positive dimension. The vector-valued extension with arbitrary sibling dependence broadens the model beyond the usual independent case, and the explicit scalar formulas recover the canonical Mandelbrot-Kahane result at the minimal moment threshold. The distinction between energy-dimension arguments on the interval and the finite-moment annular Fourier theorem on the circle is a technically interesting feature.

minor comments (3)
  1. [Main theorem (vector case)] The definition of the vector law being 'balanced energy-admissible' is central to the main theorem; a brief recall or pointer to its precise statement would improve readability in the theorem formulation.
  2. [Scalar theorem] The convention that the term vanishes when E[W^q]=∞ is stated in the abstract; confirm that the same convention is explicitly noted in the scalar theorem statement and any subsequent corollaries.
  3. [Introduction / notation section] Notation D_E(X) appears in the vector result; ensure it is defined before the first theorem or that a forward reference is given.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper establishes dim_F(mu)=dim_E(mu)=dim_2(mu)=D_E(X) for balanced energy-admissible vector laws under the external Kahane-Peyrière conditions E W=1, E[W log_2^+ W]<∞ and E[W log_2 W]<1. The scalar and circle formulas are then obtained by direct specialization to explicit suprema over q of expressions involving only the input moments log_2 E[W^q]. These quantities are defined from the given weight law and are not obtained by fitting, renaming, or self-referential construction within the derivation. No load-bearing self-citations, uniqueness theorems imported from the authors' prior work, or ansatzes smuggled via citation appear in the theorem statements; the equalities rest on standard cascade non-degeneracy and annular Fourier estimates that remain independent of the target dimension values.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the result rests on the stated integrability assumptions for the weight law.

pith-pipeline@v0.9.1-grok · 5821 in / 1193 out tokens · 21609 ms · 2026-06-27T17:57:20.485879+00:00 · methodology

0 comments
read the original abstract

We determine the Fourier dimension of dyadic Mandelbrot cascades under the minimal Kahane-Peyriere integrability condition. The interval theorem is proved in a vector-valued dyadic cascade model in which sibling weights may have arbitrary dependence. For every balanced energy-admissible vector law, almost surely on non-extinction, dim_F(mu)=dim_E(mu)=dim_2(mu)=D_E(X). In the canonical scalar case, under W>=0, E W=1, E[W log_2^+ W]<infinity, and E[W log_2 W]<1, the formula becomes dim_F(mu)=dim_E(mu)=dim_2(mu)=sup_{1<q<2} max{0, 2-(2/q)(1+log_2 E[W^q])}, with the convention that the corresponding term is zero when E[W^q]=infinity. In particular, this scalar specialization gives the canonical Mandelbrot-Kahane Fourier-dimension formula under the minimal integrability condition. We also prove the endpoint theorem for the dyadic Mandelbrot cascade on the unit circle. Under the same scalar assumption, almost surely on non-extinction, dim_F(mu_circle)=sup_{q>1} max{0, (q-1-log_2 E[W^q])/q}. The interval and circle formulas share a light-tail/heavy-tail dichotomy but have different mechanisms: energy dimension for the interval, and minimum lower local dimension for the circle. The circle lower bound follows from a finite-moment annular Fourier theorem.

Figures

Figures reproduced from arXiv: 2606.08683 by Chengbo Xiao, Guozheng Cheng, Hongdou Qu, Menghan Li, Xiang Fang, Yin Cai.

Figure 1
Figure 1. Figure 1: Proof roadmap for the circle endpoint theorem. Organization. Section 2 fixes common notations for binary trees, dyadic intervals, circle arcs, Fourier dimension, energy dimension, and descendant cascades. Section 3 constructs the balanced vector cascade on [0, 1], records the Kahane–Peyrière nondegeneracy input, and develops the moment profile ρ(q) and the parameter DE(X). Section 4 proves the vector squar… view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 3 Pith papers

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

  1. Exact Fourier dimensions of dyadic Mandelbrot cascades on curves of nonvanishing curvature under minimal integrability

    math.PR 2026-06 unverdicted novelty 7.0

    Fourier dimension of dyadic Mandelbrot cascades pushed to fixed C^2 curves with nonvanishing curvature equals A_loc(W) a.s. on non-extinction.

  2. Exact Fourier dimensions of dyadic Mandelbrot cascades on curves of nonvanishing curvature under minimal integrability

    math.PR 2026-06 unverdicted novelty 6.0

    Exact Fourier dimension of dyadic Mandelbrot cascade pushforwards on nondegenerate C^2 arcs and Jordan curves equals A_loc(W) almost surely on non-extinction.

  3. Fourier Dimensions of Mandelbrot Cascades under Minimal Integrability

    math.PR 2026-06 unverdicted novelty 6.0

    Fourier dimension of canonical Mandelbrot cascade measures equals the energy exponent almost surely under the minimal Kahane-Peyrière integrability condition.

Reference graph

Works this paper leans on

48 extracted references · 7 canonical work pages · cited by 2 Pith papers · 2 internal anchors

  1. [1]

    Alsmeyer and D

    G. Alsmeyer and D. Kuhlbusch,Double martingale structure and existence ofϕ-moments for weighted branching processes, Münster J. Math.3(2010), 163–212

    2010

  2. [2]

    Barral,Moments, continuité, et analyse multifractale des martingales de Mandelbrot, Probab

    J. Barral,Moments, continuité, et analyse multifractale des martingales de Mandelbrot, Probab. Theory Related Fields113(1999), 535–569

    1999

  3. [3]

    Barral,Continuity of the multifractal spectrum of a random statistically self-similar measure, J

    J. Barral,Continuity of the multifractal spectrum of a random statistically self-similar measure, J. Theoret. Probab.13(2000), no. 4, 1027–1060

    2000

  4. [4]

    Barral,Generalized vector multiplicative cascades, Adv

    J. Barral,Generalized vector multiplicative cascades, Adv. Appl. Probab.33(2001), no. 4, 874–895

    2001

  5. [5]

    J. D. Biggins,Chernoff’s theorem in the branching random walk, J. Appl. Probab.14(1977), no. 3, 630–636

    1977

  6. [6]

    J. D. Biggins,Martingale convergence in the branching random walk, J. Appl. Probab.14(1977), no. 1, 25–37

    1977

  7. [7]

    J. D. Biggins,Uniform convergence of martingales in the branching random walk, Ann. Probab.20 (1992), no. 1, 137–151

    1992

  8. [8]

    J. D. Biggins and A. E. Kyprianou,Fixed points of the smoothing transform: the boundary case, Electron. J. Probab.10(2005), no. 17, 609–631

    2005

  9. [9]

    Bluhm,Fourier asymptotics of statistically self-similar measures, J

    C. Bluhm,Fourier asymptotics of statistically self-similar measures, J. Fourier Anal. Appl.5(1999), no. 4, 355–362

    1999

  10. [10]

    Y. Cai, X. Fang and H. Qu,Exact Fourier dimensions of dyadic Mandelbrot cascades on curves of nonvanishing curvature under minimal integrability, arXiv:2606.11758, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  11. [11]

    X. Chen, Y. Han, Y. Qiu and Z. Wang,Harmonic analysis of Mandelbrot cascades – in the context of vector-valued martingales, arXiv:2409.13164, 2025

    work page arXiv 2025

  12. [12]

    X. Chen, Y. Han, Y. Qiu, and Z. Wang,The Mandelbrot–Kahane problem of Benoît Mandelbrot model of turbulence, C. R. Math. Acad. Sci. Paris363(2025), 35–41

    2025

  13. [13]

    X. Chen, Y. Han, Y. Qiu and Z. Wang,Microcanonical cascades and random homeomorphisms, arXiv:2505.16405, 2025

    work page arXiv 2025

  14. [14]

    C. Chen, B. Li, and V. Suomala,Fourier dimension of Mandelbrot multiplicative cascades, Comm. Math. Phys.406(2025), no. 8, Paper No. 182, 15 pp

    2025

  15. [15]

    Collet and F

    P. Collet and F. Koukiou,Large deviations for multiplicative cascades, Comm. Math. Phys.147(1992), 329–342

    1992

  16. [16]

    K. J. Falconer and X. Jin,Exact dimensionality and projection properties of Gaussian multiplicative chaos measures, Trans. Amer. Math. Soc.372(2019), no. 4, 2921–2957

    2019

  17. [17]

    A. H. Fan, K.-S. Lau, and H. Rao,Relationships between different dimensions of a measure, Monatsh. Math.135(2002), no. 3, 191–201

    2002

  18. [18]

    Fourier Dimensions of Mandelbrot Cascades under Minimal Integrability

    X. Fang,Fourier dimensions of Mandelbrot cascades under minimal integrability, arXiv:2606.08703, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  19. [19]

    D. A. Freedman,On tail probabilities for martingales, Ann. Probab.3(1975), no. 1, 100–118

    1975

  20. [20]

    Garban and V

    C. Garban and V. Vargas,Harmonic analysis of Gaussian multiplicative chaos on the circle, arXiv:2311.04027, 2023

    work page arXiv 2023

  21. [21]

    Heurteaux,An introduction to Mandelbrot cascades, inNew Trends in Applied Harmonic Analysis, Appl

    Y. Heurteaux,An introduction to Mandelbrot cascades, inNew Trends in Applied Harmonic Analysis, Appl. Numer. Harmon. Anal., Birkhäuser/Springer, Cham, 2016, pp. 67–105

    2016

  22. [22]

    Kahane,Some Random Series of Functions, 2nd ed., Cambridge Studies in Advanced Mathematics, vol

    J.-P. Kahane,Some Random Series of Functions, 2nd ed., Cambridge Studies in Advanced Mathematics, vol. 5, Cambridge University Press, Cambridge, 1985

    1985

  23. [23]

    Kahane,Sur le chaos multiplicatif, Ann

    J.-P. Kahane,Sur le chaos multiplicatif, Ann. Sci. Math. Québec9(1985), no. 2, 105–150

    1985

  24. [24]

    Kahane,Positive martingales and random measures, Chinese Ann

    J.-P. Kahane,Positive martingales and random measures, Chinese Ann. Math. Ser. B8(1987), no. 1, 1–12

    1987

  25. [25]

    Kahane,Fractals and random measures, Bull

    J.-P. Kahane,Fractals and random measures, Bull. Sci. Math.117(1993), no. 1, 153–159

    1993

  26. [26]

    Kahane and J

    J.-P. Kahane and J. Peyrière,Sur certaines martingales de Benoît Mandelbrot, Adv. Math.22(1976), no. 2, 131–145

    1976

  27. [27]

    Kesten and B

    H. Kesten and B. P. Stigum,A limit theorem for multidimensional Galton–Watson processes, Ann. Math. Statist.37(1966), no. 5, 1211–1223

    1966

  28. [28]

    A. N. Kolmogorov,A refinement of previous hypotheses concerning the local structure of turbulence in a viscous incompressible fluid at high Reynolds number, J. Fluid Mech.13(1962), 82–85

    1962

  29. [29]

    L. D. Landau and E. M. Lifshitz,Fluid Mechanics, Pergamon Press, London, 1959

    1959

  30. [30]

    Z. Lin, Y. Qiu and M. Tan,Harmonic analysis of multiplicative chaos Part II: a unified approach to Fourier dimensions, arXiv:2505.03298, 2025. 84 Y. CAI, G. CHENG, X. FANG, M. LI, H. QU, AND C. XIAO

    work page arXiv 2025

  31. [31]

    Liu,The exact Hausdorff dimension of a branching set, Probab

    Q. Liu,The exact Hausdorff dimension of a branching set, Probab. Theory Related Fields104(1996), 515–538

    1996

  32. [32]

    Liu,On generalized multiplicative cascades, Stochastic Process

    Q. Liu,On generalized multiplicative cascades, Stochastic Process. Appl.86(2000), no. 2, 263–286

    2000

  33. [33]

    Lyons, R

    R. Lyons, R. Pemantle, and Y. Peres,Conceptual proofs ofLlogL criteria for mean behavior of branching processes, Ann. Probab.23(1995), no. 3, 1125–1138

    1995

  34. [34]

    B. B. Mandelbrot,Possible refinement of the lognormal hypothesis concerning the distribution of energy in intermittent turbulence, inStatistical Models and Turbulence, Lecture Notes in Phys., vol. 12, Springer, Berlin, 1972, pp. 333–351

    1972

  35. [35]

    B. B. Mandelbrot,Intermittent turbulence in self-similar cascades: divergence of high moments and dimension of the carrier, J. Fluid Mech.62(1974), no. 2, 331–358

    1974

  36. [36]

    B. B. Mandelbrot,Multiplications aléatoires itérées et distributions invariantes par moyenne pondérée aléatoire, C. R. Acad. Sci. Paris Sér. A278(1974), 289–292;Multiplications aléatoires itérées et distributions invariantes par moyenne pondérée aléatoire: quelques extensions, C. R. Acad. Sci. Paris Sér. A278(1974), 355–358

    1974

  37. [37]

    B. B. Mandelbrot,Intermittent turbulence and fractal dimension: kurtosis and the spectral exponent 5/3 +B, inTurbulence and Navier–Stokes Equations, Lecture Notes in Math., vol. 565, Springer, Berlin, 1976, pp. 121–145

    1976

  38. [38]

    Mattila,Fourier Analysis and Hausdorff Dimension, Cambridge Studies in Advanced Mathematics, vol

    P. Mattila,Fourier Analysis and Hausdorff Dimension, Cambridge Studies in Advanced Mathematics, vol. 150, Cambridge University Press, Cambridge, 2015

    2015

  39. [39]

    G. M. Molchan,Scaling exponents and multifractal dimensions for independent random cascades, Comm. Math. Phys.179(1996), no. 3, 681–702

    1996

  40. [40]

    A. M. Obukhov,Some specific features of atmospheric turbulence, J. Fluid Mech.13(1962), 77–81

    1962

  41. [41]

    Ya. B. Pesin,On rigorous mathematical definitions of correlation dimension and generalized spectrum for dimensions, J. Stat. Phys.71(1993), no. 3–4, 529–547

    1993

  42. [42]

    Pisier,Martingales in Banach Spaces, Cambridge Studies in Advanced Mathematics, vol

    G. Pisier,Martingales in Banach Spaces, Cambridge Studies in Advanced Mathematics, vol. 155, Cambridge University Press, Cambridge, 2016

    2016

  43. [43]

    Rhodes and V

    R. Rhodes and V. Vargas,Gaussian multiplicative chaos and applications: a review, Probab. Surv.11 (2014), 315–392

    2014

  44. [44]

    Ryou and V

    D. Ryou and V. Suomala,Fourier dimension of Mandelbrot cascades on planar curves, arXiv:2603.25615, 2026

    work page arXiv 2026

  45. [45]

    Salem,On singular monotonic functions whose spectrum has a given Hausdorff dimension, Ark

    R. Salem,On singular monotonic functions whose spectrum has a given Hausdorff dimension, Ark. Mat. 1(1951), 353–365

    1951

  46. [46]

    Shmerkin and V

    P. Shmerkin and V. Suomala,Spatially independent martingales, intersections, and applications, Mem. Amer. Math. Soc.251(2018), no. 1195, v+102 pp

    2018

  47. [47]

    E. C. Waymire and S. C. Williams,A general decomposition theory for random cascades, Bull. Amer. Math. Soc. (N.S.)31(1994), no. 2, 216–222

    1994

  48. [48]

    A. M. Yaglom,The influence of fluctuations in energy dissipation on the shape of turbulence characteristics in the inertial interval, Soviet Phys. Dokl.11(1966), 26–29. FOURIER DIMENSIONS OF MANDELBROT CASCADES 85 School of Mathematics, Hangzhou Normal University, Hangzhou 311121, P. R. China Email address:20253036@hznu.edu.cn School of Mathematical Scien...

    1966