REVIEW 4 minor 92 references
When depth weights stay bounded and obey a law of large numbers, the profile of a recursive tree converges to a Gaussian times an exponential weight factor and the depth is almost surely e log n.
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 →
Under bounded weights satisfying Sn/n oℓ, the depth profile of depth-weighted recursive trees admits an Edgeworth-type scaling limit involving a random analytic function, and depth is a.s. asymptotic to e log n.
T0 review reviewed 2026-07-11 challenge →
load-bearing objection Solid profile scaling limit for depth-weighted trees under LLN+bounded weights, plus a clean negative answer to LLLM26 Question 1.5; the technical work is careful and self-contained.
Depth profile of depth-weighted trees with bounded weights
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
Core claim
Under the sole assumptions that c ≤ f ≤ 1/c and Sn/n o 0, the depth profile admits the almost-sure local limit Ln(k) = W∞(0) e^{hn}/√(2π hn) exp(Sk - ½((k-hn)/√hn)^{2}) + e^{Sk} o(e^{hn}/√hn) uniformly in k, while hn/log n o 1 and d(Tn)/log n o e almost surely.
What carries the argument
Complex martingales Mn(z) obtained by normalising the weighted Laplace transform of the profile by the product Cn(z) = ∏(1 + e^z/Zk); their almost-sure analytic convergence on a half-plane, combined with the general Edgeworth expansion of Kabluchko–Marynych–Sulzbach, yields the local limit for the profile.
Load-bearing premise
The cumulative log-weights must grow linearly (Sn/n converges); without that average the depth ratio can oscillate between two different constants.
What would settle it
Take any bounded weight sequence for which Sn/n fails to converge (for instance the explicit two-valued function of Proposition 1.4) and check whether lim d(Tn)/log n exists; the paper already exhibits liminf ≤ 5/2 < e ≤ limsup almost surely.
If this is right
- The classic e-log-n height law holds for every bounded weight sequence whose logs obey a law of large numbers, including i.i.d. random weights.
- The profile can jump by a factor f(k) from one generation to the next even inside the bulk of the tree.
- A typical vertex still sits at depth ~ log n, so the diameter between two typical vertices is expected to be ~ 2 log n.
- The same martingale-plus-Edgeworth route applies verbatim to slowly-growing or polynomial weights once the total weight sum is understood.
Where Pith is reading between the lines
- The zeros of the limiting analytic function W∞ may still be empty almost surely; proving that would remove the exceptional set that currently appears in the local-limit statement.
- The second-order correction to the height is probably of order max |Sk| up to depth e log n, which for i.i.d. weights would be of order √log log n.
- The same Laplace-transform martingales should control the profile for preferential-attachment trees once they are rewritten as weighted recursive trees.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies depth-weighted random recursive trees with weights f bounded above and below by a positive constant. Under the LLN hypothesis Sn/n o ℓ (taken w.l.o.g. as 0), it proves an almost-sure local limit for the depth profile Ln(k) involving a random analytic factor W∞(0) and the random sum hn of inverse total weights (Theorem 1.1). As corollaries one obtains hn/log n o 1 and d(Tn)/log n o e a.s., together with the typical-depth statement of Theorem 1.3. The argument constructs the weighted Laplace transforms Ln(z), the associated martingales Mn(z) = Ln(z)/Cn(z), establishes their a.s. and L1 convergence on suitable half-planes (Prop. 3.4), isolates the zeros of the limit via L2 control of log Mn(0) (Lemma 3.7), obtains concentration off the real axis (Lemma 3.8), verifies the four hypotheses of the Kabluchko–Marynych–Sulzbach Edgeworth expansion, and recovers the profile asymptotics. Proposition 1.4 supplies an explicit two-value counter-example showing that the depth scaling fails without the LLN assumption, answering a question of Lichev et al.
Significance. The work closes a natural open question on the depth of depth-weighted trees under the mild LLN condition that covers all previously treated convergent, periodic and i.i.d. cases, while simultaneously giving a sharp profile limit that exhibits the novel Sk correction. The negative answer furnished by the two-value counter-example is clean and definitive. Methodologically the paper demonstrates that the general Edgeworth machinery of KMS17 can be applied once suitable martingales are controlled, and it carefully overcomes the new difficulties arising from the randomness of Zn and hn. The results are self-contained, the hypotheses are sharp, and the proofs are complete; the paper therefore constitutes a solid and useful contribution to the asymptotic theory of recursive trees.
minor comments (4)
- [Theorem 1.1] In the statement of Theorem 1.1 the o-term is claimed to be uniform in k∈N; a short parenthetical remark that the uniformity follows from the KMS17 remainder estimate would help the reader.
- [Lemma 3.7] Lemma 3.7 controls log Mn(0) only on the events Bk; while the argument is correct, a one-sentence reminder that igcup Bk has full probability (by Lemma 3.5 and Corollary 3.6) would make the passage to M∞(0)>0 a.s. more transparent.
- [Introduction] The open problem left at the end of the introduction (whether W∞ has zeros on (-∞,1)) could be restated more prominently, perhaps as a separate Question, so that it is not overlooked.
- [Throughout] A few minor typos: “T echniques” and “F urther directions” in the introduction; “we have1 +ez/Zn” missing spaces (p.5); “for allnlarge enough” (several places).
Circularity Check
No significant circularity: martingales and Edgeworth application are self-contained under explicit hypotheses
full rationale
The derivation constructs the weighted Laplace transform Ln(z) and the normalizing product Cn(z) directly from the recursive attachment rule (Lemma 2.1), obtains Mn(z) as a martingale, proves its a.s. and L1 convergence on suitable half-planes by moment estimates that use only the boundedness of f and the LLN hypothesis (1.1) (Proposition 3.4, Lemmas 3.1–3.2), controls the zeros of the limit by an L2 bound on log Mn(0) (Lemma 3.7), establishes concentration off the real axis (Lemma 3.8), and verifies the four hypotheses of the external Edgeworth theorem of Kabluchko–Marynych–Sulzbach (Theorem 3.13). All objects (hn, W∞, Z) are defined from the tree process itself; no parameter is fitted to data and then re-used as a prediction, and the sole external black-box result is an independent analytic theorem applied after its assumptions have been checked. The counter-example of Proposition 1.4 further shows that (1.1) is necessary rather than smuggled. The chain therefore contains no self-definitional, fitted-input, or load-bearing self-citation circularity.
Axiom & Free-Parameter Ledger
axioms (3)
- domain assumption Weights satisfy c≤f(n)≤1/c for some deterministic c>0 and all n.
- domain assumption The partial sums Sn=∑_{k=0}^{n-1} log f(k) obey Sn/n oℓ∈R (taken w.l.o.g. as 0).
- standard math The general Edgeworth expansion of Kabluchko-Marynych-Sulzbach (Theorem 2.1 of KMS17) applies once A1–A4 are verified.
invented entities (1)
-
Random analytic function W∞(z)=e^{c(z)}M∞(z) on the half-plane Re z<1
no independent evidence
Cite this review
Pith. "Pith review of Depth profile of depth-weighted trees with bounded weights." pith.science (2026). https://pith.science/paper/MBWBJTOF
@misc{pith2026260705366,
author = {Pith},
title = {Pith review of: Depth profile of depth-weighted trees with bounded weights},
year = {2026},
howpublished = {\url{https://pith.science/paper/MBWBJTOF}},
note = {Machine review of arXiv:2607.05366}
}
read the original abstract
We study the depth-weighted random recursive trees introduced by Leckey, Mitsche and Wormald in the case where the weights are bounded from above and from below. We establish the scaling limit of the depth profile of these trees when the weights satisfy a law of large numbers. In particular, we obtain the scaling limit of the depth of these trees, generalising some results of Lichev, Linker, Lodewijks and Mitsche. We also answer negatively a question left open by the same authors, showing that the scaling limit of the depth does not hold in general. Our main tools are appropriately defined martingales combined with the general Edgeworth expansion for the profiles introduced by Kabluchko, Marynych and Sulzbach.
Reference graph
Works this paper leans on
-
[1]
Bertoin, Jean and Budd, Timothy and Curien, Nicolas and Kortchemski, Igor , Title =. Probab. Theory Relat. Fields , ISSN =. 2018 , Language =. doi:10.1007/s00440-017-0818-5 , Keywords =
-
[2]
Budd, Timothy and Curien, Nicolas and Marzouk, Cyril , Title =. J. 2018 , Language =. doi:10.5802/jep.82 , Keywords =
-
[3]
Budd, Timothy and Curien, Nicolas , Title =. Electron. J. Probab. , ISSN =. 2017 , Language =. doi:10.1214/17-EJP55 , Keywords =
-
[4]
Bertoin, Jean and Kortchemski, Igor , Title =. Ann. Appl. Probab. , ISSN =. 2016 , Language =. doi:10.1214/15-AAP1157 , Keywords =
-
[5]
Electron
Budd, Timothy , Title =. Electron. J. Comb. , ISSN =. 2016 , Language =
2016
-
[6]
Scaling limits of random planar maps with a unique large face , FJournal =
Janson, Svante and Stef. Scaling limits of random planar maps with a unique large face , FJournal =. Ann. Probab. , ISSN =. 2015 , Language =. doi:10.1214/13-AOP871 , Keywords =
-
[7]
An invariance principle for random walk bridges conditioned to stay positive , FJournal =
Caravenna, Francesco and Chaumont, Lo. An invariance principle for random walk bridges conditioned to stay positive , FJournal =. Electron. J. Probab. , ISSN =. 2013 , Language =. doi:10.1214/EJP.v18-2362 , Keywords =
-
[8]
Doney, R. A. , Title =. Probab. Theory Relat. Fields , ISSN =. 2012 , Language =. doi:10.1007/s00440-010-0330-7 , Keywords =
-
[9]
Greven, Andreas and Pfaffelhuber, Peter and Winter, Anita , Title =. Probab. Theory Relat. Fields , ISSN =. 2009 , Language =. doi:10.1007/s00440-008-0169-3 , Keywords =
-
[10]
Doney, R. A. and Savov, M. S. , Title =. Ann. Probab. , ISSN =. 2010 , Language =. doi:10.1214/09-AOP479 , Keywords =
-
[11]
Invariance principles for random walks conditioned to stay positive , FJournal =
Caravenna, Francesco and Chaumont, Lo. Invariance principles for random walks conditioned to stay positive , FJournal =. Ann. Inst. Henri Poincar. 2008 , Language =. doi:10.1214/07-AIHP119 , Keywords =
-
[12]
Vatutin, Vladimir A. and Wachtel, Vitali , Title =. Probab. Theory Relat. Fields , ISSN =. 2009 , Language =. doi:10.1007/s00440-007-0124-8 , Keywords =
-
[13]
and Di Francesco, P
Bouttier, J. and Di Francesco, P. and Guitter, E. , Title =. Electron. J. Comb. , ISSN =. 2004 , Language =
2004
-
[14]
Doney, R. A. , Title =. Z. Wahrscheinlichkeitstheor. Verw. Geb. , ISSN =. 1985 , Language =. doi:10.1007/BF00534868 , Keywords =
-
[15]
Curien, Nicolas , Title =. 2023 , Publisher =. doi:10.1007/978-3-031-36854-7 , Keywords =
-
[16]
, publisher=
Budd, Timothy , title =. , publisher=
-
[17]
2020 , publisher=
Janson, Svante , title =. 2020 , publisher=
2020
-
[18]
Budd, Timothy , keywords =. 2018 , copyright =. doi:10.48550/ARXIV.1809.02012 , url =
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1809.02012 2018
-
[19]
Scaling limits of random planar maps with large faces , FJournal =
Le Gall, Jean-Fran. Scaling limits of random planar maps with large faces , FJournal =. Ann. Probab. , ISSN =. 2011 , Language =. doi:10.1214/10-AOP549 , Keywords =
-
[20]
Borot, G. and Bouttier, J. and Guitter, E. , Title =. J. Phys. A, Math. Theor. , ISSN =. 2012 , Language =. doi:10.1088/1751-8113/45/4/045002 , Keywords =
-
[21]
Borot, G. and Bouttier, J. and Guitter, E. , Title =. J. Phys. A, Math. Theor. , ISSN =. 2012 , Language =. doi:10.1088/1751-8113/45/27/275206 , Keywords =
-
[22]
Nesting statistics in the
Ga. Nesting statistics in the. 2023 , eprint=
2023
-
[23]
Sheffield, Scott and Werner, Wendelin , Title =. Ann. Math. (2) , ISSN =. 2012 , Language =. doi:10.4007/annals.2012.176.3.8 , Keywords =
-
[24]
Sheffield, Scott , Title =. Duke Math. J. , ISSN =. 2009 , Language =. doi:10.1215/00127094-2009-007 , Keywords =
-
[25]
Curien, Nicolas and Kortchemski, Igor , Title =. Electron. J. Probab. , ISSN =. 2014 , Language =. doi:10.1214/EJP.v19-2732 , Keywords =
-
[26]
Miller, Jason and Sheffield, Scott and Werner, Wendelin , Title =. Probab. Theory Relat. Fields , ISSN =. 2021 , Language =. doi:10.1007/s00440-021-01070-4 , Keywords =
-
[27]
Journal of the London Mathematical Society , volume =
Aru, Juhan and Holden, Nina and Powell, Ellen and Sun, Xin , title =. Journal of the London Mathematical Society , volume =. doi:https://doi.org/10.1112/jlms.12689 , url =. https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/jlms.12689 , abstract =
-
[28]
Werner, Wendelin and Wu, Hao , Title =. Commun. Math. Phys. , ISSN =. 2013 , Language =. doi:10.1007/s00220-013-1719-9 , Keywords =
-
[29]
Growth-fragmentation process embedded in a planar
A. Growth-fragmentation process embedded in a planar. Probab. Theory Relat. Fields , ISSN =. 2022 , Language =. doi:10.1007/s00440-022-01119-y , Keywords =
-
[30]
Bertoin, Jean and Curien, Nicolas and Kortchemski, Igor , Title =. Ann. Probab. , ISSN =. 2018 , Language =. doi:10.1214/17-AOP1183 , Keywords =
-
[31]
, Title =
Jacod, Jean and Shiryaev, Albert N. , Title =. 1987 , Publisher =
1987
-
[32]
The Annals of Applied Probability , number =
Matthis Lehmkuehler , title =. The Annals of Applied Probability , number =. 2023 , doi =
2023
-
[33]
Miller, Jason and Sheffield, Scott and Werner, Wendelin , Title =. Ann. Probab. , ISSN =. 2022 , Language =. doi:10.1214/21-AOP1550 , Keywords =
-
[34]
Miller, Jason and Sheffield, Scott and Werner, Wendelin , Title =. Forum Math. Pi , ISSN =. 2017 , Language =. doi:10.1017/fmp.2017.5 , Keywords =
-
[35]
Sheffield, Scott , Title =. Ann. Probab. , ISSN =. 2016 , Language =. doi:10.1214/15-AOP1055 , Keywords =
-
[36]
Binder, Ilia and Rojas, Cristobal and Yampolsky, Michael , Title =. Potential Anal. , ISSN =. 2019 , Language =. doi:10.1007/s11118-018-9721-7 , Keywords =
-
[37]
On bounded-type thin local sets of the two-dimensional
Aru, Juhan and Sep. On bounded-type thin local sets of the two-dimensional. J. Inst. Math. Jussieu , ISSN =. 2019 , Language =. doi:10.1017/S1474748017000160 , Keywords =
-
[38]
Miller, Jason and Sheffield, Scott , Title =. Duke Math. J. , ISSN =. 2016 , Language =. doi:10.1215/00127094-3627096 , Keywords =
-
[39]
Sheffield, Scott and Watson, Samuel and Wu, Hao , title =
-
[40]
Sheffield, Scott , Title =. Probab. Theory Relat. Fields , ISSN =. 2007 , Language =. doi:10.1007/s00440-006-0050-1 , Keywords =
-
[41]
2021 , Publisher =
Duplantier, Bertrand and Miller, Jason and Sheffield, Scott , Title =. 2021 , Publisher =
2021
-
[42]
, Title =
Lawler, Gregory F. , Title =. 2005 , Publisher =
2005
-
[43]
Kemppainen, Antti and Smirnov, Stanislav , Title =. Ann. Probab. , ISSN =. 2017 , Language =. doi:10.1214/15-AOP1074 , Keywords =
-
[44]
2023 , eprint=
On large 3/2 -stable maps , author=. 2023 , eprint=
2023
-
[45]
Critical
Morris Ang and Ewain Gwynne , note=. Critical. 2023 , eprint=
2023
-
[46]
Bertoin, Jean , Title =. Bernoulli , ISSN =. 2017 , Language =. doi:10.3150/15-BEJ770 , Keywords =
-
[47]
Da Silva, William , Title =. Electron. J. Probab. , ISSN =. 2023 , Language =. doi:10.1214/23-EJP937 , Keywords =
-
[48]
Supercritical Liouville quantum gravity and
Morris Ang and Ewain Gwynne , note=. Supercritical Liouville quantum gravity and. 2023 , eprint=
2023
-
[49]
Vershynin, Roman , Title =. 2018 , Publisher =. doi:10.1017/9781108231596 , Keywords =
-
[50]
Talagrand, Michel , Title =. Am. J. Math. , ISSN =. 1994 , Language =. doi:10.2307/2374931 , Keywords =
doi:10.2307/2374931 1994
-
[51]
Dawson, Donald A. and Li, Zenghu , Title =. Ann. Probab. , ISSN =. 2012 , Language =. doi:10.1214/10-AOP629 , Keywords =
-
[52]
Jacod, Jean , Title =. 1979 , Publisher =. doi:10.1007/BFb0064907 , Keywords =
-
[53]
Bass, Richard F. , Title =. Probab. Surv. , ISSN =. 2004 , Language =. doi:10.1214/154957804100000015 , Keywords =
-
[54]
Applebaum, David , Title =. 2009 , Publisher =. doi:10.1017/CBO9780511809781 , Keywords =
-
[55]
Curien, Nicolas and Marzouk, Cyril , Title =. Bull. Soc. Math. Fr. , ISSN =. 2020 , Language =. doi:10.24033/bsmf.2821 , Keywords =
-
[56]
Scaling limits for the peeling process on random maps , FJournal =
Curien, Nicolas and Le Gall, Jean-Fran. Scaling limits for the peeling process on random maps , FJournal =. Ann. Inst. Henri Poincar. 2017 , Language =. doi:10.1214/15-AIHP718 , Keywords =
-
[57]
Caraceni, Alessandra and Curien, Nicolas , Title =. Random Struct. Algorithms , ISSN =. 2018 , Language =. doi:10.1002/rsa.20746 , Keywords =
-
[58]
Distances on the
Emmanuel Kammerer , note=. Distances on the. 2023 , eprint=
2023
-
[59]
Invariance principles for random bipartite planar maps , FJournal =
Marckert, Jean-Fran. Invariance principles for random bipartite planar maps , FJournal =. Ann. Probab. , ISSN =. 2007 , Language =. doi:10.1214/009117906000000908 , Keywords =
-
[60]
Chen, Linxiao and Curien, Nicolas and Maillard, Pascal , Title =. Ann. Inst. Henri Poincar. 2020 , Language =. doi:10.4171/AIHPD/94 , Keywords =
-
[61]
Doney, R. A. , Title =. J. Lond. Math. Soc., II. Ser. , ISSN =. 1999 , Language =. doi:10.1112/S0024610798006826 , Keywords =
-
[62]
2002 , Publisher =
Kallenberg, Olav , Title =. 2002 , Publisher =
2002
-
[63]
Leif Döring and Mladen Savov and Lukas Trottner and Alexander R. Watson , note=. The uniqueness of the. 2024 , eprint=. doi:https://doi.org/10.1112/blms.13112 , url=
-
[64]
Eynard, B. and Kristjansen, C. Exact solution of the O(n) model on a random lattice. Nucl. Phys. B. 1995. doi:10.1016/0550-3213(95)00469-9. arXiv:hep-th/9506193
-
[65]
Eynard, B. and Kristjansen, C. More on the exact solution of the O(n) model on a random lattice and an investigation of the case |n| > 2. Nucl. Phys. B. 1996. doi:10.1016/0550-3213(96)00104-6. arXiv:hep-th/9512052
-
[66]
The scaling limit of the volume of loop
\'Elie A\"id\'ekon and William Da Silva and XingJian Hu , note=. The scaling limit of the volume of loop. 2024 , eprint=
2024
-
[67]
ALEA, Lat
Korzhenkova, Aleksandra , Title =. ALEA, Lat. Am. J. Probab. Math. Stat. , ISSN =. 2022 , Language =
2022
-
[68]
Holden, Nina and Lehmkuehler, Matthis , Title =. Probab. Math. Phys. , ISSN =. 2024 , Language =. doi:10.2140/pmp.2024.5.847 , Keywords =
-
[69]
Duality of random planar maps via percolation , FJournal =
Curien, Nicolas and Richier, Lo. Duality of random planar maps via percolation , FJournal =. Ann. Inst. Fourier , ISSN =. 2020 , Language =. doi:10.5802/aif.3369 , Keywords =
-
[70]
Limits of the boundary of random planar maps , FJournal =
Richier, Lo. Limits of the boundary of random planar maps , FJournal =. Probab. Theory Relat. Fields , ISSN =. 2018 , Language =. doi:10.1007/s00440-017-0820-y , Keywords =
-
[71]
Kostov, I. K. O( n ) Vector Model on a Planar Random Lattice: Spectrum of Anomalous Dimensions. Mod. Phys. Lett. A. 1989. doi:10.1142/S0217732389000289
-
[72]
2026 , howpublished =
Lichev, Lyuben and Linker, Amitai and Lodewijks, Bas and Mitsche, Dieter , title =. 2026 , howpublished =
2026
-
[73]
Geometry of weighted recursive and affine preferential attachment trees , fjournal =
S. Geometry of weighted recursive and affine preferential attachment trees , fjournal =. Electron. J. Probab. , issn =. 2021 , language =. doi:10.1214/21-EJP640 , keywords =
-
[74]
The height of the infection tree , year =
Kammerer, Emmanuel and Kortchemski, Igor and S. The height of the infection tree , year =
-
[75]
Leckey, Kevin and Mitsche, Dieter and Wormald, Nick , title =. Random Struct. Algorithms , issn =. 2020 , language =. doi:10.1002/rsa.20901 , keywords =
-
[76]
Kabluchko, Zakhar and Marynych, Alexander and Sulzbach, Henning , title =. Ann. Appl. Probab. , issn =. 2017 , language =. doi:10.1214/17-AAP1285 , keywords =
-
[77]
Durrett, Rick , title =. 2019 , publisher =. doi:10.1017/9781108591034 , keywords =
-
[78]
Biggins, J. D. , title =. Ann. Probab. , issn =. 1992 , language =. doi:10.1214/aop/1176989921 , keywords =
-
[79]
Biggins, J. D. and Grey, D. R. , title =. J. Appl. Probab. , issn =. 1979 , language =. doi:10.2307/3213141 , keywords =
-
[80]
and Mahmoud, Hosam M
Smythe, Robert T. and Mahmoud, Hosam M. , title =. Teor. 1994 , language =
1994
This paper was first reviewed by grok-4.5 on July 11, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.