Positive Markov processes in Laplace duality
Pith reviewed 2026-05-19 05:09 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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)
- 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.
- 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
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
-
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
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
axioms (2)
- domain assumption The domain of the pointwise infinitesimal generator includes the exponential functions.
- standard math Standard properties of positive Markov processes and their semigroups hold (Feller property, right-continuity, etc.).
invented entities (1)
-
Laplace symbol
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
a process admits a Laplace dual if and only if it satisfies a certain complete monotonicity condition... Laplace symbol ψ_X(x,y) := e^{xy} X_x e^{-xy}
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Courrège form for the pointwise infinitesimal generator... on the domain including exponential functions
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
-
Continuous-state branching processes with L\'evy-Khintchine drift-interaction: Laplace duality and Fellerian extensions
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.
-
Continuous-state branching processes with L\'evy-Khintchine drift-interaction: Laplace duality and Fellerian extensions
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
-
[1]
R. Alkemper and M. Hutzenthaler. Graphical representation of some duality relations in stochastic population models. Electron. Commun. Probab., 12:206–220, 2007
work page 2007
-
[2]
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
work page 2019
-
[3]
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
work page 2013
-
[4]
V. Bansaye and F. Simatos. On the scaling limits of Galton-Watson processes in varying environments.Electron. J. Probab., 20:36, 2015
work page 2015
-
[5]
A. Benveniste and J. Jacod. Syst` emes de L´ evy des processus de Markov.Invent. Math., 21:183–198, 1973
work page 1973
-
[6]
G. Berzunza Ojeda and J. C. Pardo. Branching processes with pairwise interactions. Preprint, arXiv:2009.11820, 2020
-
[7]
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
work page 2099
-
[8]
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
work page 2015
-
[9]
F. Cordero, S. Hummel, and E. Schertzer. General selection models: Bernstein duality and minimal ancestral structures. Ann. Appl. Probab., 32(3):1499–1556, 2022
work page 2022
-
[10]
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
work page 1965
-
[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
work page 1984
-
[12]
J. H. Curtiss. A note on the theory of moment generating functions.The Annals of Mathematical Statistics, 13(4):430– 433, 1942
work page 1942
-
[13]
D. A. Dawson and Z. Li. Stochastic equations, flows and measure-valued processes.Ann. Probab., 40(2):813–857, 2012
work page 2012
-
[14]
A. Depperschmidt, A. Greven, and P. Pfaffelhuber. Duality and the well-posedness of a martingale problem.Theor. Popul. Biol., 159:59–73, 2024
work page 2024
-
[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
work page 1986
-
[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
work page 1971
-
[17]
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
- [18]
-
[19]
C. Foucart, C. Ma, and B. Mallein. Coalescences in continuous-state branching processes.Electron. J. Probab., 24:no. 103, 1–52, 2019
work page 2019
-
[20]
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
work page 2022
-
[21]
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
work page 2025
-
[22]
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]
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
-
[24]
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
work page 2023
- [25]
-
[26]
C. Giardin` a and F. Redig.Duality for Markov processes: a Lie algebraic approach. In preparation, 2025
work page 2025
-
[27]
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
work page 2021
-
[28]
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
work page internal anchor Pith review Pith/arXiv arXiv 2015
- [29]
-
[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
work page 1952
-
[31]
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
work page 2020
-
[32]
W. Hoh. The martingale problem for a class of pseudo differential operators.Math. Ann., 300(1):121–147, 1994
work page 1994
-
[33]
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
work page 2004
-
[34]
M. Hutzenthaler and A. Wakolbinger. Ergodic behavior of locally regulated branching populations.Ann. Appl. Probab., 17(2):474–501, 2007
work page 2007
-
[35]
N. Ikeda and S. Watanabe.Stochastic Differential Equations and Diffusion Processes. Kodansha scientific books. North- Holland, 1989
work page 1989
-
[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
work page 2005
-
[37]
J. Jacod and A. N. Shiryaev.Limit Theorems for Stochastic Processes. Grundlehren der mathematischen Wissenschaften. Springer Berlin Heidelberg, 1987
work page 1987
-
[38]
S. Jansen and N. Kurt. On the notion(s) of duality for Markov processes.Probability Surveys, 11:59–120, 2014
work page 2014
-
[39]
Kallenberg.Foundations of Modern Probability
O. Kallenberg.Foundations of Modern Probability. Probability and its Applications. Springer-Verlag, New York, second edition, 2002
work page 2002
-
[40]
S. Karlin and H. M. Taylor. A second course in stochastic processes. Academic Press, New York, 1981
work page 1981
-
[41]
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
work page 1971
-
[42]
V. N. Kolokoltsov. On Markov processes with decomposable pseudo-differential generators.Stochastics Stochastics Rep., 76(1):1–44, 2004
work page 2004
-
[43]
V. N. Kolokoltsov.Markov processes, semigroups and generators.De Gruyter Studies in Mathematics. de Gruyter, 2011
work page 2011
-
[44]
A. E. Kyprianou.Fluctuations of L´ evy Processes with Applications. Introductory Lectures. Universitext. Springer, Hei- delberg, second edition, 2014
work page 2014
-
[45]
A. Lambert. The genealogy of continuous-state branching processes with immigration.Probab. Theory Related Fields, 122(1):42–70, 2002
work page 2002
- [46]
- [47]
-
[48]
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
work page 2021
-
[49]
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
- [50]
-
[51]
T. M. Liggett.Interacting particle systems, volume 276 ofGrundlehren Math. Wiss.Springer, Cham, 1985
work page 1985
-
[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
work page 1999
-
[53]
M. M¨ ohle. Duality and cones of Markov processes and their semigroups.Markov Process. Relat. Fields, 19(1):149–162, 2013
work page 2013
-
[54]
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
work page 2020
-
[55]
A. G. Pakes. Explosive Markov branching processes: Entrance laws and limiting behaviour.Adv. Appl. Probab., 25(4):737–756, 1993
work page 1993
-
[56]
S. Palau and J. C. Pardo. Branching processes in a L´ evy random environment.Acta Appl. Math., 153(1):55–79, 2018
work page 2018
-
[57]
P. E. Protter.Stochastic integration and differential equations, volume 21 ofAppl. Math. (N. Y.). Berlin: Springer, second edition, 2004
work page 2004
- [58]
-
[59]
K.-i. Sato.L´ evy processes and infinitely divisible distributions, volume 68 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2013
work page 2013
-
[60]
R. Schilling, R. Song, and Z. Vondraˇ cek.Bernstein Functions: Theory and Applications. De Gruyter Studies in Math- ematics. De Gruyter, 2012
work page 2012
-
[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
work page 2010
-
[62]
D. L. Schwartz. Applications of duality to a class of Markov processes.Ann. Probab., 5(4):522–532, 1977
work page 1977
- [63]
-
[64]
M. L. Silverstein. A new approach to local times.J. Math. Mech., 17(11):1023–1054, 1968
work page 1968
-
[65]
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
work page 2017
-
[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...
work page 2013
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.