Pith. sign in

REVIEW 4 major objections 3 minor 23 references

Tree Builder Random Walk: recurrence, transience and ballisticity

T0 review · 4 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read The paper proves a clean dichotomy: for odd growth period s the Tree Builder Random Walk is ballistic under uniform ellipticity, while for even s it is null recurrent or trapped.

desk verdict Plausible and significant classification for a natural unifying model, but the written proofs have a few load-bearing gaps, so treat as conditional pending completion. read the letter →

arxiv 1908.07616 v2 pith:HWY6AC3T submitted 2019-08-20 math.PR

classification math.PR MSC 60K37
keywords TreeBuilderRandomWalkenvironmenttreesballisticityrecurrencetransiencetrappinguniformellipticity
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 studies a walk on a tree that grows only at times that are multiples of a fixed parameter s, with the new leaves attached to wherever the walker is standing. The main claim is that parity of s decides the long-run behavior: if s is odd and the random environment adds at least one leaf with probability bounded away from zero, the walker is ballistic, meaning its distance from the root grows at least linearly with time. If s is even, the same uniformity produces no ballisticity: under a slow-growth condition the walk is null recurrent, and under an opposite heavy-growth condition it gets trapped in a finite neighborhood of some random vertex. A sympathetic reader should care because this settles a conjecture from the no-restart random-walk model and extends a known ballisticity result for Bernoulli growth to arbitrary growth periods and general elliptic environments.

What carries the argument

The central object is the TBRW process itself, a Markov chain when the environment $\xi$ is independent. The proof of ballisticity is carried by two conditions, $(R)$ and $(L)$: $(R)$ says that with probability at least $1-\varepsilon/2$ the walker reaches distance $2r$ from the root within $\exp\{r^\alpha\}$ steps, and $(L)$ says that the probability of climbing back $r$ steps within that window is at most $1/2-\varepsilon$. Lemma 4.1 turns these into a stochastic domination of the rescaled distance by a $\frac{1}{2(1+\varepsilon)}$-right-biased simple random walk. The auxiliary Generalized Loop Process, a path with loops added to the current vertex, supplies the stretched-exponential hitting-time upper bounds that yield $(L)$; the parity-correction lemma (Lemma 4.6) is the key local estimate that lets an odd-period walker push a new leaf forward with uniform probability, bootstrapping $(R)_{1/2}$ to $(R)_{M+1/2}$.

What would settle it

Simulate or construct a TBRW with s odd and independent ξ_n with P(ξ_n≥1) bounded below; if for some finite rooted tree the walker's distance from the root divided by n has liminf 0 on a positive-probability event, Theorem 1.3 is false. A less drastic check is to test, for a process satisfying (R) and (L), the conditional inequality inf P(Δ d_{k+1}=r | F_k) ≥ 1/(2(1+ε)) used to couple with the right-biased walk.

Watch

Extended reading notes

Core claim

At the paper's core is Theorem 1.3: for a $(\xi,s)$-TBRW with $s$ odd and an independent environment satisfying $\inf_n P(\xi_n\ge 1)>0$, the walker is ballistic, meaning $\liminf_n \operatorname{dist}_{T_n}(X_n,\mathrm{root})/n \ge c$ almost surely for a positive constant $c$. The proof works through a general criterion: if a tree-building walk has a large enough chance to push the tree forward by $r$ in $\exp\{r^\alpha\}$ steps (condition $(R)$) and a small enough chance to climb back $r$ in the same window (condition $(L)$), then its distance from the root, observed at suitable stopping times, stochastically dominates a right-biased simple random walk; the law of large numbers then gives positive speed. For even $s$ the paper proves a dichotomy instead: condition $(S)$ implies recurrence and, together with uniform ellipticity, null recurrence; condition $(I)$ implies almost sure trapping, so the walker eventually bounces forever between a vertex and its neighbours.

Load-bearing premise

The ballisticity argument depends on an unproved transfer: condition (R) on the whole tree is assumed to hold on the subtree rooted at the walker's current position, and the proof says only that this is possible to show.

Editorial extensions

If this is right

  • For odd $s$ and uniformly elliptic independent environments, the walker is transient with positive speed, settling the odd-$s$ transient conjecture for the No Restart Random Walk.
  • For even $s$, a slowly growing environment (condition $(S)$) forces every vertex eventually added to the tree to be recurrent, and with $(UE)$ the recurrence is null rather than positive.
  • For even $s$, an environment with very fast growth (condition $(I)$) causes almost sure trapping: the walker eventually stays in a finite set and the height of the tree stops growing.
  • Under $(UE)$ alone, the hitting time of a vertex at distance at least $\ell_0$ has infinite expectation, so the TBRW is never positive recurrent in any regime covered by the paper's assumptions.
  • For odd $s$ and $(UE)$, the height of the generated tree grows linearly; for even $s$ with $(S)$ and $(UE)$, the height still diverges to infinity almost surely.

Reading between the lines

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

  • Because the paper's $(R)+(L)$ criterion is stated abstractly, the same coupling could be tried on other self-interacting walks; the TBRW is only one instance.
  • A natural extension the authors only ask about: replacing uniform ellipticity by a slowly decaying probability $P(\xi_n\ge 1)\to 0$ might produce zero-speed transient or positive-recurrent regimes between ballistic and trapped.
  • Example 6.1 suggests that for infinite initial trees with growing vertex degrees the even-$s$ trap regime can disappear; characterizing such trees would be a direct next step.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 3 minor

Summary. The paper studies the Tree Builder Random Walk (TBRW), a walk on a rooted tree that grows by attaching a random number of leaves to the walker's current location every s steps. The main results are: for s even, under the growth condition (S) every vertex is recurrent, while under the independent heavy-growth condition (I) the walker is eventually trapped, and if (S) and (UE) hold then the recurrence is null; for s odd, the walker is ballistic under (UE) alone, proving a conjecture from [11] and generalizing the Bernoulli-growth ballisticity result of [12]. The proof strategy is to introduce a Generalized Loop Process to control hitting times of distant vertices, to use martingale and Doob-decomposition arguments for the even case, and to establish a general ballisticity criterion based on conditions (R) and (L), then to verify these conditions by bootstrapping a sequence of growth conditions (R)_M.

Significance. If the technical gaps are repaired, the paper makes a substantial contribution: Theorem 1.3 resolves the transience conjecture for odd s under a natural uniform ellipticity assumption, and the even-s results give a sharp-looking dichotomy between recurrence and trapping. The ballisticity criterion in Proposition 4.2 is a useful abstraction that could apply beyond the specific model. The paper also has a clean structure: the environment conditions (UE), (S), (I), and (M)_r are stated independently of the theorems and are not calibrated to the conclusions, which is a genuine strength. The main weaknesses are that three load-bearing arguments are omitted, sketched, or contain a quantitative error, so the current version is not fully justified as it stands.

major comments (4)
  1. [Section 2, Lemma 2.4] The proof of Lemma 2.4 asserts that one can choose epsilon sufficiently small so that c1 = (1/4)log(1+epsilon*kappa/s) is greater than 1/3. For fixed s and kappa the largest possible value is c1* = (1/4)log(1+kappa/s), so the claim requires kappa/s > exp(4/3)-1; for example kappa=0.1 and s=2 give c1* approximately 0.012, far below 1/3. When this inequality fails, the displayed second summation diverges and the argument as written does not establish that E(eta_z) is infinite. The conclusion may be repairable with a different choice of K or a more refined tail estimate, but the present proof contains a concrete quantitative error.
  2. [Section 2, Proposition 2.2] The coupling between the TBRW and the Generalized Loop Process is stated as a Proposition but its proof is omitted, with a reference to Proposition 4.4 of [12]. This coupling is load-bearing: it is used in Corollary 2.3, Lemma 2.4, and ultimately in the verification of condition (L). Because the current setting allows arbitrary s and environments that may add more than one leaf at a time, the adaptation is not a purely cosmetic change of a parameter. A proof, or at least a detailed statement of how the argument in [12] transfers, should be included.
  3. [Section 4.1, Lemma 4.1] The treatment of event (c) in the proof sketch is the main gap in the ballisticity proof. The text says 'It is possible to show' that the probability that the walker neither advances nor retreats by r within exp{r^alpha} steps equals the probability that a TBRW on the subtree hung from the ancestor z fails to reach distance 2r from z, and then invokes condition (R). This transfer is not a direct consequence of (R) as stated: it changes the distinguished root from the original root to z, restricts the tree to the descendant subtree, and applies to the process after the random stopping time sigma_k with the shifted environment. None of these ingredients is present in the statement of (R). Without a proof of this equality or of a uniform applicability of (R) after the shift, the lower bound in (4.1) is unsupported, and the coupling in Lemma 4.1 and hence Proposition 4.2 collapse. The same unproved transfer is reused in Lemma 4.7, so this is a load-bearing step for Theorem 1.3.
  4. [Section 4.2.4, Lemma 4.7] Lemma 4.7, which is the iteration step from (R)_M to (R)_{M+1/2}, is presented only as a sketch and refers to Proposition 3.4 of [12] for details. In particular, the estimate for mu^k in the proof contains an 'essentially' line involving terms of order (log log n)^2 and o((log log n)^2) inside an exponent that must be compared with n^{1/4}. This comparison is not fully derived, and the application of Lemma 4.4 to indicators indexed by consecutive successes requires a rigorous check of the conditional-probability lower bounds after each success. Since Lemma 4.7 is essential for establishing condition (R), the proof needs to be completed in the manuscript.
minor comments (3)
  1. [Section 4.2.2, Lemma 4.3] The displayed lower bound has a typesetting problem: the expression 'kappa1 2 floor((s+1)/2)' should presumably read kappa times 2^{-floor((s+1)/2)}, and the sentence 'Repeating this bouncing back argument on the leafs' should say 'leaves'.
  2. [Section 1.2] The notation (M)_r is used for the moment condition, but later in Section 4 the conditions (R)_M and (R)M appear with inconsistent typography. The subscript notation should be unified throughout.
  3. [Section 3, proof of Theorem 1.1(ii)] The bound c(T_sk) <= c(T0) + sum_{i=0}^k 1{X_{ik} is a quasi-star} is asserted without proof. A one-sentence justification would help, since the argument depends on the distinction between adding leaves to a quasi-star and to a non-quasi-star vertex.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: the main theorems do not reduce to their assumptions; self-citations to [12] are technique-sharing rather than a circular dependency.

full rationale

The paper's environment conditions (UE), (S), (I), (M)_r and the auxiliary conditions (R), (L) are stated before the theorems and are not calibrated to the conclusions; Theorems 1.1 and 1.3 follow from explicit arguments in Sections 3 and 4 rather than from a definitional identity. No fitted parameter is relabeled as a prediction: the constants in Lemmas 2.1, 4.3, and 4.6 depend on s and κ and are not chosen to force the ballistic limit. The main self-citation pattern is the delegation of technical proofs to the authors' earlier BGRW paper [12], e.g., Proposition 2.2 is stated as a generalization of Proposition 4.4 of [12] with proof omitted, and Lemma 4.7 is sketched 'in line with' Proposition 3.4 of [12]. This is proof-delegation, not circularity: [12] is a separate published result for the special case s=1 with Bernoulli growth, and the present Theorem 1.3 requires new ingredients for general odd s and general uniformly elliptic environments, including Lemmas 4.3, 4.5, 4.6, and the (R)_M bootstrap. The unproved transfer in Lemma 4.1, where the probability of event (c) is asserted to equal the probability of a shifted process on the subtree rooted at z, is a genuine proof gap; it is not, however, a reduction of the conclusion to the hypothesis by construction, because condition (R) is an independent input and the transfer is a homogeneity claim distinct from the target ballisticity. No self-definitional, fitted-prediction, or imported-uniqueness circularity is present.

Assumptions & free parameters 0 free parameters · 6 assumptions · 2 invented entities

No parameters are fitted to data: the environment conditions (UE), (S), (I), and (M)_r are assumptions with existential constants, not calibrated numbers. The paper relies on standard probability theorems and on several lemmas that are either cited to prior work by the same authors or left sketched; the latter are the only genuinely risky inputs.

assumptions (6)
  • domain assumption The environment variables ξ_n are independent when independence is assumed, giving the Markov property at block times for the TBRW.
    Theorems 1.3 and 3.4 and parts of Theorem 1.1 require independent environments; the proofs condition on the past at times sk and apply the strong Markov property, e.g., in Equation (3.7).
  • domain assumption Uniform ellipticity (UE): inf_n P(ξ_n ≥ 1) = κ > 0.
    Used to force escape routes and to prove the lower probability bounds in Lemmas 2.1, 4.3, 4.5, and 4.6.
  • domain assumption Condition (S): S_n ≤ c g(n) eventually, with ∑ 1/g(n) = ∞.
    Used in Lemma 3.2(i) and Theorem 1.1(i) to guarantee τ_exit < ∞ and recurrence.
  • domain assumption Condition (I): S_n ≥ c f(n) eventually, with ∑ 1/f(n) < ∞.
    Used in Lemma 3.2(ii) and Theorem 1.1(ii) to obtain the trapping regime.
  • ad hoc to paper Proposition 2.2: TBRW hitting time is stochastically larger than the Generalized Loop Process hitting time, stated without proof and cited to Proposition 4.4 of [12].
    Load-bearing for Corollary 2.3 and condition (L); no proof is provided in this paper.
  • ad hoc to paper Lemma 4.1 event (c) bound: the probability that the walker neither advances nor retreats by r within exp{r^α} steps is at most ε/2 by applying condition (R) to the subtree rooted at the starting vertex.
    Needed for the coupling with a right-biased random walk and hence for ballisticity; asserted in a proof sketch without a complete argument.
invented entities (2)
  • Generalized Loop Process (GLP)
    purpose: Auxiliary process on a backbone used to upper-bound the distribution of hitting times of distant vertices in Lemma 2.1.
    The GLP is an internal proof device; it has no observable counterpart outside the paper, so there is no independent falsifiable handle.
  • Quasi-star vertices
    purpose: Bookkeeping device in the proof of Theorem 1.1(ii) to control deg - leaf for the trapping argument.
    Definitional nomenclature introduced for the proof; not an empirical entity.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Tree Builder Random Walk: recurrence, transience and ballisticity." pith.science (2026). https://pith.science/paper/HWY6AC3T

@misc{pith2026190807616,
  author       = {Pith},
  title        = {Pith review of: Tree Builder Random Walk: recurrence, transience and ballisticity},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HWY6AC3T}},
  note         = {Machine review of arXiv:1908.07616}
}
read the original abstract

The Tree Builder Random Walk is a special random walk that evolves on trees whose size increases with time, randomly and depending upon the walker. After every s steps of the walker, a random number of vertices are added to the tree and attached to the current position of the walker. These processes share similarities with other important classes of markovian and non-markovian random walks presenting a large variety of behaviors according to parameters specifications. We show that for a large and most significant class of tree builder random walks, the process is either null recurrent or transient. If s is odd, the walker is ballistic and thus transient. If s is even, the walker's behavior can be explained from local properties of the growing tree and it can be either null recurrent or it gets trapped on some limited part of the growing tree.

Figures

Figures reproduced from arXiv: 1908.07616 by the authors.

Figure 1
Figure 1. A backbone of length ℓ [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
Figure 2
Figure 2. If the random walk X at an even time is in the squared vertex, whose level is (4), then the walker X is even and new leaf can only be added to vertices with even level, unless the walker uses the self-loop at the root. • The tree can grow to deeper levels only if the walker X changes its parity. Specifically, if we consider a leaf i added at time t = ms, subsequent leaves can be added to i only if the walker changes… view at source ↗
Figure 3
Figure 3. The process Z and its graph corresponding to the situation de￾picted in [PITH_FULL_IMAGE:figures/full_fig_p021_3.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [11]

    Figueiredo, G

    D. Figueiredo, G. Iacobelli, G. Neglia: Transient and slim versus recurrent and fat: random walks an d the trees they grow , Journal of Applied Probability, 56(3), 769-786, (2019)

  2. [12]

    Figueiredo, G

    D. Figueiredo, G. Iacobelli, R. Oliveira, B. Reed, R. Ribeiro: On a random walk that grows its own tree , Electronic Journal of Probability, 26(6), 40 pp, (2021)

  3. [1]

    Avena, H

    L. Avena, H. G¨ ulda¸ s, R. van der Hofstad, F. den Hollander: Mixing times of random walks on dynamic configuration models, The Annals of Applied Probability, 28 (4), 1977-2002, (2018)

  4. [2]

    L. Baum, M. Katz: Convergence Rates in the Law of Large Numbers , Transactions of the American Mathematical Society, 120, 108-123, (1965)

  5. [3]

    ´E Bouchet, A. F. Ram ´ ırez, and C. Sabot: Sharp ellipticity conditions for ballistic behavior of ran dom walks in random environment . Bernoulli, 22(2), 969-994,(2016)

  6. [4]

    Campos and A

    D. Campos and A. F. Ram ´ ırez: Ellipticity criteria for ballistic behavior of random walk s in random environment, Probability Theory and Related Fields, 160(1), 189-251, 2014

  7. [5]

    Davis: Reinforced Random Walk, Probability Theory and Related Fields, 84(2), 203-229, (1990)

    B. Davis: Reinforced Random Walk, Probability Theory and Related Fields, 84(2), 203-229, (1990)

  8. [6]

    Dembo, R

    A. Dembo, R. Huang and V. Sidoravicius. Walking within growing domains: recurrence versus tran- sience. Electronic Journal of Probability, 19(106), 20 pp, (2014)

Show all 23 references
  1. [7]

    Durrett: Probability: Theory and Examples , 4th ed., Cambridge University Press, (2010)

    R. Durrett: Probability: Theory and Examples , 4th ed., Cambridge University Press, (2010)

  2. [8]

    Durrett: Random Graphs Dynamics , Cambridge University Press, (2007)

    R. Durrett: Random Graphs Dynamics , Cambridge University Press, (2007)

  3. [9]

    Disertori, C

    M. Disertori, C. Sabot, P. Tarres: Transience of edge-reinforced random walk , Communications in Mathematical Physics, 339(1), 121-148, (2015)

  4. [10]

    Eichelsbacher, M

    P. Eichelsbacher, M. L¨ owe: Moderate deviations for IID random variables , ESAIM: Probability and Statistics, 7, 209-218, (2003)

  5. [13]

    Fribergh and D

    A. Fribergh and D. Kious: Local trapping for elliptic random walks in random environm ents in Zd. Probability Theory and Related Fields, 165(3-4), 795-834, (2016)

  6. [14]

    Pemantle: Phase transition in reinforced random walk and RWRE on trees

    R. Pemantle: Phase transition in reinforced random walk and RWRE on trees. The Annals of Probability, 16(3), 1229-1241, (1988)

  7. [15]

    Pemantle: A survey of random processes with reinforcement

    R. Pemantle: A survey of random processes with reinforcement . Probability surveys, 4, 1-79, (2007)

  8. [16]

    van der Hofstad

    R. van der Hofstad. Random graphs and complex networks (Vol. 1) . Cambridge university press, (2016)

  9. [17]

    Janson, T

    S. Janson, T. Luczak and A. Rucinski: Random graphs. John Wiley & Sons, 45, (2011)

  10. [18]

    Kosygina and M

    E. Kosygina and M. Zerner: Excited random walks: results, met hods, open problems. Bulletin of the Institute of Mathematics, Academia Sinica (New Series), 8(1), 105 -157, (2013)

  11. [19]

    Lyons, R

    R. Lyons, R. Pemantle and Y. Peres: Biased random walks on Galton–Watson trees . Probability Theory and Related Fields, 106 (2), 249-264, (1996)

  12. [20]

    Peres, A

    Y. Peres, A. Stauffer and J.E. Steif. Random walks on dynamical percolation: mixing times, mean squared displacement and hitting times . Probability Theory and Related Fields, 162 (3-4), 487-530, (2015)

  13. [21]

    A. S. Sznitman: On a class of transient random walks in random environment , The Annals of Proba- bility, 29(2), 724-765, (2001)

  14. [22]

    A. S. Sznitman and M. Zerner. A law of large numbers for random walks in random environment . The Annals of Probability, 1851-1869, (1999)

  15. [23]

    Zeitouni

    O. Zeitouni. Random walks in random environment . Lecture notes in Mathematics, 1837, 190-312, (2004). 48 GIULIO IACOBELLI 1, RODRIGO RIBEIRO 2, GLAUCO V ALLE3 AND LEONEL ZUAZN ´ABAR4 1 UFRJ - Instituto de Matem ´atica. Caixa Postal 68530, 21945-970, Rio de Janeiro, Brasil. e-...

Pith tools

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