Pith. sign in

REVIEW 2 major objections 4 minor 3 cited by

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

T0 review · 2 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash

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

Pith's one-line read The Fourier dimension of a dyadic Mandelbrot cascade pushed forward to any fixed nondegenerate C² arc or Jordan curve is exactly A_loc(W), a deterministic function of the cascade law alone.

desk verdict Solid extension of the circle endpoint formula to arbitrary C^2 arcs and Jordan curves, but the paper's new annular lemma has a threshold typo that breaks the proof as written. read the letter →

arxiv 2606.11758 v4 pith:35277JKR submitted 2026-06-10 math.PR

Yin Cai , Xiang Fang , Hongdou Qu This is my paper · ORCID
classification math.PR MSC 60G5742B1028A80
keywords MandelbrotcascadeFourierdimensiondyadicC²curvesnonvanishingcurvatureminimalKahane–Peyrièreregimeannularestimatelocal
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 aims to establish that the Fourier dimension of a dyadic Mandelbrot cascade — a random multifractal measure built by splitting mass along a binary tree — is exactly A_loc(W) when the measure is pushed forward by any fixed nondegenerate C² embedded arc in the plane, and the same endpoint value holds for fixed nondegenerate C² Jordan curves. A_loc(W) is the supremum over q>1 of max{0, (q−1−log₂ E[W^q])/q}, with the q-term taken as 0 when the moment is infinite, so the endpoint is a deterministic function of the cascade weight's moment behavior alone. The result matters because it shows the polynomial Fourier decay rate of such cascades is not an artifact of the canonical circle's explicit trigonometric phase: it persists for arbitrary smooth curved supports as long as curvature does not vanish. The lower bound is proved by a finite-r annular Fourier theorem with an endpoint-safe phase decomposition, while the matching upper bound transfers the scalar-circle minimum lower local dimension through deterministic curved-support obstructions.

What carries the argument

The central device is the endpoint-safe phase decomposition. For each frequency ξ, the phase φ_ξ(t)=−2πξ·γ(t) is split as χ_{ξ,0}+χ_{ξ,1}+χ_{ξ,sd}+Σ_d χ_{ξ,d}=1, separating endpoint-safe pieces, the small-derivative piece, and dyadic derivative bands where nonvanishing curvature yields |φ'_ξ|≥c|ξ|d and uniform phase-bin coefficient estimates. Feeding this into a finite-r annular martingale argument — predictable capping, a complex Freedman concentration inequality, and an r-tail compensator — gives almost sure decay for strict subendpoint exponents. The matching upper bound uses the imported scalar-circle identity α_min(µ°)=A_loc(W) together with the deterministic obstruction dim_F(η)≤α_min(

What would settle it

Numerically simulate a dyadic cascade for a concrete W in the minimal regime (e.g., W=2 with probability p and W=0 otherwise, with p chosen so E[W log₂ W]<1), push the interval cascade forward by the parabola γ(t)=(t,t²), and estimate the decay exponent of |µ̂_γ(ξ)| along a normal frequency line ξ=(0,R). If this exponent is not A_loc(W), the theorem is false; alternatively, compute α_min of the circle cascade for that W and compare to A_loc(W), since the upper bound depends on their equality.

Watch

Extended reading notes

Core claim

On its own terms: under minimal Kahane–Peyrière conditions (W≥0, EW=1, E[W log⁺₂ W]<∞, E[W log₂ W]<1), the paper proves that for each fixed nondegenerate C² embedded arc γ, the pushforward µ_γ = γ#µ satisfies dim_F(µ_γ)=A_loc(W) almost surely on non-extinction, and the analogous formula holds for fixed nondegenerate C² Jordan curves. The arc lower bound is the novel part: an annular estimate that controls sup over frequency annuli uniformly, giving decay at every strict subendpoint exponent. The upper bound is local-dimensional: dim_F(η)≤α_min(η) for measures on curved supports, and α_min(µ_γ)=A_loc(W) is transferred deterministically from the circle. The Jordan case is derived by cutting th

Load-bearing premise

The upper bound in both endpoint formulas rests on the imported scalar-circle identity α_min(µ°)=A_loc(W) from a companion paper; if that identity is false, the upper bounds collapse, although the fixed-arc lower bound would stand.

Editorial extensions

If this is right

  • For every fixed nondegenerate C² arc, the Fourier dimension is a.s. A_loc(W) on non-extinction; the same holds for fixed nondegenerate C² Jordan curves, so the endpoint formula is stable across parametrized smooth curves.
  • Every strict subendpoint exponent σ<A_loc(W) is an almost sure Fourier decay exponent: |µ̂_γ(ξ)|=O(|ξ|^{−σ/2}) as |ξ|→∞.
  • If some q>1 has E[W^q]<2^{q−1}, the pushforward has positive Fourier dimension; if all q>1 moments are infinite, the Fourier dimension is 0 a.s. on non-extinction.
  • The upper bound relies only on local dimension, not on annular Fourier estimates; the lower bound is what requires the new endpoint-safe phase analysis.
  • The Jordan-curve theorem is a corollary of the arc theorem via first-generation dyadic cutting, so no separate oscillatory treatment for closed curves is needed.

Reading between the lines

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

  • Editorial inference: the endpoint formula suggests the Fourier dimension is invariant under any bi-Lipschitz reparametrization within the nondegenerate class, since every such curve yields the same A_loc(W); the paper does not state reparametrization invariance but its theorems imply it for fixed arcs and Jordan curves.
  • Editorial inference: the deterministic upper obstruction dim_F≤α_min is proved without the curvature lower bound, so if the circle identity transfers, the upper bound may survive for C² arcs with flat points; the lower bound would be the obstacle.
  • Editorial inference: the annular finite-r machinery is phrased locally, so a natural testable extension would be cascades pushed to higher-dimensional submanifolds or to vector-valued cascades; the endpoint-safe decomposition should adapt to any C² hypersurface with nonzero curvature.
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

2 major / 4 minor

Summary. The paper proves exact Fourier-dimension formulas for scalar dyadic Mandelbrot cascades pushed forward to fixed nondegenerate C^2 embedded arcs and C^2 Jordan curves in R^2. Under the minimal Kahane–Peyrière regime, it is shown that, almost surely on non-extinction, dim_F(µ_γ) = A_loc(W), where A_loc(W) is the explicit endpoint determined by the cascade law. The fixed-arc lower bound is obtained from a new finite-r annular Fourier theorem based on an endpoint-safe phase decomposition, phase-bin coefficient estimates, predictable capping, the complex Freedman inequality, and an r-tail compensator. The Jordan-curve lower bound follows by first-generation dyadic cutting into two arcs. The upper bounds use deterministic curved-support obstructions and an imported scalar-circle minimum-lower-local-dimension identity from the companion paper [1].

Significance. If the proof is completed, the result is significant: it extends the scalar-circle endpoint formula to arbitrary fixed nondegenerate C^2 arcs and Jordan curves under minimal integrability, showing that the endpoint is a deterministic function of the cascade law rather than of the particular curve. The finite-r annular machinery for arcs is a substantial new technical contribution, and the lower-bound direction is developed internally, independently of the scalar-circle Fourier theorem. The paper is careful in stating fixed-curve, non-uniform constants and in disclosing the external input for the upper bound.

major comments (2)
  1. [§4.4–4.5, Prop. 4.29 and Prop. 4.35] The compensator exceptional event E_comp^n is defined by the threshold 2^{n-2}2^{-sn/2}. On the good event, the absolute compensator is therefore only bounded by 2^{n-2}2^{-sn/2}. In the final paragraph of Proposition 4.35 this term is added to the centered capped contribution (≤ C_γ 2^{-sn/2}) and the safe contribution, and the paper concludes |ν̂_γ(ξ)| ≤ C_γ 2^{-sn/2}. That inference does not follow: the compensator term alone is 2^{n-2} times the claimed target. The preceding estimates are compatible with a much smaller threshold: Lemmas 4.27 and 4.28 give E[E_n^pre + E_n^post] ≤ C_γ 2^{-sn/2}2^{-cγ n}, so Markov's inequality with threshold C_0 2^{-sn/2} would give a summable probability bound. Thus the printed factor 2^{n-2} is very likely a typo, but as written Theorem 1.5—and hence the lower-bound direction of Theorems 1.2 and 1.4—is not proved. This must be corrected and the proof
  2. [§2.6, Theorem 2.4; §§5.1, 6.2] The upper-bound half of Theorems 1.2 and 1.4 rests entirely on the imported identity α_min(µ^◦) = A_loc(W) from [1, Theorem 7.12], a companion preprint whose author list overlaps this paper's, and no proof of that theorem is reproduced. The deterministic transfers (Lemmas 5.1–5.5, Theorem 5.6, Proposition 6.4) are internally sound, but if the companion theorem is not independently verifiable, the upper bounds are unsupported. The dependence is disclosed, but for a journal submission the status of [1] should be clarified—for example by including a proof of Theorem 2.4 in an appendix or by confirming that [1] has been accepted and is available to the referee.
minor comments (4)
  1. [§4.5, Definition 4.33] Once the compensator threshold is corrected to a constant multiple of 2^{-sn/2}, the statement of Proposition 4.29 and its proof should be aligned; currently the displayed event and the word 'Consequently' refer to a threshold that is inconsistent with the assembly step.
  2. [§4.3, Lemma 4.20] The 'edge by edge, generation by generation' ordering is described informally. The argument is convincing, but a formal definition of the ordering and the filtration would improve readability, especially since the variance budget in Lemma 4.17 is summed over levels.
  3. [§2.9 and §4.2] The coefficient convention c_J(ξ,d,ℓ) is used frequently and is clear, but the repeated comment 'there is no additional factor 1/2' is easy to miss. Consider a displayed summary of the exact increment identity.
  4. [§5.2, Lemma 5.8] The constant c_γ is reused for both the Gaussian lower-bound constant and the ball radius in η(B(x_0,c_γ ρ)); this is harmless but slightly confusing. A different symbol for one of them would improve clarity.

Circularity Check

1 steps flagged · score 4.0 of 10

Upper bound relies entirely on self-cited scalar-circle local-dimension theorem from an overlapping companion paper; lower bound is independent.

  1. self citation load bearing [§1.1 and §2.6 (Theorem 2.4), used in §5.1 (Proposition 5.4, Theorem 5.6) and §6.1–6.2 (Propositions 6.3, 6.7)]
    "The only external cascade-theoretic input used for the upper bounds is the scalar-circle minimum lower local dimension identity αmin(µ◦) = A_loc(W) from [1]. ... The following quoted result is [1, Theorem 7.12], rewritten in the notation of the present paper and in the precise form used below. It is the only external probabilistic input concerning minimum lower local dimensions."

    The new upper-bound direction dim_F(µγ) ≤ A_loc(W) is obtained as: dim_F(µγ) ≤ α_min(µγ) (deterministic obstruction, Proposition 5.10) + α_min(µγ) = A_loc(W) (Theorem 5.6) + α_min(µ°) = A_loc(W) (Theorem 2.4). The last identity is not proved here but quoted from [1], a companion preprint with overlapping authorship (Cai, Fang, Qu). Thus the upper bound is logically imported from a self-citation; if Theorem 2.4 were false or unproved, both upper bounds in Theorems 1.2 and 1.4 fail. The lower-bound direction is independent and is not part of this circularity.

full rationale

The paper's central equality has two directions. The lower bound dim_F ≥ A_loc is self-contained: it is proved via the finite-r annular theorem (Theorem 1.5), the endpoint-safe phase decomposition, predictable capping, complex Freedman concentration, and the r-tail compensator, all developed in this paper. It does not use the scalar-circle Fourier lower bound. The upper bound, however, is not self-contained: it reduces to the imported scalar-circle identity α_min(µ°) = A_loc(W) from [1], whose authors overlap with the present paper and whose proof is not reproduced. This is load-bearing for half of the main theorem, so a score of 0–2 would understate the dependency; because the lower-bound engine and the deterministic geometric obstructions are independent contributions, the result is not fully circular, giving a score of 4. The reviewer-identified threshold mismatch in Proposition 4.35 is a correctness gap, not a circularity, and is not counted in this score.

Assumptions & free parameters 1 free parameters · 5 assumptions · 0 invented entities

The statement A_loc(W) is parameter-free: no fitted constants enter the main formula. The annular proof introduces margin parameters ε, κ, δ₁ whose only constraints are inequalities (Lemma 4.1); they are proof-internal and do not appear in the results. External inputs: standard Kahane–Peyrière martingale facts [6,8]; standard Fourier-energy comparison [11]; the complex Freedman inequality recorded in the authors' companion paper [1]; and the scalar-circle minimum-lower-local-dimension theorem [1, Thm 7.12] — the sole probabilistic input for the upper bounds. Curve hypotheses (nondegenerate C², constant speed for Jordan curves) are stated theorem hypotheses, not hidden assumptions. No new entities are postulated.

free parameters (1)
  • Proof-margin parameters ε, κ, δ₁ (a = s+δ₁; ϑ = 1 − s/(2a) − 8ε/a) = no numerical values; only inequalities 20ε+κ < δ₁/2, δ₁ < min{δ, 1−s}, ϑ > s/2
    Hand-chosen margins in the finite-r annular argument (Lemma 4.1) making Freedman budgets, compensator exponents, and grid estimates close. Internal to the proof: they do not appear in A_loc(W) or in the theorem statements and are not fitted to data.
assumptions (5)
  • standard math Kahane–Peyrière theory for nonnegative cascade martingales: weak convergence, non-degeneracy, endpoint-zero events
    Invoked throughout §2.2–2.3 and §4; cited to [6,8]. Standard background, not specific to this paper.
  • standard math Fourier-energy comparison dim_F(η) ≤ dim_H(supp η)
    Used in §2.4 and in the deterministic upper obstruction (Prop 5.10, Prop 6.5); cited to [11].
  • standard math Complex-valued Freedman martingale inequality
    Used in Lemma 4.19–4.20 and Prop 4.21; the paper states the real-valued original is [5] but uses the complex version 'as recorded in [1]', so an ingredient is inherited from the same group's companion preprint.
  • domain assumption Scalar-circle minimum lower local dimension identity: α_min(µ°) = A_loc(W)
    Imported as Theorem 2.4 from [1, Theorem 7.12] (overlapping-author preprint). This carries the entire upper-bound direction of Theorems 1.2 and 1.4 via bi-Lipschitz/deterministic transfers (§5.1, §6). Its proof is not reproduced here.
  • domain assumption Nondegenerate C² curve hypotheses: inf|γ′| > 0 and inf|det(γ′, γ″)| > 0; constant speed for Jordan curves
    Stated hypotheses in Definitions 1.1/1.3 and used throughout §3–§6. Rule out flat points; the curvature lower bound drives the phase geometry in Prop 3.3. These are theorem hypotheses, not hidden assumptions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Exact Fourier dimensions of dyadic Mandelbrot cascades on curves of nonvanishing curvature under minimal integrability." pith.science (2026). https://pith.science/paper/35277JKR

@misc{pith2026260611758,
  author       = {Pith},
  title        = {Pith review of: Exact Fourier dimensions of dyadic Mandelbrot cascades on curves of nonvanishing curvature under minimal integrability},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/35277JKR}},
  note         = {Machine review of arXiv:2606.11758}
}
abstract

We prove exact Fourier-dimension formulas for scalar dyadic Mandelbrot cascades pushed forward to fixed nondegenerate $C^2$ embedded arcs and fixed nondegenerate $C^2$ Jordan curves in $\mathbb R^2$. Let $W$ be in the minimal Kahane--Peyriere regime. For each fixed nondegenerate $C^2$ embedded arc $\gamma:[0,1]\to\mathbb R^2$, the pushforward $\mu_\gamma$ of the interval cascade satisfies, almost surely on non-extinction, \[ \dim_{\mathrm F}(\mu_\gamma)=A_{\mathrm{loc}}(W), \] where \[ A_{\mathrm{loc}}(W) = \sup_{q>1} \max\left\{ 0,\, \frac{q-1-\log_2\mathbb E[W^q]}{q} \right\}, \] with the $q$-term interpreted as $0$ when $\mathbb E[W^q]=\infty$. The analogous formula holds for scalar circle cascades pushed forward by fixed nondegenerate $C^2$ Jordan curves $\gamma:\mathbb T\to\mathbb R^2$, with the pushforward denoted by $\mu_\gamma^{\mathbb T}$. This extends the scalar circle endpoint formula from the canonical circle to fixed parametrized arcs and Jordan curves. The main new issue beyond the canonical circle is the loss of the explicit trigonometric phase and, for arcs, the presence of endpoint stationary regimes. We prove the arc lower bound by a finite-$r$ annular Fourier theorem based on an endpoint-safe phase decomposition, phase-bin coefficient estimates, predictable capping, complex Freedman concentration, and an $r$-tail compensator. The Jordan lower bound follows by first-generation dyadic cutting into two fixed arcs. The matching upper bounds use deterministic curved-support obstructions together with the scalar-circle minimum lower local-dimension theorem.

Review history (3 revisions) →

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

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

  1. Canonical Mandelbrot Cascades on Curves Are Rajchman

    math.PR 2026-07 accept novelty 8.0 of 10

    Canonical scalar dyadic Mandelbrot cascades, and their pushforwards by fixed nondegenerate C² arcs and Jordan curves, are almost surely Rajchman under the minimal Kahane–Peyrière integrability conditions.

  2. Exact Fourier dimensions of dyadic Mandelbrot cascades under minimal integrability

    math.PR 2026-06 unverdicted novelty 7.0 of 10

    Under minimal Kahane-Peyriere integrability, dyadic Mandelbrot cascades satisfy dim_F(mu) = dim_E(mu) = dim_2(mu) = D_E(X) almost surely on non-extinction, with explicit sup formulas for scalar and circle cases.

  3. Fourier Dimensions of Mandelbrot Cascades under Minimal Integrability

    math.PR 2026-06 unverdicted novelty 6.0 of 10

    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

13 extracted references · 2 linked inside Pith · cited by 3 Pith papers

  1. [1]

    Y. Cai, G. Cheng, X. Fang, M. Li, H. Qu and C. Xiao,Exact Fourier dimensions of dyadic Mandelbrot cascades under minimal integrability, arXiv:2606.08683, 2026

    arXiv 2026

  2. [2]

    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

    arXiv 2025

  3. [3]

    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

  4. [4]

    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

  5. [5]

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

    1975

  6. [6]

    Kahane,Some Random Series of Functions, Cambridge University Press, 1985

    J.-P. Kahane,Some Random Series of Functions, Cambridge University Press, 1985. 52 Y. CAI, X. F ANG, AND H. QU

    1985

  7. [7]

    Kahane,Sur le chaos multiplicatif, Ann

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

    1985

  8. [8]

    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

Show all 13 references
  1. [9]

    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

  2. [10]

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

    1976

  3. [11]

    Mattila,Geometry of Sets and Measures in Euclidean Spaces, Cambridge University Press, 1995

    P. Mattila,Geometry of Sets and Measures in Euclidean Spaces, Cambridge University Press, 1995

    1995

  4. [12]

    Rhodes and V

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

    2014

  5. [13]

    Ryou and V

    D. Ryou and V. Suomala,Fourier dimension of Mandelbrot cascades on planar curves, arXiv:2603.25615, 2026. School of Mathematics, Hangzhou Normal University, Hangzhou 311121, P. R. China Email address:cymath@hznu.edu.cn Department of Applied Mathematics, National Yang Ming Chia...

    2026

Pith tools

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