pith. sign in

arxiv: 2512.11676 · v2 · submitted 2025-12-12 · 🧮 math.PR · cs.CV

Stochastics of shapes and Kunita flows

Stefan Sommer , Gefan Yang , Elizabeth Louise Baker This is my paper

Pith reviewed 2026-05-16 22:20 UTC · model grok-4.3

classification 🧮 math.PR cs.CV
keywords Kunita flowsstochastic shape processesshape spacesbridge samplingstochastic flowsstatistical inferenceevolutionary biology
0
0 comments X

The pith

Kunita flows acting on shape spaces induce stochastic processes that satisfy compatibility criteria by construction.

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

Stochastic processes on shapes are needed for modeling evolution in biology and similar fields, yet the nonlinear and often infinite-dimensional geometry of shape spaces makes direct construction difficult. The paper defines a set of compatibility properties that any such process should meet to respect the underlying shape structure. It then shows that Kunita flows provide a construction that automatically fulfills these properties when the flows act on the shape spaces. The work also surveys other shape processes and demonstrates how bridge sampling can condition the processes on observed data to support parameter inference.

Core claim

We define and formalize properties that stochastic shape processes should ideally satisfy to be compatible with the shape structure, and we link this to Kunita flows that, when acting on shape spaces, induce stochastic processes that satisfy these criteria by their construction. We couple this with a survey of other relevant shape stochastic processes and show how bridge sampling techniques can be used to condition shape stochastic processes on observed data thereby allowing for statistical inference of parameters of the stochastic dynamics.

What carries the argument

Kunita flows acting on shape spaces, which generate stochastic processes satisfying the defined compatibility properties automatically.

If this is right

  • Stochastic evolution of shapes can be constructed systematically while preserving geometric compatibility.
  • Bridge sampling allows conditioning on observed shape data to infer parameters of the driving dynamics.
  • Other shape processes can be compared and related through the shared compatibility lens.
  • Applications such as evolutionary biology gain a consistent framework for modeling stochastic morphology change.

Where Pith is reading between the lines

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

  • The same flow-based construction may extend to stochastic processes on other infinite-dimensional geometric spaces.
  • Numerical simulation schemes could be derived directly from the Kunita-flow representation for efficient sampling.
  • The conditioning step opens routes to Bayesian inference pipelines for shape-valued time series.

Load-bearing premise

The listed compatibility properties are the correct and sufficient ones for shape processes, and Kunita flows can be rigorously defined on the relevant infinite-dimensional shape spaces without extra obstructions.

What would settle it

A concrete shape space in which no Kunita flow can be defined rigorously, or a stochastic shape process that meets all compatibility properties yet cannot be obtained from any Kunita flow.

Figures

Figures reproduced from arXiv: 2512.11676 by Elizabeth Louise Baker, Gefan Yang, Stefan Sommer.

Figure 1
Figure 1. Figure 1: The outline of a butterfly acted upon by a Kunita flow of diffeomorphisms. The continous nature of the flow allows evaluation for an arbitrary discretization and hence number of points representing the shape. In the paper, we outline the Kunita flow theory and its use in the shape context. framework of Trouve, Younes and Joshi (Joshi and Miller, 2000; Trouve, 1995; Younes, 1998). The name stems from shapes… view at source ↗
Figure 2
Figure 2. Figure 2: Schematic illustration of the axiomatic properties of shape stochastic processes. The first row shows a butterfly changing shape with a time-continuous stochastic process. The second row shows the shape process represented by the outline of the butterfly as a curve, and the third row shows the process represented as discrete points on the outline. The consistency between the top row and the bottom rows ill… view at source ↗
Figure 3
Figure 3. Figure 3: Kernels kSE and kMatérn for different values of σ and c. The Hilbert space view doesn’t directly give the relation between smoothness of k and the smoothness of the generated flow, but it gives a way to consider the Kunita flow as a solution to an SDE in a Hilbert space without directly introducing the machinery of Kunita’s results. The Hilbert space formulation in addition gives a natural way to parametri… view at source ↗
Figure 4
Figure 4. Figure 4: Kunita flows acting on butterfly wing shapes with different combinations of parameters and hence values of var(Q). Rows 1,3: Samples of the shape process induced from the Kunita flow. Rows 2,4: Samples from repeated sampling of the time t = 10 distribution ϕt.s0. Rows 1,2: Different values of α and hence var(Q) which implies that the total variance in the system to vary. Rows 3,4: Different values of σ and… view at source ↗
Figure 5
Figure 5. Figure 5: (Left) Example phylogenetic tree with butterfly wing shapes observed at the leafs. (Center) Observed leaf shapes (outlines) with observation noise on landmarks (dots) (Right) MCMC trace plots of the estimated parameters of the kernel kMatérn, mean of the estimated parameters after burn-in (horizontal solid red lines), and true values (horizontal dashed green lines). References Adams, D. R., & Hedberg, L. I… view at source ↗
read the original abstract

Stochastic processes of evolving shapes are used in applications including evolutionary biology, where morphology changes stochastically as a function of evolutionary processes. Due to the non-linear and often infinite-dimensional nature of shape spaces, the mathematical construction of suitable stochastic shape processes is far from immediate. We define and formalize properties that stochastic shape processes should ideally satisfy to be compatible with the shape structure, and we link this to Kunita flows that, when acting on shape spaces, induce stochastic processes that satisfy these criteria by their construction. We couple this with a survey of other relevant shape stochastic processes and show how bridge sampling techniques can be used to condition shape stochastic processes on observed data thereby allowing for statistical inference of parameters of the stochastic dynamics.

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

2 major / 2 minor

Summary. The paper defines compatibility properties that stochastic processes on shape spaces should satisfy to respect the underlying geometric structure. It claims that Kunita flows, when acting on these spaces, induce stochastic processes meeting the criteria by construction. The manuscript also surveys other relevant shape stochastic processes and shows how bridge sampling can be used to condition the processes on observed data, enabling statistical inference of parameters in applications such as evolutionary biology.

Significance. If the central construction holds, the work supplies a rigorous, constructive route to stochastic shape evolution in infinite-dimensional settings, directly linking Kunita flow theory to shape compatibility without ad-hoc fitting. The by-construction satisfaction of the listed criteria and the explicit bridge-sampling application for inference constitute concrete strengths that could make the framework useful for morphological modeling in biology.

major comments (2)
  1. [Abstract / main construction section] The central claim that Kunita flows satisfy the compatibility criteria by construction is load-bearing for the paper's contribution, yet the abstract provides no explicit verification; the manuscript must supply the precise function-space setting, the definition of the compatibility properties, and the step-by-step argument that the flows remain diffeomorphisms on the relevant (often infinite-dimensional) shape spaces.
  2. [Section defining compatibility properties] The weakest assumption—that the listed compatibility properties are both correct and sufficient—requires justification; the paper should demonstrate that these properties are necessary for shape compatibility and that no additional obstructions arise when Kunita flows are applied to concrete shape spaces used in applications.
minor comments (2)
  1. [Introduction] Clarify the precise mathematical definition of 'shape spaces' and the topology or manifold structure assumed throughout the manuscript.
  2. [Survey section] Add explicit references to the Kunita flow literature and to prior work on stochastic processes on shape spaces to situate the survey section.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We have revised the paper to address the concerns about explicit verification of the central claims and justification of the compatibility properties. Our point-by-point responses follow.

read point-by-point responses

  1. Referee: [Abstract / main construction section] The central claim that Kunita flows satisfy the compatibility criteria by construction is load-bearing for the paper's contribution, yet the abstract provides no explicit verification; the manuscript must supply the precise function-space setting, the definition of the compatibility properties, and the step-by-step argument that the flows remain diffeomorphisms on the relevant (often infinite-dimensional) shape spaces.

    Authors: We agree that greater explicitness is required. In the revised manuscript we have updated the abstract to reference the function-space setting and expanded the main construction section with: (i) the precise definition of the shape space as the Hilbert manifold of H^s embeddings (s sufficiently large) into R^d; (ii) the formal list of compatibility properties (reparametrization invariance, preservation of geometric invariants, and diffeomorphic evolution); and (iii) a complete step-by-step argument showing that the Kunita flow, constructed from a stochastic vector field on the diffeomorphism group, yields almost-surely diffeomorphic maps that remain inside the shape space and therefore satisfy the criteria by construction. revision: yes

  2. Referee: [Section defining compatibility properties] The weakest assumption—that the listed compatibility properties are both correct and sufficient—requires justification; the paper should demonstrate that these properties are necessary for shape compatibility and that no additional obstructions arise when Kunita flows are applied to concrete shape spaces used in applications.

    Authors: We have strengthened the relevant section. We now derive the listed properties as necessary conditions from the geometric requirements of shape evolution in applications such as evolutionary biology. We then show sufficiency by verifying that the Kunita-flow construction automatically fulfills them without extra hypotheses. On concrete spaces (landmark configurations and closed curves) we explicitly check that no further obstructions appear, because the stochastic flow preserves the required Sobolev regularity and topological invariants. This supplies the requested justification. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper first defines a set of compatibility properties that stochastic shape processes should satisfy, then asserts that Kunita flows induce processes meeting those properties by construction. This linkage is presented as a verification step rather than a self-referential definition or fitted prediction. No equations or steps reduce the central claim to its own inputs by construction, no load-bearing self-citations are invoked to force uniqueness, and the derivation remains self-contained against the stated assumptions without renaming known results or smuggling ansatzes. The argument is therefore independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard assumptions from stochastic geometry and shape analysis; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Shape spaces admit well-defined Kunita flows that preserve the necessary geometric structure.
    Invoked when stating that flows acting on shape spaces induce the desired processes.

pith-pipeline@v0.9.0 · 5411 in / 1243 out tokens · 45724 ms · 2026-05-16T22:20:37.470958+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Neural Backward Filtering Forward Guiding

    stat.ML 2026-01 unverdicted novelty 6.0

    NBFFG combines a closed-form backward filter from a linear-Gaussian proxy process with a learned neural residual to enable efficient variational inference and unbiased pathwise subsampling for nonlinear diffusions on trees.

Reference graph

Works this paper leans on

3 extracted references · 3 canonical work pages · cited by 1 Pith paper

  1. [1]

    R., & Hedberg, L

    Adams, D. R., & Hedberg, L. I. (1999, November).Function Spaces and Potential Theory. Springer Science & Business Media. Arnaudon, A., Holm, D. D., & Sommer, S. (2019). A Geometric Framework for Stochastic Shape Analysis.Foundations of Computational Mathematics,19(3), 653–701. https://doi.org/10. 1007/s10208-018-9394-z Arnaudon, A., van der Meulen, F., Sc...

    work page doi:10.1137/21m1406283 1999

  2. [2]

    C., & Sommer, S

    https://doi.org/10.1112/blms.13018 Habermann, K., Preston, S. C., & Sommer, S. (2025, March). Characterization of geodesic com- pleteness for landmark space [arXiv:2503.10611 [math]]. https://doi.org/10.48550/arXiv. 2503.10611 Comment: 17 pages, 1 figure. Hartman, E., Sukurdeep, Y., Klassen, E., Charon, N., & Bauer, M. (2023). Elastic Shape Analysis of Su...

    work page doi:10.1112/blms.13018 2025

  3. [3]

    W., & Mumford, D

    Michor, P. W., & Mumford, D. (2013). A zoo of diffeomorphism groups on rn.Annals of Global Analysis and Geometry,44(4), 529–540. https://doi.org/10.1007/s10455-013-9380-2 Mider, M., Schauer, M., & van der Meulen, F. (2021). Continuous-discrete smoothing of diffusions. Electronic Journal of Statistics,15(2), 4295–4342. https://doi.org/10.1214/21-EJS1894 Mi...

    work page doi:10.1007/s10455-013-9380-2 2013