REVIEW 3 major objections 3 minor 1 cited by
Intrinsic area near the origin for self-similar growth-fragmentations and related random surfaces
T0 review · 3 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Intrinsic area near the root has an explicit almost-sure law
desk verdict Genuinely new exact rates for intrinsic area in growth-fragmentations, with the key caveat that the main tail input is imported from an unpublished preprint rather than proven here. 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 proof runs on two linked mechanisms. First, the Markov-branching decomposition of the area: $A(t)=\sum_{s\le t}|\Delta^-\chi_\emptyset(s)|^{\omega_-}A_s((t-s)|\Delta^-\chi_\emptyset(s)|^\alpha)$, with independent rescaled copies of $A$ attached to each child of the Eve cell, reduces the area of a ball to a sum over birth events. Second, the spinal decomposition $P^-$ selects a leaf with probability proportional to the intrinsic area, giving the identity $E_1(A(t))=P^-_1(I\le t)$, where $I=\int_0^\infty\exp(-\alpha\eta^-(t))\,dt$ is the exponential functional (absorption time) of the tilted positive self-similar Markov process. The first-moment asymptotics follow from an imported small-time tail estimate for $I$, and a compensated-jump martingale $M_t$ then upgrades the expectation to the almost-sure statement of Theorem 1.
What would settle it
Compute the small-time tail of the exponential functional $I$ for the hypergeometric stable-disk family (e.g., $\theta=3/2$) directly from the explicit laws of $\eta^-$, and compare the leading multiplicative constant with the one used in Lemma 3; any discrepancy refutes the constant in Theorem 1.
Extended reading notes
Core claim
The central claim is that the intrinsic area measure of a self-similar growth-fragmentation has a deterministic small-scale profile. For every positive initial size $x$, $P_x$-almost surely and in $L^1$, $$\$varepsilon^{{-(1+\omega_-/|\alpha|)}}$\Lambda(\$varepsilon^{{1/|\alpha|}}$)A(\varepsilon) \to \frac{|\$\alpha$|\rho}{(\omega_- - \rho)(\omega_- + |\$\alpha$| - \rho)}\,E^-_1\!\left($I^{{\frac{\omega_- - \rho}}${\$\alpha$}}\right)$x^{{\alpha+\rho}}$$$ as $\varepsilon\to0^+$. Under the same hypotheses the convergence also holds under the spine-tilted measure $P^+_x$. For a founding cell that grows indefinitely from size $0$, the paper proves that $t^{\omega_-/\alpha}A(t)$ is a stationary process in logarithmic time, has no almost-sure limit, yet obeys almost-sure logarithmic bounds, with an upper bound of order $|\log t|^{1+\delta}$ and a lower bound of order $|\log t|^{-q}$ for $q$ sufficiently large.
Load-bearing premise
The main theorem inherits its exact rate and constant from an imported, unreproduced small-time tail estimate for the exponential functional of a tilted Lévy process; if that estimate is wrong or inapplicable, the central result collapses.
Editorial extensions
If this is right
- For any initial size $x>0$, the intrinsic area of the $\varepsilon$-ball around the root is almost surely asymptotic to the explicit deterministic multiple of $\varepsilon^{1+\omega_-/|\alpha|}\Lambda(\varepsilon^{1/|\alpha|})$ given by Theorem 1.
- When the founding cell is conditioned to start from size $0$ and grow forever, $t^{\omega_-/\alpha}A(t)$ is stationary in $\log t$; it has no almost-sure limit, but almost surely $A(t)$ stays between $t^{\omega_-/|\alpha|}|\log t|^{-q}$ and $t^{\omega_-/|\alpha|}|\log t|^{1+\delta}$ for small $t$.
- For the stable-disk family $X_\theta$, $\theta\in(1,3/2]$, Theorem 1 gives $\varepsilon^{-(\theta-1/2)/(\theta-1)}A(\varepsilon)\to c\,x$ almost surely, generalizing the free Brownian disk result ($\theta=3/2$, $\varepsilon^{-2}A(\varepsilon)\to x$ up to normalization).
- The upper bound for the area of a small ball in the Brownian map is improved from $\varepsilon^{4-\delta}$ to $\varepsilon^4|\log\varepsilon|^{1+\delta}$, and a lower bound $\varepsilon^4|\log\varepsilon|^{-q}$ for $q>6$ is obtained.
- The same growth-fragmentation connection transfers these statements to stable maps for all $\theta\in(1,3/2]$.
Reading between the lines
- The explicit prefactor in Theorem 1 offers a calibration route: fitting the $\varepsilon$-scaling of measured intrinsic areas in simulated stable maps could estimate the tail index $\rho$ and the constant, providing an independent test of the growth-fragmentation representation.
- The imported small-time tail estimate is the only non-elementary input; if a direct proof of a tail bound for $I$ under weaker conditions were available, assumption (9) could likely be relaxed to a less restrictive regular-variation hypothesis.
- Because Proposition 1 makes $t^{\omega_-/\alpha}A(t)$ stationary in $u=\log t$, the logarithmic bounds of Propositions 2-3 could plausibly be sharpened into a law of the iterated logarithm for the fluctuations around the stationary mean.
- The normalization factor $3/8$ relative to the Brownian disk constant makes explicit that the growth-fragmentation dictionary fixes the intrinsic metric only up to a scaling of the cumulant; any transfer between growth-fragmentation constants and map constants must fix this gauge first.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the intrinsic area measure A on the leaf space of a self-similar growth-fragmentation with negative self-similarity index α and two positive Laplace/cumulant roots ω−<ω+. The main result, Theorem 1, claims an almost sure and L1 asymptotic for A(ε) as ε→0+ when the initial cell has positive size, with an explicit regular variation rate and an explicit constant expressed as an exponential-functional expectation under the tilted measure P1−. Propositions 2 and 3 give logarithmic upper and lower bounds for the rescaled area under the P0+ measure, and Section 6 applies these results to stable disks and stable/Brownian maps, retrieving Le Gall's boundary annulus result and improving known log-type bounds for balls in the Brownian map.
Significance. If the statement and the applications are corrected as discussed below, the paper gives a sharp first-order asymptotic with an explicit multiplicative constant for the intrinsic area near the origin, obtained by a martingale and regular-variation method rather than by fitting. The proof is detailed, and the connection to random planar maps makes the result valuable beyond the growth-fragmentation community. The use of a substantial external theorem from an unpublished preprint and several normalization inconsistencies currently prevent the result from being accepted as written.
major comments (3)
- [Section 3, Theorem 1; Section 4.2, Eq. (12)] The normalization in the displayed Theorem 1 is incompatible with the proof and with Lemma 3. Lemma 3 gives E1(A(ε)) ∼ const · ε^{1+ω−/|α|} Λ(ε^{1/|α|}), while Eq. (12) proves that (ε^{1+ω−/|α|} Λ(ε^{1/|α|}))^{-1} Mε → 0. Therefore the theorem should state ε^{-(1+ω−/|α|)} Λ(ε^{1/|α|})^{-1} A(ε) → ... , with Λ in the denominator, not in the numerator. As printed, the theorem is the reciprocal of the quantity proved in the paper, and it is also inconsistent with the application in Section 6, where the final ε^{-2}A(ε)→x for θ=3/2 requires the denominator form. This is a load-bearing error, though it appears to be a repairable typo.
- [Section 2, Eq. (9); Section 6, after Eq. (24)] The notation Λ is used inconsistently. Assumption (9) defines Λ(x)=Λ((−∞,−x)), but Eq. (10) and the subsequent estimates, including Lemma 5, require Λ(x) to denote the small-jump left tail Λ((−x,0)); the tail at −∞ cannot be regularly varying with index −ρ at 0 for a Lévy measure. In Section 6 the formula Λ(ε) ∼ c−/θ ε^θ also has a sign error: combining Lemma 13 with Eq. (10) and ρ=θ gives Λ(ε) ∼ c−/θ ε^{-θ}. With the corrected Theorem 1 normalization from the previous comment, this sign is needed to recover the exponent (θ−1/2)/(θ−1) in the stable-disk application; with the sign as printed the application does not have the stated exponent.
- [Section 4.1, Lemma 3] The proof of Lemma 3 relies entirely on Theorem 7 of the unpublished arXiv preprint [1] for both the rate and the multiplicative constant in the small-time tail of I. The paper verifies the tail-ratio condition and the interval condition |α|γ∈(0,ω+−ω−), but it does not verify all hypotheses of Theorem 7 for |α|η−, nor does it reproduce or independently derive the needed statement. Since Lemma 3 feeds directly into Lemma 7 and hence into the normalization of Theorem 1, the central result is only as secure as this external theorem. The authors should either include a self-contained proof of the needed tail asymptotic or state the exact hypotheses of Theorem 7 and confirm them in detail for the processes considered.
minor comments (3)
- [Section 4.2, paragraph before Eq. (12)] The sentence 'Provided that ε ↦→ Mε has regular variation at 0' is unclear, since M is a stochastic process and not a deterministic function; the argument only needs the a.s. comparison τ_ε ∼ ε and the supremum bound over [0,ε∧T] established later in the same proof.
- [Section 6, factor 3/8 discussion] The reconciliation with Le Gall's Theorem 3 is conceptually correct, but the reader must supply the calculation that replacing κ3/2 by √(8/3)·κ3/2 multiplies all distances by the stated constant and scales η− by the same factor; a few more lines here would improve clarity.
- [Throughout] There are several typographical errors, e.g., 'Insitut' in the affiliation footnote, 'It holds that that' at the start of Lemma 3, and 'compare to' in Section 6; these should be corrected in a revision.
Circularity Check
No significant circularity: the main asymptotic is derived from the spinal decomposition and an external tail estimate, with no fitted constants or self-citation chains forcing the result.
full rationale
The derivation chain is not circular. Theorem 1 is proved by writing A(ε) through the Markov-branching decomposition (Lemma 1), connecting its first moment to the exponential functional I via the spine P^- (Lemma 2), and then using the imported tail estimate from Arista--Rivero [1] (Lemma 3). The identity in Lemma 2, cited to the author's earlier paper [19], is actually immediate from the definitions in Section 2: under P^-_1 the spine is chosen with density M and the distinguished leaf has conditional law A(·)/M, so P^-_1(I ≤ t) = E_1(A(t)). Thus the self-citation [19] is not load-bearing: the relation is in-paper by construction, and the cited lemmas only package it. No parameter is fitted to the quantity being predicted; every constant is explicit in terms of the cumulant and the Lévy measure. The use of Theorem 7 of [1] is an external dependency—if that theorem is wrong or inapplicable, Lemma 3 and hence Theorem 1 would fail—but this is a correctness/robustness concern, not circularity. Finally, the comparison with Le Gall [24] in Section 6 is a consistency check after an explicit normalization (factor 3/8 and rescaling of κ), not an input to the theorem. No equation reduces to its own input, and no load-bearing premise rests solely on the author's own prior work.
Assumptions & free parameters
assumptions (7)
- standard math Lamperti representation of positive self-similar Markov processes.
- domain assumption Cramer hypothesis: kappa(omega-)=0, kappa'(omega-)<0 and a second root omega+>omega- with kappa finite to the right of omega+.
- domain assumption Regular variation of the left tail Lambda(x)=Lambda((-infinity,-x)) with index -rho, where max(2omega- - omega+, -alpha)<rho<omega-.
- standard math Theorem 7 of Arista-Rivero [1] on the small-time tail of exponential functionals of Levy processes.
- standard math Envelope theorems for positive self-similar Markov processes from Chaumont-Pardo [16] and Pardo [33].
- standard math Regular variation toolkit of Bingham-Goldie-Teugels [12], including Karamata and Abelian/Tauberian theorems.
- standard math Spinal decompositions P_x^- and P_x^+ constructed in Bertoin-Budd-Curien-Kortchemski [6].
Cite this review
Pith. "Pith review of Intrinsic area near the origin for self-similar growth-fragmentations and related random surfaces." pith.science (2026). https://pith.science/paper/RCHH3DTT
@misc{pith2026190803746,
author = {Pith},
title = {Pith review of: Intrinsic area near the origin for self-similar growth-fragmentations and related random surfaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/RCHH3DTT}},
note = {Machine review of arXiv:1908.03746}
}
abstract
We study the behaviour of a natural measure defined on the leaves of the genealogical tree of some branching processes, namely self-similar growth-fragmentation processes. Each particle, or cell, is attributed a positive mass that evolves in continuous time according to a positive self-similar Markov process and gives birth to children at negative jumps events. We are interested in the asymptotics of the mass of the ball centered at the root, as its radius decreases to $0$. We obtain the almost sure behaviour of this mass when the Eve cell starts with a strictly positive size. This differs from the situation where the Eve cell grows indefinitely from size 0. In this case, we show that, when properly rescaled, the mass of the ball converges in distribution towards a non-degenerate random variable. We then derive bounds describing the almost sure behaviour of the rescaled mass. Those results are applied to certain random surfaces, exploiting the connection between growth-fragmentations and random planar maps obtained in Bertoin et al. [6]. This allows us to extend a result of Le Gall [24] on the volume of a free Brownian disk close to its boundary, to a larger family of stable disks. The upper bound of the mass of a typical ball in the Brownian map is refined, and we obtain a lower bound as well.
Forward citations
Cited by 1 Pith paper
-
On conditioning a self-similar growth-fragmentation by its intrinsic area
The intrinsic area of a self-similar growth-fragmentation has a C-infinity density that decays like r^{-1-omega_+/omega_-}, and this density permits tilting the process to condition on area A=r.
Reference graph
Works this paper leans on
-
[19]
Fran¸ cois G. Ged. Profile of a self-similar growth-fragmentatio n. Electron. J. Probab. , 24:Paper No. 7, 21, 2019
work page 2019
-
[24]
Brownian disks and the Brownian snake
Jean-Fran¸ cois Le Gall. Brownian disks and the Brownian snake. Ann. Inst. Henri Poincar´ e Probab. Stat., 55(1):237–313, 2019
work page 2019
-
[1]
Jonas Arista and V ´ ıctor M. Rivero. Implicit renewal theory for e xponential functionals of l´ evy processes.arXiv:1510.01809, 2015
work page Pith review arXiv 2015
-
[2]
L´ evy processes, volume 121 of Cambridge Tracts in Mathematics
Jean Bertoin. L´ evy processes, volume 121 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 1996
1996
-
[3]
Homogeneous fragmentation processes
Jean Bertoin. Homogeneous fragmentation processes. Probab. Theory Related Fields , 121(3):301–318, 2001
2001
-
[4]
On small masses in self-similar fragmentations
Jean Bertoin. On small masses in self-similar fragmentations. Stochastic Process. Appl. , 109(1):13–22, 2004
work page 2004
-
[5]
Markovian growth-fragmentation processes
Jean Bertoin. Markovian growth-fragmentation processes. Bernoulli, 23(2):1082–1101, 2017
work page 2017
-
[6]
Martingales in self- similar growth-fragmentations and their connections with random p lanar maps
Jean Bertoin, Timothy Budd, Nicolas Curien, and Igor Kortchems ki. Martingales in self- similar growth-fragmentations and their connections with random p lanar maps. Probab. Theory Related Fields , 172(3-4):663–724, 2018
work page 2018
Show all 37 references
-
[7]
Random plan ar maps and growth- fragmentations
Jean Bertoin, Nicolas Curien, and Igor Kortchemski. Random plan ar maps and growth- fragmentations. Ann. Probab., 46(1):207–260, 2018
2018
-
[8]
On continuity p roperties of the law of integrals of L´ evy processes
Jean Bertoin, Alexander Lindner, and Ross Maller. On continuity p roperties of the law of integrals of L´ evy processes. InS´ eminaire de probabilit´ es XLI, volume 1934 of Lecture Notes in Math. , pages 137–159. Springer, Berlin, 2008
1934
-
[9]
On subordinators, self-similar Marko v processes and some factorizations of the exponential variable
Jean Bertoin and Marc Yor. On subordinators, self-similar Marko v processes and some factorizations of the exponential variable. Electron. Comm. Probab., 6:95–106, 2001
2001
-
[10]
On the entire moments of self-similar Markov processes and exponential functionals of L´ evy processes
Jean Bertoin and Marc Yor. On the entire moments of self-similar Markov processes and exponential functionals of L´ evy processes. Ann. Fac. Sci. Toulouse Math. (6) , 11(1):33–45, 2002
2002
-
[11]
Compact Browniansurfaces I: Brownian disks
J´ er´ emie Bettinelli and Gr´ egory Miermont. Compact Browniansurfaces I: Brownian disks. Probab. Theory Related Fields , 167(3-4):555–614, 2017
2017
-
[12]
N. H. Bingham, C. M. Goldie, and J. L. Teugels. Regular variation , volume 27 of En- cyclopedia of Mathematics and its Applications . Cambridge University Press, Cambridge, 1987
1987
-
[13]
Geometry of infinite planar maps with high degrees
Timothy Budd and Nicolas Curien. Geometry of infinite planar maps with high degrees. Electron. J. Probab., 22:Paper No. 35, 37, 2017. 22
2017
-
[14]
On the dist ribution and asymptotic results for exponential functionals of L´ evy processes
Philippe Carmona, Fr´ ed´ erique Petit, and Marc Yor. On the dist ribution and asymptotic results for exponential functionals of L´ evy processes. In Exponential functionals and prin- cipal values related to Brownian motion , Bibl. Rev. Mat. Iberoamericana, pages 73–130. Rev. ...
1997
-
[15]
Chaumont, A
L. Chaumont, A. E. Kyprianou, and J. C. Pardo. Some explicit ide ntities associated with positive self-similar Markov processes. Stochastic Process. Appl. , 119(3):980–1000, 2009
2009
-
[16]
Loic Chaumont and J. C. Pardo. The lower envelope of positive se lf-similar Markov pro- cesses. Electron. J. Probab., 11:no. 49, 1321–1341, 2006
2006
-
[17]
The Brownian plane
Nicolas Curien and Jean-Fran¸ cois Le Gall. The Brownian plane. J. Theoret. Probab. , 27(4):1249–1291, 2014
2014
-
[18]
Probabilit´ es et potentiel
Claude Dellacherie and Paul-Andr´ e Meyer. Probabilit´ es et potentiel. Chapitres V ` a VIII , volume 1385 of Actualit´ es Scientifiques et Industrielles [Current Scien tific and Industrial Topics]. Hermann, Paris, revised edition, 1980. Th´ eorie des martingales. [Martingale the- ory]
1980
-
[20]
Kuznetsov and J
A. Kuznetsov and J. C. Pardo. Fluctuations of stable process es and exponential functionals of hypergeometric L´ evy processes. Acta Appl. Math. , 123:113–139, 2013
2013
-
[21]
Kyprianou
Andreas E. Kyprianou. Fluctuations of L´ evy processes with applications . Universitext. Springer, Heidelberg, second edition, 2014. Introductory lectur es
2014
-
[22]
The topological structure of scaling limit s of large planar maps
Jean-Fran¸ cois Le Gall. The topological structure of scaling limit s of large planar maps. Invent. Math. , 169(3):621–670, 2007
2007
-
[23]
Uniqueness and universality of the Brow nian map
Jean-Fran¸ cois Le Gall. Uniqueness and universality of the Brow nian map. Ann. Probab., 41(4):2880–2960, 2013
2013
-
[25]
On the scaling limit of random planar maps with large faces
Jean-Fran¸ cois Le Gall and Gr´ egory Miermont. On the scaling limit of random planar maps with large faces. In XVIth International Congress on Mathematical Physics , pages 470–474. World Sci. Publ., Hackensack, NJ, 2010
2010
-
[26]
Scaling limits of r andom planar maps with large faces
Jean-Fran¸ cois Le Gall and Gr´ egory Miermont. Scaling limits of r andom planar maps with large faces. Ann. Probab., 39(1):1–69, 2011
2011
-
[27]
Growth-fragmenta tion processes in Brownian motion indexed by the brownian tree
Jean-Fran¸ cois Le Gall and Armand Riera. Growth-fragmenta tion processes in Brownian motion indexed by the brownian tree. arXiv:1811.02825, 2018
2018 arXiv
-
[28]
L´ epingle
D. L´ epingle. La variation d’ordre p des semi-martingales. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete , 36(4):295–316, 1976
1976
-
[29]
On scaling limits of planar maps with stable face-de grees
Cyril Marzouk. On scaling limits of planar maps with stable face-de grees. ALEA Lat. Am. J. Probab. Math. Stat. , 15(2):1089–1122, 2018
2018
-
[30]
Aspects of random maps
Gr´ egory Miermont. Aspects of random maps. Lecture Notes of the 2014 Saint-Flour Probability Summer School. Preliminary draft : http://perso.ens- Lyon.fr/gregory.miermont/coursSaint-Flour.pdf
2014
-
[31]
The Brownian map is the scaling limit of uniform random plane quad- rangulations
Gr´ egory Miermont. The Brownian map is the scaling limit of uniform random plane quad- rangulations. Acta Math. , 210(2):319–401, 2013. 23
2013
-
[32]
An axiomatic characterization of the brownian map
Jason Miller and Scott Sheffield. An axiomatic characterization of the brownian map. arXiv:1506.03806, 2015
2015 arXiv
-
[33]
J. C. Pardo. The upper envelope of positive self-similar Markov p rocesses. J. Theoret. Probab., 22(2):514–542, 2009
2009
-
[34]
Bernstein-gamma functions and exponential functionals of L´ evy processes.Electron
Pierre Patie and Mladen Savov. Bernstein-gamma functions and exponential functionals of L´ evy processes.Electron. J. Probab., 23:Paper No. 75, 101, 2018
2018
-
[35]
Tail asymptotics for exponential functionals o f L´ evy processes: the convo- lution equivalent case
V ´ ıctor Rivero. Tail asymptotics for exponential functionals o f L´ evy processes: the convo- lution equivalent case. Ann. Inst. Henri Poincar´ e Probab. Stat., 48(4):1081–1102, 2012
2012
-
[36]
Growth-fragmentation processes and bifurcators
Quan Shi. Growth-fragmentation processes and bifurcators . Electron. J. Probab. , 22:25 pp., 2017
2017
-
[37]
Branching random walks, volume 2151 of Lecture Notes in Mathematics
Zhan Shi. Branching random walks, volume 2151 of Lecture Notes in Mathematics. Springer, Cham, 2015. Lecture notes from the 42nd Probability Summer Scho ol held in Saint Flour, 2012, ´Ecole d’´Et´ e de Probabilit´ es de Saint-Flour. [Saint-Flour Probability SummerSchool]. 24
2015
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.