On the subcritical self-catalytic branching Brownian motions

Haojie Hou; Zhenyao Sun

arxiv: 2501.16739 · v2 · submitted 2025-01-28 · 🧮 math.PR · math-ph· math.MP

On the subcritical self-catalytic branching Brownian motions

Haojie Hou , Zhenyao Sun This is my paper

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

classification 🧮 math.PR math-phmath.MP

keywords self-catalytic branching Brownian motionsubcritical branchingcoming down from infinityintersection local timesreaction-diffusion equationsmultiplicative noisebranching processes

0 comments

The pith

Subcritical self-catalytic branching Brownian motions can be constructed from infinitely many initial particles and come down from infinity at explicit rates.

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

The paper constructs self-catalytic branching Brownian motions in the subcritical regime that allow for an arbitrary number of initial particles, including infinitely many. It proves that these processes come down from infinity and determines the rates at which this occurs. These motions extend standard branching Brownian motions by adding pairwise branchings driven by the intersection local times of particle paths. They serve as the moment duals to reaction-diffusion equations with multiplicative space-time white noise. This matters because it permits modeling of branching systems whose initial populations may be unbounded and clarifies how such populations reach finite states.

Core claim

For the subcritical case of the catalytic branching mechanism, the self-catalytic branching Brownian motion can be constructed allowing an infinite number of initial particles, and these systems satisfy the coming down from infinity property with characterized rates.

What carries the argument

The subcritical catalytic branching mechanism, which drives pairwise branchings catalyzed by the intersection local times of particle pairs.

Load-bearing premise

The catalytic branching mechanism is subcritical.

What would settle it

A concrete counterexample would be an infinite initial configuration for which no version of the process can be constructed or for which the number of particles fails to become finite in finite time.

read the original abstract

The self-catalytic branching Brownian motions (SBBM) are extensions of the classical one-dimensional branching Brownian motions by incorporating pairwise branchings catalyzed by the intersection local times of the particle pairs. These processes naturally arise as the moment duals of certain reaction-diffusion equations perturbed by multiplicative space-time white noise. For the subcritical case of the catalytic branching mechanism, we construct the SBBM allowing an infinite number of initial particles. Additionally, we establish the coming down from infinity (CDI) property for these systems and characterize their CDI rates.

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 constructs subcritical self-catalytic branching Brownian motion from infinitely many particles and characterizes the CDI rates.

read the letter

The main takeaway is that the authors construct the subcritical self-catalytic branching Brownian motion allowing infinitely many initial particles and characterize the coming down from infinity rates for these systems. They build this by adding pairwise branchings catalyzed by intersection local times to the classical branching Brownian motion setup. This leads to processes that are moment duals to certain reaction-diffusion equations with multiplicative noise. The infinite initial condition is handled specifically in the subcritical regime of the catalytic mechanism, which prevents immediate explosion and allows the CDI property to hold. The explicit rate characterization is the part that stands out as useful for further analysis. This seems new because the combination of self-catalytic pairwise interactions with an infinite-particle starting point in the subcritical case is not covered in the standard references on branching Brownian motions. The paper does a direct construction and characterization without apparent reliance on previously fitted quantities. The soft spots are limited. Everything depends on the subcritical assumption, but the paper states this clearly as the regime where the results apply. One would need to verify in the proofs that the intersection local times are well-defined for the infinite collection of particles and that the branching rates remain consistent. If those details hold, the argument looks solid. There is no sign of internal contradiction or hidden fitting in the description. This paper is for specialists in stochastic processes, particularly those studying branching mechanisms and their SPDE duals. Readers interested in coming down from infinity properties or infinite-particle constructions would find the rates valuable. I recommend sending it for peer review. The technical construction deserves a careful check by experts in the area.

Referee Report

0 major / 2 minor

Summary. The paper constructs self-catalytic branching Brownian motions (SBBM) in the subcritical regime of the catalytic branching mechanism, allowing an infinite number of initial particles. It further establishes the coming down from infinity (CDI) property for these systems and provides a characterization of the associated CDI rates. The processes arise as moment duals of reaction-diffusion equations perturbed by multiplicative space-time white noise, extending classical one-dimensional branching Brownian motions via pairwise branchings catalyzed by intersection local times.

Significance. If the construction and CDI characterization hold, the results extend the theory of branching processes with catalytic interactions to infinite-particle initial conditions in the subcritical case, with potential implications for the dual PDEs. The paper supplies an explicit construction and rate characterization under the stated subcriticality assumption, which is the regime where these properties are claimed to hold.

minor comments (2)

The abstract and introduction could clarify the precise definition of the catalytic branching mechanism (e.g., the form of the rate function) earlier, to make the subcriticality condition more immediately accessible without requiring the full construction details.
Notation for the intersection local times and the catalytic rates should be checked for consistency between the construction section and the CDI rate formulas.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The report accurately summarizes the construction of subcritical SBBM with infinite initial particles and the CDI characterization.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central results are a mathematical construction of the SBBM process allowing infinitely many initial particles in the subcritical regime, together with a proof of the coming-down-from-infinity property and an explicit characterization of the CDI rates. These steps are presented as direct constructions and analytic arguments under the stated subcriticality assumption; the abstract and description contain no fitted parameters renamed as predictions, no self-definitional loops, and no load-bearing self-citations that reduce the claims to prior unverified inputs. The subcritical condition is explicitly the regime in which the results are asserted to hold, rather than a hidden tautology. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only; cannot enumerate free parameters or axioms from the full text. The subcriticality assumption on the catalytic mechanism is the only explicit modeling choice visible.

axioms (1)

domain assumption The catalytic branching mechanism is subcritical.
Stated in abstract as the regime in which the infinite-particle construction and CDI property hold.

pith-pipeline@v0.9.0 · 5609 in / 1097 out tokens · 23020 ms · 2026-05-23T05:11:07.339230+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 (J-uniqueness, washburn_uniqueness_aczel); Foundation/RealityFromDistinction.lean reality_from_one_distinction; Jcost uniqueness unclear

?

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

For the subcritical case of the catalytic branching mechanism, we construct the SBBM allowing an infinite number of initial particles. Additionally, we establish the coming down from infinity (CDI) property... (abstract; Thm 1.2, 1.3; eq (1.10),(1.17),(1.18))

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.