pith. sign in

arxiv: 2605.06488 · v2 · pith:L2LIZK4Enew · submitted 2026-05-07 · 🧮 math.PR

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

classification 🧮 math.PR MSC 60J8060J25
keywords continuous-state branchingLévy-Khintchine driftLaplace dualitydensity-dependent interactionFeller extensionboundary classificationscale functionfirst-passage times
0
0 comments X

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.

This paper shows that when the drift in a continuous-state branching process with interaction takes Lévy-Khintchine form, the Laplace transform of the process equals that of a dual process in which the branching mechanism and the drift-interaction mechanism have swapped roles. The duality supplies a unique law for the version of the process that is stopped upon first hitting either boundary zero or infinity. The same structure yields Fellerian extensions that allow the process to leave a boundary continuously when the drift is non-Lipschitz yet sufficiently strong there. Boundary classification at zero and infinity is then read off from parameters built from the mechanisms, their scale functions, and potential measures.

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

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

  • 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

Figures reproduced from arXiv: 2605.06488 by Cl\'ement Foucart, F\'elix Rebotier.

Figure 1
Figure 1. Figure 1: Three drift-interaction mechanisms: Σ is pure competition, ˆ ´Φ pure cooperation, ˆ Ψˆ “ Σˆ ´ Φ is a mixture and ˆ ˆ ρ is its largest zero. The behavior of Σ near ˆ 8 reflects the competition pressure at high population sizes. The behavior of Φ near 0 reflects the strength ˆ of cooperation when the population size becomes very small. 3 view at source ↗
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.

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

2 major / 3 minor

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)
  1. [§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.
  2. [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)
  1. [§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.
  2. [§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.
  3. [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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard background from Lévy process theory and Markov process theory together with the definition of the CBDI class; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard results from the theory of Lévy processes and continuous-state branching processes hold for the mechanisms.
    Invoked when defining the CBDI processes and applying Laplace duality.

pith-pipeline@v0.9.0 · 5796 in / 1290 out tokens · 57269 ms · 2026-05-21T08:40:51.214438+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

64 extracted references · 64 canonical work pages · 1 internal anchor

  1. [1]

    Baguley, L

    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. [2]

    Barczy, Z

    M. Barczy, Z. Li, and G. Pap. Yamada-Watanabe results for stochastic differential equations with jumps.Int. J. Stoch. Anal., 2015:23, 2015. Id/No 460472

  3. [3]

    Berestycki.Recent progress in coalescent theory, volume 16 ofEnsaios Matemáticos [Mathematical Surveys]

    N. Berestycki.Recent progress in coalescent theory, volume 16 ofEnsaios Matemáticos [Mathematical Surveys]. Sociedade Brasileira de Matemática, Rio de Janeiro, 2009. 68

  4. [4]

    Bertoin.Lévy processes

    J. Bertoin.Lévy processes. Cambridge tracts in mathematics. Cambridge University Press, Cambridge, New York, 1996

  5. [5]

    Berzunza Ojeda and J

    G. Berzunza Ojeda and J. C. Pardo. Branching processes with pairwise interactions.ALEA, Lat. Am. J. Probab. Math. Stat., 22(1):711–748, 2025

  6. [6]

    N.H. Bingham. Continuousbranching processes andspectral positivity.Stochastic Processes Appl., 4(3):217–242, 1976

  7. [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

  8. [8]

    R. M. Blumenthal.Excursions of Markov processes. Probability and its Applications. Birkhäuser Boston, Inc., Boston, MA, 1992

  9. [9]

    Böttcher, R

    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

  10. [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

  11. [11]

    Carlos and C

    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

  12. [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

  13. [13]

    Cattiaux, P

    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

  14. [14]

    Courchamp, L

    F. Courchamp, L. Berec, and J. Gascoigne.Allee effects in ecology and conservation. OUP Oxford, 2008

  15. [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

  16. [16]

    D. A. Dawson and Z. Li. Stochastic equations, flows and measure-valued processes.Ann. Probab., 40(2):813–857, 2012

  17. [17]

    Döring and M

    L. Döring and M. Barczy. Jump type SDEs for self-similar processes.Electron. J. Probab., 17:39, 2012. Id/No 94

  18. [18]

    Döring and A

    L. Döring and A. E. Kyprianou. Entrance and exit at infinity for stable jump diffusions. Ann. Probab., 48(3):1220–1265, 2020

  19. [19]

    Duhalde, C

    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

  20. [20]

    Durrett.Stochastic calculus

    R. Durrett.Stochastic calculus. Probability and Stochastics Series. CRC Press, Boca Raton, FL, 1996. A practical introduction

  21. [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

  22. [22]

    A. M. Etheridge. Survival and extinction in a locally regulated population.Ann. Appl. Probab., 14(1):188–214, 2004

  23. [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

  24. [24]

    P. J. Fitzsimmons. On the existence of recurrent extensions of self-similar Markov processes. Electron. Commun. Probab., 11:230–241, 2006

  25. [25]

    C. Foucart. Continuous-state branching processes with competition: duality and reflection at infinity.Electron. J. Probab., 24:no. 33, 1–38, 2019

  26. [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

  27. [27]

    Foucart, P.-S

    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

  28. [28]

    Foucart and M

    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

  29. [29]

    Positive Markov processes in Laplace duality

    C. Foucart and M. Vidmar. Positive markov processes in Laplace duality.arXiv preprint arXiv:2507.09641, 2025

  30. [30]

    Ontheexplosionofthenumberoffragmentsinsimpleexchangeable fragmentation-coagulation processes.Ann

    C.FoucartandX.Zhou. Ontheexplosionofthenumberoffragmentsinsimpleexchangeable fragmentation-coagulation processes.Ann. Inst. Henri Poincaré, Probab. Stat., 58(2):1182– 1207, 2022

  31. [31]

    Foucart and X

    C. Foucart and X. Zhou. On the boundary classification ofΛ-Wright-Fisher processes with frequency-dependent selection.Ann. Henri Lebesgue, 6:493–539, 2023

  32. [32]

    González Casanova, J

    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

  33. [33]

    D. R. Grey. Asymptotic behaviour of continuous time, continuous state-space branching processes.J. Appl. Probability, 11:669–677, 1974

  34. [34]

    T. E. Harris.The theory of branching processes.Mineola, NY: Dover Publications, corrected reprint of the 1963 original edition, 2002

  35. [35]

    O. Hénard. The fixation line in theΛ-coalescent.Ann. Appl. Probab., 25(5):3007–3032, 2015

  36. [36]

    Hutzenthaler and A

    M. Hutzenthaler and A. Wakolbinger. Ergodic behavior of locally regulated branching populations.Ann. Appl. Probab., 17(2):474–501, 2007

  37. [37]

    Jacod and A

    J. Jacod and A. N. Shiryaev.Limit theorems for stochastic processes., volume 288 of Grundlehren Math. Wiss.Berlin: Springer, 2nd ed. edition, 2003

  38. [38]

    V. N. Kolokoltsov.Markov processes, semigroups and generators.De Gruyter Studies in Mathematics. de Gruyter, 2011

  39. [39]

    Kukla and M

    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

  40. [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

  41. [41]

    A. E. Kyprianou.Fluctuations of Lévy Processes with Applications. Introductory Lectures. Universitext. Springer, Heidelberg, second edition, 2014

  42. [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

  43. [43]

    A. Lambert. The genealogy of continuous-state branching processes with immigration. Probab. Theory Related Fields, 122(1):42–70, 2002

  44. [44]

    A. Lambert. The branching process with logistic growth.Ann. Appl. Probab., 15(2):1506– 1535, 2005

  45. [45]

    Le and E

    V. Le and E. Pardoux. Extinction time and the total mass of the continuous-state branching processes with competition.Stochastics, 92(6):852–875, 2020

  46. [46]

    Leman and J

    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

  47. [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

  48. [48]

    P.-S. Li, X. Yang, and X. Zhou. A general continuous-state nonlinear branching process. Ann. Appl. Probab., 29(4):2523–2555, 2019

  49. [49]

    Z. H. Li.Measure-Valued Branching Markov Processes. Springer, 2011

  50. [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

  51. [51]

    Marguet and C

    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

  52. [52]

    A. G. Pakes. Explosive Markov branching processes: entrance laws and limiting behaviour. Adv. in Appl. Probab., 25(4):737–756, 1993

  53. [53]

    Palau and J

    S. Palau and J. C. Pardo. Branching processes in a Lévy random environment.Acta Appl. Math., 153(1):55–79, 2018

  54. [54]

    Pardoux.Probabilistic models of population evolution, volume 1 ofMathematical Bio- sciences Institute Lecture Series

    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

  55. [55]

    Rebotier

    F. Rebotier. On the coming down from infinity of continuous-state branching processes with drift-interaction.ArXiv Preprint ArXiv:2510.05958, 2025

  56. [56]

    V. Rivero. Recurrent extensions of self-similar Markov processes and Cramér’s condition. Bernoulli, 11(3):471–509, 2005

  57. [57]

    V. Rivero. Recurrent extensions of self-similar Markov processes and Cramér’s condition. II.Bernoulli, 13(4):1053–1070, 2007. 71

  58. [58]

    Sato.Lévy processes and infinitely divisible distributions, volume 68 ofCambridge Studies in Advanced Mathematics

    K.-i. Sato.Lévy processes and infinitely divisible distributions, volume 68 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2013

  59. [59]

    Schilling, R

    R. Schilling, R. Song, and Z. Vondraček.Bernstein Functions: Theory and Applications. De Gruyter Studies in Mathematics. De Gruyter, 2012

  60. [60]

    Siegmund

    D. Siegmund. The equivalence of absorbing and reflecting barrier problems for stochastically monotone Markov processes.Ann. Probability, 4(6):914–924, 1976

  61. [61]

    M. L. Silverstein. A new approach to local times.J. Math. Mech., 17(11):1023–1054, 1968

  62. [62]

    Song and Z

    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

  63. [63]

    D. W. Stroock. Diffusion processes associated with Lévy generators.Z. Wahrscheinlichkeit- stheor. Verw. Geb., 32:209–244, 1975

  64. [64]

    Vuolle-Apiala

    J. Vuolle-Apiala. Itô excursion theory for self-similar Markov processes.Ann. Probab., 22(2):546–565, 1994. 72