Persistence and local extinction for superprocesses in random environments
Pith reviewed 2026-05-10 00:08 UTC · model grok-4.3
The pith
Super-Brownian motion in random environments converges to a non-trivial limit when environmental correlations are sufficiently weak in dimensions three and higher.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For d greater than or equal to 3, whenever the supremum over x in R^d of the integral over R^d of |x minus y| to the power 2 minus d times g of y dy is less than 8 times (d minus 2) times pi to the d over 2 divided by d times 2 to the d times gamma of d over 2 minus 1, the superprocess X starting from Lebesgue measure m has its law converging weakly as t goes to infinity to a non-trivial invariant probability distribution pi to the m on the space of Radon measures with mean measure m. The process is characterized through its conditional Laplace transform by the parabolic stochastic partial differential equation driven by the Gaussian field W with the given correlation bound.
What carries the argument
The conditional Laplace transform of the superprocess, satisfying the parabolic SPDE driven by the Gaussian field W, together with the dominating function g and the integral condition on the kernel |x minus y| to the power 2 minus d.
If this is right
- The superprocess maintains a positive average mass and does not suffer global extinction under the integral bound on g.
- A unique invariant probability distribution exists for the measure-valued process when the noise strength satisfies the given condition.
- Persistence holds for this class of superprocesses in random media below a critical threshold defined by the integral involving g.
- Local extinction occurs for correlations of the form a times Theta of x minus y when the constant a is taken sufficiently large.
Where Pith is reading between the lines
- The specific constant in the integral bound likely marks the boundary between persistence and extinction, although only the persistence side is proved here.
- The same domination and SPDE techniques may extend to related branching particle systems or superprocesses with different motion mechanisms in random media.
- Equality in the integral condition could represent a critical case whose long-time behavior requires separate analysis.
Load-bearing premise
The correlation function of the Gaussian field is bounded above by some bounded positive function g, and the superprocess begins with Lebesgue measure as its initial distribution.
What would settle it
A simulation or explicit solution of the associated parabolic SPDE for a specific correlation function g where the supremum integral equals or exceeds the stated constant, to determine whether the distribution of X_t still converges to a non-trivial limit or instead tends to extinction.
read the original abstract
We consider a super-Brownian motion $\{X_t, t\geq 0\}$ in a random environment described by a centered Gaussian field $\{W(t,x),t\geq 0, x\in\mathbb{R}^d\}$ whose correlation function is given by $\mathcal{C} (x,y)(t \wedge s)$. The process takes values in $\mathcal{M}(\mathbb{R}^d)$, the space of Radon measures on $\mathbb{R}^d$. It can be characterized through a conditional Laplace transform by a parabolic stochastic partial differential equation driven by $W(t, x)$. Suppose that $\mathcal{C} (x, y)\leq g(x-y)$ for some bounded positive function $g$ on $\mathbb{R}^d$ and the initial distribution of process $X$ is the Lebesgue measure $m$ on $\mathbb{R}^d$. We prove that for dimension $d\geq 3$, whenever $$ \sup_{x\in \mathbb{R}^d} \int_{\mathbb{R}^d} |x-y|^{2-d} g(y)dy< \frac{8 (d-2) \pi^{d/2}}{d 2^d \Gamma \left(d/2-1\right)}, $$ the distribution of $X_t$ converges weakly as $t \to \infty$ to a non-trivial invariant probability distribution $\pi^m$ on $\mathcal{M}(\mathbb{R}^d)$ with mean measure $m$. This result in particular gives an affirmative answer to Conjecture 1.4 of Mytnik and Xiong (Electron. J. Probab. 12: 1349-1378 (2007)). We further show that given $ \Theta \in C^\beta(\mathbb{R}^d)$ $(\beta>1)$, when $\mathcal{C}(x,y)= a \Theta (x-y)$ with $a$ being large enough, the superprocess $X$ suffers local extinction.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies super-Brownian motion {X_t} taking values in the space of Radon measures on R^d, driven by a centered Gaussian random field W with correlation C(x,y)(t ∧ s). The process is characterized via its conditional Laplace functional satisfying a parabolic SPDE. Under the assumption C(x,y) ≤ g(x-y) for bounded positive g and initial measure Lebesgue m, the paper proves that for d ≥ 3 and sup_x ∫ |x-y|^{2-d} g(y) dy < 8(d-2) π^{d/2} / (d 2^d Γ(d/2-1)), the law of X_t converges weakly to a non-trivial invariant probability π^m with mean measure m. This resolves Conjecture 1.4 of Mytnik-Xiong (2007). It further shows local extinction when C(x,y) = a Θ(x-y) for Θ ∈ C^β (β>1) and a sufficiently large.
Significance. If the proofs hold, the result is significant for the theory of measure-valued branching processes in random media: it supplies an explicit, checkable integral threshold (involving the Newtonian kernel) separating persistence from extinction, and affirmatively settles a stated open conjecture. The SPDE characterization and annealed tightness/uniqueness arguments, if complete, would constitute a technical advance applicable to related stochastic PDEs with multiplicative noise.
minor comments (3)
- The abstract states that the process 'can be characterized through a conditional Laplace transform by a parabolic SPDE'; the manuscript should explicitly record the precise form of this SPDE (including the precise multiplicative noise term) in the introduction or §2 so that the subsequent tightness arguments can be followed without cross-reference to prior works.
- Notation: clarify whether M(R^d) denotes all Radon measures or the subspace of measures with finite total mass on compact sets; this affects the topology used for weak convergence in the main theorem.
- The local-extinction statement for large a is stated only for the special form C = a Θ; a brief remark on whether the same conclusion holds under the general bound C ≤ g when the integral threshold is violated would strengthen the comparison between the two regimes.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our manuscript, the recognition of its significance in resolving Conjecture 1.4 from Mytnik-Xiong (2007), and the recommendation for minor revision. We appreciate the note on the potential technical advance via the SPDE characterization and tightness arguments.
Circularity Check
No significant circularity in the derivation chain
full rationale
The paper establishes weak convergence of the superprocess to a non-trivial invariant measure π^m under an explicit smallness condition on sup_x ∫ |x-y|^{2-d} g(y) dy. This follows from the SPDE characterization of the conditional Laplace functional, the Markov property of the annealed law, tightness, identification of limit points, and uniqueness of the invariant with mean m. The argument directly affirms an external 2007 conjecture of Mytnik and Xiong without any reduction to self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations; all steps remain independent of the target result and rest on the stated bounds on C and the initial Lebesgue measure m.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The superprocess is characterized through its conditional Laplace transform by a parabolic SPDE driven by the Gaussian field W.
- domain assumption The initial distribution of X is the Lebesgue measure m on R^d.
Reference graph
Works this paper leans on
-
[1]
Ren\' e A. Carmona and Frederi G. Viens. Almost-sure exponential behavior of a stochastic A nderson model with continuous space parameter. Stochastics Stochastics Rep. , 62(3-4):251--273, 1998
work page 1998
-
[2]
Heat kernels for non-symmetric diffusion operators with jumps
Zhen-Qing Chen, Eryan Hu, Longjie Xie, and Xicheng Zhang. Heat kernels for non-symmetric diffusion operators with jumps. J. Differential Equations , 263(10):6576--6634, 2017
work page 2017
-
[3]
Occupation times for superprocesses in random environments
Ziling Cheng, Jieliang Hong, and Dan Yao. Occupation times for superprocesses in random environments. arXiv preprint arXiv:2511.04535 , 2025
-
[4]
Michael C. Cranston and Thomas S. Mountford. Lyapunov exponent for the parabolic A nderson model in R ^d . J. Funct. Anal. , 236(1):78--119, 2006
work page 2006
-
[5]
Kai Lai Chung and Zhong Xin Zhao. From B rownian motion to S chr\" o dinger's equation , volume 312 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 1995
work page 1995
-
[6]
Giuseppe Da Prato and Jerzy Zabczyk. Stochastic equations in infinite dimensions , volume 152 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, Cambridge, second edition, 2014
work page 2014
-
[7]
Donald A. Dawson and Habib Salehi. Spatially homogeneous random evolutions. J. Multivariate Anal. , 10(2):141--180, 1980
work page 1980
-
[8]
Branching diffusions, superdiffusions and random media
J\'anos Engl\"ander. Branching diffusions, superdiffusions and random media. Probab. Surv. , 4:303--364, 2007
work page 2007
-
[9]
Some quenched and annealed limit theorems for superprocesses in random environments
Zeteng Fan, Jieliang Hong, and Jie Xiong. Some quenched and annealed limit theorems for superprocesses in random environments. Stochastic Process. Appl. , 188:Paper No. 104686, 28, 2025
work page 2025
-
[10]
Sharp estimation of the almost-sure L yapunov exponent for the A nderson model in continuous space
Ionu t Florescu and Frederi Viens. Sharp estimation of the almost-sure L yapunov exponent for the A nderson model in continuous space. Probab. Theory Related Fields , 135(4):603--644, 2006
work page 2006
-
[11]
Some properties of superprocesses under a stochastic flow
Kijung Lee, Carl Mueller, and Jie Xiong. Some properties of superprocesses under a stochastic flow. Ann. Inst. Henri Poincar\' e Probab. Stat. , 45(2):477--490, 2009
work page 2009
-
[12]
Local extinction for superprocesses in random environments
Leonid Mytnik and Jie Xiong. Local extinction for superprocesses in random environments. Electron. J. Probab. , 12:no. 50, 1349--1378, 2007
work page 2007
-
[13]
Superprocesses in random environments
Leonid Mytnik. Superprocesses in random environments. Ann. Probab. , 24(4):1953--1978, 1996
work page 1953
-
[14]
Stochastic partial differential equations---an introduction
\' E tienne Pardoux. Stochastic partial differential equations---an introduction . SpringerBriefs in Mathematics. Springer, Cham, [2021] 2021
work page 2021
-
[15]
A rough super- B rownian motion
Nicolas Perkowski and Tommaso Rosati. A rough super- B rownian motion. Ann. Probab. , 49(2):908--943, 2021
work page 2021
-
[16]
A stochastic log- L aplace equation
Jie Xiong. A stochastic log- L aplace equation. Ann. Probab. , 32(3B):2362--2388, 2004
work page 2004
-
[17]
Dirichlet forms perturbated by additive functionals of extended K ato class
Jiangang Ying. Dirichlet forms perturbated by additive functionals of extended K ato class. Osaka J. Math. , 34(4):933--952, 1997
work page 1997
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.