An exact coexistence criterion for stochastic Lotka--Volterra systems with Volterra--Lyapunov stable interactions
Abstract
We consider stochastic Lotka-Volterra systems dX=Diag(X)(α+AX)dt+Diag(X)ΓdB with nondegenerate noise and a Volterra-Lyapunov stable interaction matrix A, that is, DA+A⊤ D≺ 0 for some positive diagonal matrix D. This class covers every self-limited predator-prey food web that is conservative in the sense of Volterra, in particular every such web whose interaction graph is a forest. We give a necessary and sufficient condition for invariant coexistence: the process has an invariant probability measure on (0,∞)n, that is, a stationary distribution under which all species have positive densities, if and only if m=−A−1β is positive, where β=α−1/2diag(ΓΓ⊤) is the vector of noise-corrected growth rates. This measure is then unique and ergodic, has mean m, and attracts every interior initial condition exponentially fast in total variation. Thus environmental noise affects coexistence only through the Itô shift α↦β, and the criterion is the exact counterpart of the feasibility criterion for the deterministic system ẋ=Diag(x)(β+Ax). Both directions rest on the fact that, for Lotka-Volterra systems, invasion rates are affine in the mean of the underlying measure. Necessity follows from an exact formula for the means of invariant measures supported on faces of the orthant. Sufficiency follows from the persistence theorem of Hening and Nguyen, for which the explicit weights Dm give a stochastic counterpart of Hofbauer's average Lyapunov function, so that no enumeration of the invariant measures on the boundary is required. Applied to subcommunities, the result also characterizes every stationary regime in which some species are absent.
Related
- Dimensionality-induced critical phase transition in stochastic Lotka-Volterra equation: From statistical averaging to systemic tipping point
- Geometric scaling of non-consumptive interactions generates sublinear density dependence and reshapes coexistence
- Population density constrains coexistence of cooperative and cheating Kluyveromyces lactis through frequency-dependent physical interactions
- Eco-evolutionary dynamics of sexually selected infanticide facilitate species coexistence
- Phenotypic plasticity segregates antagonistic species but undermines their coexistence
BibTeX
@misc{osorio2026exact,
title = {{An exact coexistence criterion for stochastic Lotka--Volterra systems with Volterra--Lyapunov stable interactions}},
author = {Jorge Ramirez Osorio},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.28174},
eprint = {2610.28174},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.28174},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - An exact coexistence criterion for stochastic Lotka--Volterra systems with Volterra--Lyapunov stable interactions
AU - Jorge Ramirez Osorio
PY - 2026
DA - 2026/10/20
PB - arXiv
DO - 10.48550/arxiv.2610.28174
UR - https://arxiv.org/abs/2610.28174
AB - We consider stochastic Lotka-Volterra systems dX=Diag(X)(α+AX)dt+Diag(X)ΓdB with nondegenerate noise and a Volterra-Lyapunov stable interaction matrix A, that is, DA+A^⊤ D≺ 0 for some positive diagonal matrix D. This class covers every self-limited predator-prey food web that is conservative in the sense of Volterra, in particular every such web whose interaction graph is a forest. We give a necessary and sufficient condition for invariant coexistence: the process has an invariant probability measure on (0,∞)^n, that is, a stationary distribution under which all species have positive densities, if and only if m=−A^−1β is positive, where β=α−1/2diag(ΓΓ^⊤) is the vector of noise-corrected growth rates. This measure is then unique and ergodic, has mean m, and attracts every interior initial condition exponentially fast in total variation. Thus environmental noise affects coexistence only through the Itô shift α↦β, and the criterion is the exact counterpart of the feasibility criterion for the deterministic system ẋ=Diag(x)(β+Ax). Both directions rest on the fact that, for Lotka-Volterra systems, invasion rates are affine in the mean of the underlying measure. Necessity follows from an exact formula for the means of invariant measures supported on faces of the orthant. Sufficiency follows from the persistence theorem of Hening and Nguyen, for which the explicit weights Dm give a stochastic counterpart of Hofbauer's average Lyapunov function, so that no enumeration of the invariant measures on the boundary is required. Applied to subcommunities, the result also characterizes every stationary regime in which some species are absent.
ER -