On the maximal displacement of subcritical branching random walk in random environment

Fu Wenxin; Hong Wenming

arxiv: 2605.20800 · v1 · pith:AGASEJQAnew · submitted 2026-05-20 · 🧮 math.PR

On the maximal displacement of subcritical branching random walk in random environment

Fu Wenxin , Hong Wenming This is my paper

Pith reviewed 2026-05-21 02:46 UTC · model grok-4.3

classification 🧮 math.PR

keywords branching random walkrandom environmentsubcritical regimemaximal displacementlimiting behaviorextinctionspatial spread

0 comments

The pith

In subcritical branching random walks with i.i.d. random environments the maximal displacement obeys a limiting behavior set by the negative drift a = E[X_1] < 0.

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

The paper sets up a branching random walk on the integers in which each generation draws an offspring distribution from an i.i.d. environmental law while spatial jumps remain independent of the branching. It imposes the subcritical condition that the expected logarithm of the mean number of offspring is strictly negative. Under this condition the process becomes extinct almost surely and the authors derive the limiting law of the farthest position any particle ever attains. A reader would care because the model captures how a population or infection spreads through a randomly fluctuating habitat before dying out, giving quantitative control on the spatial extent it can reach.

Core claim

Under the subcritical condition a := E[X_1] < 0, where X_1 = log of the mean of the random offspring distribution F_1 and the F_n are i.i.d. under the environmental measure, the maximal displacement of the branching random walk in random environment satisfies a limiting behavior.

What carries the argument

The subcritical drift condition a = E[X_1] < 0 on the sequence of i.i.d. environmental offspring distributions F_n, kept independent of the spatial jump law.

If this is right

The total progeny is finite almost surely, so every trajectory ends after finitely many steps.
The supremum of all particle positions is a well-defined finite random variable.
The tail of the maximal displacement is controlled by the environmental law P_E and the jump distribution.
Conditional on survival to large generations the rightmost position still cannot overcome the negative drift induced by a < 0.

Where Pith is reading between the lines

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

The same limit should persist if the jump distribution is allowed to have heavier tails, provided exponential moments remain finite.
The result supplies a quantitative bound on the geographic range of an epidemic that dies out in a randomly changing host population.

Load-bearing premise

The branching mechanism is independent of the spatial jump distribution and the F_n are i.i.d. under the environmental measure.

What would settle it

A direct simulation or explicit construction in which the farthest particle position grows linearly with generation number while a remains negative would falsify the claimed limiting behavior.

read the original abstract

In this paper, we consider the subcritical branching random walk in a random environment. We assume the branching and the step jump are independent; and the branching is in random envirenment, i.e., the particles in generation $n$ produce children according the probability measure $F_n\in \mathcal{P}\left(\N_0\right)$, and the $F_n$, $n=1,2,\cdots, $ are i.i.d under the $P_E$. ``subcritical" means that $ a:=\E[X_1]\in (-\infty,0)$, where $X_1:=\log \overline{F}_1$ and $\overline{F}_1$ is the mean of $F_1$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper proves a limit on maximal displacement for subcritical branching random walks with i.i.d. random branching environments independent of the jumps.

read the letter

The main point is that under the condition a = E[log mean offspring] < 0, the maximal position reached by particles in this branching random walk in random environment has a limiting description based on summing jumps along lineages. The model treats the position process explicitly as a sum of spatial steps conditioned on the branching history in the varying environment. This setup is used consistently to derive the result for the subcritical regime. The paper does a solid job stating the independence between branching and jumps upfront, along with the i.i.d. property of the F_n under the environmental measure. That separation keeps the analysis manageable and avoids mixing the sources of randomness in a way that would complicate the lineage sums. The subcritical parameter is defined directly from the model rather than adjusted to fit the target quantity, which keeps things clean. The derivations appear to rest on standard tools for these processes without introducing hidden assumptions or inconsistencies. On the softer side, the extension feels incremental rather than introducing a major new technique, so the advance is mainly in carrying the random-environment version through to the displacement limit. More explicit comparison to the constant-environment case would help readers see exactly where the randomness changes the picture. There are no signs of circular reasoning or unfalsifiable claims in the setup. This is a specialized probability paper aimed at people already working on branching random walks or processes in random media. A reader who knows the non-random versions would get the most out of seeing how the i.i.d. environments modify the maximal displacement. It shows clear, honest engagement with the model and literature through the stated assumptions and consistent use of them. I would send it to peer review so the details of the limit can be checked by specialists.

Referee Report

0 major / 2 minor

Summary. The manuscript studies the maximal displacement of a subcritical branching random walk in a random environment. Branching and spatial jumps are assumed independent, with i.i.d. offspring distributions F_n under the environmental measure P_E. Subcriticality is defined by the condition a = E[X_1] < 0, where X_1 = log of the mean offspring number of F_1. The central claim is that the maximal position satisfies a specific limiting behavior, derived by representing particle positions as sums of jumps along lineages in the associated branching process in random environment (BPRE).

Significance. If the stated limit for maximal displacement holds, the result would add to the literature on branching random walks in random media by clarifying the subcritical regime, where extinction occurs almost surely but the rightmost particle position may still exhibit nontrivial asymptotics. The consistent use of the lineage-sum representation for positions is a standard and appropriate technique here.

minor comments (2)

Abstract contains repeated typographical errors ('envirenment' for 'environment') and awkward phrasing around the definition of subcriticality; these should be corrected for clarity.
Notation for the mean offspring measure (overline{F}_1) and the environmental measure P_E is introduced in the abstract but would benefit from an explicit reminder in the model section for readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our manuscript on the maximal displacement of subcritical branching random walks in random environment and for recommending minor revision. The referee accurately captures the setup, including the independence of branching and jumps, the i.i.d. offspring distributions under P_E, and the subcriticality condition a = E[X_1] < 0. We also appreciate the recognition that the lineage-sum representation is a standard and appropriate technique.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from model definitions

full rationale

The paper defines the subcritical parameter a := E[X_1] < 0 explicitly from the given random environment setup, with X_1 = log of the mean of the i.i.d. offspring distributions F_n under P_E, and assumes independence between branching and spatial jumps. The limiting behavior of maximal displacement is then derived from these inputs via the position process along lineages in the BPRE. No parameter is fitted to the target maximal displacement quantity, no self-citation chain bears the central load, and no ansatz or uniqueness result is smuggled in; the steps remain independent of the claimed limits and rely on standard constructions external to the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete; the i.i.d. environmental assumption and independence of branching and jumps are the main structural premises visible.

axioms (2)

domain assumption The sequence of offspring distributions F_n are i.i.d. under the environmental probability P_E.
Stated directly in the abstract as the definition of the random environment.
domain assumption Branching and spatial jumps are independent.
Explicitly assumed in the abstract.

pith-pipeline@v0.9.0 · 5644 in / 1151 out tokens · 27733 ms · 2026-05-21T02:46:47.841394+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

lim n→∞ (1/x) log P_ξ(M ≥ x) = −λ_0 where λ_0 solves Λ_s(λ_0) + Λ'_e(0+) = 0; annealed cases via Θ(ρ) = Λ'_e(ρ) + Λ_s(λ_ρ) − λ_ρ Λ'_s(λ_ρ)
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

subcritical condition a := E[X_1] ∈ (−∞,0) with X_1 = log mean offspring; i.i.d. F_n under P_E

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

[1]

Addario-Berry and B

L. Addario-Berry and B. Reed. Minima in branching random walks.Ann. Probab., 37(3):1044–1079, 2009

work page 2009
[2]

V. I. Afanasyev, C. B¨ oinghoff, G. Kersting, and V. A. Vatutin. Limit theorems for weakly subcritical branching processes in random environment.J. Theoret. Probab., 25(3):703–732, 2012

work page 2012
[3]

V. I. Afanasyev, J. Geiger, G. Kersting, and V. A. Vatutin. Criticality for branching processes in random environment.Ann. Probab., 33(2):645–673, 2005

work page 2005
[4]

A¨ ıd´ ekon

E. A¨ ıd´ ekon. Convergence in law of the minimum of a branching random walk.Ann. Probab., 41(3A):1362–1426, 2013

work page 2013
[5]

Bachmann

M. Bachmann. Limit theorems for the minimal position in a branching random walk with indepen- dent logconcave displacements.Adv. in Appl. Probab., 32(1):159–176, 2000

work page 2000
[6]

J. D. Biggins. The first- and last-birth problems for a multitype age-dependent branching process. Advances in Appl. Probability, 8(3):446–459, 1976

work page 1976
[7]

J. D. Biggins and A. E. Kyprianou. Measure change in multitype branching.Adv. in Appl. Probab., 36(2):544–581, 2004

work page 2004
[8]

Bramson, J

M. Bramson, J. Ding, and O. Zeitouni. Convergence in law of the maximum of nonlattice branching random walk.Ann. Inst. Henri Poincar´ e Probab. Stat., 52(4):1897–1924, 2016

work page 1924
[9]

Bramson and O

M. Bramson and O. Zeitouni. Tightness for a family of recursion equations.Ann. Probab., 37(2):615– 653, 2009

work page 2009
[10]

M. D. Bramson. Minimal displacement of branching random walk.Z. Wahrsch. Verw. Gebiete, 45(2):89–108, 1978

work page 1978
[11]

Dembo and O

A. Dembo and O. Zeitouni.Large deviations techniques and applications, volume 38 ofApplications of Mathematics (New York). Springer-Verlag, New York, second edition, 1998

work page 1998
[12]

Fu and W

W. Fu and W. Hong. The exact rate for the tail probability of the maximal displacement of subcritical branching random walk.Electron. J. Probab., 30:–, 2025

work page 2025
[13]

Fu and W

W. Fu and W. Hong. On the maximal displacement of critical branching random walk in random environment. 2026+

work page 2026
[14]

Geiger, G

J. Geiger, G. Kersting, and V. A. Vatutin. Limit theorems for subcritical branching processes in random environment.Ann. Inst. H. Poincar´ e Probab. Statist., 39(4):593–620, 2003

work page 2003
[15]

J. M. Hammersley. Postulates for subadditive processes.Ann. Probability, 2:652–680, 1974

work page 1974
[16]

Hu and Z

Y. Hu and Z. Shi. Minimal position and critical martingale convergence in branching random walks, and directed polymers on disordered trees.Ann. Probab., 37(2):742–789, 2009

work page 2009
[17]

Huang and Q

C. Huang and Q. Liu. Branching random walk with a random environment in time, 2014

work page 2014
[18]

Kersting and V

G. Kersting and V. Vatutin.Discrete Time Branching Processes in Random Environment. (J. Wiley Sons, Hoboken, NJ, 2017. 29

work page 2017
[19]

H. Kesten. Branching random walk with a critical branching part.J. Theoret. Probab., 8(4):921–962, 1995

work page 1995
[20]

J. F. C. Kingman. The first birth problem for an age-dependent branching process.Ann. Probability, 3(5):790–801, 1975

work page 1975
[21]

S. P. Lalley and Shao Y. On the maximal displacement of critical branching random walk.Probab. Theory Related Fields, 162(1-2):71–96, 2015

work page 2015
[22]

Mallein and P

B. Mallein and P. Mi l o´ s. Maximal displacement of a supercritical branching random walk in a time-inhomogeneous random environment.Stochastic Process. Appl., 129(9):3239–3260, 2019

work page 2019
[23]

Neuman and X

E. Neuman and X. Zheng. On the maximal displacement of subcritical branching random walks. Probab. Theory Related Fields, 167(3-4):1137–1164, 2017

work page 2017
[24]

Sawyer and J

S. Sawyer and J. Fleischman. Maximum geographic range of a mutant allele considered as a subtype of a brownian branching random field.PNAS, 76(2):872–875, 1979

work page 1979
[25]

H. Tanaka. Time reversal of random walks in one-dimension.Tokyo J. Math., 12(1):159–174, 1989. 30

work page 1989

[1] [1]

Addario-Berry and B

L. Addario-Berry and B. Reed. Minima in branching random walks.Ann. Probab., 37(3):1044–1079, 2009

work page 2009

[2] [2]

V. I. Afanasyev, C. B¨ oinghoff, G. Kersting, and V. A. Vatutin. Limit theorems for weakly subcritical branching processes in random environment.J. Theoret. Probab., 25(3):703–732, 2012

work page 2012

[3] [3]

V. I. Afanasyev, J. Geiger, G. Kersting, and V. A. Vatutin. Criticality for branching processes in random environment.Ann. Probab., 33(2):645–673, 2005

work page 2005

[4] [4]

A¨ ıd´ ekon

E. A¨ ıd´ ekon. Convergence in law of the minimum of a branching random walk.Ann. Probab., 41(3A):1362–1426, 2013

work page 2013

[5] [5]

Bachmann

M. Bachmann. Limit theorems for the minimal position in a branching random walk with indepen- dent logconcave displacements.Adv. in Appl. Probab., 32(1):159–176, 2000

work page 2000

[6] [6]

J. D. Biggins. The first- and last-birth problems for a multitype age-dependent branching process. Advances in Appl. Probability, 8(3):446–459, 1976

work page 1976

[7] [7]

J. D. Biggins and A. E. Kyprianou. Measure change in multitype branching.Adv. in Appl. Probab., 36(2):544–581, 2004

work page 2004

[8] [8]

Bramson, J

M. Bramson, J. Ding, and O. Zeitouni. Convergence in law of the maximum of nonlattice branching random walk.Ann. Inst. Henri Poincar´ e Probab. Stat., 52(4):1897–1924, 2016

work page 1924

[9] [9]

Bramson and O

M. Bramson and O. Zeitouni. Tightness for a family of recursion equations.Ann. Probab., 37(2):615– 653, 2009

work page 2009

[10] [10]

M. D. Bramson. Minimal displacement of branching random walk.Z. Wahrsch. Verw. Gebiete, 45(2):89–108, 1978

work page 1978

[11] [11]

Dembo and O

A. Dembo and O. Zeitouni.Large deviations techniques and applications, volume 38 ofApplications of Mathematics (New York). Springer-Verlag, New York, second edition, 1998

work page 1998

[12] [12]

Fu and W

W. Fu and W. Hong. The exact rate for the tail probability of the maximal displacement of subcritical branching random walk.Electron. J. Probab., 30:–, 2025

work page 2025

[13] [13]

Fu and W

W. Fu and W. Hong. On the maximal displacement of critical branching random walk in random environment. 2026+

work page 2026

[14] [14]

Geiger, G

J. Geiger, G. Kersting, and V. A. Vatutin. Limit theorems for subcritical branching processes in random environment.Ann. Inst. H. Poincar´ e Probab. Statist., 39(4):593–620, 2003

work page 2003

[15] [15]

J. M. Hammersley. Postulates for subadditive processes.Ann. Probability, 2:652–680, 1974

work page 1974

[16] [16]

Hu and Z

Y. Hu and Z. Shi. Minimal position and critical martingale convergence in branching random walks, and directed polymers on disordered trees.Ann. Probab., 37(2):742–789, 2009

work page 2009

[17] [17]

Huang and Q

C. Huang and Q. Liu. Branching random walk with a random environment in time, 2014

work page 2014

[18] [18]

Kersting and V

G. Kersting and V. Vatutin.Discrete Time Branching Processes in Random Environment. (J. Wiley Sons, Hoboken, NJ, 2017. 29

work page 2017

[19] [19]

H. Kesten. Branching random walk with a critical branching part.J. Theoret. Probab., 8(4):921–962, 1995

work page 1995

[20] [20]

J. F. C. Kingman. The first birth problem for an age-dependent branching process.Ann. Probability, 3(5):790–801, 1975

work page 1975

[21] [21]

S. P. Lalley and Shao Y. On the maximal displacement of critical branching random walk.Probab. Theory Related Fields, 162(1-2):71–96, 2015

work page 2015

[22] [22]

Mallein and P

B. Mallein and P. Mi l o´ s. Maximal displacement of a supercritical branching random walk in a time-inhomogeneous random environment.Stochastic Process. Appl., 129(9):3239–3260, 2019

work page 2019

[23] [23]

Neuman and X

E. Neuman and X. Zheng. On the maximal displacement of subcritical branching random walks. Probab. Theory Related Fields, 167(3-4):1137–1164, 2017

work page 2017

[24] [24]

Sawyer and J

S. Sawyer and J. Fleischman. Maximum geographic range of a mutant allele considered as a subtype of a brownian branching random field.PNAS, 76(2):872–875, 1979

work page 1979

[25] [25]

H. Tanaka. Time reversal of random walks in one-dimension.Tokyo J. Math., 12(1):159–174, 1989. 30

work page 1989