Long time behavior of killed Feynman-Kac semigroups with singular Schr{\"o}dinger potentials
Pith reviewed 2026-05-23 17:27 UTC · model grok-4.3
The pith
Killed Feynman-Kac semigroups with singular Schrödinger potentials remain compact for Lévy and kinetic processes, yielding long-time convergence.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that the killed Feynman-Kac semigroups for the listed processes with singular potentials are compact Feller kernels. Therefore the Perron-Frobenius theorem from 2020 applies, giving a principal eigenvalue and eigenfunction, and the long-time behavior follows with exponential convergence to the quasi-stationary distribution. The essential spectral radius is controlled using bounds for nonnegative kernels.
What carries the argument
The killed Feynman-Kac semigroup, which incorporates the killing by the singular potential and acts as a Feller kernel on the state space.
If this is right
- The semigroups possess a spectral gap leading to exponential ergodicity.
- Unique positive eigenfunction exists corresponding to the principal eigenvalue.
- Results cover both local and nonlocal operators including fractional Laplacians.
- Interacting systems maintain the compactness property under singular interactions.
Where Pith is reading between the lines
- This suggests the methods could handle even rougher potentials encountered in certain quantum models.
- Applications might include improved analysis of ground states for Schrödinger operators with singularities.
- Extensions to time-inhomogeneous cases or other Markov processes could be explored based on the same Feller property.
Load-bearing premise
The generated killed operators must qualify as Feller kernels for the Perron-Frobenius theorem to apply directly to these singular cases.
What would settle it
Constructing a specific singular potential and process, such as a Lévy process with a highly singular potential, where the semigroup operator is not compact or the essential spectral radius equals the spectral radius would falsify the result.
read the original abstract
In this work, we investigate the compactness and the long time behavior of killed Feynman-Kac semigroups of various processes arising from statistical physics with very general singular Schr{\"o}dinger potentials. The processes we consider cover a large class of processes used in statistical physics, with strong links with quantum mechanics and (local or not) Schr{\"o}dinger operators (including e.g. fractional Laplacians). For instance we consider solutions to elliptic differential equations, L{\'e}vy processes, the kinetic Langevin process with locally Lipschitz gradient fields, and systems of interacting L{\'e}vy particles. Our analysis relies on a Perron-Frobenius type theorem derived in a previous work [A. Guillin, B. Nectoux, L. Wu, 2020 J. Eur. Math. Soc.] for Feller kernels and on the tools introduced in [L. Wu, 2004, Probab. Theory Relat. Fields] to compute bounds on the essential spectral radius of a bounded nonnegative kernel.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript investigates the compactness and long-time behavior of killed Feynman-Kac semigroups generated by Lévy processes, kinetic Langevin dynamics with locally Lipschitz gradients, and systems of interacting Lévy particles, all subject to very general singular Schrödinger potentials. The analysis applies the Perron-Frobenius theorem from Guillin-Nectoux-Wu (2020 JEMS) for Feller kernels together with essential spectral radius bounds from Wu (2004) to obtain spectral gap and asymptotic results.
Significance. If the Feller property is verified for the killed kernels, the work would furnish a unified spectral framework for long-time asymptotics across several statistical-physics models linked to Schrödinger operators (including fractional Laplacians), extending the 2020 theorem to singular potentials without additional regularity. The explicit dependence on two prior results is a strength for breadth but limits standalone novelty.
major comments (2)
- [Abstract and §1] Abstract and §1: the claim that the analysis 'relies on' the 2020 Perron-Frobenius theorem presupposes that the killed Feynman-Kac operators with singular V remain Feller kernels for all listed processes; no separate verification or additional assumptions ensuring continuity preservation after multiplication by the exponential functional of V are supplied, rendering the theorem's applicability unconfirmed and load-bearing for the compactness and long-time claims.
- [§2] §2 (or the section stating the main theorems): the application of the 2004 essential-radius bounds is invoked directly on the killed kernels, but without an explicit check that the singular potentials do not destroy the Feller property (possible when V is unbounded below), the spectral-radius estimates rest on an unverified hypothesis.
minor comments (2)
- Notation for the killed semigroup and the exponential functional of V should be introduced with a single consistent definition early in the paper rather than piecemeal.
- The list of processes in the abstract would benefit from a short table summarizing the precise assumptions on the driving processes and on V for each case.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for highlighting the need to confirm applicability of the cited theorems to the killed kernels. We address each major comment below.
read point-by-point responses
-
Referee: [Abstract and §1] Abstract and §1: the claim that the analysis 'relies on' the 2020 Perron-Frobenius theorem presupposes that the killed Feynman-Kac operators with singular V remain Feller kernels for all listed processes; no separate verification or additional assumptions ensuring continuity preservation after multiplication by the exponential functional of V are supplied, rendering the theorem's applicability unconfirmed and load-bearing for the compactness and long-time claims.
Authors: We agree that the 2020 Perron-Frobenius theorem requires the killed kernels to be Feller. The manuscript states that the analysis relies on this theorem for the listed processes but does not supply a separate verification that singular V preserves the Feller property after the Feynman-Kac transformation. This is a substantive point. In revision we will add a dedicated paragraph (or short subsection) in §2 stating the conditions on V (e.g., Kato-class or local integrability assumptions standard for Schrödinger operators) under which the killed semigroup remains Feller for Lévy processes, kinetic Langevin dynamics, and interacting particle systems, thereby confirming applicability of the theorem. revision: yes
-
Referee: [§2] §2 (or the section stating the main theorems): the application of the 2004 essential-radius bounds is invoked directly on the killed kernels, but without an explicit check that the singular potentials do not destroy the Feller property (possible when V is unbounded below), the spectral-radius estimates rest on an unverified hypothesis.
Authors: We concur that the 2004 essential-radius bounds presuppose a Feller kernel. The manuscript applies these bounds to the killed kernels without an explicit check that V unbounded below cannot destroy the Feller property. We will revise §2 to include a brief lemma or remark verifying preservation of the Feller property under the paper’s standing assumptions on the processes and on V, thereby removing the unverified hypothesis. revision: yes
Circularity Check
No significant circularity; relies on independently published prior theorems
full rationale
The paper's abstract states that the analysis relies on the 2020 Guillin-Nectoux-Wu Perron-Frobenius theorem for Feller kernels and the 2004 Wu essential spectral radius bounds. These are separately published external results (JEMS 2020 and PTRF 2004) whose authors overlap with the present work but which predate it and stand as independent contributions. No equations or steps in the provided text reduce any claimed prediction or compactness result to a self-definition, a fitted input renamed as output, or a closed self-citation chain within this manuscript. The central claims concern application of the cited theorems to new processes and singular potentials; any verification of Feller preservation is external to the cited theorems themselves and does not create a definitional loop. This is the normal case of building on prior literature.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Perron-Frobenius type theorem for Feller kernels (Guillin, Nectoux, Wu 2020 JEMS)
- standard math Bounds on essential spectral radius of bounded nonnegative kernels (Wu 2004 PTRF)
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Our analysis relies on a Perron-Frobenius type theorem derived in a previous work [A. Guillin, B. Nectoux, L. Wu, 2020 J. Eur. Math. Soc.] for Feller kernels and on the tools introduced in [L. Wu, 2004, Probab. Theory Relat. Fields] to compute bounds on the essential spectral radius of a bounded nonnegative kernel.
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The killed Feynman-Kac semigroup (QoL_t ,t ≥ 0) over Rd_0 associated with VS ...
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]
G. Ascione and J. L˝ orinczi. Bulk behaviour of ground states for relativistic Schr¨ odinger operators with compactly supported potentials. In Annales Henri Poincar´ e, volume 25, pages 2941–2994. Springer, 2024
work page 2024
-
[2]
P. Baldi. G´ eod´ esiques et diffusions en temps petit. Ast´ erisque. Probability Seminar, University of Paris VII, Paris , (84), 1981
work page 1981
-
[3]
V. Bansaye, B. Cloez, P. Gabriel, and A. Marguet. A non-conser vative Harris ergodic theorem. Journal of the London Mathematical Society , 106(3):2459–2510, 2022
work page 2022
-
[4]
P. Billingsley. Convergence of Probability Measures . John Wiley & Sons, 2013
work page 2013
-
[5]
V.I. Bogachev and M.A.S. Ruas. Measure Theory, volume 1. Springer, 2007. KILLED FEYNMAN-KAC SEMIGROUPS 31
work page 2007
- [6]
- [7]
-
[8]
R. Carmona, W.C. Masters, and B. Simon. Relativistic Schr¨ odinge r operators: asymptotic behavior of the eigenfunctions. Journal of Functional Analysis , 91(1):117–142, 1990
work page 1990
-
[9]
P. Cattiaux, P. Collet, A. Lambert, S. Mart ´ ınez, S. M´ el´ eard, and J. San Mart ´ ın. Quasi-Stationary Distributions and Diffusion Models in Population Dynamics. The Annals of Probability , 37(5):1926– 1969, 2009
work page 1926
-
[10]
N. Champagnat and D. Villemonais. Lyapunov criteria for uniform convergence of conditional dis- tributions of absorbed Markov processes. Stochastic Processes and their Applications , 135:51–74, 2021
work page 2021
-
[11]
N. Champagnat and D. Villemonais. General criteria for the stud y of quasi-stationarity. Electronic Journal of Probability , 28:1–84, 2023
work page 2023
-
[12]
X. Chen and J. Wang. Intrinsic contractivity properties of Fey nman-Kac semigroups for symmetric jump processes with infinite range jumps. Frontiers of Mathematics in China , 10:753–776, 2015
work page 2015
-
[13]
X. Chen and J. Wang. Intrinsic ultracontractivity of Feynman- Kac semigroups for symmetric jump processes. Journal of Functional Analysis , 270(11):4152–4195, 2016
work page 2016
-
[14]
Z-Q. Chen, P. Kim, and R. Song. Heat kernel estimates for ∆+ ∆ α/2 in C1,1 open sets. Journal of the London Mathematical Society , 84(1):58–80, 2011
work page 2011
-
[15]
Z-Q. Chen and R. Song. Intrinsic ultracontractivity, condition al lifetimes and conditional gauge for symmetric stable processes on rough domains. Illinois Journal of Mathematics , 44(1):138–160, 2000
work page 2000
- [16]
-
[17]
K.L. Chung and Z. Zhao. From Brownian Motion to Schr¨ odinger’s Equation, volume 312. Springer Science & Business Media, 2001
work page 2001
- [18]
- [19]
-
[20]
H.L. Cycon, R.G. Froese, W. Kirsch, and B. Simon. Schr¨ odinger Operators with Application to Quan- tum Mechanics and Global Geometry . Texts and Monographs in Physics. Springer-Verlag, Berlin, study edition, 1987
work page 1987
-
[21]
I. Daubechies and E.H. Lieb. One-electron relativistic molecules w ith Coulomb interaction. Commu- nications in Mathematical Physics , 90(4):497–510, 1983
work page 1983
-
[22]
Markov Models & Optimization , volume 49
M.H.A Davis. Markov Models & Optimization , volume 49. CRC Press, 1993
work page 1993
- [23]
-
[24]
P. Del Moral, E. Horton, and A. Jasra. On the stability of positiv e semigroups. The Annals of Applied Probability, 33(6A):4424–4490, 2023
work page 2023
-
[25]
P. Del Moral and A. Jasra. A sharp first order analysis of Feyn man–Kac particle models, part I: Propagation of chaos. Stochastic Processes and their Applications , 128(1):332–353, 2018
work page 2018
-
[26]
P. Del Moral and L. Miclo. Branching and interacting particle systems approximation s of Feynman- Kac formulae with applications to non-linear filtering . In S´ eminaire de Probabilit´ es XXXIV. Lecture Notes in Math. 1729, Springer, Berlin, 2000
work page 2000
-
[27]
P. Del Moral and L. Miclo. On the stability of nonlinear Feynman-K ac semigroups. In Annales de la Facult´ e des sciences de Toulouse: Math´ ematiques, volume 11, pages 135–175, 2002
work page 2002
-
[28]
P. Del Moral and L. Miclo. Particle approximations of Lyapunov e xponents connected to Schr¨ odinger operators and Feynman–Kac semigroups. ESAIM: Probability and Statistics , 7:171–208, 2003
work page 2003
-
[29]
G. Di Ges` u, T. Leli` evre, D. Le Peutrec, and B. Nectoux. Ju mp Markov models and transition state theory: the quasi-stationary distribution approach. Faraday Discussions, 195:469–495, 2017
work page 2017
-
[30]
G. Di Ges` u, T. Leli` evre, D. Le Peutrec, and B. Nectoux. Sh arp asymptotics of the first exit point density. Annals of PDE , 5(2), 2019
work page 2019
-
[31]
G. Di Ges` u, T. Leli` evre, D. Le Peutrec, and B. Nectoux. Th e exit from a metastable state: concentra- tion of the exit point distribution on the low energy saddle points, par t 1. Journal de Math´ ematiques Pures et Appliqu´ ees, 138:242–306, 2020. 32 A. GUILLIN, D. LU, B. NECTOUX, AND L. WU
work page 2020
-
[32]
G. Ferr´ e, M. Rousset, and G. Stoltz. More on the long time sta bility of Feynman–Kac semigroups. Stochastics and Partial Differential Equations: Analysis a nd Computations , 9(3):630–673, 2021
work page 2021
- [33]
- [34]
-
[35]
A. Guillin, D. Lu, B. Nectoux, and L. Wu. Generalized Langevin and Nos´ e-Hoover processes absorbed at the boundary of a metastable domain. Preprint arXiv:2403.17471, March 2024
-
[36]
A. Guillin, B. Nectoux, and L. Wu. Quasi-stationary distribution f or strongly Feller Markov pro- cesses by Lyapunov functions and applications to hypoelliptic Hamilto nian systems. Journal of the European Mathematical Society, 26(8):3047–3090, 2022
work page 2022
-
[37]
A. Guillin, B. Nectoux, and L. Wu. Quasi-stationary distribution f or Hamiltonian dynamics with singular potentials. Probability Theory and Related Fields , 185(3-4):921–959, 2023
work page 2023
- [38]
-
[39]
P. Hartman and A. Wintner. On the infinitesimal generators of in tegral convolutions. American Journal of Mathematics , 64(1):273–298, 1942
work page 1942
-
[40]
F. H´ erau and F. Nier. Isotropic hypoellipticity and trend to equ ilibrium for the Fokker-Planck equation with a high-degree potential. Archive for Rational Mechanics and Analysis , 171:151–218, 2004
work page 2004
-
[41]
D.P. Herzog and J.C. Mattingly. Ergodicity and Lyapunov functio ns for Langevin dynamics with singular potentials. Communications on Pure and Applied Mathematics , 72(10):2231–2255, 2019
work page 2019
-
[42]
K. Kaleta and T. Kulczycki. Intrinsic ultracontractivity for Sch r¨ odinger operators based on fractional Laplacians. Potential Analysis , 33:313–339, 2010
work page 2010
-
[43]
K. Kaleta and J. L˝ orinczi. Pointwise eigenfunction estimates an d intrinsic ultracontractivity-type properties of Feynman-Kac semigroups for a class of L´ evy proce sses. The Annals of Probability , 43(3):1350–1398, 2015
work page 2015
-
[44]
K. Kaleta and R.L. Schilling. Quasi-ergodicity of compact strong F eller semigroups on L2. arXiv preprint arXiv:2304.12834, 2023
-
[45]
T. Kato. Perturbation Theory for Linear Operators. Classics in Mathematics. Springer-Verlag, Berlin,
-
[46]
Reprint of the 1980 edition
work page 1980
-
[47]
H. Kesten. Hitting probabilities of single points for processes wit h stationary independent increments. Memoirs of the American Mathematical Society , (93):1–129, 1969
work page 1969
-
[48]
V. Knopova and R.L. Schilling. A note on the existence of transitio n probability densities of L´ evy processes. In Forum Mathematicum, volume 25, pages 125–149. Walter de Gruyter GmbH, 2013
work page 2013
-
[49]
I. Kontoyiannis and S.P. Meyn. Large deviations asymptotics an d the spectral theory of multiplica- tively regular Markov processes. Electronic Journal of Probability , 10(3):61–123, 2005
work page 2005
-
[50]
F. K¨ uhn. Transition probabilities of l´ evy-type processes: P arametrix construction. Mathematische Nachrichten, 292(2):358–376, 2019
work page 2019
-
[51]
T. Kulczycki and B. Siudeja. Intrinsic ultracontractivity of th e Feynman-Kac semigroup for rel- ativistic stable processes. Transactions of the American Mathematical Society , 358(11):5025–5057, 2006
work page 2006
-
[52]
O. Kulyk. Support theorem for L´ evy-driven stochastic differ ential equations. Journal of Theoretical Probability, pages 1–23, 2022
work page 2022
-
[53]
S. Kusuoka and C. Marinelli. On smoothing properties of transitio n semigroups associated to a class of SDEs with jumps. In Annales de l’IHP Probabilit´ es et statistiques , volume 50, pages 1347–1370, 2014
work page 2014
-
[54]
J-F. Le Gall. Brownian Motion, Martingales, and Stochastic Calculus . Springer, 2016
work page 2016
-
[55]
T. Leli` evre, D. Le Peutrec, and B. Nectoux. Eyring-kramer s exit rates for the overdamped Langevin dynamics: the case with saddle points on the boundary. Preprint arXiv:2207.09284, 2022
-
[56]
T. Leli` evre and G. Stoltz. Partial differential equations and s tochastic methods in molecular dynam- ics. Acta Numerica, 25:681–880, 2016
work page 2016
-
[57]
Y. Lu and J.C. Mattingly. Geometric ergodicity of Langevin dynam ics with Coulomb interactions. Nonlinearity, 33(2):675, 2019. KILLED FEYNMAN-KAC SEMIGROUPS 33
work page 2019
-
[58]
J.C. Mattingly, A.M. Stuart, and D.J. Higham. Ergodicity for SDEs and approximations: locally Lipschitz vector fields and degenerate noise. Stochastic processes and their applications , 101(2):185– 232, 2002
work page 2002
-
[59]
S. M´ el´ eard and D. Villemonais. Quasi-stationary distributionsand population processes. Probability Surveys, 9:340–410, 2012
work page 2012
-
[60]
P. M¨ orters and Y. Peres. Brownian Motion , volume 30. Cambridge University Press, 2010
work page 2010
- [61]
- [62]
-
[63]
D. Revuz. Markov chains . North-Holland, Amsterdam; American Elsevier, 1076
-
[64]
D. Revuz and M. Yor. Continuous martingales and Brownian motion , volume 293. Springer Science & Business Media, 2013
work page 2013
-
[65]
M. Rousset. On the control of an interacting particle estimatio n of Schr¨ odinger ground states.SIAM journal on Mathematical Analysis , 38(3):824–844, 2006
work page 2006
-
[66]
M. Ryznar. Estimates of Green function for relativistic α -stable process. Potential Analysis, 17:1–23, 2002
work page 2002
-
[67]
K. Sato. L´ evy Processes and Infinitely Divisible Distributions , volume 68. Cambridge University Press, 1999
work page 1999
- [68]
-
[69]
H. ˇSiki´ c, R. Song, and Z. Vondraˇ cek. Potential theory of geomet ric stable processes. Probability Theory and Related Fields , 135(4):547–575, 2006
work page 2006
-
[70]
B. Simon. Quantum Mechanics for Hamiltonians Defined as Quadratic For ms, volume 72. Princeton University Press, 2015
work page 2015
-
[71]
J. S¨ ohl. Polar sets for anisotropic Gaussian random fields. Statistics & probability letters , 80(9- 10):840–847, 2010
work page 2010
-
[72]
D. Talay. Stochastic Hamiltonian systems: exponential conver gence to the invariant measure, and discretization by the implicit Euler scheme. Markov Processes and Related Fields, 8(2):163–198, 2002
work page 2002
-
[73]
H.G. Tucker. Absolute continuity of infinitely divisible distributions . Pacific J. Math , 12(3):1125– 1129, 1962
work page 1962
-
[74]
L. Wu. Uniqueness of Nelsons diffusions. Probability Theory and Related Fields , 114(4):549–585, 1999
work page 1999
-
[75]
L. Wu. Large and moderate deviations and exponential conver gence for stochastic damping Hamil- tonian systems. Stochastic Processes and their Applications , 91(2):205–238, 2001
work page 2001
-
[76]
L. Wu. Essential spectral radius for Markov semigroups. I. D iscrete time case. Probability Theory and Related Fields , 128(2):255–321, 2004
work page 2004
-
[77]
K. Yosida. Functional analysis, 1980. Spring-Verlag, New York/Berlin , 1971
work page 1980
-
[78]
J. Zabczyk. Sur la th´ eorie semi-classique du potentiel pur les p rocessus ` a accroissements ind´ ependants.Studia Mathematica, 35(3):227–247, 1970. Arnaud Guillin . Universit ´ e Clermont Auvergne, CNRS, LMBP, F-63000 CLERMONT- FERRAND, FRANCE Email address : arnaud.guillin@uca.fr Di Lu . School of Mathematical Sciences, Dalian University of Tec hnolog...
work page 1970
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.