Continuous-state branching processes with L\'evy-Khintchine drift-interaction: Laplace duality and Fellerian extensions
Pith reviewed 2026-05-21 08:40 UTC · model grok-4.3
The pith
Lévy-Khintchine form of the drift induces Laplace duality that exchanges branching and interaction mechanisms in continuous-state branching processes.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The Lévy-Khintchine form of the drift induces a Laplace duality expressing the Laplace transform of a CBDI process in terms of that of another CBDI process, in which the branching and drift-interaction mechanisms are exchanged. The process, stopped upon hitting either boundary 0 or ∞, is uniquely characterized in law by these mechanisms. A Fellerian extension is constructed when the drift is non-Lipschitz and sufficiently strong at a boundary, allowing the process to leave this boundary continuously and possibly re-enter it. Parameters defined in terms of the mechanisms and their associated scale function and potential measure determine the boundary behavior at 0 and ∞.
What carries the argument
Laplace duality induced by the Lévy-Khintchine drift, which swaps the branching mechanism with the drift-interaction mechanism to relate the Laplace transforms of the original and dual CBDI processes.
If this is right
- The duality yields explicit relations between the semigroups of the original and dual processes.
- Sharp Lyapunov functions can be built directly from the dual mechanism.
- First-passage times to the boundaries become monotone and converge under comparison principles.
- Boundary types (entrance, exit, regular) at zero and infinity are classified by explicit parameters involving the scale function and potential measure.
- All boundary regimes, including regular and non-sticky cases, appear when the mechanisms are regularly varying.
Where Pith is reading between the lines
- The duality may supply new closed-form expressions for moments or hitting probabilities in density-dependent population models.
- Comparison arguments developed here could apply to discrete-state or spatial versions of interacting branching processes.
- Numerical simulation of the dual process offers an indirect way to sample paths of the original process up to the stopping time.
Load-bearing premise
The drift must be of Lévy-Khintchine type for the Laplace duality to hold and for the stopped process to be uniquely characterized by the mechanisms.
What would settle it
Take a concrete CBDI process whose drift is not of Lévy-Khintchine form, compute its Laplace transform numerically, and check whether that transform still equals the Laplace transform of the candidate dual process obtained by exchanging the two mechanisms.
Figures
read the original abstract
We investigate the class of continuous-state branching processes with interaction driven by a L\'evy-Khintchine type drift (CBDI). These $[0,\infty]$-valued processes capture both dynamics of branching and density-dependence, allowing for cooperation at low population sizes and competition at high densities. Although the interaction breaks the branching property, the L\'evy--Khintchine form of the drift induces a Laplace duality. This duality expresses the Laplace transform of a CBDI process in terms of that of another CBDI process, in which the branching and drift-interaction mechanisms are exchanged. The process, stopped upon hitting either boundary $0$ or $\infty$, is uniquely characterized in law by these mechanisms. A Fellerian extension is constructed when the drift is non-Lipschitz and sufficiently strong at a boundary, allowing the process to leave this boundary continuously and possibly re-enter it. We identify parameters, defined in terms of the mechanisms and their associated scale function and potential measure, that determine the boundary behavior at $0$ and $\infty$ (entrance, exit or regular). Settings exhibiting all regimes, including regular-for-itself and non-sticky boundaries, arise when the mechanisms are assumed to be regularly varying. Our approach combines Laplace duality and comparison principles. The duality facilitates the analysis of semigroups and the construction of sharp Lyapunov functions. Comparisons ensure monotonicity and convergence properties of first-passage times.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces the class of continuous-state branching processes with Lévy-Khintchine drift-interaction (CBDI processes) on [0,∞]. It establishes a Laplace duality that relates the Laplace transform of a given CBDI process to that of a dual CBDI process in which the branching mechanism and the drift-interaction mechanism are interchanged. The process stopped upon hitting either boundary 0 or ∞ is shown to be uniquely determined in law by these two mechanisms. A Fellerian extension is constructed for non-Lipschitz drifts that are sufficiently strong at a boundary, permitting continuous exit and possible re-entry. Parameters expressed via the mechanisms, scale function, and potential measure are identified that classify the boundary behavior at 0 and ∞ as entrance, exit, or regular; regularly-varying examples are exhibited that realize every regime.
Significance. If the duality and uniqueness statements hold, the work supplies a tractable analytic framework for density-dependent branching models that incorporate both cooperation at low densities and competition at high densities. The Laplace duality yields semigroups and sharp Lyapunov functions, while the comparison principles deliver monotonicity of passage times; together they enable a complete boundary classification that is new for this class. The Feller extension and the regularly-varying examples demonstrate that the results apply beyond the Lipschitz setting and cover all possible boundary regimes, which is of direct interest for population models and for the general theory of Markov processes with interaction.
major comments (2)
- [§4] §4 (Fellerian extension): the construction assumes the drift is 'sufficiently strong' at the boundary to allow continuous exit, but the precise integrability or growth condition (in terms of the scale function or the Lévy measure) is not stated explicitly; without it the uniqueness of the extended semigroup cannot be verified from the given comparison arguments.
- [Theorem 3.2] Theorem 3.2 (uniqueness of the stopped martingale problem): the proof invokes comparison principles to obtain monotonicity of first-passage times, yet it is not shown that these comparisons remain valid when the Lévy measure has infinite activity near zero; an additional truncation or domination argument appears to be needed.
minor comments (3)
- [§2] Notation for the Lévy-Khintchine triplet is introduced in §2 but the dependence on the interaction parameter is not consistently indicated in the subsequent duality statements; a uniform subscript or superscript would improve readability.
- [§5] In the regularly-varying examples of §5 the indices of regular variation for the branching and interaction mechanisms are chosen independently; it would be helpful to add a short remark on whether the boundary classification changes when the indices are related.
- [Figure 1] Figure 1 (boundary regimes) uses the same line style for 'regular' and 'regular-for-itself'; distinct dashing or coloring would make the distinction clearer.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our manuscript and for the constructive comments, which will help improve the clarity and rigor of the presentation. We address each major comment below.
read point-by-point responses
-
Referee: [§4] §4 (Fellerian extension): the construction assumes the drift is 'sufficiently strong' at the boundary to allow continuous exit, but the precise integrability or growth condition (in terms of the scale function or the Lévy measure) is not stated explicitly; without it the uniqueness of the extended semigroup cannot be verified from the given comparison arguments.
Authors: We agree that the precise condition should be stated explicitly. In the revised manuscript we will add a standing assumption in Section 4 that formulates the required integrability condition directly in terms of the scale function and the tail of the Lévy measure near the boundary. This condition is the one implicitly used to justify continuous exit and to close the comparison arguments; we will include a short remark explaining how it guarantees uniqueness of the extended semigroup. revision: yes
-
Referee: [Theorem 3.2] Theorem 3.2 (uniqueness of the stopped martingale problem): the proof invokes comparison principles to obtain monotonicity of first-passage times, yet it is not shown that these comparisons remain valid when the Lévy measure has infinite activity near zero; an additional truncation or domination argument appears to be needed.
Authors: We thank the referee for this observation. Although the Laplace duality itself holds for general Lévy measures, the comparison principles for first-passage times require additional justification in the infinite-activity case. In the revision we will insert a truncation argument: we approximate the original process by processes whose Lévy measures are truncated away from zero, apply the existing comparison results to the approximations, and pass to the limit using domination via the dual process and the potential measure. This will be written out explicitly in the proof of Theorem 3.2. revision: yes
Circularity Check
No significant circularity identified
full rationale
The paper defines the CBDI class via Lévy-Khintchine drift and derives the Laplace duality directly from the generator and mechanism exchange; uniqueness of the stopped process follows from the duality plus comparison principles for passage times. Boundary classification uses the scale function and potential measure constructed from the same mechanisms. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-citation chain, or definitional tautology; the regularly-varying examples serve as verification rather than input. The logical chain is self-contained against the stated assumptions and external comparison tools.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard results from the theory of Lévy processes and continuous-state branching processes hold for the mechanisms.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the Lévy–Khintchine form of the drift induces a Laplace duality... Xe_y(x) = Ye_x(y)
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
parameters θ_Φ,Σ̂ := lim sup x→∞ x ∫ e^{-zx} Φ(z)/z Ŵ(z) dz
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
-
[1]
S. Baguley, L. Döring, and Q. Shi. The structure of entrance and exit at infinity for time- changed Lévy processes.Preprint, arXiv:2410.07664 [math.PR] (2024), 2024
- [2]
-
[3]
N. Berestycki.Recent progress in coalescent theory, volume 16 ofEnsaios Matemáticos [Mathematical Surveys]. Sociedade Brasileira de Matemática, Rio de Janeiro, 2009. 68
work page 2009
-
[4]
J. Bertoin.Lévy processes. Cambridge tracts in mathematics. Cambridge University Press, Cambridge, New York, 1996
work page 1996
-
[5]
G. Berzunza Ojeda and J. C. Pardo. Branching processes with pairwise interactions.ALEA, Lat. Am. J. Probab. Math. Stat., 22(1):711–748, 2025
work page 2025
-
[6]
N.H. Bingham. Continuousbranching processes andspectral positivity.Stochastic Processes Appl., 4(3):217–242, 1976
work page 1976
-
[7]
N. H. Bingham, C. M. Goldie, and J. L. Teugels.Regular variation. Encyclopedia of mathematics and its applications. Cambridge University Press, Cambridge, Cambridgeshire, New York, 1987. Includes indexes
work page 1987
-
[8]
R. M. Blumenthal.Excursions of Markov processes. Probability and its Applications. Birkhäuser Boston, Inc., Boston, MA, 1992
work page 1992
-
[9]
B. Böttcher, R. Schilling, and J. Wang.Lévy Matters III. Lévy-Type Processes: Construc- tion, Approximation and Sample Path Properties, volume 2099 ofLect. Notes Math.Cham: Springer, 2013
work page 2099
-
[10]
M. E. Caballero and L. Chaumont. Weak convergence of positive self-similar Markov pro- cesses and overshoots of Lévy processes.Ann. Probab., 34(3):1012–1034, 2006
work page 2006
-
[11]
C. Carlos and C. A. Braumann. General population growth models with Allee effects in a random environment.Ecological Complexity, 30:26–33, 2017. Dynamical Systems In Biomathematics
work page 2017
-
[12]
A. G. Casanova and D. Spanò. Duality and fixation inΞ-Wright-Fisher processes with frequency-dependent selection.Ann. Appl. Probab., 28(1):250–284, 2018
work page 2018
-
[13]
P. Cattiaux, P. Collet, A. Lambert, S. Martinez, S. Méléard, and J. San Martin. Quasi- stationary distributions and diffusion models in population dynamics.Ann. Probab., 37(5):1926–1969, 09 2009
work page 1926
-
[14]
F. Courchamp, L. Berec, and J. Gascoigne.Allee effects in ecology and conservation. OUP Oxford, 2008
work page 2008
-
[15]
J. T. Cox and U. Rösler. A duality relation for entrance and exit laws for Markov processes. Stochastic Process. Appl., 16(2):141–156, 1984
work page 1984
-
[16]
D. A. Dawson and Z. Li. Stochastic equations, flows and measure-valued processes.Ann. Probab., 40(2):813–857, 2012
work page 2012
-
[17]
L. Döring and M. Barczy. Jump type SDEs for self-similar processes.Electron. J. Probab., 17:39, 2012. Id/No 94
work page 2012
-
[18]
L. Döring and A. E. Kyprianou. Entrance and exit at infinity for stable jump diffusions. Ann. Probab., 48(3):1220–1265, 2020
work page 2020
-
[19]
X. Duhalde, C. Foucart, and C. Ma. On the hitting times of continuous-state branching processes with immigration.Stochastic Process. Appl., 124(12):4182–4201, 2014
work page 2014
-
[20]
R. Durrett.Stochastic calculus. Probability and Stochastics Series. CRC Press, Boca Raton, FL, 1996. A practical introduction
work page 1996
-
[21]
Etheridge.Some mathematical models from population genetics
A. Etheridge.Some mathematical models from population genetics. École d’Été de Prob- abilités de Saint-Flour XXXIX-2009, volume 2012 ofLect. Notes Math.Berlin: Springer, 2011. 69
work page 2009
-
[22]
A. M. Etheridge. Survival and extinction in a locally regulated population.Ann. Appl. Probab., 14(1):188–214, 2004
work page 2004
-
[23]
S. N. Ethier and T. G. Kurtz.Markov Processes. Characterization and Convergence. Wiley Series in Probability and Mathematical Statistics: Probability and Mathematical Statistics. John Wiley & Sons Inc., New York, 1986
work page 1986
-
[24]
P. J. Fitzsimmons. On the existence of recurrent extensions of self-similar Markov processes. Electron. Commun. Probab., 11:230–241, 2006
work page 2006
-
[25]
C. Foucart. Continuous-state branching processes with competition: duality and reflection at infinity.Electron. J. Probab., 24:no. 33, 1–38, 2019
work page 2019
-
[26]
C. Foucart. A phase transition in the coming down from infinity of simple exchangeable fragmentation-coagulation processes.Ann. Appl. Probab., 32(1):632–664, 2022
work page 2022
-
[27]
C. Foucart, P.-S. Li, and X. Zhou. On the entrance at infinity of Feller processes with no negative jumps.Stat. Probab. Lett., 165:8, 2020. Id/No 108859
work page 2020
-
[28]
C. Foucart and M. Vidmar. Continuous-state branching processes with collisions: First passage times and duality.Stochastic Processes Appl., 167:no. 104230, 1–35, 2024
work page 2024
-
[29]
Positive Markov processes in Laplace duality
C. Foucart and M. Vidmar. Positive markov processes in Laplace duality.arXiv preprint arXiv:2507.09641, 2025
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[30]
Ontheexplosionofthenumberoffragmentsinsimpleexchangeable fragmentation-coagulation processes.Ann
C.FoucartandX.Zhou. Ontheexplosionofthenumberoffragmentsinsimpleexchangeable fragmentation-coagulation processes.Ann. Inst. Henri Poincaré, Probab. Stat., 58(2):1182– 1207, 2022
work page 2022
-
[31]
C. Foucart and X. Zhou. On the boundary classification ofΛ-Wright-Fisher processes with frequency-dependent selection.Ann. Henri Lebesgue, 6:493–539, 2023
work page 2023
-
[32]
A. González Casanova, J. C. Pardo, and J. L. Pérez. Branching processes with interactions: subcritical cooperative regime.Adv. Appl. Probab., 53(1):251–278, 2021
work page 2021
-
[33]
D. R. Grey. Asymptotic behaviour of continuous time, continuous state-space branching processes.J. Appl. Probability, 11:669–677, 1974
work page 1974
-
[34]
T. E. Harris.The theory of branching processes.Mineola, NY: Dover Publications, corrected reprint of the 1963 original edition, 2002
work page 1963
-
[35]
O. Hénard. The fixation line in theΛ-coalescent.Ann. Appl. Probab., 25(5):3007–3032, 2015
work page 2015
-
[36]
M. Hutzenthaler and A. Wakolbinger. Ergodic behavior of locally regulated branching populations.Ann. Appl. Probab., 17(2):474–501, 2007
work page 2007
-
[37]
J. Jacod and A. N. Shiryaev.Limit theorems for stochastic processes., volume 288 of Grundlehren Math. Wiss.Berlin: Springer, 2nd ed. edition, 2003
work page 2003
-
[38]
V. N. Kolokoltsov.Markov processes, semigroups and generators.De Gruyter Studies in Mathematics. de Gruyter, 2011
work page 2011
-
[39]
J. Kukla and M. Möhle. On the block counting process and the fixation line of the Bolthausen-Sznitman coalescent.Stochastic Processes Appl., 128(3):939–962, 2018. 70
work page 2018
-
[40]
T. G. Kurtz. Equivalence of stochastic equations and martingale problems. InStochastic analysis 2010. Selected papers based on the presentations at the 7th congress of the Inter- national Society for Analysis, its Applications and Computations, London, GB, July 2009, pages 113–130. Berlin: Springer, 2011
work page 2010
-
[41]
A. E. Kyprianou.Fluctuations of Lévy Processes with Applications. Introductory Lectures. Universitext. Springer, Heidelberg, second edition, 2014
work page 2014
-
[42]
A. E. Kyprianou, S. W. Pagett, T. Rogers, and J. Schweinsberg. A phase transition in excur- sionsfrominfinityofthefastfragmentation-coalescenceprocess.Ann. Probab., 45(6A):3829– 3849, 11 2017
work page 2017
-
[43]
A. Lambert. The genealogy of continuous-state branching processes with immigration. Probab. Theory Related Fields, 122(1):42–70, 2002
work page 2002
-
[44]
A. Lambert. The branching process with logistic growth.Ann. Appl. Probab., 15(2):1506– 1535, 2005
work page 2005
- [45]
-
[46]
H. Leman and J. C. Pardo. Extinction and coming down from infinity of continuous-state branching processes with competition in a Lévy environment.J. Appl. Probab., 58(1):128– 139, 2021
work page 2021
-
[47]
P. Lévy. Processus stochastiques et mouvement brownien. Suivi d’une note de M. Loève. Paris: Gauthier-Villars, Éditeur 365 p. (1948)., 1948
work page 1948
-
[48]
P.-S. Li, X. Yang, and X. Zhou. A general continuous-state nonlinear branching process. Ann. Appl. Probab., 29(4):2523–2555, 2019
work page 2019
-
[49]
Z. H. Li.Measure-Valued Branching Markov Processes. Springer, 2011
work page 2011
-
[50]
S. Ma, X. Yang, and X. Zhou. Boundary behaviors for a class of continuous-state nonlinear branching processes in critical cases.Electron. Commun. Probab., 26:10, 2021
work page 2021
-
[51]
A. Marguet and C. Smadi. Long time behaviour of continuous-state nonlinear branching processes with catastrophes.Electron. J. Probab., 26:32, 2021. Id/No 95
work page 2021
-
[52]
A. G. Pakes. Explosive Markov branching processes: entrance laws and limiting behaviour. Adv. in Appl. Probab., 25(4):737–756, 1993
work page 1993
-
[53]
S. Palau and J. C. Pardo. Branching processes in a Lévy random environment.Acta Appl. Math., 153(1):55–79, 2018
work page 2018
-
[54]
E. Pardoux.Probabilistic models of population evolution, volume 1 ofMathematical Bio- sciences Institute Lecture Series. Stochastics in Biological Systems. Springer, [Cham]; MBI Mathematical Biosciences Institute, Ohio State University, Columbus, OH, 2016. Scaling limits, genealogies and interactions
work page 2016
- [55]
-
[56]
V. Rivero. Recurrent extensions of self-similar Markov processes and Cramér’s condition. Bernoulli, 11(3):471–509, 2005
work page 2005
-
[57]
V. Rivero. Recurrent extensions of self-similar Markov processes and Cramér’s condition. II.Bernoulli, 13(4):1053–1070, 2007. 71
work page 2007
-
[58]
K.-i. Sato.Lévy processes and infinitely divisible distributions, volume 68 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2013
work page 2013
-
[59]
R. Schilling, R. Song, and Z. Vondraček.Bernstein Functions: Theory and Applications. De Gruyter Studies in Mathematics. De Gruyter, 2012
work page 2012
- [60]
-
[61]
M. L. Silverstein. A new approach to local times.J. Math. Mech., 17(11):1023–1054, 1968
work page 1968
-
[62]
R. Song and Z. Vondraček. Potential theory of subordinate Brownian motion. InPoten- tial analysis of stable processes and its extensions. With some of the papers based on the presentations at the workshop on stochastic and harmonic analysis of processes with jumps, Angers, France, May 2–9, 2006., pages 87–176. Berlin: Springer, 2009
work page 2006
-
[63]
D. W. Stroock. Diffusion processes associated with Lévy generators.Z. Wahrscheinlichkeit- stheor. Verw. Geb., 32:209–244, 1975
work page 1975
-
[64]
J. Vuolle-Apiala. Itô excursion theory for self-similar Markov processes.Ann. Probab., 22(2):546–565, 1994. 72
work page 1994
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.