pith. sign in

arxiv: 2604.20205 · v1 · submitted 2026-04-22 · 🧮 math.AP · math.DG· math.PR

Nonlocal Characterizations of Stochastic Completeness on Complete Riemannian Manifolds

Rui Chen , Bobo Hua This is my paper

Pith reviewed 2026-05-10 00:15 UTC · model grok-4.3

classification 🧮 math.AP math.DGmath.PR
keywords stochastic completenessfractional LaplacianRiemannian manifoldssubordinate semigroupnonlocal characterizationskilling termheat kernelMarkov process
0
0 comments X

The pith

Stochastic completeness on a complete Riemannian manifold is equivalent to the fractional Laplacian having zero total mass on all compactly supported smooth functions.

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

The paper establishes that whether Brownian motion on a complete Riemannian manifold escapes to infinity in finite time can be read off from nonlocal properties of the fractional Laplacian. Stochastic completeness holds precisely when the integral of the fractional Laplacian vanishes for every compactly supported test function. The same condition is equivalent to uniqueness of bounded distributional solutions for the associated fractional elliptic and parabolic equations. The argument begins from a conservation identity for the subordinate semigroup that isolates an intrinsic killing term measuring mass loss, and shows this term vanishes if and only if the manifold is stochastically complete.

Core claim

On any complete Riemannian manifold M, the subordinate semigroup T_t^{(s)} obeys the identity T_t^{(s)} 1 + integral from 0 to t of T_tau^{(s)} R_s d tau equals 1, where R_s is the intrinsic killing term. The condition R_s identically zero is equivalent to stochastic completeness of M. This is further equivalent to the nonlocal zero-mean identity that the integral over M of (-Delta)^s phi dV_g equals zero for every phi in C_c^infty(M), and to uniqueness of bounded distributional solutions of the fractional heat equation and related elliptic problems.

What carries the argument

The intrinsic killing term R_s of the subordinate semigroup, which exactly measures the rate at which the process loses mass and vanishes if and only if the manifold is stochastically complete.

If this is right

  • Stochastic completeness can be verified by checking the nonlocal integral condition on test functions rather than local heat-kernel or geodesic properties.
  • Bounded distributional solutions to the fractional parabolic equation are unique precisely when the manifold is stochastically complete.
  • The fractional heat kernel admits explicit short-time and long-time asymptotic expansions that depend on this completeness condition.
  • Jump probabilities of the associated Markov process satisfy short-time asymptotic formulas derived from the same semigroup.
  • The fractional resolvent admits a variational characterization whose minimality properties hold under the completeness assumption.

Where Pith is reading between the lines

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

  • The same nonlocal test may serve as a practical numerical diagnostic for stochastic completeness on manifolds given by explicit metrics.
  • On manifolds that fail to be stochastically complete the killing term is necessarily nonzero and the integral condition must fail for some test function.
  • The framework suggests analogous nonlocal characterizations could be derived for other subordinate semigroups or nonlocal operators on the same manifolds.
  • Uniqueness questions for fractional equations on incomplete manifolds would then be settled by the same killing-term computation.

Load-bearing premise

The fractional Laplacian is defined through the subordinate semigroup and the killing term R_s fully records any loss of mass.

What would settle it

A complete Riemannian manifold on which there exists a compactly supported smooth function whose fractional Laplacian integrates to a nonzero value, yet Brownian motion has infinite lifetime with probability one from every starting point.

read the original abstract

In this paper, we first prove that the following generalized conservation principle holds on complete Riemannian manifolds: for every \(0<s<1\) and \(t>0\), \[ T_t^{(s)}\mathbf 1+\int_0^t T_\tau^{(s)}\mathcal R_s\,d\tau=1 \qquad\text{on }M, \] where \(\mathcal R_s\) is the intrinsic killing term measuring the loss of mass of the subordinate semigroup, and the condition \(\mathcal R_s\equiv0\) is equivalent to the stochastic completeness of \(M\). We then provide several new nonlocal characterizations of stochastic completeness. In particular, we show that stochastic completeness is equivalent to genuinely nonlocal conditions, including the zero-mean identity \[ \int_M (-\Delta)^s\varphi\,dV_g=0 \qquad\forall\,\varphi\in C_c^\infty(M), \] as well as the uniqueness of bounded distributional solutions to the associated fractional elliptic and parabolic equations. We also revisit the equivalent \(L^1\)-core characterization for the generator of the heat semigroup, which plays an important role in our approach. In addition, we prove \(L^p\)-contractivity and smoothing properties of the subordinate semigroup, establish both short-time and long-time asymptotic results for the fractional heat kernel, derive the short-time asymptotics of jump probabilities for the associated Markov process, and study the variational characterization and minimality properties of the fractional resolvent. Together, these results provide a unified analytic and probabilistic framework for the fractional Laplacian on complete Riemannian manifolds.

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

0 major / 3 minor

Summary. The manuscript proves a generalized conservation principle on complete Riemannian manifolds: for 0<s<1 and t>0, the subordinate semigroup satisfies T_t^{(s)} 1 + ∫_0^t T_τ^{(s)} R_s dτ =1, where R_s is the intrinsic killing term, and R_s ≡0 is equivalent to stochastic completeness. It derives several nonlocal characterizations of stochastic completeness, including the zero-mean identity ∫_M (-Δ)^s φ dV_g =0 for all φ∈C_c^∞(M) and uniqueness of bounded distributional solutions to the associated fractional elliptic and parabolic equations. Additional results include L^p-contractivity and smoothing of the subordinate semigroup, short- and long-time asymptotics for the fractional heat kernel, short-time asymptotics of jump probabilities, and variational/minimality properties of the fractional resolvent.

Significance. If the derivations hold, the work supplies a unified analytic-probabilistic framework linking stochastic completeness to genuinely nonlocal conditions for the fractional Laplacian on complete manifolds. The explicit conservation law and its consequences for uniqueness of solutions to fractional equations are particularly useful for potential theory and nonlocal PDEs; the paper also revisits the L^1-core characterization for the heat semigroup generator, which supports the approach.

minor comments (3)
  1. The notation for the killing term R_s (or script R_s) is introduced in the conservation principle but its precise relation to the standard killing measure in the probabilistic literature on subordinate processes could be stated more explicitly for readers unfamiliar with the subordination construction.
  2. In the discussion of the zero-mean identity and uniqueness results, a short remark comparing the new nonlocal conditions to classical (local) characterizations of stochastic completeness would improve context without altering the main claims.
  3. The abstract and introduction mention L^p-contractivity and heat-kernel asymptotics; ensuring that the statements of these results (e.g., the precise range of p or the form of the short-time asymptotic) are repeated verbatim in the corresponding theorem statements would aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of our results, and the recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity in the derivation of nonlocal characterizations

full rationale

The paper proves the generalized conservation law T_t^{(s)}1 + ∫ T_τ^{(s)} R_s dτ =1 directly from the subordinate semigroup construction on any complete Riemannian manifold, then derives the equivalence of R_s ≡0 (stochastic completeness) to the zero-mean identity ∫ (-Δ)^s φ dV_g =0 and uniqueness of bounded solutions. These are presented as independent theorems rather than reductions by definition or self-citation. The L^1-core characterization is revisited as a supporting tool with its own role in the approach, but does not force the central equivalences. No quoted step shows a prediction or condition that collapses to its own input by construction, and the framework is developed self-containedly from the semigroup and manifold completeness assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard definitions of the fractional Laplacian via subordination and on the completeness of the Riemannian manifold; no new free parameters or invented entities are introduced.

axioms (2)
  • domain assumption The subordinate semigroup is well-defined via the heat semigroup on a complete Riemannian manifold.
    Invoked in the statement of the conservation principle and all subsequent equivalences.
  • domain assumption The intrinsic killing term R_s measures the precise loss of mass for the subordinate process.
    Central to the conservation identity and the equivalence to stochastic completeness.

pith-pipeline@v0.9.0 · 5582 in / 1289 out tokens · 48606 ms · 2026-05-10T00:15:45.597371+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

  1. [1]

    Gaffney , title =

    Matthew P. Gaffney , title =. Ann. of Math. , volume =. 1954 , pages =

    work page 1954

  2. [2]

    M. P. Gaffney , title =. Comm. Pure Appl. Math. , volume =. 1959 , pages =

    work page 1959

  3. [3]

    R. Z. Khas'minskii , title =. Teor. Verojatnost. i Primenen. , volume =. 1960 , pages =

    work page 1960

  4. [4]

    S. R. S. Varadhan , title =. Comm. Pure Appl. Math. , volume =. 1967 , pages =

    work page 1967

  5. [5]

    Chernoff , title =

    Paul R. Chernoff , title =. J. Funct. Anal. , volume =. 1973 , pages =

    work page 1973

  6. [6]

    Gustav Doetsch , title =

    work page

  7. [7]

    Robert Azencott , title =. Bull. Soc. Math. France , volume =. 1974 , pages =

    work page 1974

  8. [8]

    Shing-Tung Yau , title =. J. Math. Pures Appl. (9) , volume =. 1978 , pages =

    work page 1978

  9. [9]

    Strichartz , title =

    Robert S. Strichartz , title =. J. Funct. Anal. , volume =. 1983 , pages =

    work page 1983

  10. [10]

    Amnon Pazy , title =

    work page

  11. [11]

    Alexander Grigor'yan , title =. Dokl. Akad. Nauk SSSR , volume =. 1986 , pages =

    work page 1986

  12. [12]

    A. A. Grigor'yan , title =. Izv. Akad. Nauk SSSR Ser. Mat. , volume =. 1988 , pages =

    work page 1988

  13. [13]

    Alexander Grigor'yan , title =. Proc. Roy. Soc. Edinburgh Sect. A , volume =. 1994 , pages =

    work page 1994

  14. [14]

    Steven Rosenberg , title =

    work page

  15. [15]

    Subordination in the sense of

    Ren. Subordination in the sense of. J. Austral. Math. Soc. Ser. A , volume =. 1998 , pages =

    work page 1998

  16. [16]

    Emmanuel Hebey , title =

    work page

  17. [17]

    Harnack inequality for stable processes on

    Krzysztof Bogdan and Andrzej St. Harnack inequality for stable processes on. Studia Math. , volume =. 2003 , pages =

    work page 2003

  18. [18]

    Alexander Grigor'yan , title =. Contemp. Math. , volume =. 2003 , pages =

    work page 2003

  19. [19]

    Setti , title =

    Stefano Pigola and Marco Rigoli and Alberto G. Setti , title =. Proc. Amer. Math. Soc. , volume =. 2003 , pages =

    work page 2003

  20. [20]

    Riemannian Geometry and Geometric Analysis , publisher =

    J. Riemannian Geometry and Geometric Analysis , publisher =

    work page

  21. [21]

    Brian Davies , title =

    E. Brian Davies , title =

    work page

  22. [22]

    Setti , title =

    Stefano Pigola and Marco Rigoli and Alberto G. Setti , title =

    work page

  23. [23]

    Alexander Grigor'yan , title =

    work page

  24. [24]

    Ethier and Thomas G

    Stewart N. Ethier and Thomas G. Kurtz , title =

    work page

  25. [25]

    Masatoshi Fukushima and Yoichi Oshima and Masayoshi Takeda , title =

    work page

  26. [26]

    Bernstein Functions: Theory and Applications , publisher =

    Ren. Bernstein Functions: Theory and Applications , publisher =

    work page

  27. [27]

    Peter Petersen , title =

    work page

  28. [28]

    Lee , title =

    John M. Lee , title =

    work page

  29. [29]

    Conway , title =

    John B. Conway , title =

    work page

  30. [30]

    Jun Masamune and Matthias Schmidt , title =. Math. Ann. , volume =. 2020 , pages =

    work page 2020

  31. [31]

    Wojciechowski , title =

    Matthias Keller and Daniel Lenz and Radoslaw K. Wojciechowski , title =

    work page

  32. [32]

    Caselli and L

    M. Caselli and L. Gennaioli , title =. arXiv Preprint , pages =

    work page

  33. [33]

    Zhang , title =

    Hongjie Dong and Chulan Zeng and Qi S. Zhang , title =. SIAM J. Math. Anal. , volume =. 2023 , pages =

    work page 2023

  34. [34]

    arXiv Preprint , pages =

    Rui Chen , title =. arXiv Preprint , pages =

    work page

  35. [35]

    Neumann cut-offs and essential self-adjointness on complete

    Davide Bianchi and Batu G. Neumann cut-offs and essential self-adjointness on complete. J. Geom. Anal. , volume =. 2025 , pages =

    work page 2025