Pith. sign in

REVIEW 2 major objections 5 minor 67 references

Large deviations of the empirical measures of a strong-Feller Markov process inside a subset and quasi-ergodic distribution

T0 review · 2 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Pith's one-line read Conditioned occupation measures of a strong Feller Markov process satisfy a large deviation principle whose rate function vanishes exactly at the quasi-ergodic distribution.

desk verdict Genuinely new LDP for quasi-ergodic distributions with a strong spectral engine, but Step 4 of Theorem 2's proof has a normalization error that leaves the uniqueness claim unproved as written; repairable and worth refereeing. read the letter →

arxiv 2411.17216 v1 pith:EVL4YJIJ submitted 2024-11-26 math.PR

classification math.PR MSC 60F1060J2560J6060J75
keywords largedeviationprinciplequasi-ergodicdistributionquasi-stationarykilledMarkovprocessstrongFellersemigroupFeynman-KacDirichletformLangevindynamics
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper aims to establish a large deviation principle (LDP) for the empirical occupation measure of a strong Feller Markov process, conditioned on the event that the process has not left an open subset $D$ before the observation time. The rate function is shown to be good and to vanish at exactly one measure, the quasi-ergodic distribution $\pi_D$ of the process in $D$, which is the product of the quasi-stationary distribution and the principal eigenfunction of the killed semigroup. This turns a qualitative conditional ergodic theorem into exponential-rate control: conditioned on survival, the empirical measure converges to $\pi_D$ exponentially fast in probability, in a topology stronger than weak convergence. In the reversible case the paper identifies the same rate function with the Dirichlet form shifted by the principal Dirichlet eigenvalue, and it verifies the hypotheses for several concrete dynamics, including elliptic SDEs driven by rotationally invariant $\alpha$-stable processes and kinetic and overdamped Langevin processes.

What carries the argument

The load-bearing object is the killed Feynman-Kac semigroup $P_t^{D,V} f(x)=E_x[f(X_t)e^{\int_0^t V(X_s)ds}1_{t<\sigma_D}]$ acting on the weighted space $b\mathcal{W}_B(D)$ of functions bounded by a constant multiple of the Lyapunov function $W$. Its log spectral radius $\Lambda_D(V)$ is the principal eigenvalue-type quantity that the log-Laplace transform of the conditional empirical measure is shown to equal: $\Lambda(V)=\Lambda_D(V)-\Lambda_D(0)$. The key structural fact is a one-dimensional spectral gap: a unique left eigenmeasure $\mu_{D,V}$, a unique positive continuous right eigenfunction $\phi_{D,V}$, and exponential convergence after rescaling, which follows from zero essential spectral radius on the weighted space. This gap simultaneously gives Gateaux differentiability of the log-Laplace functional and the uniqueness of the zero of the rate function.

What would settle it

Take a strong Feller Markov process satisfying (C1)-(C5) and compute the limit in (4.4) directly for a specific bounded measurable $V$ on a reversible diffusion in an interval; if the limit differs from $\Lambda_D(V)-\Lambda_D(0)$, the spectral gap step fails. Alternatively, exhibit $V\in bB(D)$ for which the killed Feynman-Kac semigroup on $b\mathcal{W}_B(D)$ has essential spectral radius strictly positive, contradicting Theorem 1 and invalidating the rate function's form.

Watch

Extended reading notes

Core claim

Let $P_t^{D,V}$ be the killed Feynman-Kac semigroup with bounded measurable potential $V$, and let $\Lambda_D(V)$ be its log spectral radius on the weighted space $b\mathcal{W}_B(D)$. Theorem 2 asserts that for every initial law $\nu$ with finite $W$-mass, the conditional laws $P_\nu[L_T \in \cdot \mid T < \sigma_D]$ satisfy an LDP on $\mathcal{P}(D)$ with the $\tau$-topology, speed $T$, and rate $I_D(\beta)=\sup_{V\in bB(D)}\{\beta(V)-(\Lambda_D(V)-\Lambda_D(0))\}$. The rate function is good, and $I_D(\beta)=0$ if and only if $\beta=\pi_D:=\phi_D\mu_D$, where $\mu_D$ is the quasi-stationary distribution and $\phi_D$ the positive eigenfunction of the killed semigroup normalized by $\mu_D(\phi_D)=1$. The proof runs through a spectral gap theorem (Theorem 1) for $P_t^{D,V}$: one eigenmeasure, one eigenfunction, and exponential convergence at rate $e^{-\delta t}$ after rescaling by $e^{\Lambda_D(V)t}$. This spectral gap is what makes the log-Laplace transform computable and Gateaux differentiable, so the generalized Gartner-Ellis theorem applies.

Load-bearing premise

The proof imports a Perron-Frobenius and essential-spectral-radius theorem from earlier work that guarantees a one-dimensional spectral gap for every bounded measurable potential; if that theorem actually needs the potential or the coefficients to be more regular than measurability, the log-Laplace limit (4.4) and hence the large deviation principle would not follow as written.

Editorial extensions

If this is right

  • Conditioned on survival, $L_T$ converges to $\pi_D$ exponentially fast in probability in the $\tau$-topology, with explicit exponential bounds for any measurable neighborhood of $\pi_D$ (Corollary 1).
  • In the reversible case the rate function is the Dirichlet form: $I_D(\beta)+\lambda_D=\mathcal{E}(\sqrt{h},\sqrt{h})$ when $\beta=h\pi$, and $+\infty$ otherwise, so fluctuations are governed by the principal Dirichlet eigenvalue $\lambda_D$.
  • The whole set of conclusions—spectral gap, LDP, and exponential convergence—holds for elliptic SDEs driven by rotationally invariant $\alpha$-stable noise satisfying (6.3), for kinetic Langevin processes, and for overdamped Langevin diffusions.
  • Because the rate function has a unique zero, the quasi-ergodic distribution is singled out as the only possible limit of conditional empirical measures, strengthening the usual conditional ergodic theorem from convergence in law to exponential concentration.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Extension not in the paper: the general-case inequality $I_D\ge J+\Lambda_D(0)$ suggests that for non-reversible processes the empirical-measure fluctuations may be strictly stronger than those of the unkilled path entropy; one could test equality or strictness on a non-reversible hypoelliptic example.
  • Extension not in the paper: Remark 2's approximation by $V_n=-n1_{D^c}$ points to a possible alternative proof; verifying the limit exchange numerically for a disconnected domain $D$ (where the paper notes the convex-rate LDP can fail without connectedness) would delimit the true scope.
  • Extension not in the paper: because the rate is a supremum over all bounded measurable potentials, the LDP carries information about every bounded measurable set, so one could in principle read off sharp asymptotics for functionals such as last-exit locations or boundary occupation under the same hypotheses.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. This paper proves a large deviation principle (LDP) for the occupation measures L_T of a strong Feller Markov process conditioned to survive in a domain D up to time T. The rate function I_D is expressed as the Legendre transform of the difference Λ_D(V)-Λ_D(0), where Λ_D(V) is the log spectral radius of the killed Feynman-Kac semigroup P^{D,V}_t on a weighted space. Theorem 2 asserts that I_D is good, has a unique zero equal to the quasi-ergodic distribution π_D=φ_D μ_D, and that the LDP holds on P(D) with the τ-topology. Theorem 1 establishes existence, uniqueness, and exponential convergence of the principal eigenpair of P^{D,V}_t for bounded measurable V. Corollary 2 identifies I_D with the Dirichlet form minus the ground-state eigenvalue in the reversible case. Examples include elliptic SDEs driven by rotationally invariant α-stable processes, the kinetic Langevin process, and the overdamped Langevin process.

Significance. If completed, the result would be a substantial contribution to quasi-stationary/ergodic theory and the large-deviation analysis of killed Markov processes: it gives a τ-topology LDP with an explicitly identified unique minimizer, provides a spectral-gap result for Feynman-Kac semigroups that is of independent interest, and covers non-reversible and jump-type models. The paper's strengths are its coherent Gärtner-Ellis architecture, the explicit use of the spectral data to characterize the zero set, and the detailed verification of assumptions for the stable-driven SDEs. The examples are nontrivial and the paper is generally well organized. However, two load-bearing points in the proof need repair: Step 4 of the proof of Theorem 2 contains a normalization/log error, and the import of the Perron-Frobenius theorem from [35] for arbitrary measurable V is not fully justified in the text.

major comments (2)
  1. [Section 4, Step 4 (proof of Theorem 2(B))] The proof of (2.13) is not valid as written. The subdifferential condition should be Λ_D(V) ≥ Λ_D(0)+π_D(V); the displayed (4.7), Λ_D(V)≥π_D(V), fails at V=0 since Λ_D(0)<0 by Theorem 1(1). In the following chain, the Jensen lower bound is formed correctly, but the subsequent asymptotics normalize the unperturbed semigroup P^D_T by e^{-Λ_D(V)T} although its true rate is Λ_D(0), and the final limit computes (1/T)·(ratio) instead of (1/T)·log(ratio). Thus the displayed computation cannot yield the claimed positive linear lower bound. The intended argument is available from Step 2: first-order perturbation of the simple eigenpair gives d/dε Λ_D(εV)|_{ε=0}=μ_D(Vφ_D)=π_D(V), and convexity of Λ_D from (4.4) yields the tangent lower bound; this replacement should be written out.
  2. [Section 3, Step 3] The proof of Theorem 1 invokes [35, Theorem 4.1] to obtain the unique eigenpair and exponential convergence for P^{D,V}_1, but the hypotheses of that theorem are not stated or verified for arbitrary bounded measurable V. The manuscript only checks strong Fellerity of P^{D,V}_t (Step 2) and the weighted norm bound in Section 2.2.1; it does not show that the Lyapunov and irreducibility conditions required by [35, Theorem 4.1] hold for the twisted kernel. Since Theorem 1 is the basis for the log-Laplace limit (4.4), the authors should either state the precise theorem and verify its assumptions for all V∈bB(D), or prove the spectral gap directly.
minor comments (5)
  1. [Section 2.2.3 and Theorem 3] The rate function in Theorem 3 is given as sup_{V∈C_b(D)}, while Theorem 2, (2.10), uses sup_{V∈bB(D)}. Under the τ-topology the Legendre transform should be over bB(D); please reconcile this mismatch, for instance by stating Theorem 3 with bB(D), which is consistent with condition (1) and with the proof in Step 1.
  2. [Section 4, Step 3] The phrase 'expotential *-tightness' should read 'exponential *-tightness'.
  3. [Section 5, Step 2] The existence of an initial distribution ν=hπ with h∈L2(S,π), h1_{D^c}=0 π-a.e., and ν(W)<∞ is asserted without proof; it holds for instance for h=c1_K with c>0 and K a compact subset of D of positive π-measure, so a brief justification would be helpful.
  4. [Section 2.2.5, footnote 3] The inserted remark about Patrick Cattiaux is not appropriate for a research paper and should be removed.
  5. [Section 6.2.3, Proposition 3] The notation is inconsistent: the solution is sometimes written X_t(x) and sometimes X_t; please unify. Also, the proof uses T both for the fixed time horizon and as a variable inside the Gronwall argument, which can confuse the reader.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the rate function is computed from spectral data via Gartner-Ellis, not fitted; the unique zero is tied to the q.e.d.

full rationale

The derivation chain runs: Theorem 1 establishes a spectral gap for the killed Feynman-Kac semigroup P^{D,V}_t on bW_B(D); equality (4.4) then computes the conditional log-Laplace limit as Lambda(V) = Lambda_D(V) - Lambda_D(0) from that spectral data; the generalized Gartner-Ellis theorem (Theorem 3) turns this into the LDP with rate function (2.10); and the zero set of the Legendre transform is the subdifferential of Lambda_D at V = 0. The central claim (2.13) therefore reduces to proving Lambda_D'(0)(V) = mu_D(V phi_D) = pi_D(V) for all bounded measurable V. That is a genuine spectral statement, not an input: pi_D = phi_D mu_D is defined in Section 1.1 from the eigenpair of the unperturbed killed Dirichlet semigroup P^D_t, independently of the rate function, and the derivative identity is the standard first-order perturbation formula for a simple eigenvalue. Nothing is fitted to data and no prediction is renamed from an input; the rate function is computed, not postulated. The paper leans on the authors' own earlier theorems [35, Theorems 3.5 and 4.1] (Perron-Frobenius and essential spectral radius, JEMS 2022), [61, Theorem 3.5] (beta_w / beta_tau machinery, PTRF 2004), and [60] (Donsker-Varadhan upper bound, SPA 2001), but these are published, parameter-free statements whose assumptions do not contain the LDP conclusion, so per the reviewing rules they are independent evidence and do not raise the circularity score. Flag as a proof gap, not circularity: Section 4, Step 4 of the proof of Theorem 2 displays a chain ending with Lambda_D(V) >= lim sup (1/T) log E_nu[e^{int V}|T<sigma_D] >= lim (1/T) [e^{-Lambda_D(V)T} int int P^D_t V P^D_{T-t}1 dt dnu]/[e^{-Lambda_D(V)T} int P^D_T 1 dnu] = pi_D(V). As written this cannot establish (4.7): the target Lambda_D(V) >= pi_D(V) fails at V = 0, where it would give Lambda_D(0) >= 0, contradicting Theorem 1(1) (Lambda_D(V) < sup_D V, so Lambda_D(0) < 0); the correct subdifferential target is Lambda_D(V) - Lambda_D(0) >= pi_D(V). The Jensen estimate gives A_T/B_T ~ T pi_D(V) nu(phi_D)/nu(phi_D), whose (1/T)-log-rate is 0, not pi_D(V), since the displayed chain drops the logarithm and evaluates (1/T)(A_T/B_T) instead of (1/T) log(A_T/B_T); and the spectral expansion applies the rate Lambda_D(V) to the unperturbed semigroup P^D_t whose true rate is Lambda_D(0).

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

The central claim depends on the standing hypotheses (C1)-(C5) and on several imported theorems from the published literature, chiefly the authors' previous spectral work [35] and Wu's essential-spectral-radius results [61]. These are theorems with proofs, not fitted parameters, so the circularity burden is low. No free parameters are calibrated to data; the exponents in the Lyapunov constructions of Section 6 are constraint parameters, not fitted values. No new entities are postulated; the quasi-ergodic distribution is defined from objects established in Theorem 1. The main fragility is the extent to which the imported Perron-Frobenius theorem applies to bounded measurable potentials V, which the paper only partially re-derives.

assumptions (8)
  • domain assumption (C1)-(C5) hold for the process and the domain D
    Standing hypotheses of Theorems 1 and 2: strong Feller, continuity of x to P_x(X[0,T] in .), Lyapunov condition -LW^p >= r_n W^p - b_n 1_{K_n}, killed-semigroup continuity, and irreducibility plus non-absorption. If any fails, the spectral gap and the LDP are not proved.
  • domain assumption V is bounded and measurable (HV)
    Required for the killed Feynman-Kac semigroup and the supremum over bB(D) in the rate function.
  • standard math [35, Theorem 3.5] and [35, Theorem 4.1] supply essential spectral radius 0 and a one-dimensional Perron-Frobenius theorem for killed Feynman-Kac operators on bW_B(D)
    Cited rather than reproved; Step 1 of Theorem 1 reduces to them. Extension to bounded measurable V is sketched, so this is the most fragile import.
  • standard math [61, Theorem 3.5] characterises the essential spectral radius of positive kernels via beta_w, beta_tau
    Used in Step 1 of Theorem 1 to get ress(P^{D,V}_t|bW_B)=0 from beta_w(Q)=0.
  • standard math [60] provides the Donsker-Varadhan LDP for the non-killed process on (P(S),tau)
    Used in Step 3 of Theorem 2 for exponential tau-tightness of the conditioned measures.
  • standard math [45, Theorem 2.1] support theorem for Levy-driven SDEs
    Used in Proposition 4 to prove positivity of killed transition probabilities for the stable-driven SDE.
  • standard math [27] Donsker-Varadhan formula J(beta)=E(sqrt(h),sqrt(h)) in the reversible case
    Used in the proof of Corollary 2 to identify the rate function with the Dirichlet form.
  • standard math [40] Kato perturbation theory for isolated simple eigenvalues
    Used in Step 2 of Theorem 2 to prove Gateaux differentiability of Lambda_D(V).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Large deviations of the empirical measures of a strong-Feller Markov process inside a subset and quasi-ergodic distribution." pith.science (2026). https://pith.science/paper/EVL4YJIJ

@misc{pith2026241117216,
  author       = {Pith},
  title        = {Pith review of: Large deviations of the empirical measures of a strong-Feller Markov process inside a subset and quasi-ergodic distribution},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EVL4YJIJ}},
  note         = {Machine review of arXiv:2411.17216}
}
abstract

In this work, we establish, for a strong Feller process, the large deviation principle for the occupation measure conditioned not to exit a given subregion. The rate function vanishes only at a unique measure, which is the so-called quasi-ergodic distribution of the process in this subregion. In addition, we show that the rate function is the Dirichlet form in the particular case when the process is reversible. We apply our results to several stochastic processes such as the solutions of elliptic stochastic differential equations driven by a rotationally invariant $\alpha$-stable process, the kinetic Langevin process, and the overdamped Langevin process driven by a Brownian motion.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

67 extracted references · 30 canonical work pages

  1. [35]

    Guillin, B

    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

  2. [61]

    L. Wu. Essential spectral radius for Markov semigroups. I. D iscrete time case. Probability Theory and Related Fields , 128(2):255–321, 2004

  3. [1]

    Applebaum

    D. Applebaum. L´ evy Processes and Stochastic Calculus. Cambridge University Press, 2009

  4. [2]

    Ascione and J

    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

  5. [3]

    Degenerate processes killed at the boundary of a domain

    M. Bena ¨ ım, N. Champagnat, W. O¸ cafrain, and D. Villemonais. Degenerate processes killed at the boundary of a domain. Preprint arXiv:2103.08534, 2021

  6. [4]

    Billingsley

    P. Billingsley. Convergence of Probability Measures . John Wiley & Sons, 2013

  7. [5]

    Bogdan, T

    K. Bogdan, T. Byczkowski, T. Kulczycki, M. Ryznar, R. Song, an d Z. Vondracek. Potential analysis of stable processes and its extensions . Springer Science & Business Media, 2009

  8. [6]

    Breyer and G.O

    L.A. Breyer and G.O. Roberts. A quasi-ergodic theorem for evan escent processes. Stochastic pro- cesses and their applications , 84(2):177–186, 1999

Show all 67 references
  1. [7]

    Carmona, W.C

    R. Carmona, W.C. Masters, and B. Simon. Relativistic Schr¨ odinger operators: asymptotic behavior of the eigenfunctions. Journal of Functional Analysis , 91(1):117–142, 1990

  2. [8]

    Cattiaux, P

    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. Ann. Probab., 37(5):1926–1969, 2009. LARGE DEVIATIONS AND QUASI-ERGODIC DISTRIBUTION 23

  3. [9]

    Cattiaux and S

    P. Cattiaux and S. M´ el´ eard. Competitive or weak cooperative stochastic Lotka-Volterra systems conditioned on non-extinction. J. Math. Biol. , 60(6):797–829, 2010

  4. [10]

    Champagnat and B

    N. Champagnat and B. Henry. A probabilistic approach to Dirac c oncentration in nonlocal models of adaptation with several resources. The Annals of Applied Probability , 29(4):2175–2216, 2019

  5. [11]

    Champagnat, T

    N. Champagnat, T. Leli` evre, M. Ramil, J. Reygner, and D. Villem onais. Quasi-stationary distri- bution for kinetic SDEs with low regularity coefficients. Preprint arXiv:2410.01042, October 2024

  6. [12]

    Champagnat and D

    N. Champagnat and D. Villemonais. Lyapunov criteria for uniform convergence of conditional distributions of absorbed Markov processes. Stochastic Processes and their Applications , 135:51– 74, 2021

  7. [13]

    Champagnat and D

    N. Champagnat and D. Villemonais. General criteria for the stud y of quasi-stationarity. Electronic Journal of Probability , 28:1–84, 2023

  8. [14]

    Chazottes, P

    J-R. Chazottes, P. Collet, and S. M´ el´ eard. Sharp asymptotics for the quasi-stationary distribution of birth-and-death processes. Probability Theory and Related Fields , 164(1-2):285–332, 2016

  9. [15]

    Chen, Z-Q.and Tsuchida

    K. Chen, Z-Q.and Tsuchida. Large deviation for additive functio nals of symmetric Markov pro- cesses. Transactions of the American Mathematical Society , 373(4):2981–3005, 2020

  10. [16]

    Chen and J

    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

  11. [17]

    Chen and J

    X. Chen and J. Wang. Intrinsic ultracontractivity of Feynman- Kac semigroups for symmetric jump processes. Journal of Functional Analysis , 270(11):4152–4195, 2016

  12. [18]

    Chen and R

    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

  13. [19]

    Chung and Z

    K.L. Chung and Z. Zhao. From Brownian Motion to Schr¨ odinger’s Equation, volume 312. Springer Science & Business Media, 2001

  14. [20]

    Collet, S

    P. Collet, S. Mart ´ ınez, and J. San Mart ´ ın.Quasi-Stationary Distributions: Markov Chains, Diffu- sions and Dynamical Systems . Springer Science & Business Media, 2012

  15. [21]

    Collet, S

    P. Collet, S. M´ el´ eard, and J. San Martin. Branching diffusion p rocesses and spectral properties of Feynman-Kac semigroup. Preprint arXiv:2404.09568, 2024

  16. [22]

    Da Prato and J

    G. Da Prato and J. Zabczyk. Ergodicity for Infinite Dimensional Systems , volume 229. Cambridge university press, 1996

  17. [23]

    Daubechies and E.H

    I. Daubechies and E.H. Lieb. One-electron relativistic molecules w ith Coulomb interaction. Com- munications in Mathematical Physics , 90(4):497–510, 1983

  18. [24]

    Del Moral

    P. Del Moral. Feynman-Kac Formulae. Probability and Its Applications. Springer, 2004

  19. [25]

    Del Moral, E

    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

  20. [26]

    Del Moral and L

    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

  21. [27]

    Deuschel and D.W

    J-D. Deuschel and D.W. Stroock. Large Deviations. Academic Press, Boston, 1989

  22. [28]

    Di Ges` u, T

    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

  23. [29]

    Di Ges` u, T

    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

  24. [30]

    Z. Dong, X. Peng, Y. Song, and X. Zhang. Strong Feller proper ties for degenerate SDEs with jumps. Annales de l’IHP Probabilit´ es et statistiques, 52(2):888—-897, 2016

  25. [31]

    S. N. Ethier and T.G. Kurtz. Markov Processes: Characterization and Convergence . John Wiley & Sons, 1986

  26. [32]

    Ferr´ e, M

    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

  27. [33]

    Guillin, D

    A. Guillin, D. Lu, B. Nectoux, and L. Wu. Long time behavior of killed Feynman-Kac semigroups with singular Schr¨ odinger potentials.Preprint Hal-04790621, 2024

  28. [34]

    Guillin, D

    A. Guillin, D. Lu, B. Nectoux, and L. Wu. Generalized Langevin and Nos´ e-Hoover processes ab- sorbed at the boundary of a metastable domain. Preprint arXiv:2403.17471, March 2024. 24 A. GUILLIN, B. NECTOUX, AND L. WU

  29. [36]

    Guillin, B

    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

  30. [37]

    G¨ uneysu

    B. G¨ uneysu. On the Feynman-Kac formula for Schr¨ odinger semigroups on v ector bundles . PhD thesis, Universit¨ ats-und Landesbibliothek Bonn, 2011

  31. [38]

    G. He, G. Yang, and Y. Zhu. Some conditional limiting theorems fo r symmetric Markov processes with tightness property. Electronic Communications in Probability , 24(60):1–11, 2019

  32. [39]

    Kaleta and T

    K. Kaleta and T. Kulczycki. Intrinsic ultracontractivity for Sch r¨ odinger operators based on frac- tional Laplacians. Potential Analysis , 33:313–339, 2010

  33. [40]

    T. Kato. Perturbation Theory for Linear Operators . Classics in Mathematics. Springer-Verlag, Berlin, 1995. Reprint of the 1980 edition

  34. [41]

    D. Kim, K. Kuwae, and Y. Tawara. Large deviation principles for g eneralized Feynman-Kac func- tionals and its applications. Tohoku Mathematical Journal, Second Series , 68(2):161–197, 2016

  35. [42]

    D. Kim, T. Tagawa, and A. Velleret. Quasi-ergodic theorems for Feynman-Kac semigroups and large deviation for additive functionals. Preprint arXiv:2401.17997, 2024

  36. [43]

    Kulczycki and B

    T. Kulczycki and B. Siudeja. Intrinsic ultracontractivity of th e Feynman-Kac semigroup for rela- tivistic stable processes. Transactions of the American Mathematical Society , 358(11):5025–5057, 2006

  37. [44]

    A.M. Kulik. Exponential ergodicity of the solutions to SDE’s with a j ump noise. Stochastic Processes and their Applications , 119(2):602–632, 2009

  38. [45]

    O. Kulyk. Support theorem for L´ evy-driven stochastic differ ential equations. Journal of Theoretical Probability, pages 1–23, 2022

  39. [46]

    On smoothing properties of transitio n semigroups associated to a class of SDEs with jumps

    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

  40. [47]

    Leli` evre, D

    T. Leli` evre, D. Le Le Peutrec, and B. Nectoux. Eyring-kram ers exit rates for the overdamped Langevin dynamics: the case with saddle points on the boundary. Preprint arXiv:2207.09284 , 2022

  41. [48]

    Leli` evre, M

    T. Leli` evre, M. Ramil, and J. Reygner. Quasi-stationary distr ibution for the Langevin process in cylindrical domains, part I: existence, uniqueness and long-time co nvergence. Stochastic Processes and their Applications , 144:173–201, 2022

  42. [49]

    Leli` evre and G

    T. Leli` evre and G. Stoltz. Partial differential equations and s tochastic methods in molecular dy- namics. Acta Numerica, 25:681–880, 2016

  43. [50]

    Lladser and J

    M. Lladser and J. San Mart ´ ın. Domain of attraction of the quas i-stationary distributions for the Ornstein-Uhlenbeck process. Journal of Applied Probability , 37(2):511–520, 2016

  44. [51]

    Ma and M

    Z-M. Ma and M. R¨ ockner. Introduction to the theory of (non-symmetric) Dirichlet fo rms. Springer Science & Business Media, 2012

  45. [52]

    M´ el´ eard and D

    S. M´ el´ eard and D. Villemonais. Quasi-stationary distributionsand population processes. Probability Surveys, 9:340–410, 2012

  46. [53]

    S. P. Meyn and R. L. Tweedie. Markov Chains and Stochastic Stability . Communications and Control Engineering Series. Springer-Verlag London, 1993

  47. [54]

    Nagasawa

    M. Nagasawa. Stochastic Processes in Quantum Physics , volume 94. Birkh¨ auser, 2012

  48. [55]

    On the existence of smooth densities for jump pro cesses

    Jean Picard. On the existence of smooth densities for jump pro cesses. Probability Theory and Related Fields, 105:481–511, 1996

  49. [56]

    Priola, A

    E. Priola, A. Shirikyan, L. Xu, and J. Zabczyk. Exponential erg odicity and regularity for equations with L´ evy noise.Stochastic Processes and their Applications , 122(1):106–133, 2012

  50. [57]

    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

  51. [58]

    B. Simon. Quantum Mechanics for Hamiltonians Defined as Quadratic For ms, volume 72. Princeton University Press, 2015

  52. [59]

    L. Wu. An introduction to large deviations (in chinese). pages 22 5–336, 1997. In: Several Topics in Stochastic Analysis (authors: J.A. Yan, S.Peng, S. Fang and L. Wu ), Academic Press of China, Beijing. LARGE DEVIATIONS AND QUASI-ERGODIC DISTRIBUTION 25

  53. [60]

    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

  54. [62]

    Xi and C

    F. Xi and C. Zhu. Jump type stochastic differential equations w ith non-Lipschitz coefficients: non- confluence, Feller and strong Feller properties, and exponential e rgodicity. Journal of Differential Equations, 266(8):4668–4711, 2019

  55. [63]

    K. Yosida. Functional analysis, 1980. Spring-Verlag, New York/Berlin , 1971

  56. [64]

    Zhang, S

    J. Zhang, S. Li, and R. Song. Quasi-stationarity and quasi-erg odicity of general Markov processes. Science China Mathematics , 57:2013–2024, 2014

  57. [65]

    X. Zhang. Derivative formulas and gradient estimates for SDEs driven by α -stable processes. Sto- chastic Processes and their Applications , 123(4):1213–1228, 2013

  58. [66]

    X. Zhang. Fundamental Solution of Kinetic Fokker–Planck Oper ator with Anisotropic Nonlocal Dissipativity. SIAM Journal on Mathematical Analysis , 46(3):2254–2280, 2014

  59. [67]

    X. Zhang. Fundamental solutions of nonlocal Hormander’s ope rators II. The Annals of Probability , 45(3):1799–1841, 2017. Arnaud Guillin . Universit ´ e Clermont Auvergne, CNRS, LMBP, F-63000 CLERMONT- FERRAND, FRANCE Email address : arnaud.guillin@uca.fr Boris Nectoux .Univer...

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.