Pith. sign in

REVIEW 2 minor 18 references

Stochastic completeness for landmark space

T0 review · 0 major / 2 minor · reviewed 2026-06-28 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Landmark spaces with any number of landmarks are stochastically complete for wide classes of kernels including Matérn kernels.

desk verdict Extends stochastic completeness from two to arbitrary landmarks via volume growth bounds to finish the characterization. read the letter →

arxiv 2606.02570 v1 pith:M3IA6RFC submitted 2026-06-01 math.PR math.DG

Karen Habermann , Stefan Sommer This is my paper
classification math.PRmath.DG
keywords stochasticcompletenesslandmarkspacesGrigor'yancriteriondiffeomorphismgroupsRiemannianmetricsMatérnkernelsBrownianmotion
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 extends a prior stochastic completeness result that held only for exactly two landmarks to the case of arbitrarily many landmarks. Landmark spaces carry Riemannian metrics induced by right-invariant metrics on subgroups of the diffeomorphism group of the shape domain. The argument verifies Grigor'yan's volume growth criterion by deriving upper bounds on the volume of growing geodesic balls. These bounds follow from quantitative estimates on the Euclidean diameter of the balls, on the speed at which pairwise landmark distances can shrink, and on a lower bound for the smallest eigenvalue of the landmark cometric expressed through the Fourier transform of the kernel. A reader would care because stochastic completeness guarantees that Brownian motion on the space does not explode in finite time, which is required for well-posed diffusion models in shape analysis.

What carries the argument

Grigor'yan's volume growth criterion for stochastic completeness, applied after deriving volume upper bounds from Euclidean-size controls on geodesic balls, pairwise-distance collapse rates, and cometric eigenvalue lower bounds obtained from the kernel Fourier transform.

What would settle it

A concrete kernel for which the volume of geodesic balls in the landmark space grows faster than the threshold allowed by Grigor'yan's criterion, so that Brownian motion explodes in finite time.

Watch

Extended reading notes

Core claim

Landmark spaces with any finite number of landmarks are stochastically complete under the given Riemannian metrics. The proof verifies Grigor'yan's volume growth criterion by obtaining upper bounds on geodesic-ball volumes. The bounds are produced by controlling the Euclidean size of the balls, the rate at which pairwise landmark distances approach zero, and a lower bound on the minimal eigenvalue of the landmark cometric that is expressed in terms of the Fourier transform of the kernel. The result applies to wide classes of kernels, including Matérn kernels, and thereby completes the characterization of both geodesic and stochastic completeness for landmark spaces.

Load-bearing premise

The quantitative controls on geodesic-ball Euclidean size and the rate at which pairwise landmark distances can approach zero, together with the lower bound on the minimal eigenvalue of the landmark cometric in terms of the Fourier transform of the kernel, produce volume-growth bounds that satisfy Grigor'yan's criterion.

Editorial extensions

If this is right

  • Stochastic completeness holds for landmark spaces of any finite dimension under the stated metrics.
  • The completeness characterization of landmark spaces is now finished, covering both geodesic and stochastic aspects.
  • The result applies directly to Matérn kernels and similar classes whose Fourier transforms satisfy the required lower bound.
  • Brownian motion on these spaces is non-explosive for the covered kernels.

Reading between the lines

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

  • The same volume-growth technique may adapt to other finite-dimensional shape spaces that share similar cometric eigenvalue behavior.
  • If the Fourier-transform lower bound can be relaxed while preserving the volume controls, stochastic completeness could extend to a broader family of kernels.
  • The non-explosion property supports the construction of well-defined stochastic processes on landmark configurations without additional boundary conditions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 2 minor

Summary. The manuscript extends prior stochastic completeness results for landmark spaces (Riemannian manifolds induced by right-invariant metrics on diffeomorphism subgroups) from the two-landmark case to arbitrary finite numbers of landmarks. It applies Grigor'yan's volume-growth criterion, deriving the required upper bounds on geodesic-ball volumes from quantitative controls on Euclidean ball size, the collapse rate of pairwise landmark distances, and a lower bound on the minimal eigenvalue of the landmark cometric expressed via the Fourier transform of the kernel; the argument covers wide kernel classes including Matérn kernels and thereby completes the geodesic-plus-stochastic completeness characterization.

Significance. If the volume-growth bounds hold, the result finishes the completeness picture for landmark spaces, which arise in shape analysis and computational anatomy. The explicit quantitative controls on geodesic balls and the cometric eigenvalue, combined with a standard criterion (Grigor'yan), constitute a clear strength that permits the extension beyond two landmarks without introducing new ad-hoc parameters.

minor comments (2)
  1. [Abstract] Abstract, line 3: the phrase 'landmark space' appears in the title while the body uses the plural 'landmark spaces'; a single consistent term would improve readability.
  2. The outline of the proof strategy in the abstract is clear, but the manuscript would benefit from an explicit forward reference (e.g., 'see §4.2') when the Euclidean-size and pairwise-distance controls are first stated.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive evaluation of the manuscript. The report correctly identifies the main contribution as extending stochastic completeness from the two-landmark case to arbitrary finite numbers of landmarks via Grigor'yan's criterion, thereby completing the geodesic-plus-stochastic completeness characterization for landmark spaces.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation self-contained via external criterion and metric-derived bounds

full rationale

The paper's central argument derives quantitative controls on Euclidean size of geodesic balls and pairwise distance collapse rates directly from the landmark metric construction, combines them with a Fourier-transform lower bound on the cometric minimal eigenvalue (itself obtained from the kernel), and applies the external Grigor'yan volume-growth criterion to conclude stochastic completeness. No step reduces a claimed prediction or uniqueness result to a fitted input, self-definition, or load-bearing self-citation; the prior two-landmark result is invoked only as context for the extension, not as an unverified premise that forces the new conclusion. The derivation chain remains independent of the target statement.

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

The central claim rests on Grigor'yan's volume-growth criterion (standard theorem) and on the existence of the stated Euclidean-size and distance-collision bounds together with the Fourier-transform eigenvalue lower bound; no free parameters or new entities are introduced in the abstract.

assumptions (1)
  • standard math Grigor'yan's volume growth criterion for stochastic completeness
    Invoked directly to convert volume-growth upper bounds into stochastic completeness.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Stochastic completeness for landmark space." pith.science (2026). https://pith.science/paper/M3IA6RFC

@misc{pith2026260602570,
  author       = {Pith},
  title        = {Pith review of: Stochastic completeness for landmark space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/M3IA6RFC}},
  note         = {Machine review of arXiv:2606.02570}
}
read the original abstract

We study stochastic completeness for landmark spaces equipped with Riemannian metrics induced by right-invariant metrics on subgroups of the diffeomorphism group of the shape domain. We extend a previous stochastic completeness result, which only covers the case of exactly two landmarks, to landmark spaces with any number of landmarks. This succeeds the characterization of geodesic completeness for landmark spaces with arbitrary numbers of landmarks, and thus finishes the completeness characterization for landmark spaces by covering the stochastic case. The proof makes use of Grigor'yan's volume growth criterion for stochastic completeness, which requires a suitable upper bound for the volume of growing geodesic balls. We obtain quantitative controls for geodesic balls in the landmark space by bounding both its Euclidean size and the rate at which pairwise landmark distances can approach zero. We then combine this with a lower bound on the minimal eigenvalue of the landmark cometric in terms of the Fourier transform of the kernel to yield volume growth bounds sufficient to prove stochastic completeness of landmark spaces for wide classes of kernels, including Mat\'ern kernels.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

18 extracted references

  1. [1]

    Stegun.Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables

    Milton Abramowitz and Irene A. Stegun.Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. National Bureau of Standards Applied Mathematics Series 55. Tenth Printing.ERIC, 1972

    1972

  2. [2]

    Martin Bauer, Martins Bruveris, and Peter W. Michor. Overview of the geometries of shape spaces and diffeo- morphism groups.Journal of Mathematical Imaging and Vision, 50(1-2):60–97, 2014

    2014

  3. [3]

    Local and global well-posedness of the fractional order EPDiff equation onR d.Journal of Differential Equations, 258(6):2010–2053, 2015

    Martin Bauer, Joachim Escher, and Boris Kolev. Local and global well-posedness of the fractional order EPDiff equation onR d.Journal of Differential Equations, 258(6):2010–2053, 2015

    2010

  4. [4]

    Martin Bauer, Boris Kolev, and Stephen C. Preston. Geodesic completeness of theH3/2 metric onDiff(S 1). Monatshefte für Mathematik, 193(2):233–245, 2020

    2020

  5. [5]

    On completeness of groups of diffeomorphisms.Journal of the European Mathematical Society, 19(5):1507–1544, 2017

    Martins Bruveris and François-Xavier Vialard. On completeness of groups of diffeomorphisms.Journal of the European Mathematical Society, 19(5):1507–1544, 2017

    2017

  6. [6]

    Stochastically complete manifolds.Doklady Akademii Nauk SSSR, 290(3):534–537, 1986

    Alexander Grigor’yan. Stochastically complete manifolds.Doklady Akademii Nauk SSSR, 290(3):534–537, 1986

    1986

  7. [7]

    Alexander Grigor’yan. Analytic and geometric background of recurrence and non-explosion of the Brownian motion on Riemannian manifolds.Bulletin (New Series) of the American Mathematical Society, 36(2):135–249, 1999

    1999

  8. [8]

    Long-time existence of Brownian motion on configu- rations of two landmarks.Bulletin of the London Mathematical Society, 56(5):1658–1679, 2024

    Karen Habermann, Philipp Harms, and Stefan Sommer. Long-time existence of Brownian motion on configu- rations of two landmarks.Bulletin of the London Mathematical Society, 56(5):1658–1679, 2024

    2024

Show all 18 references
  1. [9]

    Brownian motion on spaces of discrete regular curves.Electronic Communications in Probability, 31:1–11, Article No

    Karen Habermann and Emmanuel Hartman. Brownian motion on spaces of discrete regular curves.Electronic Communications in Probability, 31:1–11, Article No. 20, 2026

    2026

  2. [10]

    Preston, and Stefan Sommer

    Karen Habermann, Stephen C. Preston, and Stefan Sommer. Characterization of geodesic completeness for landmark space.Discrete and Continuous Dynamical Systems, 50:224–240, 2026

    2026

  3. [11]

    Joshi and Michael I

    Sarang C. Joshi and Michael I. Miller. Landmark matching via large deformation diffeomorphisms.IEEE Transactions on Image Processing, 9(8):1357–1370, 2000. 12 K. HABERMANN AND S. SOMMER

    2000

  4. [12]

    Michor, and David Mumford

    Mario Micheli, Peter W. Michor, and David Mumford. Sectional curvature in terms of the cometric, with applications to the Riemannian manifolds of landmarks.SIAM Journal on Imaging Sciences, 5(1):394–433, 2012

    2012

  5. [13]

    Preston and Pearce Washabaugh

    Stephen C. Preston and Pearce Washabaugh. Euler–Arnold equations and Teichmüller theory.Differential Geometry and its Applications, 59:1–11, 2018

    2018

  6. [14]

    Schoenberg

    Isaac J. Schoenberg. Metric spaces and completely monotone functions.Annals of Mathematics. Second Series, 39(4):811–841, 1938

    1938

  7. [15]

    Diffeomorphisms Groups and Pattern Matching in Image Analysis.International Journal of Computer Vision, 28(3):213–221, 1998

    Alain Trouvé. Diffeomorphisms Groups and Pattern Matching in Image Analysis.International Journal of Computer Vision, 28(3):213–221, 1998

    1998

  8. [16]

    Cambridge University Press, Cambridge, 2005

    Holger Wendland.Scattered Data Approximation, volume 17 ofCambridge Monographs on Applied and Com- putational Mathematics. Cambridge University Press, Cambridge, 2005

    2005

  9. [17]

    Computable elastic distances between shapes.SIAM Journal on Applied Mathematics, 58(2):565–586, 1998

    Laurent Younes. Computable elastic distances between shapes.SIAM Journal on Applied Mathematics, 58(2):565–586, 1998

    1998

  10. [18]

    Springer, Berlin, 2010

    Laurent Younes.Shapes and Diffeomorphisms, volume 171 ofApplied Mathematical Sciences. Springer, Berlin, 2010. Karen Habermann, Department of Statistics, University of W ar wick, Coventry, CV4 7AL, United Kingdom. Email address:karen.habermann@warwick.ac.uk Stef an Sommer, Dep...

    2010

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.