pith. sign in

arxiv: 2507.09641 · v2 · submitted 2025-07-13 · 🧮 math.PR

Positive Markov processes in Laplace duality

Pith reviewed 2026-05-19 05:09 UTC · model grok-4.3

classification 🧮 math.PR
keywords Laplace dualitypositive Markov processescomplete monotonicityLaplace symbolcontinuous-state branchingmartingale problemsgenerator dualitybranching processes
0
0 comments X

The pith

A positive Markov process admits a Laplace dual if and only if it satisfies a complete monotonicity condition.

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

This paper builds a general framework linking positive Markov processes through their Laplace transforms. It proves that one process is the Laplace dual of another precisely when the original satisfies a complete monotonicity condition on its transition probabilities. The framework also identifies a wide class of generators that support such duals and gives conditions for the corresponding martingale problems to be well-posed, with the solutions dual at the semigroup level. This approach unifies several generalizations of continuous-state branching processes, such as those with immigration or in random media, while clarifying how conventions for indeterminate products like zero times infinity affect behavior at the boundaries zero and infinity.

Core claim

The central result is that a positive Markov process admits a Laplace dual precisely when its one-dimensional Laplace transform can be represented through that of another process, which holds if and only if the process meets a certain complete monotonicity condition. For processes whose generators have domains containing the exponential functions, the authors derive a Courrège representation that introduces the Laplace symbol as a compact description of the infinitesimal dynamics, and they show that for a broad class of such symbols the associated martingale problems are well-posed with dual semigroups.

What carries the argument

The Laplace symbol, obtained from the Courrège form of the pointwise infinitesimal generator when the domain includes exponential functions, which encodes the infinitesimal dynamics parsimoniously and enables the duality construction.

If this is right

  • The associated martingale problems are well-posed under sufficient conditions.
  • The solutions to these problems are in duality at the level of their semigroups.
  • Laplace duality provides a unifying structure for generalizations of continuous-state branching processes with immigration or in random environments.
  • The conventions for the products 0·∞ and ∞·0 determine the weak continuity or absorptivity at the boundaries 0 and ∞.

Where Pith is reading between the lines

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

  • This duality could be used to construct new examples of processes by starting from known duals and reversing the transform.
  • It may connect to other forms of duality in stochastic analysis, such as time-reversal or size-biasing transformations.
  • Extending the framework to multi-dimensional processes or processes on more general state spaces could reveal further applications in population dynamics.

Load-bearing premise

The domain of the pointwise infinitesimal generator includes the exponential functions, allowing the Courrège form and definition of the Laplace symbol to apply.

What would settle it

A positive Markov process that satisfies the complete monotonicity condition but whose Laplace transform cannot be expressed as the transform of another Markov process, or conversely a process with a dual but failing monotonicity.

read the original abstract

This article develops a general framework for Laplace duality between positive Markov processes in which the one-dimensional Laplace transform of one process can be represented through that of another. We show that a process admits a Laplace dual if and only if it satisfies a certain complete monotonicity condition. Moreover, we analyse how the conventions adopted for the values of $0 \cdot \infty$ and $\infty \cdot 0$ are reflected in the weak continuity/absorptivity properties of the processes in duality at the boundaries $0$ and $\infty$. A broad class of generators admitting Laplace duals is identified, and we provide sufficient conditions under which the associated martingale problems are well-posed with the solutions being in duality at the level of their semigroups. Laplace duality is shown to furnish a unifying structure for several generalizations of continuous-state branching processes, e.g. those with immigration or evolving in random environments. Along the way, a theorem originally due to Ethier and Kurtz -- connecting duality of generators to that of the associated semigroups -- is refined, and we provide a concise proof of the Courr\`ege form for the pointwise infinitesimal generator of a positive Markov process whose domain includes the exponential functions. The latter leads naturally to the notion of a Laplace symbol, which is a parsimonious encoding of the infinitesimal dynamics of the process.

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

1 major / 2 minor

Summary. The paper develops a general framework for Laplace duality between positive Markov processes. It establishes that a positive Markov process admits a Laplace dual if and only if it satisfies a certain complete monotonicity condition. The work analyzes how conventions for indeterminate forms like 0·∞ and ∞·0 affect the weak continuity and absorptivity properties at boundaries 0 and ∞. It identifies a broad class of generators that admit Laplace duals and provides sufficient conditions for the well-posedness of associated martingale problems, with solutions in duality at the semigroup level. The framework unifies several generalizations of continuous-state branching processes, including those with immigration or in random environments. Additionally, it refines a theorem by Ethier and Kurtz on duality of generators and semigroups, and provides a proof of the Courrège form for the pointwise infinitesimal generator when the domain includes exponential functions, leading to the concept of a Laplace symbol.

Significance. If the central results hold, this paper provides a significant unifying structure for duality in the theory of positive Markov processes, particularly for branching processes and their extensions. The if-and-only-if characterization via complete monotonicity and the well-posedness conditions for martingale problems offer new tools for analyzing such processes. The refinement of the Ethier-Kurtz theorem and the concise proof of the Courrège representation are valuable additions to Markov process theory. The introduction of the Laplace symbol as a parsimonious encoding of dynamics is a useful conceptual advance. The explicit if-and-only-if characterizations and self-contained proofs are strengths.

major comments (1)
  1. [Paragraph introducing the Laplace symbol and proof of the Courrège representation] The assumption that the domain of the pointwise infinitesimal generator includes the exponential functions (paragraph introducing the Laplace symbol and proof of the Courrège representation): this hypothesis is load-bearing for the Courrège-type representation and the subsequent definition of the Laplace symbol; while explicitly flagged as the standard minimal condition, the paper should discuss its restrictiveness more explicitly, e.g., by indicating classes of processes for which it holds or fails.
minor comments (2)
  1. The boundary analysis section would benefit from a clearer tabular or explicit listing of the four combinations of conventions for 0·∞ and ∞·0 together with the resulting continuity/absorptivity properties.
  2. Minor self-references to prior duality results should be phrased to emphasize that they are used only as background and do not enter the central if-and-only-if characterization.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for the constructive major comment. We address it point by point below and confirm that we will incorporate the suggested clarification in the revised version.

read point-by-point responses
  1. Referee: [Paragraph introducing the Laplace symbol and proof of the Courrège representation] The assumption that the domain of the pointwise infinitesimal generator includes the exponential functions (paragraph introducing the Laplace symbol and proof of the Courrège representation): this hypothesis is load-bearing for the Courrège-type representation and the subsequent definition of the Laplace symbol; while explicitly flagged as the standard minimal condition, the paper should discuss its restrictiveness more explicitly, e.g., by indicating classes of processes for which it holds or fails.

    Authors: We agree that the assumption that the domain of the pointwise generator contains the exponential functions is load-bearing for the Courrège representation and the definition of the Laplace symbol. Although the manuscript already identifies this as the standard minimal condition in the literature, we accept that an expanded discussion of its restrictiveness would improve clarity. In the revision we will insert a short paragraph immediately after the introduction of the Laplace symbol. This paragraph will (i) recall that the assumption holds for the broad class of processes whose generators are of Lévy–Khintchine type on the positive half-line (including the continuous-state branching processes with immigration treated in Section 4), and (ii) note that it may fail for certain processes whose paths are too irregular for the exponential functions to lie in the domain of the pointwise generator (for example, some deterministic flows with instantaneous jumps at the boundary). We believe this addition will make the scope of the Laplace-symbol framework more transparent without altering any of the main theorems. revision: yes

Circularity Check

0 steps flagged

Derivation chain is self-contained; no circularity detected

full rationale

The paper establishes an if-and-only-if characterization of Laplace duality via complete monotonicity, proves a Courrège-type representation for the generator on the domain containing exponentials, defines the Laplace symbol from that representation, and refines the Ethier-Kurtz theorem with its own concise proof to obtain semigroup duality. The domain hypothesis is explicitly stated as the minimal condition required. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the central claims rest on standard Markov process theory and the provided proofs rather than prior results by the same authors. Minor references to earlier duality work are non-load-bearing and do not affect the derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The framework rests on standard axioms of Markov process theory and the assumption that exponentials lie in the generator domain; no free parameters are fitted to data and no new entities are postulated beyond the Laplace symbol, which is derived rather than invented.

axioms (2)
  • domain assumption The domain of the pointwise infinitesimal generator includes the exponential functions.
    Invoked to obtain the Courrège form and define the Laplace symbol.
  • standard math Standard properties of positive Markov processes and their semigroups hold (Feller property, right-continuity, etc.).
    Background from probability theory used throughout the duality constructions.
invented entities (1)
  • Laplace symbol no independent evidence
    purpose: Parsimonious encoding of the infinitesimal dynamics of the process.
    Derived from the Courrège representation rather than postulated independently.

pith-pipeline@v0.9.0 · 5762 in / 1678 out tokens · 31119 ms · 2026-05-19T05:09:37.050251+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.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Continuous-state branching processes with L\'evy-Khintchine drift-interaction: Laplace duality and Fellerian extensions

    math.PR 2026-05 unverdicted novelty 7.0

    The paper establishes Laplace duality for continuous-state branching processes with Lévy-Khintchine drift-interaction and constructs Fellerian extensions with parameters determining boundary behaviors at 0 and infinity.

  2. Continuous-state branching processes with L\'evy-Khintchine drift-interaction: Laplace duality and Fellerian extensions

    math.PR 2026-05 unverdicted novelty 6.0

    CBDI processes admit Laplace duality swapping branching and drift-interaction, enabling unique characterization and Fellerian extensions that determine entrance, exit, or regular boundary behaviors at 0 and infinity.

Reference graph

Works this paper leans on

66 extracted references · 66 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Alkemper and M

    R. Alkemper and M. Hutzenthaler. Graphical representation of some duality relations in stochastic population models. Electron. Commun. Probab., 12:206–220, 2007

  2. [2]

    Bansaye, M.-E

    V. Bansaye, M.-E. Caballero, and S. M´ el´ eard. Scaling limits of population and evolution processes in random environ- ment.Electron. J. Probab., 24:38, 2019

  3. [3]

    Bansaye, J

    V. Bansaye, J. C. P. Millan, and C. Smadi. On the extinction of continuous state branching processes with catastrophes. Electron. J. Probab., 18:no. 103, 1–31, 2013

  4. [4]

    Bansaye and F

    V. Bansaye and F. Simatos. On the scaling limits of Galton-Watson processes in varying environments.Electron. J. Probab., 20:36, 2015

  5. [5]

    Benveniste and J

    A. Benveniste and J. Jacod. Syst` emes de L´ evy des processus de Markov.Invent. Math., 21:183–198, 1973

  6. [6]

    Berzunza Ojeda and J

    G. Berzunza Ojeda and J. C. Pardo. Branching processes with pairwise interactions. Preprint, arXiv:2009.11820, 2020

  7. [7]

    B¨ ottcher, R

    B. B¨ ottcher, R. Schilling, and J. Wang.L´ evy Matters III. L´ evy-Type Processes: Construction, Approximation and Sample Path Properties, volume 2099 ofLect. Notes Math.Cham: Springer, 2013

  8. [8]

    Carinci, C

    G. Carinci, C. Giardin` a, C. Giberti, and F. Redig. Dualities in population genetics: a fresh look with new dualities. Stochastic Processes Appl., 125(3):941–969, 2015

  9. [9]

    Cordero, S

    F. Cordero, S. Hummel, and E. Schertzer. General selection models: Bernstein duality and minimal ancestral structures. Ann. Appl. Probab., 32(3):1499–1556, 2022

  10. [10]

    Courr` ege

    P. Courr` ege. Sur la forme int´ egro-diff´ erentielle des op´ erateurs deC∞ k dansCsatisfaisant au principe du maximum. Semin. Theorie Potentiel M. Brelot, G. Choquet et J. Deny 10 (1965/66), No. 2, 1967

  11. [11]

    J. T. Cox and U. R¨ osler. A duality relation for entrance and exit laws for Markov processes.Stochastic Process. Appl., 16(2):141–156, 1984

  12. [12]

    J. H. Curtiss. A note on the theory of moment generating functions.The Annals of Mathematical Statistics, 13(4):430– 433, 1942

  13. [13]

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

  14. [14]

    Depperschmidt, A

    A. Depperschmidt, A. Greven, and P. Pfaffelhuber. Duality and the well-posedness of a martingale problem.Theor. Popul. Biol., 159:59–73, 2024

  15. [15]

    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

  16. [16]

    Feller.An Introduction to Probability Theory and Its Applications, volume 2

    W. Feller.An Introduction to Probability Theory and Its Applications, volume 2. Wiley, 1971

  17. [17]

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

  18. [18]

    C. Foucart. Local explosions and extinction in continuous-state branching processes with logistic competition. Preprint, arXiv:2111.06147, 2021

  19. [19]

    Foucart, C

    C. Foucart, C. Ma, and B. Mallein. Coalescences in continuous-state branching processes.Electron. J. Probab., 24:no. 103, 1–52, 2019

  20. [20]

    Foucart and M

    C. Foucart and M. M¨ ohle. Asymptotic behaviour of ancestral lineages in subcritical continuous-state branching popu- lations.Stochastic Processes Appl., 150:510–531, 2022

  21. [21]

    Foucart and F

    C. Foucart and F. Rebotier. Continuous-state branching processes with L´ evy-Khintchine drift-interaction: Laplace duality and Fellerian extensions. In preparation, 2025. POSITIVE MARKOV PROCESSES IN LAPLACE DUALITY 74

  22. [22]

    Foucart, V

    C. Foucart, V. Rivero, and A. Winter. Conditioning the logistic continuous-state branching process on non-extinction via its total progeny. Preprint, arXiv:2408.14993, 2024

  23. [23]

    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

  24. [24]

    Foucart and X

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

  25. [25]

    Fu and Z

    Z. Fu and Z. Li. Stochastic equations of non-negative processes with jumps.Stochastic Processes Appl., 120(3):306–330, 2010

  26. [26]

    Giardin` a and F

    C. Giardin` a and F. Redig.Duality for Markov processes: a Lie algebraic approach. In preparation, 2025

  27. [27]

    Gonz´ alez Casanova, J

    A. Gonz´ alez Casanova, J. C. Pardo, and J. L. P´ erez. Branching processes with interactions: subcritical cooperative regime.Adv. Appl. Probab., 53(1):251–278, 2021

  28. [28]

    Multi-type spatial branching models for local self-regulation I: Construction and an exponential duality

    A. Greven, A. Sturm, A. Winter, and I. Z¨ ahle. Multi-type spatial branching models for local self-regulation I: Construc- tion and an exponential duality. Preprint, arXiv:1509.04023, 2015

  29. [29]

    Grimvall

    A. Grimvall. On the convergence of sequences of branching processes.Ann. Probab., 2:1027–1045, 1974

  30. [30]

    H. He, Z. Li, and W. Xu. Continuous-state branching processes in L´ evy random environments.J. Theor. Probab., 31(4):1952–1974, 2018

  31. [31]

    Hermann and P

    F. Hermann and P. Pfaffelhuber. Markov branching processes with disasters: extinction, survival and duality top-jump processes.Stochastic Processes Appl., 130(4):2488–2518, 2020

  32. [32]

    W. Hoh. The martingale problem for a class of pseudo differential operators.Math. Ann., 300(1):121–147, 1994

  33. [33]

    Horridge and R

    P. Horridge and R. Tribe. On stationary distributions for the KPP equation with branching noise.Ann. Inst. Henri Poincar´ e, Probab. Stat., 40(6):759–770, 2004

  34. [34]

    Hutzenthaler and A

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

  35. [35]

    Ikeda and S

    N. Ikeda and S. Watanabe.Stochastic Differential Equations and Diffusion Processes. Kodansha scientific books. North- Holland, 1989

  36. [36]

    Jacob.Volume III: Markov Processes and Applications

    N. Jacob.Volume III: Markov Processes and Applications. Pseudo Differential Operators & Markov Processes. Imperial College Press, 2005

  37. [37]

    Jacod and A

    J. Jacod and A. N. Shiryaev.Limit Theorems for Stochastic Processes. Grundlehren der mathematischen Wissenschaften. Springer Berlin Heidelberg, 1987

  38. [38]

    Jansen and N

    S. Jansen and N. Kurt. On the notion(s) of duality for Markov processes.Probability Surveys, 11:59–120, 2014

  39. [39]

    Kallenberg.Foundations of Modern Probability

    O. Kallenberg.Foundations of Modern Probability. Probability and its Applications. Springer-Verlag, New York, second edition, 2002

  40. [40]

    Karlin and H

    S. Karlin and H. M. Taylor. A second course in stochastic processes. Academic Press, New York, 1981

  41. [41]

    Kawazu and S

    K. Kawazu and S. Watanabe. Branching processes with immigration and related limit theorems.Akademija Nauk SSSR. Teorija Verojatnoste˘ ı i ee Primenenija, 16(1):34–51, 1971

  42. [42]

    V. N. Kolokoltsov. On Markov processes with decomposable pseudo-differential generators.Stochastics Stochastics Rep., 76(1):1–44, 2004

  43. [43]

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

  44. [44]

    A. E. Kyprianou.Fluctuations of L´ evy Processes with Applications. Introductory Lectures. Universitext. Springer, Hei- delberg, second edition, 2014

  45. [45]

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

  46. [46]

    Lamperti

    J. Lamperti. Continuous state branching processes.Bull. Amer. Math. Soc., 73:382–386, 1967

  47. [47]

    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

  48. [48]

    Leman and J

    H. Leman and J. C. Pardo. Extinction time of logistic branching processes in a Brownian environment.ALEA, Lat. Am. J. Probab. Math. Stat., 18(2):1859–1890, 2021. POSITIVE MARKOV PROCESSES IN LAPLACE DUALITY 75

  49. [49]

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

  50. [50]

    Li and F

    Z. Li and F. Pu. Strong solutions of jump-type stochastic equations.Electron. Commun. Probab., 17:13, 2012

  51. [51]

    T. M. Liggett.Interacting particle systems, volume 276 ofGrundlehren Math. Wiss.Springer, Cham, 1985

  52. [52]

    M. M¨ ohle. The concept of duality and applications to Markov processes arising in neutral population genetics models. Bernoulli, 5(5):761–777, 1999

  53. [53]

    M. M¨ ohle. Duality and cones of Markov processes and their semigroups.Markov Process. Relat. Fields, 19(1):149–162, 2013

  54. [54]

    na Ji and Z

    L. na Ji and Z. hu Li. Moments of continuous-state branching processes with or without immigration.Acta Math. Appl. Sin., Engl. Ser., 36(2):361–373, 2020

  55. [55]

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

  56. [56]

    Palau and J

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

  57. [57]

    P. E. Protter.Stochastic integration and differential equations, volume 21 ofAppl. Math. (N. Y.). Berlin: Springer, second edition, 2004

  58. [58]

    Rebotier

    F. Rebotier. On the coming down from infinity and extinction of continuous-state branching processes with drift- interaction. In preparation, 2025

  59. [59]

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

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

  60. [60]

    Schilling, R

    R. Schilling, R. Song, and Z. Vondraˇ cek.Bernstein Functions: Theory and Applications. De Gruyter Studies in Math- ematics. De Gruyter, 2012

  61. [61]

    R. L. Schilling and A. Schnurr. The symbol associated with the solution of a stochastic differential equation.Electron. J. Probab., 15:no. 43, 1369–1393, 2010

  62. [62]

    D. L. Schwartz. Applications of duality to a class of Markov processes.Ann. Probab., 5(4):522–532, 1977

  63. [63]

    Siegmund

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

  64. [64]

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

  65. [65]

    Sturm, J

    A. Sturm, J. M. Swart, and F. V¨ ollering. The algebraic approach to duality: an introduction. InGenealogies of interacting particle systems. Papers based on lectures and turorials of the National University of Singapore, Singapore, July 17 – Aug 18, 2017, pages 81–150. Hackensack, NJ: World Scientific, 2020

  66. [66]

    J. M. Swart.Duality and Intertwining of Markov Chains. Lecture notes for the ALEA in Europe School October 21-25 2013, Luminy (Marseille). 2013. CMAP, Ecole Polytechnique and Laboratoire Analyse, G ´eom´etrie & Applications, Universit´e Sorbonne Paris Nord Email address:foucart@math.univ-paris13.fr Department of Mathematics, Faculty of Mathematics and Phy...