pith. sign in

arxiv: 2409.02479 · v2 · submitted 2024-09-04 · 🧮 math.PR

An ergodic theorem for the maximum of branching Brownian motion with absorption

Fan Yang This is my paper

Pith reviewed 2026-05-23 20:56 UTC · model grok-4.3

classification 🧮 math.PR
keywords branching Brownian motionabsorptionmaximumergodic theoremGumbel distributionempirical distributionalmost sure convergence
0
0 comments X

The pith

The empirical distribution function of the maximum in branching Brownian motion with absorption converges almost surely to a randomly shifted Gumbel distribution.

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

This paper proves that in branching Brownian motion with absorption, where particles follow Brownian paths and are killed at a fixed barrier, the empirical distribution of the maximum position converges almost surely to a Gumbel distribution shifted by a random amount. A sympathetic reader would care because the result gives an exact long-run description of how the farthest particle position is distributed, mixing a fixed shape with persistent randomness from the process. The theorem applies ergodic ideas to the absorbed system, yielding a limiting law that holds pathwise for almost every realization.

Core claim

The paper establishes that the empirical distribution function of the maximum of branching Brownian motion with absorption converges almost surely to a randomly shifted Gumbel distribution.

What carries the argument

The empirical distribution function of the maximum, which records the long-run proportion of time spent below each level and converges to the cdf of a Gumbel random variable with random location shift.

If this is right

  • The position of the maximum satisfies an almost-sure ergodic theorem under absorption.
  • The limiting law is exactly Gumbel with a random additive shift that depends on the realization.
  • The convergence holds pathwise once the process is started from the standard initial configuration.

Where Pith is reading between the lines

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

  • The random shift may encode the effect of early-time fluctuations that survive indefinitely.
  • Analogous almost-sure convergence statements could be tested in branching random walks or other killed diffusions.
  • The result supplies a concrete limiting object that could be used to calibrate numerical approximations of the front location.

Load-bearing premise

The branching Brownian motion is defined with a fixed absorption barrier and standard Poisson branching so that the empirical measure of particle positions stays well-defined for all times.

What would settle it

Simulate the absorbed branching Brownian motion for very long times, compute the empirical distribution of the maximum position across many time windows, and check whether it stabilizes to a Gumbel shape whose location varies randomly from run to run.

Figures

Figures reproduced from arXiv: 2409.02479 by Fan Yang.

Figure 1
Figure 1. Figure 1: BBM and BBM with absorption Bramson [6] established that lim t→∞ P(Mt − mt ≤ z) = limt→∞ u(t, mt + z) = w(z), z ∈ R, where mt := √ 2t− 3 2 √ 2 log t and w solves the ordinary differential equation 1 2w ′′ + √ 2w ′ + P∞ k=1 pkw k − w = 0. Such a solution w is known as the traveling wave solution. Lalley and Sellke [15] provided the following representation of w for dyadic BBM (1.1) w(z) := E h e −C∗e− √ 2zZ… view at source ↗
Figure 2
Figure 2. Figure 2: The truncated absorption barrier It’s important to note that {Zet , t ≥ 0, Px} is not a martingale. However, according to [20, Theorem 2.1], the limit Ze∞ := limt→∞ Zet exists Px-almost surely for any x > 0 and ρ < √ 2. Similar to (1.2), our paper focuses on the empirical distribution function of the maximum of branching Brownian motion with absorption. We prove that the limit of this empirical distributio… view at source ↗
read the original abstract

In this paper, we study branching Brownian motion with absorption, in which particles undergo Brownian motions and are killed upon hitting the absorption barrier. We prove that the empirical distribution function of the maximum of this process converges almost surely to a randomly shifted Gumbel distribution.

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.

Referee Report

0 major / 3 minor

Summary. The paper studies branching Brownian motion with absorption, constructed via standard Poisson branching and Brownian motions killed at a fixed left barrier. It proves that the empirical distribution function of the maximum among surviving particles converges almost surely to a randomly shifted Gumbel distribution, derived via martingale convergence combined with a change-of-measure argument that identifies the random shift.

Significance. If the result holds, this establishes an ergodic theorem for the maxima of absorbed branching Brownian motion, extending existing literature on branching random walks and extreme-value limits. The approach uses standard tools (martingale convergence and change of measure) in a setting where the empirical measure remains well-defined for all times under the non-extinction criterion, providing a clean a.s. convergence statement without free parameters or self-referential definitions.

minor comments (3)
  1. [Introduction] The introduction should state the main theorem (including the precise form of the limiting distribution and the random shift) before the abstract-level claim, to make the result immediately verifiable.
  2. [§2] Notation for the empirical distribution function and the absorption barrier location should be introduced with an explicit equation or definition in §2, rather than relying on the abstract.
  3. [Construction section] A brief remark on the non-extinction criterion used to ensure the empirical measure is well-defined for all t would clarify the parameter regime.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The manuscript establishes an a.s. convergence theorem for the empirical distribution function of the maximum position in absorbed branching Brownian motion to a randomly shifted Gumbel law. The derivation proceeds from the standard Poisson branching construction with fixed absorption barrier, through martingale convergence for the particle system and a change-of-measure identification of the random shift. No parameters are fitted to data, no self-definitional loops appear in the limit statement, and no load-bearing steps reduce to prior self-citations or ansatzes that presuppose the target result. The proof is self-contained against external benchmarks and does not rename known empirical patterns as new derivations.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the standard construction of branching Brownian motion and the definition of the empirical distribution; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard construction and properties of Brownian motion and Poisson point process branching
    The model is defined using these classical objects whose properties are taken as given.

pith-pipeline@v0.9.0 · 5546 in / 1035 out tokens · 33103 ms · 2026-05-23T20:56:40.657431+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

20 extracted references · 20 canonical work pages

  1. [1]

    and Kistler, N.: The genealogy of extremal particles of branching Brownian motion

    Arguin, L.-P., Bovier, A. and Kistler, N.: The genealogy of extremal particles of branching Brownian motion. Comm. Pure Appl. Math. 64, (2011), 1647–1676

    work page 2011

  2. [2]

    and Kistler, N.: Poissonian statistics in the extremal process of branching Brownian motion

    Arguin, L.-P., Bovier, A. and Kistler, N.: Poissonian statistics in the extremal process of branching Brownian motion. Ann. Appl. Probab. 22, (2012), 1693–1711

    work page 2012

  3. [3]

    and Kistler, N.: An ergodic theorem for the frontier of branching Brownian motion

    Arguin, L.-P., Bovier, A. and Kistler, N.: An ergodic theorem for the frontier of branching Brownian motion. Electron. J. Probab. 18, (2013), no. 53, 25 pp

    work page 2013

  4. [4]

    and Schweinsberg, J.: Survival of near-critical branching Brownian motion

    Berestycki, J., Berestycki, N. and Schweinsberg, J.: Survival of near-critical branching Brownian motion. J. Stat. Phys. 143, (2011), 833–854

    work page 2011

  5. [5]

    and Schweinsberg, J.: Critical branching Brownian motion with ab- sorption: survival probability

    Berestycki, J., Berestycki, N. and Schweinsberg, J.: Critical branching Brownian motion with ab- sorption: survival probability. Probab. Theory Related Fields 160, (2014), 489–520

    work page 2014

  6. [6]

    Bramson, M.: Maximal displacement of branching Brownian motion. Common. Pure Appl. Math. 31, (1978), 531–581

    work page 1978

  7. [7]

    Bramson, M.: Convergence of solutions to the Kolmogorov equation to travelling waves. Mem. Amer. Math. Soc. 44, (1983), iv+190 pp

    work page 1983

  8. [8]

    A.: The wave of advance of advantageous genes

    Fisher, R. A.: The wave of advance of advantageous genes. Ann. Eugenics 7, (1937), 355–369

    work page 1937

  9. [9]

    C.: Travelling-waves for the FKPP equation via probabilistic arguments

    Harris, S. C.: Travelling-waves for the FKPP equation via probabilistic arguments. Proc. Roy. Soc. Edinburgh Sect. A 129, (1999), 503–517

    work page 1999

  10. [10]

    W., Harris, S

    Harris, J. W., Harris, S. C. and Kyprianou, A. E.: Further probabilistic analysis of the Fisher- Kolmogorov-Petrovskii-Piscounov equation: one sided travelling-waves. Ann. Inst. Henri Poincar´ e Probab. Stat. 42, (2006), 125–145

    work page 2006

  11. [11]

    Harris, J. W. and Harris, S. C.: Survival probabilities for branching Brownian motion with absorp- tion. Electron. Comm. Probab. 12, (2007), 81–92

    work page 2007

  12. [12]

    Stochastic Process

    Kesten, H.: Branching Brownian motion with absorption. Stochastic Process. Appl. 7, (1978), 9–47

    work page 1978

  13. [13]

    and Piskounov, N.: ´Etude de I’´ equation de la diffusion avec croissance de la quantit´ e de la mati` ere at son application a un probl` em biologique.Moscow Univ

    Kolmogorov, A., Petrovskii, I. and Piskounov, N.: ´Etude de I’´ equation de la diffusion avec croissance de la quantit´ e de la mati` ere at son application a un probl` em biologique.Moscow Univ. Math. Bull. 1, (1937), 1–25

    work page 1937

  14. [14]

    E.: Travelling wave solution to the K-P-P equation: Alternatives to Simon Harris’ probabilistic analysis

    Kyprianou, A. E.: Travelling wave solution to the K-P-P equation: Alternatives to Simon Harris’ probabilistic analysis. Ann. Inst. Henri Poincar´ e Probab. Stat.40, (2004), 53–72

    work page 2004

  15. [15]

    and Sellke, T.: A conditional limit theorem for the frontier of a branching Brownian motion

    Lalley, S. and Sellke, T.: A conditional limit theorem for the frontier of a branching Brownian motion. Ann. Probab. 15, (1987), 1052–1061

    work page 1987

  16. [16]

    Stochastic Process

    Liu, J.: A Yaglom type asymptotic result for subcritical branching Brownian motion with absorption. Stochastic Process. Appl. 141, (2021), 245–273

    work page 2021

  17. [17]

    and Saglietti, S.: A strong law of large numbers for super-critical branching Brownian motion with absorption

    Louidor, O. and Saglietti, S.: A strong law of large numbers for super-critical branching Brownian motion with absorption. J. Stat. Phys. 181, (2020), 1112–1137

    work page 2020

  18. [18]

    and Schweinsberg, J.: Yaglom-type limit theorems for branching Brownian motion with absorption

    Maillard, P. and Schweinsberg, J.: Yaglom-type limit theorems for branching Brownian motion with absorption. Ann. H. Lebesgue 5, (2022), 921–985

    work page 2022

  19. [19]

    P.: Application of Brownian motion to the equation of Kolmogorov-Petrovskii- Piskunov

    McKean, H. P.: Application of Brownian motion to the equation of Kolmogorov-Petrovskii- Piskunov. Comm. Pure Appl. Math. 28, (1975), 323–331

    work page 1975

  20. [20]

    and Zhu, Y.: The extremal process of branching Brownian motion with absorption

    Yang, F. and Zhu, Y.: The extremal process of branching Brownian motion with absorption. Preprint (2023), available at arXiv:2310.04976. 14 F. YANG F an Yang, School of Mathematical Sciences, Beijing Normal University, Beijing 100875, P. R. China Email address : fan-yang@bnu.edu.cn

    work page arXiv 2023