-
The graded group action framework for sub-riemannian orbit models in shape spaces
Authors:
Thomas Pierron,
Alain Trouvé
Abstract:
In the standard orbit model on shape analysis, a group of diffeomorphism on the ambient space equipped with a right invariant sub-riemannian metric acts on a space of shapes and induces a sub-riemannian structure on various spaces. An important example is given by the Large Deformation Diffeomorphic Metric Mapping (LDDMM) theory that has been developed initially in the context of medical imaging a…
▽ More
In the standard orbit model on shape analysis, a group of diffeomorphism on the ambient space equipped with a right invariant sub-riemannian metric acts on a space of shapes and induces a sub-riemannian structure on various spaces. An important example is given by the Large Deformation Diffeomorphic Metric Mapping (LDDMM) theory that has been developed initially in the context of medical imaging and image registration. However, the standard theory does not cover many interesting settings emerging in applications. We provide here an extended setting, the graded group action (GGA) framework, specifying regularity conditions to get most of the well known results on the orbit model for general groups and shape spaces equipped with a smooth structure of Banach manifold with application to multi-scale shape spaces. A specific study of the Euler-Poincar{é} equations inside the GCA framework leads to a uniqueness result for the momentum map trajectory lifted from shape spaces with different complexities deciphering possible benefits of over-parametrization in shooting algorithms.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Image Varifolds on Meshes for Mapping Spatial Transcriptomics
Authors:
Michael I Miller,
Alain Trouvé,
Laurent Younes
Abstract:
Advances in the development of largely automated microscopy methods such as MERFISH for imaging cellular structures in mouse brains are providing spatial detection of micron resolution gene expression. While there has been tremendous progress made in the field Computational Anatomy (CA) to perform diffeomorphic mapping technologies at the tissue scales for advanced neuroinformatic studies in commo…
▽ More
Advances in the development of largely automated microscopy methods such as MERFISH for imaging cellular structures in mouse brains are providing spatial detection of micron resolution gene expression. While there has been tremendous progress made in the field Computational Anatomy (CA) to perform diffeomorphic mapping technologies at the tissue scales for advanced neuroinformatic studies in common coordinates, integration of molecular- and cellular-scale populations through statistical averaging via common coordinates remains yet unattained. This paper describes the first set of algorithms for calculating geodesics in the space of diffeomorphisms, what we term Image-Varifold LDDMM,extending the family of large deformation diffeomorphic metric mapping (LDDMM) algorithms to accommodate the "copy and paste" varifold action of particles which extends consistently to the tissue scales. We represent the brain data as geometric measures, termed as {\em image varifolds} supported by a large number of unstructured points, % (i.e., not aligned on a 2D or 3D grid), each point representing a small volume in space % (which may be incompletely described) and carrying a list of densities of {\em features} elements of a high-dimensional feature space. The shape of image varifold brain spaces is measured by transforming them by diffeomorphisms. The metric between image varifolds is obtained after embedding these objects in a linear space equipped with the norm, yielding a so-called "chordal metric."
△ Less
Submitted 17 December, 2022; v1 submitted 17 August, 2022;
originally announced August 2022.
-
Parallel Transport on Kendall Shape Spaces
Authors:
Nicolas Guigui,
Elodie Maignant,
Alain Trouvé,
Xavier Pennec
Abstract:
Kendall shape spaces are a widely used framework for the statistical analysis of shape data arising from many domains, often requiring the parallel transport as a tool to normalise time series data or transport gradient in optimisation procedures. We present an implementation of the pole ladder, an algorithm to compute parallel transport based on geodesic parallelograms and compare it to methods b…
▽ More
Kendall shape spaces are a widely used framework for the statistical analysis of shape data arising from many domains, often requiring the parallel transport as a tool to normalise time series data or transport gradient in optimisation procedures. We present an implementation of the pole ladder, an algorithm to compute parallel transport based on geodesic parallelograms and compare it to methods by integration of the parallel transport ordinary differential equation.
△ Less
Submitted 8 March, 2021;
originally announced March 2021.
-
Sinkhorn Divergences for Unbalanced Optimal Transport
Authors:
Thibault Séjourné,
Jean Feydy,
François-Xavier Vialard,
Alain Trouvé,
Gabriel Peyré
Abstract:
Optimal transport induces the Earth Mover's (Wasserstein) distance between probability distributions, a geometric divergence that is relevant to a wide range of problems. Over the last decade, two relaxations of optimal transport have been studied in depth: unbalanced transport, which is robust to the presence of outliers and can be used when distributions don't have the same total mass; entropy-r…
▽ More
Optimal transport induces the Earth Mover's (Wasserstein) distance between probability distributions, a geometric divergence that is relevant to a wide range of problems. Over the last decade, two relaxations of optimal transport have been studied in depth: unbalanced transport, which is robust to the presence of outliers and can be used when distributions don't have the same total mass; entropy-regularized transport, which is robust to sampling noise and lends itself to fast computations using the Sinkhorn algorithm. This paper combines both lines of work to put robust optimal transport on solid ground. Our main contribution is a generalization of the Sinkhorn algorithm to unbalanced transport: our method alternates between the standard Sinkhorn updates and the pointwise application of a contractive function. This implies that entropic transport solvers on grid images, point clouds and sampled distributions can all be modified easily to support unbalanced transport, with a proof of linear convergence that holds in all settings. We then show how to use this method to define pseudo-distances on the full space of positive measures that satisfy key geometric axioms: (unbalanced) Sinkhorn divergences are differentiable, positive, definite, convex, statistically robust and avoid any "entropic bias" towards a shrinkage of the measures' supports.
△ Less
Submitted 16 January, 2023; v1 submitted 28 October, 2019;
originally announced October 2019.
-
Interpolating between Optimal Transport and MMD using Sinkhorn Divergences
Authors:
Jean Feydy,
Thibault Séjourné,
François-Xavier Vialard,
Shun-ichi Amari,
Alain Trouvé,
Gabriel Peyré
Abstract:
Comparing probability distributions is a fundamental problem in data sciences. Simple norms and divergences such as the total variation and the relative entropy only compare densities in a point-wise manner and fail to capture the geometric nature of the problem. In sharp contrast, Maximum Mean Discrepancies (MMD) and Optimal Transport distances (OT) are two classes of distances between measures t…
▽ More
Comparing probability distributions is a fundamental problem in data sciences. Simple norms and divergences such as the total variation and the relative entropy only compare densities in a point-wise manner and fail to capture the geometric nature of the problem. In sharp contrast, Maximum Mean Discrepancies (MMD) and Optimal Transport distances (OT) are two classes of distances between measures that take into account the geometry of the underlying space and metrize the convergence in law.
This paper studies the Sinkhorn divergences, a family of geometric divergences that interpolates between MMD and OT. Relying on a new notion of geometric entropy, we provide theoretical guarantees for these divergences: positivity, convexity and metrization of the convergence in law. On the practical side, we detail a numerical scheme that enables the large scale application of these divergences for machine learning: on the GPU, gradients of the Sinkhorn loss can be computed for batches of a million samples.
△ Less
Submitted 18 October, 2018;
originally announced October 2018.
-
Inconsistency of Template Estimation by Minimizing of the Variance/Pre-Variance in the Quotient Space
Authors:
Loïc Devilliers,
Stéphanie Allassonnière,
Alain Trouvé,
Xavier Pennec
Abstract:
We tackle the problem of template estimation when data have been randomly deformed under a group action in the presence of noise. In order to estimate the template, one often minimizes the variance when the influence of the transformations have been removed (computation of the Fr{é}chet mean in the quotient space). The consistency bias is defined as the distance (possibly zero) between the orbit o…
▽ More
We tackle the problem of template estimation when data have been randomly deformed under a group action in the presence of noise. In order to estimate the template, one often minimizes the variance when the influence of the transformations have been removed (computation of the Fr{é}chet mean in the quotient space). The consistency bias is defined as the distance (possibly zero) between the orbit of the template and the orbit of one element which minimizes the variance. In the first part, we restrict ourselves to isometric group action, in this case the Hilbertian distance is invariant under the group action. We establish an asymptotic behavior of the consistency bias which is linear with respect to the noise level. As a result the inconsistency is unavoidable as soon as the noise is enough. In practice, template estimation with a finite sample is often done with an algorithm called "max-max". In the second part, also in the case of isometric group finite, we show the convergence of this algorithm to an empirical Karcher mean. Our numerical experiments show that the bias observed in practice can not be attributed to the small sample size or to a convergence problem but is indeed due to the previously studied inconsistency. In a third part, we also present some insights of the case of a non invariant distance with respect to the group action. We will see that the inconsistency still holds as soon as the noise level is large enough. Moreover we prove the inconsistency even when a regularization term is added.
△ Less
Submitted 30 June, 2017;
originally announced June 2017.
-
Template estimation in computational anatomy: Fréchet means in top and quotient spaces are not consistent
Authors:
Loïc Devilliers,
Stéphanie Allassonnière,
Alain Trouvé,
Xavier Pennec
Abstract:
In this article, we study the consistency of the template estimation with the Fréchet mean in quotient spaces. The Fréchet mean in quotient spaces is often used when the observations are deformed or transformed by a group action. We show that in most cases this estimator is actually inconsistent. We exhibit a sufficient condition for this inconsistency, which amounts to the folding of the distribu…
▽ More
In this article, we study the consistency of the template estimation with the Fréchet mean in quotient spaces. The Fréchet mean in quotient spaces is often used when the observations are deformed or transformed by a group action. We show that in most cases this estimator is actually inconsistent. We exhibit a sufficient condition for this inconsistency, which amounts to the folding of the distribution of the noisy template when it is projected to the quotient space. This condition appears to be fulfilled as soon as the support of the noise is large enough. To quantify this inconsistency we provide lower and upper bounds of the bias as a function of the variability (the noise level). This shows that the consistency bias cannot be neglected when the variability increases.
△ Less
Submitted 26 April, 2017; v1 submitted 12 August, 2016;
originally announced August 2016.
-
Metamorphoses of functional shapes in Sobolev spaces
Authors:
Nicolas Charon,
Benjamin Charlier,
Alain Trouvé
Abstract:
In this paper, we describe in detail a model of geometric-functional variability between fshapes. These objects were introduced for the first time by the authors in [Charlier et al. 2015] and are basically the combination of classical deformable manifolds with additional scalar signal map. Building on the aforementioned work, this paper's contributions are several. We first extend the original…
▽ More
In this paper, we describe in detail a model of geometric-functional variability between fshapes. These objects were introduced for the first time by the authors in [Charlier et al. 2015] and are basically the combination of classical deformable manifolds with additional scalar signal map. Building on the aforementioned work, this paper's contributions are several. We first extend the original $L^2$ model in order to represent signals of higher regularity on their geometrical support with more regular Hilbert norms (typically Sobolev). We describe the bundle structure of such fshape spaces with their adequate geodesic distances, encompassing in one common framework usual shape comparison and image metamorphoses. We then propose a formulation of matching between any two fshapes from the optimal control perspective, study existence of optimal controls and derive Hamiltonian equations and conservation laws describing the dynamics of geodesics. Secondly, we tackle the discrete counterpart of these problems and equations through appropriate finite elements interpolation schemes on triangular meshes. At last, we show a few results of metamorphosis matchings on synthetic and several real data examples in order to highlight the key specificities of the approach.
△ Less
Submitted 6 October, 2016; v1 submitted 5 August, 2016;
originally announced August 2016.
-
The matching problem between functional shapes via a BV penalty term: a $Γ$-convergence result
Authors:
G. Nardi,
B. Charlier,
A. Trouvé
Abstract:
This paper proves a $Γ$-convergence result for the discrete energy (to the continuous one) of the matching problem for signals defined on surfaces. In particular, we highlight some geometric properties that must be guaranteed in the discretization process to ensure the convergence of minimizers. The proof is given in the framework of functional shapes introduced in \cite{ABN}. In particular, we co…
▽ More
This paper proves a $Γ$-convergence result for the discrete energy (to the continuous one) of the matching problem for signals defined on surfaces. In particular, we highlight some geometric properties that must be guaranteed in the discretization process to ensure the convergence of minimizers. The proof is given in the framework of functional shapes introduced in \cite{ABN}. In particular, we consider a varifold-type attachment term, and a $BV$ penalty term is used instead of the original $L^2$ norm.
△ Less
Submitted 18 January, 2024; v1 submitted 26 March, 2015;
originally announced March 2015.
-
Multiple Shape Registration using Constrained Optimal Control
Authors:
Sylvain Arguillère,
Emmanuel Trélat,
Alain Trouvé,
Laurent Younes
Abstract:
Lagrangian particle formulations of the large deformation diffeomorphic metric mapping algorithm (LDDMM) only allow for the study of a single shape. In this paper, we introduce and discuss both a theoretical and practical setting for the simultaneous study of multiple shapes that are either stitched to one another or slide along a submanifold. The method is described within the optimal control for…
▽ More
Lagrangian particle formulations of the large deformation diffeomorphic metric mapping algorithm (LDDMM) only allow for the study of a single shape. In this paper, we introduce and discuss both a theoretical and practical setting for the simultaneous study of multiple shapes that are either stitched to one another or slide along a submanifold. The method is described within the optimal control formalism, and optimality conditions are given, together with the equations that are needed to implement augmented Lagrangian methods. Experimental results are provided for stitched and sliding surfaces.
△ Less
Submitted 2 March, 2015;
originally announced March 2015.
-
The fshape framework for the variability analysis of functional shapes
Authors:
Benjamin Charlier,
Nicolas Charon,
Alain Trouvé
Abstract:
This article introduces a full mathematical and numerical framework for treating functional shapes (or fshapes) following the landmarks of shape spaces and shape analysis. Functional shapes can be described as signal functions supported on varying geometrical supports. Analysing variability of fshapes' ensembles require the modelling and quantification of joint variations in geometry and signal, w…
▽ More
This article introduces a full mathematical and numerical framework for treating functional shapes (or fshapes) following the landmarks of shape spaces and shape analysis. Functional shapes can be described as signal functions supported on varying geometrical supports. Analysing variability of fshapes' ensembles require the modelling and quantification of joint variations in geometry and signal, which have been treated separately in previous approaches. Instead, building on the ideas of shape spaces for purely geometrical objects, we propose the extended concept of fshape bundles and define Riemannian metrics for fshape metamorphoses to model geometrico-functional transformations within these bundles. We also generalize previous works on data attachment terms based on the notion of varifolds and demonstrate the utility of these distances. Based on these, we propose variational formulations of the atlas estimation problem on populations of fshapes and prove existence of solutions for the different models. The second part of the article examines the numerical implementation of the models by detailing discrete expressions for the metrics and gradients and proposing an optimization scheme for the atlas estimation problem. We present a few results of the methodology on a synthetic dataset as well as on a population of retinal membranes with thickness maps.
△ Less
Submitted 24 April, 2014;
originally announced April 2014.
-
Shape deformation analysis from the optimal control viewpoint
Authors:
Sylvain Arguillere,
Emmanuel Trélat,
Alain Trouvé,
Laurent Younes
Abstract:
A crucial problem in shape deformation analysis is to determine a deformation of a given shape into another one, which is optimal for a certain cost. It has a number of applications in particular in medical imaging. In this article we provide a new general approach to shape deformation analysis, within the framework of optimal control theory, in which a deformation is represented as the flow of di…
▽ More
A crucial problem in shape deformation analysis is to determine a deformation of a given shape into another one, which is optimal for a certain cost. It has a number of applications in particular in medical imaging. In this article we provide a new general approach to shape deformation analysis, within the framework of optimal control theory, in which a deformation is represented as the flow of diffeomorphisms generated by time-dependent vector fields. Using reproducing kernel Hilbert spaces of vector fields, the general shape deformation analysis problem is specified as an infinite-dimensional optimal control problem with state and control constraints. In this problem, the states are diffeomorphisms and the controls are vector fields, both of them being subject to some constraints. The functional to be minimized is the sum of a first term defined as geometric norm of the control (kinetic energy of the deformation) and of a data attachment term providing a geometric distance to the target shape. This point of view has several advantages. First, it allows one to model general constrained shape analysis problems, which opens new issues in this field. Second, using an extension of the Pontryagin maximum principle, one can characterize the optimal solutions of the shape deformation problem in a very general way as the solutions of constrained geodesic equations. Finally, recasting general algorithms of optimal control into shape analysis yields new efficient numerical methods in shape deformation analysis. Overall, the optimal control point of view unifies and generalizes different theoretical and numerical approaches to shape deformation problems, and also allows us to design new approaches. The optimal control problems that result from this construction are infinite dimensional and involve some constraints, and thus are nonstandard. In this article we also provide a rigorous and complete analysis of the infinite-dimensional shape space problem with constraints and of its finite-dimensional approximations.
△ Less
Submitted 3 January, 2014;
originally announced January 2014.
-
The varifold representation of non-oriented shapes for diffeomorphic registration
Authors:
Nicolas Charon,
Alain Trouvé
Abstract:
In this paper, we address the problem of orientation that naturally arises when representing shapes like curves or surfaces as currents. In the field of computational anatomy, the framework of currents has indeed proved very efficient to model a wide variety of shapes. However, in such approaches, orientation of shapes is a fundamental issue that can lead to several drawbacks in treating certain k…
▽ More
In this paper, we address the problem of orientation that naturally arises when representing shapes like curves or surfaces as currents. In the field of computational anatomy, the framework of currents has indeed proved very efficient to model a wide variety of shapes. However, in such approaches, orientation of shapes is a fundamental issue that can lead to several drawbacks in treating certain kind of datasets. More specifically, problems occur with structures like acute pikes because of canceling effects of currents or with data that consists in many disconnected pieces like fiber bundles for which currents require a consistent orientation of all pieces. As a promising alternative to currents, varifolds, introduced in the context of geometric measure theory by F. Almgren, allow the representation of any non-oriented manifold (more generally any non-oriented rectifiable set). In particular, we explain how varifolds can encode numerically non-oriented objects both from the discrete and continuous point of view. We show various ways to build a Hilbert space structure on the set of varifolds based on the theory of reproducing kernels. We show that, unlike the currents' setting, these metrics are consistent with shape volume (theorem 4.1) and we derive a formula for the variation of metric with respect to the shape (theorem 4.2). Finally, we propose a generalization to non-oriented shapes of registration algorithms in the context of Large Deformations Metric Mapping (LDDMM), which we detail with a few examples in the last part of the paper.
△ Less
Submitted 22 April, 2013;
originally announced April 2013.
-
Functional Currents : a new mathematical tool to model and analyse functional shapes
Authors:
Nicolas Charon,
Alain Trouvé
Abstract:
This paper introduces the concept of functional current as a mathematical framework to represent and treat functional shapes, i.e. sub-manifold supported signals. It is motivated by the growing occurrence, in medical imaging and computational anatomy, of what can be described as geometrico-functional data, that is a data structure that involves a deformable shape (roughly a finite dimensional sub…
▽ More
This paper introduces the concept of functional current as a mathematical framework to represent and treat functional shapes, i.e. sub-manifold supported signals. It is motivated by the growing occurrence, in medical imaging and computational anatomy, of what can be described as geometrico-functional data, that is a data structure that involves a deformable shape (roughly a finite dimensional sub manifold) together with a function defined on this shape taking value in another manifold.
Indeed, if mathematical currents have already proved to be very efficient theoretically and numerically to model and process shapes as curves or surfaces, they are limited to the manipulation of purely geometrical objects. We show that the introduction of the concept of functional currents offers a genuine solution to the simultaneous processing of the geometric and signal information of any functional shape. We explain how functional currents can be equipped with a Hilbertian norm mixing geometrical and functional content of functional shapes nicely behaving under geometrical and functional perturbations and paving the way to various processing algorithms. We illustrate this potential on two problems: the redundancy reduction of functional shapes representations through matching pursuit schemes on functional currents and the simultaneous geometric and functional registration of functional shapes under diffeomorphic transport.
△ Less
Submitted 15 June, 2012;
originally announced June 2012.
-
Shape Splines and Stochastic Shape Evolutions: A Second Order Point of View
Authors:
Alain Trouvé,
François-Xavier Vialard
Abstract:
This article presents a new mathematical framework to perform statistical analysis on time-indexed sequences of 2D or 3D shapes. At the core of this statistical analysis is the task of time interpolation of such data. Current models in use can be compared to linear interpolation for one dimensional data. We develop a spline interpolation method which is directly related to cubic splines on a Riema…
▽ More
This article presents a new mathematical framework to perform statistical analysis on time-indexed sequences of 2D or 3D shapes. At the core of this statistical analysis is the task of time interpolation of such data. Current models in use can be compared to linear interpolation for one dimensional data. We develop a spline interpolation method which is directly related to cubic splines on a Riemannian manifold. Our strategy consists of introducing a control variable on the Hamiltonian equations of the geodesics. Motivated by statistical modeling of spatiotemporal data, we also design a stochastic model to deal with random shape evolutions. This model is closely related to the spline model since the control variable previously introduced is set as a random force perturbing the evolution. Although we focus on the finite dimensional case of landmarks, our models can be extended to infinite dimensional shape spaces, and they provide a first step for a non parametric growth model for shapes taking advantage of the widely developed framework of large deformations by diffeomorphisms.
△ Less
Submitted 19 March, 2010;
originally announced March 2010.
