Showing 1–37 of 37 results for author: Bruveris, M

FADE: Few-shot/zero-shot Anomaly Detection Engine using Large Vision-Language Model

Authors: Yuanwei Li, Elizaveta Ivanova, Martins Bruveris

Abstract: Automatic image anomaly detection is important for quality inspection in the manufacturing industry. The usual unsupervised anomaly detection approach is to train a model for each object class using a dataset of normal samples. However, a more realistic problem is zero-/few-shot anomaly detection where zero or only a few normal samples are available. This makes the training of object-specific mode… ▽ More Automatic image anomaly detection is important for quality inspection in the manufacturing industry. The usual unsupervised anomaly detection approach is to train a model for each object class using a dataset of normal samples. However, a more realistic problem is zero-/few-shot anomaly detection where zero or only a few normal samples are available. This makes the training of object-specific models challenging. Recently, large foundation vision-language models have shown strong zero-shot performance in various downstream tasks. While these models have learned complex relationships between vision and language, they are not specifically designed for the tasks of anomaly detection. In this paper, we propose the Few-shot/zero-shot Anomaly Detection Engine (FADE) which leverages the vision-language CLIP model and adjusts it for the purpose of industrial anomaly detection. Specifically, we improve language-guided anomaly segmentation 1) by adapting CLIP to extract multi-scale image patch embeddings that are better aligned with language and 2) by automatically generating an ensemble of text prompts related to industrial anomaly detection. 3) We use additional vision-based guidance from the query and reference images to further improve both zero-shot and few-shot anomaly detection. On the MVTec-AD (and VisA) dataset, FADE outperforms other state-of-the-art methods in anomaly segmentation with pixel-AUROC of 89.6% (91.5%) in zero-shot and 95.4% (97.5%) in 1-normal-shot. Code is available at https://github.com/BMVC-FADE/BMVC-FADE. △ Less

Submitted 31 August, 2024; originally announced September 2024.

Comments: 13 pages, 2 figures, Accepted for BMVC 2024

Reducing Geographic Performance Differential for Face Recognition

Authors: Martins Bruveris, Jochem Gietema, Pouria Mortazavian, Mohan Mahadevan

Abstract: As face recognition algorithms become more accurate and get deployed more widely, it becomes increasingly important to ensure that the algorithms work equally well for everyone. We study the geographic performance differentials-differences in false acceptance and false rejection rates across different countries-when comparing selfies against photos from ID documents. We show how to mitigate geogra… ▽ More As face recognition algorithms become more accurate and get deployed more widely, it becomes increasingly important to ensure that the algorithms work equally well for everyone. We study the geographic performance differentials-differences in false acceptance and false rejection rates across different countries-when comparing selfies against photos from ID documents. We show how to mitigate geographic performance differentials using sampling strategies despite large imbalances in the dataset. Using vanilla domain adaptation strategies to fine-tune a face recognition CNN on domain-specific doc-selfie data improves the performance of the model on such data, but, in the presence of imbalanced training data, also significantly increases the demographic bias. We then show how to mitigate this effect by employing sampling strategies to balance the training procedure. △ Less

Submitted 27 February, 2020; originally announced February 2020.

Comments: Demographic Variation in the Performance of Biometric Systems workshop at WACV 2020

Well-posedness of the EPDiff equation with a pseudo-differential inertia operator

Authors: Martin Bauer, Martins Bruveris, Emanuel Cismas, Joachim Escher, Boris Kolev

Abstract: In this article we study the class of right-invariant, fractional order Sobolev-type metrics on groups of diffeomorphisms of a compact manifold M. Our main result concerns well-posedness properties for the corresponding Euler-Arnold equations, also called the EPDiff equations, which are of importance in mathematical physics and in the field of shape analysis and template registration. Depending on… ▽ More In this article we study the class of right-invariant, fractional order Sobolev-type metrics on groups of diffeomorphisms of a compact manifold M. Our main result concerns well-posedness properties for the corresponding Euler-Arnold equations, also called the EPDiff equations, which are of importance in mathematical physics and in the field of shape analysis and template registration. Depending on the order of the metric, we will prove both local and global well-posedness results for these equations. As a result of our analysis we will also obtain new commutator estimates for elliptic pseudo-differential operators. △ Less

Submitted 8 November, 2019; originally announced November 2019.

Smooth perturbations of the functional calculus and applications to Riemannian geometry on spaces of metrics

Authors: Martin Bauer, Martins Bruveris, Philipp Harms, Peter W. Michor

Abstract: We show for a certain class of operators $A$ and holomorphic functions $f$ that the functional calculus $A\mapsto f(A)$ is holomorphic. Using this result we are able to prove that fractional Laplacians $(1+Δ^g)^p$ depend real analytically on the metric $g$ in suitable Sobolev topologies. As an application we obtain local well-posedness of the geodesic equation for fractional Sobolev metrics on the… ▽ More We show for a certain class of operators $A$ and holomorphic functions $f$ that the functional calculus $A\mapsto f(A)$ is holomorphic. Using this result we are able to prove that fractional Laplacians $(1+Δ^g)^p$ depend real analytically on the metric $g$ in suitable Sobolev topologies. As an application we obtain local well-posedness of the geodesic equation for fractional Sobolev metrics on the space of all Riemannian metrics. △ Less

Submitted 31 October, 2021; v1 submitted 7 October, 2018; originally announced October 2018.

Comments: 32 pages, minor revision

MSC Class: 46T05 (primary) 58E10; 47A56 (secondary)

Journal ref: Communications in Mathematical Physics 389 (2022), 899-931

Riemannian geometry for shape analysis and computational anatomy

Authors: Martins Bruveris

Abstract: Shape analysis and compuational anatomy both make use of sophisticated tools from infinite-dimensional differential manifolds and Riemannian geometry on spaces of functions. While comprehensive references for the mathematical foundations exist, it is sometimes difficult to gain an overview how differential geometry and functional analysis interact in a given problem. This paper aims to provide a r… ▽ More Shape analysis and compuational anatomy both make use of sophisticated tools from infinite-dimensional differential manifolds and Riemannian geometry on spaces of functions. While comprehensive references for the mathematical foundations exist, it is sometimes difficult to gain an overview how differential geometry and functional analysis interact in a given problem. This paper aims to provide a roadmap to the unitiated to the world of infinite-dimensional Riemannian manifolds, spaces of mappings and Sobolev metrics: all tools used in computational anatomy and shape analysis. △ Less

Submitted 30 July, 2018; originally announced July 2018.

Comments: 20 pages

MSC Class: 58B20; 58D15

The $L^2$-metric on $C^\infty(M,N)$

Authors: Martins Bruveris

Abstract: Let $M$, $N$ be finite-dimensional manifolds with $M$ compact. This paper looks at the Riemnannian geometry on the space $C^\infty(M,N)$ of smooth maps equipped with the $L^2$-Riemannian metric. This metric was used by Ebin and Marsden in the proof of the well-posedness of the incompressible Euler equation and is related to the Wasserstein distance in optimal transport. The paper gives an introduc… ▽ More Let $M$, $N$ be finite-dimensional manifolds with $M$ compact. This paper looks at the Riemnannian geometry on the space $C^\infty(M,N)$ of smooth maps equipped with the $L^2$-Riemannian metric. This metric was used by Ebin and Marsden in the proof of the well-posedness of the incompressible Euler equation and is related to the Wasserstein distance in optimal transport. The paper gives an introduction to the challenges of infinite-dimensional Riemannian geometry and shows how one use general connections to relate the geometry of $N$ and the geometry of $C^\infty(M,N)$. △ Less

Submitted 2 April, 2018; originally announced April 2018.

Comments: 16 pages

MSC Class: 58D15; 58B20

A relaxed approach for curve matching with elastic metrics

Authors: Martin Bauer, Martins Bruveris, Nicolas Charon, Jakob Møller-Andersen

Abstract: In this paper we study a class of Riemannian metrics on the space of unparametrized curves and develop a method to compute geodesics with given boundary conditions. It extends previous works on this topic in several important ways. The model and resulting matching algorithm integrate within one common setting both the family of $H^2$-metrics with constant coefficients and scale-invariant $H^2$-met… ▽ More In this paper we study a class of Riemannian metrics on the space of unparametrized curves and develop a method to compute geodesics with given boundary conditions. It extends previous works on this topic in several important ways. The model and resulting matching algorithm integrate within one common setting both the family of $H^2$-metrics with constant coefficients and scale-invariant $H^2$-metrics on both open and closed immersed curves. These families include as particular cases the class of first-order elastic metrics. An essential difference with prior approaches is the way that boundary constraints are dealt with. By leveraging varifold-based similarity metrics we propose a relaxed variational formulation for the matching problem that avoids the necessity of optimizing over the reparametrization group. Furthermore, we show that we can also quotient out finite-dimensional similarity groups such as translation, rotation and scaling groups. The different properties and advantages are illustrated through numerical examples in which we also provide a comparison with related diffeomorphic methods used in shape registration. △ Less

Submitted 19 September, 2018; v1 submitted 28 March, 2018; originally announced March 2018.

Comments: 27 pages

MSC Class: 68Q25; 68R10; 68U05

Riemannian geometry on spaces of submanifolds induced by the diffeomorphism group

Authors: Martins Bruveris

Abstract: The space of embedded submanifolds plays an important role in applications such as computational anatomy and shape analysis. We can define two different classes on Riemannian metrics on this space: so-called outer metrics are metrics that measure shape changes using deformations of the ambient space and they find applications mostly in computational anatomy; the second class that are defined direc… ▽ More The space of embedded submanifolds plays an important role in applications such as computational anatomy and shape analysis. We can define two different classes on Riemannian metrics on this space: so-called outer metrics are metrics that measure shape changes using deformations of the ambient space and they find applications mostly in computational anatomy; the second class that are defined directly on the space of embeddings using intrinsic differential operations and they are used in shape analysis. In this paper we compare for the first time the topologies and the geodesic distance functions induced by these the two classes of metrics. △ Less

Submitted 17 September, 2017; originally announced September 2017.

Comments: 21 pages

MSC Class: 58D05; 35Q35

Varifold-based matching of curves via Sobolev-type Riemannian metrics

Authors: Martins Bauer, Martins Bruveris, Nicolas Charon, Jakob Møller-Andersen

Abstract: Second order Sobolev metrics are a useful tool in the shape analysis of curves. In this paper we combine these metrics with varifold-based inexact matching to explore a new strategy of computing geodesics between unparametrized curves. We describe the numerical method used for solving the inexact matching problem, apply it to study the shape of mosquito wings and compare our method to curve matchi… ▽ More Second order Sobolev metrics are a useful tool in the shape analysis of curves. In this paper we combine these metrics with varifold-based inexact matching to explore a new strategy of computing geodesics between unparametrized curves. We describe the numerical method used for solving the inexact matching problem, apply it to study the shape of mosquito wings and compare our method to curve matching in the LDDMM framework. △ Less

Submitted 6 June, 2017; originally announced June 2017.

Comments: 12 pages

MSC Class: 58B20 (Primary); 62H25; 62H30 (Secondary)

Completeness of Length-Weighted Sobolev Metrics on the Space of Curves

Authors: Martins Bruveris, Jakob Møller-Andersen

Abstract: In this article we prove completeness results for Sobolev metrics with nonconstant coefficients on the space of immersed curves and on the space of unparametrized curves. We provide necessary as well as sufficient conditions for the coefficients of the Riemannian metric for the metric to be metrically complete and we construct examples of incomplete metrics. This work is an extension of previous w… ▽ More In this article we prove completeness results for Sobolev metrics with nonconstant coefficients on the space of immersed curves and on the space of unparametrized curves. We provide necessary as well as sufficient conditions for the coefficients of the Riemannian metric for the metric to be metrically complete and we construct examples of incomplete metrics. This work is an extension of previous work on completeness of Sobolev metrics with constant coefficients. △ Less

Submitted 22 May, 2017; originally announced May 2017.

Comments: 15 pages, 1 figure

MSC Class: Primary: 58D10; Secondary: 58B20; 53A04; 35A01

Fractional Sobolev metrics on spaces of immersed curves

Authors: Martin Bauer, Martins Bruveris, Boris Kolev

Abstract: Motivated by applications in the field of shape analysis, we study reparametrization invariant, fractional order Sobolev-type metrics on the space of smooth regular curves $\operatorname{Imm}(S^1,\mathbb{R}^d)$ and on its Sobolev completions $\mathcal{I}^{q}(S^1,\mathbb{R}^{d})$. We prove local well-posedness of the geodesic equations both on the Banach manifold… ▽ More Motivated by applications in the field of shape analysis, we study reparametrization invariant, fractional order Sobolev-type metrics on the space of smooth regular curves $\operatorname{Imm}(S^1,\mathbb{R}^d)$ and on its Sobolev completions $\mathcal{I}^{q}(S^1,\mathbb{R}^{d})$. We prove local well-posedness of the geodesic equations both on the Banach manifold $\mathcal{I}^{q}(S^1,\mathbb{R}^{d})$ and on the Fréchet-manifold $\operatorname{Imm}(S^1,\mathbb{R}^d)$ provided the order of the metric is greater or equal to one. In addition we show that the $H^s$-metric induces a strong Riemannian metric on the Banach manifold $\mathcal{I}^{s}(S^1,\mathbb{R}^{d})$ of the same order $s$, provided $s>\frac 32$. These investigations can be also interpreted as a generalization of the analysis for right invariant metrics on the diffeomorphism group. △ Less

Submitted 9 March, 2017; originally announced March 2017.

Comments: 23 pages, 1 figure

Journal ref: Calculus of Variations and Partial Differential Equations 57 (Jan 2018), no. 1, 27

Soliton solutions for the elastic metric on spaces of curves

Authors: Martin Bauer, Martins Bruveris, Philipp Harms, Peter Michor

Abstract: In this article we investigate a first order reparametrization-invariant Sobolev metric on the space of immersed curves. Motivated by applications in shape analysis where discretizations of this infinite-dimensional space are needed, we extend this metric to the space of Lipschitz curves, establish the wellposedness of the geodesic equation thereon, and show that the space of piecewise linear curv… ▽ More In this article we investigate a first order reparametrization-invariant Sobolev metric on the space of immersed curves. Motivated by applications in shape analysis where discretizations of this infinite-dimensional space are needed, we extend this metric to the space of Lipschitz curves, establish the wellposedness of the geodesic equation thereon, and show that the space of piecewise linear curves is a totally geodesic submanifold. Thus, piecewise linear curves are natural finite elements for the discretization of the geodesic equation. Interestingly, geodesics in this space can be seen as soliton solutions of the geodesic equation, which were not known to exist for reparametrization-invariant Sobolev metrics on spaces of curves. △ Less

Submitted 12 November, 2017; v1 submitted 14 February, 2017; originally announced February 2017.

Comments: Minor corrections; 27 pages, 4 figures, 3 movies

MSC Class: 58E10 (Primary) 49M25; 58B20; 58D10 (Secondary)

Journal ref: Discrete and Dynamical Systems A, 38.3 (2018), 1161-1185

Geometry of the Fisher-Rao metric on the space of smooth densities on a compact manifold

Authors: Martins Bruveris, Peter W. Michor

Abstract: It is known that on a closed manifold of dimension greater than one, every smooth weak Riemannian metric on the space of smooth positive densities that is invariant under the action of the diffeomorphism group, is of the form $$ G_μ(α,β)=C_1(μ(M)) \int_M \fracαμ\fracβμ\,μ+ C_2(μ(M)) \int_Mα\cdot \int_Mβ$$ for some smooth functions $C_1,C_2$ of the total volume $μ(M)$. Here we determine the geodesi… ▽ More It is known that on a closed manifold of dimension greater than one, every smooth weak Riemannian metric on the space of smooth positive densities that is invariant under the action of the diffeomorphism group, is of the form $$ G_μ(α,β)=C_1(μ(M)) \int_M \fracαμ\fracβμ\,μ+ C_2(μ(M)) \int_Mα\cdot \int_Mβ$$ for some smooth functions $C_1,C_2$ of the total volume $μ(M)$. Here we determine the geodesics and the curvature of this metric and study geodesic and metric completeness. △ Less

Submitted 9 May, 2018; v1 submitted 15 July, 2016; originally announced July 2016.

Comments: 13 pages, 3 figures. Adapted to the final accepted version

MSC Class: 58B20; 58D15

Journal ref: Mathematische Nachrichten (2018)

Moser's theorem on manifolds with corners

Authors: Martins Bruveris, Peter W. Michor, Adam Parusinski, Armin Rainer

Abstract: Moser's theorem (1965) states that the diffeomorphism group of a compact manifold acts transitively on the space of all smooth positive densities with fixed volume. Here we describe the extension of this result to manifolds with corners. In particular we obtain Moser's theorem on simplices. The proof is based on Banyaga's paper (1974), where Moser's theorem is proven for manifolds with boundary. A… ▽ More Moser's theorem (1965) states that the diffeomorphism group of a compact manifold acts transitively on the space of all smooth positive densities with fixed volume. Here we describe the extension of this result to manifolds with corners. In particular we obtain Moser's theorem on simplices. The proof is based on Banyaga's paper (1974), where Moser's theorem is proven for manifolds with boundary. A cohomological interpretation of Banyaga's operator is given, which allows a proof of Lefschetz duality using differential forms. △ Less

Submitted 12 February, 2018; v1 submitted 26 April, 2016; originally announced April 2016.

Comments: 9 pages; mistakes corrected, final accepted version

MSC Class: 53C65; 58A10

Journal ref: Proc. Amer. Math. Soc. 146 (2018), No. 11, 4889-4897

A Numerical Framework for Sobolev Metrics on the Space of Curves

Authors: Martin Bauer, Martins Bruveris, Philipp Harms, Jakob Møller-Andersen

Abstract: Statistical shape analysis can be done in a Riemannian framework by endowing the set of shapes with a Riemannian metric. Sobolev metrics of order two and higher on shape spaces of parametrized or unparametrized curves have several desirable properties not present in lower order metrics, but their discretization is still largely missing. In this paper, we present algorithms to numerically solve the… ▽ More Statistical shape analysis can be done in a Riemannian framework by endowing the set of shapes with a Riemannian metric. Sobolev metrics of order two and higher on shape spaces of parametrized or unparametrized curves have several desirable properties not present in lower order metrics, but their discretization is still largely missing. In this paper, we present algorithms to numerically solve the geodesic initial and boundary value problems for these metrics. The combination of these algorithms enables one to compute Karcher means in a Riemannian gradient-based optimization scheme and perform principal component analysis and clustering. Our framework is sufficiently general to be applicable to a wide class of metrics. We demonstrate the effectiveness of our approach by analyzing a collection of shapes representing HeLa cell nuclei. △ Less

Submitted 16 October, 2016; v1 submitted 10 March, 2016; originally announced March 2016.

Comments: 27 pages, 14 figures

MSC Class: 58B20; 58E50 (Primary); 49M25; 68U05 (Secondary)

Regularity of Maps between Sobolev Spaces

Authors: Martins Bruveris

Abstract: Let $F : H^q \to H^q$ be a $C^k$-map between Sobolev spaces, either on $\mathbb R^d$ or on a compact manifold. We show that equivariance of $F$ under the diffeomorphism group allows to trade regularity of $F$ as a nonlinear map for regularity in the image space: for $0 \leq l \leq k$, the map $F: H^{q+l} \to H^{q+l}$ is well-defined and of class $C^{k-l}$. This result is used to study the regulari… ▽ More Let $F : H^q \to H^q$ be a $C^k$-map between Sobolev spaces, either on $\mathbb R^d$ or on a compact manifold. We show that equivariance of $F$ under the diffeomorphism group allows to trade regularity of $F$ as a nonlinear map for regularity in the image space: for $0 \leq l \leq k$, the map $F: H^{q+l} \to H^{q+l}$ is well-defined and of class $C^{k-l}$. This result is used to study the regularity of the geodesic boundary value problem for Sobolev metrics on the diffeomorphism group and the space of curves. △ Less

Submitted 21 February, 2016; originally announced February 2016.

Comments: 13 pages

MSC Class: Primary 58D15; Secondary 58D05; 58B20

Second order elastic metrics on the shape space of curves

Authors: Martin Bauer, Martins Bruveris, Philipp Harms, Jakob Møller-Andersen

Abstract: Second order Sobolev metrics on the space of regular unparametrized planar curves have several desirable completeness properties not present in lower order metrics, but numerics are still largely missing. In this paper, we present algorithms to numerically solve the initial and boundary value problems for geodesics. The combination of these algorithms allows to compute Karcher means in a Riemannia… ▽ More Second order Sobolev metrics on the space of regular unparametrized planar curves have several desirable completeness properties not present in lower order metrics, but numerics are still largely missing. In this paper, we present algorithms to numerically solve the initial and boundary value problems for geodesics. The combination of these algorithms allows to compute Karcher means in a Riemannian gradient-based optimization scheme. Our framework has the advantage that the constants determining the weights of the zero, first, and second order terms of the metric can be chosen freely. Moreover, due to its generality, it could be applied to more general spaces of mapping. We demonstrate the effectiveness of our approach by analyzing a collection of shapes representing physical objects. △ Less

Submitted 31 July, 2015; originally announced July 2015.

Comments: 11 pages, 5 figures

MSC Class: 58B20 (Primary); 62H25; 62H30 (Secondary)

Journal ref: Proceedings of the 1st International Workshop on DIFFerential Geometry in Computer Vision for Analysis of Shapes, Images and Trajectories (DIFF-CV 2015), pp. 9.1-9.11

Optimal reparametrizations in the square root velocity framework

Authors: Martins Bruveris

Abstract: The square root velocity framework is a method in shape analysis to define a distance between curves and functional data. Identifying two curves if they differ by a reparametrisation leads to the quotient space of unparametrised curves. In this paper we study analytical and topological aspects of this construction for the class of absolutely continuous curves. We show that the square root velocity… ▽ More The square root velocity framework is a method in shape analysis to define a distance between curves and functional data. Identifying two curves if they differ by a reparametrisation leads to the quotient space of unparametrised curves. In this paper we study analytical and topological aspects of this construction for the class of absolutely continuous curves. We show that the square root velocity transform is a homeomorphism and that the action of the reparametrisation semigroup is continuous. We also show that given two $C^1$-curves, there exist optimal reparametrisations realising the minimal distance between the unparametrised curves represented by them. Furthermore we give an example of two Lipschitz curves, for which no pair of optimal reparametrisations exists. △ Less

Submitted 30 September, 2016; v1 submitted 9 July, 2015; originally announced July 2015.

Comments: 21 pages

MSC Class: 58B20; 58D15

Curve Matching with Applications in Medical Imaging

Authors: Martin Bauer, Martins Bruveris, Philipp Harms, Jakob Møller-Andersen

Abstract: In the recent years, Riemannian shape analysis of curves and surfaces has found several applications in medical image analysis. In this paper we present a numerical discretization of second order Sobolev metrics on the space of regular curves in Euclidean space. This class of metrics has several desirable mathematical properties. We propose numerical solutions for the initial and boundary value pr… ▽ More In the recent years, Riemannian shape analysis of curves and surfaces has found several applications in medical image analysis. In this paper we present a numerical discretization of second order Sobolev metrics on the space of regular curves in Euclidean space. This class of metrics has several desirable mathematical properties. We propose numerical solutions for the initial and boundary value problems of finding geodesics. These two methods are combined in a Riemannian gradient-based optimization scheme to compute the Karcher mean. We apply this to a study of the shape variation in HeLa cell nuclei and cycles of cardiac deformations, by computing means and principal modes of variations. △ Less

Submitted 29 June, 2015; originally announced June 2015.

Comments: 11 pages, 9 figures

MSC Class: 58B20 (Primary); 62H25; 62H30 (Secondary)

Why Use Sobolev Metrics on the Space of Curves

Authors: Martin Bauer, Martins Bruveris, Peter W. Michor

Abstract: We study reparametrization invariant Sobolev metrics on spaces of regular curves. We discuss their completeness properties and the resulting usability for applications in shape analysis. In particular, we will argue, that the development of efficient numerical methods for higher order Sobolev type metrics is an extremely desirable goal. We study reparametrization invariant Sobolev metrics on spaces of regular curves. We discuss their completeness properties and the resulting usability for applications in shape analysis. In particular, we will argue, that the development of efficient numerical methods for higher order Sobolev type metrics is an extremely desirable goal. △ Less

Submitted 11 February, 2015; originally announced February 2015.

Comments: 22 pages, many figures

MSC Class: 58-02; 58B20; 58D15; 35Q31; 65A99

Journal ref: Riemannian Computing in Computer Vision. Ed.: Pavan K. Turaga, Anuj Srivastava. Pages 233-255. Springer-Verlag, 2016. ISBN 978-3-319-22956-0

Uniqueness of the Fisher-Rao metric on the space of smooth densities

Authors: Martin Bauer, Martins Bruveris, Peter W. Michor

Abstract: On a closed manifold of dimension greater than one, every smooth weak Riemannian metric on the space of smooth positive probability densities, that is invariant under the action of the diffeomorphism group, is a multiple of the Fisher--Rao metric. On a closed manifold of dimension greater than one, every smooth weak Riemannian metric on the space of smooth positive probability densities, that is invariant under the action of the diffeomorphism group, is a multiple of the Fisher--Rao metric. △ Less

Submitted 1 December, 2014; v1 submitted 20 November, 2014; originally announced November 2014.

Comments: 8 pages. This version: Main theorem reformulated, small changes

MSC Class: 58B20; 58D15

Journal ref: Bulletin of the London Mathematical Society. 48, 3 (2016), 499-506

Completeness Properties of Sobolev Metrics on the Space of Curves

Authors: Martins Bruveris

Abstract: We study completeness properties of Sobolev metrics on the space of immersed curves and on the shape space of unparametrized curves. We show that Sobolev metrics of order $n\geq 2$ are metrically complete on the space $\mathcal I^n(S^1,\mathbb R^d)$ of Sobolev immersions of the same regularity and that any two curves in the same connected component can be joined by a minimizing geodesic. These res… ▽ More We study completeness properties of Sobolev metrics on the space of immersed curves and on the shape space of unparametrized curves. We show that Sobolev metrics of order $n\geq 2$ are metrically complete on the space $\mathcal I^n(S^1,\mathbb R^d)$ of Sobolev immersions of the same regularity and that any two curves in the same connected component can be joined by a minimizing geodesic. These results then imply that the shape space of unparametrized curves has the structure of a complete length space. △ Less

Submitted 8 April, 2015; v1 submitted 2 July, 2014; originally announced July 2014.

Comments: 26 pages, revised version

MSC Class: 58D10; 58D20; 53A04; 35A01

On Completeness of Groups of Diffeomorphisms

Authors: Martins Bruveris, François-Xavier Vialard

Abstract: We study completeness properties of the Sobolev diffeomorphism groups $\mathcal D^s(M)$ endowed with strong right-invariant Riemannian metrics when the underlying manifold $M$ is $\mathbb R^d$ or compact without boundary. The main result is that for $s > \dim M/2 + 1$, the group $\mathcal D^s(M)$ is geodesically and metrically complete with a surjective exponential map. We then present the connect… ▽ More We study completeness properties of the Sobolev diffeomorphism groups $\mathcal D^s(M)$ endowed with strong right-invariant Riemannian metrics when the underlying manifold $M$ is $\mathbb R^d$ or compact without boundary. The main result is that for $s > \dim M/2 + 1$, the group $\mathcal D^s(M)$ is geodesically and metrically complete with a surjective exponential map. We then present the connection between the Sobolev diffeomorphism group and the large deformation matching framework in order to apply our results to diffeomorphic image matching. △ Less

Submitted 27 January, 2016; v1 submitted 9 March, 2014; originally announced March 2014.

Comments: 43 pages, revised version

MSC Class: 58D05; 58B20

Geodesic Completeness for Sobolev Metrics on the Space of Immersed Plane Curves

Authors: Martins Bruveris, Peter W. Michor, David Mumford

Abstract: We study properties of Sobolev-type metrics on the space of immersed plane curves. We show that the geodesic equation for Sobolev-type metrics with constant coefficients of order 2 and higher is globally well-posed for smooth initial data as well as initial data in certain Sobolev spaces. Thus the space of closed plane curves equipped with such a metric is geodesically complete. We find lower boun… ▽ More We study properties of Sobolev-type metrics on the space of immersed plane curves. We show that the geodesic equation for Sobolev-type metrics with constant coefficients of order 2 and higher is globally well-posed for smooth initial data as well as initial data in certain Sobolev spaces. Thus the space of closed plane curves equipped with such a metric is geodesically complete. We find lower bounds for the geodesic distance in terms of curvature and its derivatives. △ Less

Submitted 23 June, 2014; v1 submitted 17 December, 2013; originally announced December 2013.

Comments: 36 pages, LaTeX

MSC Class: 58D10; 58E30; 35A01

Journal ref: Forum of Mathematics, Sigma 2, e19, 38 pages, 2014

$R$-transforms for Sobolev $H^2$-metrics on spaces of plane curves

Authors: Martin Bauer, Martins Bruveris, Peter W. Michor

Abstract: We consider spaces of smooth immersed plane curves (modulo translations and/or rotations), equipped with reparameterization invariant weak Riemannian metrics involving second derivatives. This includes the full $H^2$-metric without zero order terms. We find isometries (called $R$-transforms) from some of these spaces into function spaces with simpler weak Riemannian metrics, and we use this to giv… ▽ More We consider spaces of smooth immersed plane curves (modulo translations and/or rotations), equipped with reparameterization invariant weak Riemannian metrics involving second derivatives. This includes the full $H^2$-metric without zero order terms. We find isometries (called $R$-transforms) from some of these spaces into function spaces with simpler weak Riemannian metrics, and we use this to give explicit formulas for geodesics, geodesic distances, and sectional curvatures. We also show how to utilise the isometries to compute geodesics numerically. △ Less

Submitted 14 November, 2013; originally announced November 2013.

Comments: 40 pages, 3 figures

MSC Class: 35Q31; 58B20; 58D05

Journal ref: Geometry, Imaging and Computing, Volume 1, Number 1, 1-56, 2014

Geometry of Image Registration: The Diffeomorphism Group and Momentum Maps

Authors: Martins Bruveris, Darryl D. Holm

Abstract: These lecture notes explain the geometry and discuss some of the analytical questions underlying image registration within the framework of large deformation diffeomorphic metric mapping (LDDMM) used in computational anatomy. These lecture notes explain the geometry and discuss some of the analytical questions underlying image registration within the framework of large deformation diffeomorphic metric mapping (LDDMM) used in computational anatomy. △ Less

Submitted 31 October, 2013; v1 submitted 28 June, 2013; originally announced June 2013.

Comments: 33 pages, 1 figure, typesetting errors fixed

Overview of the Geometries of Shape Spaces and Diffeomorphism Groups

Authors: Martin Bauer, Martins Bruveris, Peter W. Michor

Abstract: This article provides an overview of various notions of shape spaces, including the space of parametrized and unparametrized curves, the space of immersions, the diffeomorphism group and the space of Riemannian metrics. We discuss the Riemannian metrics that can be defined thereon, and what is known about the properties of these metrics. We put particular emphasis on the induced geodesic distance,… ▽ More This article provides an overview of various notions of shape spaces, including the space of parametrized and unparametrized curves, the space of immersions, the diffeomorphism group and the space of Riemannian metrics. We discuss the Riemannian metrics that can be defined thereon, and what is known about the properties of these metrics. We put particular emphasis on the induced geodesic distance, the geodesic equation and its well-posedness, geodesic and metric completeness and properties of the curvature. △ Less

Submitted 31 October, 2013; v1 submitted 6 May, 2013; originally announced May 2013.

Comments: 38 pages, 10 figures. This version has many more small changes and finally agrees with the published version

MSC Class: 58B20; 58D15; 35Q31

Journal ref: Journal of Mathematical Imaging and Vision, 50, 1-2, 60-97, 2014

Geodesic distance for right invariant Sobolev metrics of fractional order on the diffeomorphism group. II

Authors: Martin Bauer, Martins Bruveris, Peter W. Michor

Abstract: The geodesic distance vanishes on the group of compactly supported diffeomorphisms of a Riemannian manifold $M$ of bounded geometry, for the right invariant weak Riemannian metric which is induced by the Sobolev metric $H^s$ of order $0\le s<\tfrac12$ on the Lie algebra $\mathfrak X_c(M)$ of vector fields with compact support. The geodesic distance vanishes on the group of compactly supported diffeomorphisms of a Riemannian manifold $M$ of bounded geometry, for the right invariant weak Riemannian metric which is induced by the Sobolev metric $H^s$ of order $0\le s<\tfrac12$ on the Lie algebra $\mathfrak X_c(M)$ of vector fields with compact support. △ Less

Submitted 30 November, 2012; originally announced November 2012.

Comments: 7 pages

MSC Class: 35Q31; 58B20; 58D05

Journal ref: Annals of Global Analysis and Geometry 44, 4 (2013), 361-368

The homogeneous Sobolev metric of order one on diffeomorphism groups on the real line

Authors: Martin Bauer, Martins Bruveris, Peter W. Michor

Abstract: In this article we study Sobolev metrics of order one on diffeomorphism groups on the real line. We prove that the space $\operatorname{Diff}_{1}(\mathbb R)$ equipped with the homogenous Sobolev metric of order one is a flat space in the sense of Riemannian geometry, as it is isometric to an open subset of a mapping space equipped with the flat $L^2$-metric. Here… ▽ More In this article we study Sobolev metrics of order one on diffeomorphism groups on the real line. We prove that the space $\operatorname{Diff}_{1}(\mathbb R)$ equipped with the homogenous Sobolev metric of order one is a flat space in the sense of Riemannian geometry, as it is isometric to an open subset of a mapping space equipped with the flat $L^2$-metric. Here $\operatorname{Diff}_{1}(\mathbb R)$ denotes the extension of the group of all either compactly supported, rapidly decreasing or $H^\infty$-diffeomorphisms, that allows for a shift towards infinity. In particular this result provides an analytic solution formula for the corresponding geodesic equation, the non-periodic Hunter-Saxton equation. In addition we show that one can obtain a similar result for the two-component Hunter-Saxton equation and discuss the case of the non-homogenous Sobolev one metric which is related to the Camassa-Holm equation. △ Less

Submitted 7 May, 2014; v1 submitted 13 September, 2012; originally announced September 2012.

Comments: 31 pages, 6 figures. Misprints corrected, made analogous to the published version

MSC Class: 35Q31; 58B20; 58D05

Journal ref: Journal of Nonlinear Science 24, 5 (2014), 769-808

Constructing reparametrization invariant metrics on spaces of plane curves

Authors: Martin Bauer, Martins Bruveris, Stephen Marsland, Peter W. Michor

Abstract: Metrics on shape space are used to describe deformations that take one shape to another, and to determine a distance between them. We study a family of metrics on the space of curves, that includes several recently proposed metrics, for which the metrics are characterised by mappings into vector spaces where geodesics can be easily computed. This family consists of Sobolev-type Riemannian metrics… ▽ More Metrics on shape space are used to describe deformations that take one shape to another, and to determine a distance between them. We study a family of metrics on the space of curves, that includes several recently proposed metrics, for which the metrics are characterised by mappings into vector spaces where geodesics can be easily computed. This family consists of Sobolev-type Riemannian metrics of order one on the space $\text{Imm}(S^1,\mathbb R^2)$ of parametrized plane curves and the quotient space $\text{Imm}(S^1,\mathbb R^2)/\text{Diff}(S^1)$ of unparametrized curves. For the space of open parametrized curves we find an explicit formula for the geodesic distance and show that the sectional curvatures vanish on the space of parametrized and are non-negative on the space of unparametrized open curves. For the metric, which is induced by the "R-transform", we provide a numerical algorithm that computes geodesics between unparameterised, closed curves, making use of a constrained formulation that is implemented numerically using the RATTLE algorithm. We illustrate the algorithm with some numerical tests that demonstrate it's efficiency and robustness. △ Less

Submitted 6 February, 2014; v1 submitted 25 July, 2012; originally announced July 2012.

Comments: 27 pages, 4 figures. Extended version

MSC Class: 58B20; 58D15; 65D18

Journal ref: Differential Geometry and its Applications 34 (2014), 139-165

Mixture of Kernels and Iterated Semidirect Product of Diffeomorphisms Groups

Authors: Martins Bruveris, Laurent Risser, François-Xavier Vialard

Abstract: In the framework of large deformation diffeomorphic metric mapping (LDDMM), we develop a multi-scale theory for the diffeomorphism group based on previous works. The purpose of the paper is (1) to develop in details a variational approach for multi-scale analysis of diffeomorphisms, (2) to generalise to several scales the semidirect product representation and (3) to illustrate the resulting diffeo… ▽ More In the framework of large deformation diffeomorphic metric mapping (LDDMM), we develop a multi-scale theory for the diffeomorphism group based on previous works. The purpose of the paper is (1) to develop in details a variational approach for multi-scale analysis of diffeomorphisms, (2) to generalise to several scales the semidirect product representation and (3) to illustrate the resulting diffeomorphic decomposition on synthetic and real images. We also show that the approaches presented in other papers and the mixture of kernels are equivalent. △ Less

Submitted 8 April, 2015; v1 submitted 4 August, 2011; originally announced August 2011.

Comments: 21 pages, revised version without section on evaluation

MSC Class: 49J15; 68U10

Journal ref: Multiscale Model. Simul., 10(4), 1344-1368, 2012

The energy functional on the Virasoro-Bott group with the $L^2$-metric has no local minima

Authors: Martins Bruveris

Abstract: The geodesic equation for the right invariant $L^2$-metric (which is a weak Riemannian metric) on each Virasoro-Bott group is equivalent to the KdV-equation. We prove that the corresponding energy functional, when restricted to paths with fixed endpoints, has no local minima. In particular solutions of KdV don't define locally length-minimizing paths. The geodesic equation for the right invariant $L^2$-metric (which is a weak Riemannian metric) on each Virasoro-Bott group is equivalent to the KdV-equation. We prove that the corresponding energy functional, when restricted to paths with fixed endpoints, has no local minima. In particular solutions of KdV don't define locally length-minimizing paths. △ Less

Submitted 8 April, 2015; v1 submitted 21 June, 2011; originally announced June 2011.

Comments: 12 pages, revised version

MSC Class: 35Q53; 35A15; 58B20; 58D05; 58D15; 58E12

Journal ref: Ann. Glob. Anal. Geom., 41(4), 461-472, 2012

A New Riemannian Setting for Surface Registration

Authors: Martin Bauer, Martins Bruveris

Abstract: We present a new approach for matching regular surfaces in a Riemannian setting. We use a Sobolev type metric on deformation vector fields which form the tangent bundle to the space of surfaces. In this article we compare our approach with the diffeomorphic matching framework. In the latter approach a deformation is prescribed on the ambient space, which then drags along an embedded surface. In co… ▽ More We present a new approach for matching regular surfaces in a Riemannian setting. We use a Sobolev type metric on deformation vector fields which form the tangent bundle to the space of surfaces. In this article we compare our approach with the diffeomorphic matching framework. In the latter approach a deformation is prescribed on the ambient space, which then drags along an embedded surface. In contrast our metric is defined directly on the deformation vector field and can therefore be called an inner metric. We also show how to discretize the corresponding geodesic equation and compute the gradient of the cost functional using finite elements. △ Less

Submitted 19 September, 2014; v1 submitted 3 June, 2011; originally announced June 2011.

Comments: 12 pages, 4 figures

Geodesic distance for right invariant Sobolev metrics of fractional order on the diffeomorphism group

Authors: Martin Bauer, Martins Bruveris, Philipp Harms, Peter W. Michor

Abstract: We study Sobolev-type metrics of fractional order $s\geq0$ on the group $\Diff_c(M)$ of compactly supported diffeomorphisms of a manifold $M$. We show that for the important special case $M=S^1$ the geodesic distance on $\Diff_c(S^1)$ vanishes if and only if $s\leq\frac12$. For other manifolds we obtain a partial characterization: the geodesic distance on $\Diff_c(M)$ vanishes for… ▽ More We study Sobolev-type metrics of fractional order $s\geq0$ on the group $\Diff_c(M)$ of compactly supported diffeomorphisms of a manifold $M$. We show that for the important special case $M=S^1$ the geodesic distance on $\Diff_c(S^1)$ vanishes if and only if $s\leq\frac12$. For other manifolds we obtain a partial characterization: the geodesic distance on $\Diff_c(M)$ vanishes for $M=\R\times N, s<\frac12$ and for $M=S^1\times N, s\leq\frac12$, with $N$ being a compact Riemannian manifold. On the other hand the geodesic distance on $\Diff_c(M)$ is positive for $\dim(M)=1, s>\frac12$ and $\dim(M)\geq2, s\geq1$. For $M=\R^n$ we discuss the geodesic equations for these metrics. For $n=1$ we obtain some well known PDEs of hydrodynamics: Burgers' equation for $s=0$, the modified Constantin-Lax-Majda equation for $s=\frac 12$ and the Camassa-Holm equation for $s=1$. △ Less

Submitted 7 September, 2012; v1 submitted 2 May, 2011; originally announced May 2011.

Comments: 16 pages. Final version

MSC Class: 35Q31; 58B20; 58D05

Journal ref: Ann. Glob. Anal. Geom. 44, 1 (2013), 5-21

Vanishing geodesic distance for the Riemannian metric with geodesic equation the KdV-equation

Authors: Martin Bauer, Martins Bruveris, Philipp Harms, Peter W. Michor

Abstract: The Virasoro-Bott group endowed with the right-invariant $L^2$-metric (which is a weak Riemannian metric) has the KdV-equation as geodesic equation. We prove that this metric space has vanishing geodesic distance. The Virasoro-Bott group endowed with the right-invariant $L^2$-metric (which is a weak Riemannian metric) has the KdV-equation as geodesic equation. We prove that this metric space has vanishing geodesic distance. △ Less

Submitted 14 September, 2011; v1 submitted 1 February, 2011; originally announced February 2011.

Comments: 10 pages, 1 figure; typos corrected. Title changed. It agrees with the published version

MSC Class: 35Q53; 58B20; 58D05; 58D15; 58E12

Journal ref: Ann. Glob. Anal. Geom. 41, 4 (2012) 461-472

Un-reduction

Authors: Martins Bruveris, David C. P. Ellis, Francois Gay-Balmaz, Darryl D. Holm

Abstract: This paper provides a full geometric development of a new technique called un-reduction, for dealing with dynamics and optimal control problems posed on spaces that are unwieldy for numerical implementation. The technique, which was originally concieved for an application to image dynamics, uses Lagrangian reduction by symmetry in reverse. A deeper understanding of un-reduction leads to new develo… ▽ More This paper provides a full geometric development of a new technique called un-reduction, for dealing with dynamics and optimal control problems posed on spaces that are unwieldy for numerical implementation. The technique, which was originally concieved for an application to image dynamics, uses Lagrangian reduction by symmetry in reverse. A deeper understanding of un-reduction leads to new developments in image matching which serve to illustrate the mathematical power of the technique. △ Less

Submitted 8 April, 2015; v1 submitted 30 November, 2010; originally announced December 2010.

Comments: 25 pages, revised version

MSC Class: 37K05; 37K65

Journal ref: J. Geom. Mech., 3(4), 363-387, 2011

The momentum map representation of images

Authors: M. Bruveris, F. Gay-Balmaz, D. D. Holm, T. S. Ratiu

Abstract: This paper discusses the mathematical framework for designing methods of large deformation matching (LDM) for image registration in computational anatomy. After reviewing the geometrical framework of LDM image registration methods, a theorem is proved showing that these methods may be designed by using the actions of diffeomorphisms on the image data structure to define their associated momentum r… ▽ More This paper discusses the mathematical framework for designing methods of large deformation matching (LDM) for image registration in computational anatomy. After reviewing the geometrical framework of LDM image registration methods, a theorem is proved showing that these methods may be designed by using the actions of diffeomorphisms on the image data structure to define their associated momentum representations as (cotangent lift) momentum maps. To illustrate its use, the momentum map theorem is shown to recover the known algorithms for matching landmarks, scalar images and vector fields. After briefly discussing the use of this approach for Diffusion Tensor (DT) images, we explain how to use momentum maps in the design of registration algorithms for more general data structures. For example, we extend our methods to determine the corresponding momentum map for registration using semidirect product groups, for the purpose of matching images at two different length scales. Finally, we discuss the use of momentum maps in the design of image registration algorithms when the image data is defined on manifolds instead of vector spaces. △ Less

Submitted 8 April, 2015; v1 submitted 15 December, 2009; originally announced December 2009.

Comments: 34 pages, revised version

MSC Class: 58E50; 53D20; 58D05; 68U10; 94A08

Journal ref: J. Nonlinear Sci., 21(1), 115-150, 2011