-
On low-dimensional approximation of function spaces of interior regularity
Authors:
S. Aziz,
M. Bauer,
M. Bebendorf,
T. Rau
Abstract:
Many elliptic boundary value problems exhibit an interior regularity property, which can be exploited to construct local approximation spaces that converge exponentially within function spaces satisfying this property. These spaces can be used to define local ansatz spaces within the framework of generalised finite element methods, leading to a better relation between dimensionality and convergenc…
▽ More
Many elliptic boundary value problems exhibit an interior regularity property, which can be exploited to construct local approximation spaces that converge exponentially within function spaces satisfying this property. These spaces can be used to define local ansatz spaces within the framework of generalised finite element methods, leading to a better relation between dimensionality and convergence order. In this paper, we present a new technique for the construction of such spaces for Lipschitz domains. Instead of the commonly used approach based on eigenvalue problems it relies on extensions of approximations performed on the boundary. Hence, it improves the influence of the spatial dimension on the exponential convergence and allows to construct the local spaces by solving the original kind of variational problems on easily structured domains.
△ Less
Submitted 3 July, 2025;
originally announced July 2025.
-
Breakdown of smooth solutions to the subcritical EPDiff equation
Authors:
Martin Bauer,
Stephen C. Preston,
Justin Valletta
Abstract:
We consider the EPDiff equation on $\mathbb{R}^n$ with the integer-order homogeneous Sobolev inertia operator $A=(-Δ)^k$. We prove that for arbitrary radial initial data and a sign condition on the initial momentum, the corresponding radial velocity solution has $C^1$ norm that blows up in finite time whenever $0\le k<n/2+1.$ Our approach is to use Lagrangian coordinates to formulate EPDiff as an…
▽ More
We consider the EPDiff equation on $\mathbb{R}^n$ with the integer-order homogeneous Sobolev inertia operator $A=(-Δ)^k$. We prove that for arbitrary radial initial data and a sign condition on the initial momentum, the corresponding radial velocity solution has $C^1$ norm that blows up in finite time whenever $0\le k<n/2+1.$ Our approach is to use Lagrangian coordinates to formulate EPDiff as an ODE on a Banach space, enabling us to use a comparison estimate with the Liouville equation. Along the way we derive the Green function in terms of hypergeometric functions and discuss their properties. This is a step toward proving the general conjecture that the EPDiff equation is globally well-posed for any Sobolev inertia operator of any real order $k$ if and only if $k\ge n/2+1$.
△ Less
Submitted 25 March, 2025;
originally announced March 2025.
-
Sobolev Metrics on Spaces of Discrete Regular Curves
Authors:
Jonathan Cerqueira,
Emmanuel Hartman,
Eric Klassen,
Martin Bauer
Abstract:
Reparametrization invariant Sobolev metrics on spaces of regular curves have been shown to be of importance in the field of mathematical shape analysis. For practical applications, one usually discretizes the space of smooth curves and considers the induced Riemannian metric on a finite dimensional approximation space. Surprisingly, the theoretical properties of the corresponding finite dimensiona…
▽ More
Reparametrization invariant Sobolev metrics on spaces of regular curves have been shown to be of importance in the field of mathematical shape analysis. For practical applications, one usually discretizes the space of smooth curves and considers the induced Riemannian metric on a finite dimensional approximation space. Surprisingly, the theoretical properties of the corresponding finite dimensional Riemannian manifolds have not yet been studied in detail, which is the content of the present article. Our main theorem concerns metric and geodesic completeness and mirrors the results of the infinite dimensional setting as obtained by Bruveris, Michor and Mumford.
△ Less
Submitted 24 March, 2025; v1 submitted 3 September, 2024;
originally announced September 2024.
-
The Z-Gromov-Wasserstein Distance
Authors:
Martin Bauer,
Facundo Mémoli,
Tom Needham,
Mao Nishino
Abstract:
The Gromov-Wasserstein (GW) distance is a powerful tool for comparing metric measure spaces which has found broad applications in data science and machine learning. Driven by the need to analyze datasets whose objects have increasingly complex structure (such as node and edge-attributed graphs), several variants of GW distance have been introduced in the recent literature. With a view toward estab…
▽ More
The Gromov-Wasserstein (GW) distance is a powerful tool for comparing metric measure spaces which has found broad applications in data science and machine learning. Driven by the need to analyze datasets whose objects have increasingly complex structure (such as node and edge-attributed graphs), several variants of GW distance have been introduced in the recent literature. With a view toward establishing a general framework for the theory of GW-like distances, this paper considers a vast generalization of the notion of a metric measure space: for an arbitrary metric space $Z$, we define a $Z$-network to be a measure space endowed with a kernel valued in $Z$. We introduce a method for comparing $Z$-networks by defining a generalization of GW distance, which we refer to as $Z$-Gromov-Wasserstein ($Z$-GW) distance. This construction subsumes many previously known metrics and offers a unified approach to understanding their shared properties. This paper demonstrates that the $Z$-GW distance defines a metric on the space of $Z$-networks which retains desirable properties of $Z$, such as separability, completeness, and geodesicity. Many of these properties were unknown for existing variants of GW distance that fall under our framework. Our focus is on foundational theory, but our results also include computable lower bounds and approximations of the distance which will be useful for practical applications.
△ Less
Submitted 6 January, 2025; v1 submitted 15 August, 2024;
originally announced August 2024.
-
Symplectic structures on the space of space curves
Authors:
Martin Bauer,
Sadashige Ishida,
Peter W. Michor
Abstract:
We present symplectic structures on the shape space of unparameterized space curves that generalize the classical Marsden-Weinstein structure. Our method integrates the Liouville 1-form of the Marsden-Weinstein structure with Riemannian structures that have been introduced in mathematical shape analysis. We also derive Hamiltonian vector fields for several classical Hamiltonian functions with resp…
▽ More
We present symplectic structures on the shape space of unparameterized space curves that generalize the classical Marsden-Weinstein structure. Our method integrates the Liouville 1-form of the Marsden-Weinstein structure with Riemannian structures that have been introduced in mathematical shape analysis. We also derive Hamiltonian vector fields for several classical Hamiltonian functions with respect to these new symplectic structures.
△ Less
Submitted 29 July, 2024;
originally announced July 2024.
-
Path constrained unbalanced optimal transport
Authors:
Martin Bauer,
Nicolas Charon,
Tom Needham,
Mao Nishino
Abstract:
Dynamical formulations of optimal transport (OT) frame the task of comparing distributions as a variational problem which searches for a path between distributions minimizing a kinetic energy functional. In applications, it is frequently natural to require paths of distributions to satisfy additional conditions. Inspired by this, we introduce a model for dynamical OT which incorporates constraints…
▽ More
Dynamical formulations of optimal transport (OT) frame the task of comparing distributions as a variational problem which searches for a path between distributions minimizing a kinetic energy functional. In applications, it is frequently natural to require paths of distributions to satisfy additional conditions. Inspired by this, we introduce a model for dynamical OT which incorporates constraints on the space of admissible paths into the framework of unbalanced OT, where the source and target measures are allowed to have a different total mass. Our main results establish, for several general families of constraints, the existence of solutions to the variational problem which defines this path constrained unbalanced optimal transport framework. These results are primarily concerned with distributions defined on a Euclidean space, but we extend them to distributions defined over parallelizable Riemannian manifolds as well. We also consider metric properties of our framework, showing that, for certain types of constraints, our model defines a metric on the relevant space of distributions. This metric is shown to arise as a geodesic distance of a Riemannian metric, obtained through an analogue of Otto's submersion in the classical OT setting.
△ Less
Submitted 2 June, 2025; v1 submitted 24 February, 2024;
originally announced February 2024.
-
Completeness and geodesic distance properties for fractional Sobolev metrics on spaces of immersed curves
Authors:
Martin Bauer,
Patrick Heslin,
Cy Maor
Abstract:
We investigate the geometry of the space of immersed closed curves equipped with reparametrization-invariant Riemannian metrics; the metrics we consider are Sobolev metrics of possible fractional order $q\in [0,\infty)$. We establish the critical Sobolev index on the metric for several key geometric properties. Our first main result shows that the Riemannian metric induces a metric space structure…
▽ More
We investigate the geometry of the space of immersed closed curves equipped with reparametrization-invariant Riemannian metrics; the metrics we consider are Sobolev metrics of possible fractional order $q\in [0,\infty)$. We establish the critical Sobolev index on the metric for several key geometric properties. Our first main result shows that the Riemannian metric induces a metric space structure if and only if $q>1/2$. Our second main result shows that the metric is geodesically-complete (i.e., the geodesic equation is globally well-posed) if $q>3/2$, whereas if $q<3/2$ then finite-time blowup may occur. The geodesic-completeness for $q>3/2$ is obtained by proving metric-completeness of the space of $H^q$-immersed curves with the distance induced by the Riemannian metric.
△ Less
Submitted 4 May, 2024; v1 submitted 29 December, 2023;
originally announced December 2023.
-
Geometric Analysis of the Generalized Surface Quasi-Geostrophic Equations
Authors:
Martin Bauer,
Patrick Heslin,
Gerard Misiołek,
Stephen C. Preston
Abstract:
We investigate the geometry of a family of equations in two dimensions which interpolate between the Euler equations of ideal hydrodynamics and the inviscid surface quasi-geostrophic equation. This family can be realised as geodesic equations on groups of diffeomorphisms. We show precisely when the corresponding Riemannian exponential map is non-linear Fredholm of index 0. We further illustrate th…
▽ More
We investigate the geometry of a family of equations in two dimensions which interpolate between the Euler equations of ideal hydrodynamics and the inviscid surface quasi-geostrophic equation. This family can be realised as geodesic equations on groups of diffeomorphisms. We show precisely when the corresponding Riemannian exponential map is non-linear Fredholm of index 0. We further illustrate this by examining the distribution of conjugate points in these settings via a Morse theoretic approach.
△ Less
Submitted 7 December, 2023;
originally announced December 2023.
-
Equivariant Tutte Polynomial
Authors:
Mario Bauer,
Matěj Doležálek,
Magdaléna Mišinová,
Semen Słobodianiuk,
Julian Weigert
Abstract:
We use the equivariant cohomology ring of the permutohedral variety to study matroids and their invariants. Investigating the pushforward of matroid Chern classes defined by A. Berget, C. Eur, H. Spink and D. Tseng to the product space $\mathbb{P}^n \times \mathbb{P}^n$, we establish an equivariant generalization of the Tutte polynomial of a matroid. This was suggested in a survey paper by M.Micha…
▽ More
We use the equivariant cohomology ring of the permutohedral variety to study matroids and their invariants. Investigating the pushforward of matroid Chern classes defined by A. Berget, C. Eur, H. Spink and D. Tseng to the product space $\mathbb{P}^n \times \mathbb{P}^n$, we establish an equivariant generalization of the Tutte polynomial of a matroid. This was suggested in a survey paper by M.Michałek. We discuss how this polynomial encodes properties of the matroid by looking at special evaluations. We further introduce an equivariant generalization of the reduced characteristic polynomial of a matroid.
△ Less
Submitted 29 December, 2023; v1 submitted 1 December, 2023;
originally announced December 2023.
-
Basis restricted elastic shape analysis on the space of unregistered surfaces
Authors:
Emmanuel Hartman,
Emery Pierson,
Martin Bauer,
Mohamed Daoudi,
Nicolas Charon
Abstract:
This paper introduces a new mathematical and numerical framework for surface analysis derived from the general setting of elastic Riemannian metrics on shape spaces. Traditionally, those metrics are defined over the infinite dimensional manifold of immersed surfaces and satisfy specific invariance properties enabling the comparison of surfaces modulo shape preserving transformations such as repara…
▽ More
This paper introduces a new mathematical and numerical framework for surface analysis derived from the general setting of elastic Riemannian metrics on shape spaces. Traditionally, those metrics are defined over the infinite dimensional manifold of immersed surfaces and satisfy specific invariance properties enabling the comparison of surfaces modulo shape preserving transformations such as reparametrizations. The specificity of the approach we develop is to restrict the space of allowable transformations to predefined finite dimensional bases of deformation fields. These are estimated in a data-driven way so as to emulate specific types of surface transformations observed in a training set. The use of such bases allows to simplify the representation of the corresponding shape space to a finite dimensional latent space. However, in sharp contrast with methods involving e.g. mesh autoencoders, the latent space is here equipped with a non-Euclidean Riemannian metric precisely inherited from the family of aforementioned elastic metrics. We demonstrate how this basis restricted model can be then effectively implemented to perform a variety of tasks on surface meshes which, importantly, does not assume these to be pre-registered (i.e. with given point correspondences) or to even have a consistent mesh structure. We specifically validate our approach on human body shape and pose data as well as human face scans, and show how it generally outperforms state-of-the-art methods on problems such as shape registration, interpolation, motion transfer or random pose generation.
△ Less
Submitted 7 November, 2023;
originally announced November 2023.
-
A new lower bound for deterministic pop-stack-sorting
Authors:
Morgan Bauer,
Keith Copenhaver
Abstract:
The pop-stack-sorting process is a variation of the stack-sort process. We consider a deterministic version of this process, and provide a new lower bound of $\frac{3}{5}n$ for the number of sorts to fully sort a uniformly randomly chosen permutation via a useful lemma.
The pop-stack-sorting process is a variation of the stack-sort process. We consider a deterministic version of this process, and provide a new lower bound of $\frac{3}{5}n$ for the number of sorts to fully sort a uniformly randomly chosen permutation via a useful lemma.
△ Less
Submitted 23 August, 2024; v1 submitted 16 July, 2023;
originally announced July 2023.
-
The $L^p$-Fisher-Rao metric and Amari-Cencov $α$-connections
Authors:
Martin Bauer,
Alice Le Brigant,
Yuxiu Lu,
Cy Maor
Abstract:
We introduce a family of Finsler metrics, called the $L^p$-Fisher-Rao metrics $F_p$, for $p\in (1,\infty)$, which generalizes the classical Fisher-Rao metric $F_2$, both on the space of densities Dens$_+(M)$ and probability densities Prob$(M)$. We then study their relations to the Amari-uCencov $α$-connections $\nabla^{(α)}$ from information geometry: on Dens$_+(M)$, the geodesic equations of…
▽ More
We introduce a family of Finsler metrics, called the $L^p$-Fisher-Rao metrics $F_p$, for $p\in (1,\infty)$, which generalizes the classical Fisher-Rao metric $F_2$, both on the space of densities Dens$_+(M)$ and probability densities Prob$(M)$. We then study their relations to the Amari-uCencov $α$-connections $\nabla^{(α)}$ from information geometry: on Dens$_+(M)$, the geodesic equations of $F_p$ and $\nabla^{(α)}$ coincide, for $p = 2/(1-α)$. Both are pullbacks of canonical constructions on $L^p(M)$, in which geodesics are simply straight lines. In particular, this gives a new variational interpretation of $α$-geodesics as being energy minimizing curves. On Prob$(M)$, the $F_p$ and $\nabla^{(α)}$ geodesics can still be thought as pullbacks of natural operations on the unit sphere in $L^p(M)$, but in this case they no longer coincide unless $p=2$. Using this transformation, we solve the geodesic equation of the $α$-connection by showing that the geodesic are pullbacks of projections of straight lines onto the unit sphere, and they always cease to exists after finite time when they leave the positive part of the sphere. This unveils the geometric structure of solutions to the generalized Proudman-Johnson equations, and generalizes them to higher dimensions. In addition, we calculate the associate tensors of $F_p$, and study their relation to $\nabla^{(α)}$.
△ Less
Submitted 31 July, 2023; v1 submitted 26 June, 2023;
originally announced June 2023.
-
Liouville comparison theory for blowup of Euler-Arnold equations
Authors:
Martin Bauer,
Stephen C. Preston,
Justin Valletta
Abstract:
In this article we introduce a new blowup criterion for (generalized) Euler-Arnold equations on $\mathbb R^n$. Our method is based on treating the equation in Lagrangian coordinates, where it is an ODE on the diffeomorphism group, and comparison with the Liouville equation; in contrast to the usual comparison approach at a single point, we apply comparison in an infinite dimensional function space…
▽ More
In this article we introduce a new blowup criterion for (generalized) Euler-Arnold equations on $\mathbb R^n$. Our method is based on treating the equation in Lagrangian coordinates, where it is an ODE on the diffeomorphism group, and comparison with the Liouville equation; in contrast to the usual comparison approach at a single point, we apply comparison in an infinite dimensional function space. We thereby show that the Jacobian of the Lagrangian flow map of the solution reaches zero in finite time, which corresponds to $C^1$-blowup of the velocity field solution. We demonstrate the applicability of our result by proving blowup of smooth solutions to some higher-order versions of the EPDiff equation in all dimensions $n\geq 3$. Previous results on blowup of higher dimensional EPDiff equations were only for versions where the geometric description corresponds to a Sobolev metric of order zero or one. In these situations the behavior does not depend on the dimension and thus already solutions to the one-dimensional version were exhibiting blowup. In the present paper blowup is proved even in situations where the one-dimensional equation has global solutions, such as the EPDiff equation corresponding to a Sobolev metric of order two.
△ Less
Submitted 20 June, 2024; v1 submitted 16 June, 2023;
originally announced June 2023.
-
Regularity and completeness of half-Lie groups
Authors:
Martin Bauer,
Philipp Harms,
Peter W. Michor
Abstract:
Half Lie groups exist only in infinite dimensions: They are smooth manifolds and topological groups such that right translations are smooth, but left translations are merely required to be continuous. The main examples are groups of $H^s$ or $C^k$ diffeomorphisms and semidirect products of a Lie group with kernel an infinite dimensional representation space. Here, we investigate mainly Banach half…
▽ More
Half Lie groups exist only in infinite dimensions: They are smooth manifolds and topological groups such that right translations are smooth, but left translations are merely required to be continuous. The main examples are groups of $H^s$ or $C^k$ diffeomorphisms and semidirect products of a Lie group with kernel an infinite dimensional representation space. Here, we investigate mainly Banach half-Lie groups, the groups of their $C^k$-elements, extensions, and right invariant strong Riemannian metrics on them: surprisingly the full Hopf--Rinow theorem holds, which is not the case in general even for Hilbert manifolds.
△ Less
Submitted 7 January, 2025; v1 submitted 3 February, 2023;
originally announced February 2023.
-
Square Root Normal Fields for Lipschitz surfaces and the Wasserstein Fisher Rao metric
Authors:
Emmanuel Hartman,
Martin Bauer,
Eric Klassen
Abstract:
The Square Root Normal Field (SRNF) framework is a method in the area of shape analysis that defines a (pseudo) distance between unparametrized surfaces. For piecewise linear (PL) surfaces it was recently proved that the SRNF distance between unparametrized surfaces is equivalent to the Wasserstein Fisher Rao (WFR) metric on the space of finitely supported measures on $S^2$. In the present article…
▽ More
The Square Root Normal Field (SRNF) framework is a method in the area of shape analysis that defines a (pseudo) distance between unparametrized surfaces. For piecewise linear (PL) surfaces it was recently proved that the SRNF distance between unparametrized surfaces is equivalent to the Wasserstein Fisher Rao (WFR) metric on the space of finitely supported measures on $S^2$. In the present article we extend this point of view to a much larger set of surfaces; we show that the SRNF distance on the space of Lipschitz surfaces is equivalent to the WFR distance between Borel measures on $S^2$. For the space of spherical surfaces this result directly allows us to characterize the non-injectivity and the (closure of the) image of the SRNF transform. In the last part of the paper we further generalize this result by showing that the WFR metric for general measure spaces can be interpreted as an optimization problem over the diffeomorphism group of an independent background space.
△ Less
Submitted 11 October, 2023; v1 submitted 31 December, 2022;
originally announced January 2023.
-
Bernoulli variables, classical exclusion processes and free probability
Authors:
Michel Bauer,
Denis Bernard,
Philippe Biane,
Ludwig Hruza
Abstract:
We present a new description of the known large deviation function of the classical symmetric simple exclusion process by exploiting its connection with the quantum symmetric simple exclusion processes and using tools from free probability. This may seem paradoxal as free probability usually deals with non commutative probability while the simple exclusion process belongs to the realm of classical…
▽ More
We present a new description of the known large deviation function of the classical symmetric simple exclusion process by exploiting its connection with the quantum symmetric simple exclusion processes and using tools from free probability. This may seem paradoxal as free probability usually deals with non commutative probability while the simple exclusion process belongs to the realm of classical probability. On the way, we give a new formula for the free energy -- alias the logarithm of the Laplace transform of the probability distribution -- of correlated Bernoulli variables in terms of the set of their cumulants with non-coinciding indices. This latter result is obtained either by developing a combinatorial approach for cumulants of products of random variables or by borrowing techniques from Feynman graphs.
△ Less
Submitted 3 November, 2022;
originally announced November 2022.
-
Elastic Metrics on Spaces of Euclidean Curves: Theory and Algorithms
Authors:
Martin Bauer,
Nicolas Charon,
Eric Klassen,
Sebastian Kurtek,
Tom Needham,
Thomas Pierron
Abstract:
A main goal in the field of statistical shape analysis is to define computable and informative metrics on spaces of immersed manifolds, such as the space of curves in a Euclidean space. The approach taken in the elastic shape analysis framework is to define such a metric by starting with a reparameterization-invariant Riemannian metric on the space of parameterized shapes and inducing a metric on…
▽ More
A main goal in the field of statistical shape analysis is to define computable and informative metrics on spaces of immersed manifolds, such as the space of curves in a Euclidean space. The approach taken in the elastic shape analysis framework is to define such a metric by starting with a reparameterization-invariant Riemannian metric on the space of parameterized shapes and inducing a metric on the quotient by the group of diffeomorphisms. This quotient metric is computed, in practice, by finding a registration of two shapes over the diffeomorphism group. For spaces of Euclidean curves, the initial Riemannian metric is frequently chosen from a two-parameter family of Sobolev metrics, called elastic metrics. Elastic metrics are especially convenient because, for several parameter choices, they are known to be locally isometric to Riemannian metrics for which one is able to solve the geodesic boundary problem explictly -- well-known examples of these local isometries include the complex square root transform of Younes, Michor, Mumford and Shah and square root velocity (SRV) transform of Srivastava, Klassen, Joshi and Jermyn. In this paper, we show that the SRV transform extends to elastic metrics for all choices of parameters, for curves in any dimension, thereby fully generalizing the work of many authors over the past two decades. We give a unified treatment of the elastic metrics: we extend results of Trouvé and Younes, Bruveris as well as Lahiri, Robinson and Klassen on the existence of solutions to the registration problem, we develop algorithms for computing distances and geodesics, and we apply these algorithms to metric learning problems, where we learn optimal elastic metric parameters for statistical shape analysis tasks.
△ Less
Submitted 20 September, 2022;
originally announced September 2022.
-
Adaptive $\mathcal{H}$-Matrix Computations in Linear Elasticity
Authors:
Maximilian Bauer,
Mario Bebendorf
Abstract:
This article deals with the adaptive and approximative computation of the Lamé equations. The equations of linear elasticity are considered as boundary integral equations and solved in the setting of the boundary element method (BEM). Using BEM, one is faced with the solution of a system of equations with a fully populated system matrix, which is in general very costly. Some adaptive algorithms ba…
▽ More
This article deals with the adaptive and approximative computation of the Lamé equations. The equations of linear elasticity are considered as boundary integral equations and solved in the setting of the boundary element method (BEM). Using BEM, one is faced with the solution of a system of equations with a fully populated system matrix, which is in general very costly. Some adaptive algorithms based on hierarchical matrices and the adaptive cross approximation are proposed. At first, an adaptive matrix-vector multiplication scheme is introduced for the efficient treatment of multiplying discretizations with given data. The strategy, to reach this aim, is to use error estimators and techniques known from adaptivity. The case of approximating the system matrix appearing in the linear system of equations with this new type of adaptivity is also discussed.
△ Less
Submitted 10 May, 2022;
originally announced May 2022.
-
The Square Root Normal Field Distance and Unbalanced Optimal Transport
Authors:
Martin Bauer,
Emmanuel Hartman,
Eric Klassen
Abstract:
This paper explores a novel connection between two areas: shape analysis of surfaces and unbalanced optimal transport. Specifically, we characterize the square root normal field (SRNF) shape distance as the pullback of the Wasserstein-Fisher-Rao (WFR) unbalanced optimal transport distance. In addition, we propose a new algorithm for computing the WFR distance and present numerical results that hig…
▽ More
This paper explores a novel connection between two areas: shape analysis of surfaces and unbalanced optimal transport. Specifically, we characterize the square root normal field (SRNF) shape distance as the pullback of the Wasserstein-Fisher-Rao (WFR) unbalanced optimal transport distance. In addition, we propose a new algorithm for computing the WFR distance and present numerical results that highlight the effectiveness of this algorithm. As a consequence of our results we obtain a precise method for computing the SRNF shape distance directly on piecewise linear surfaces and gain new insights about the degeneracy of this distance.
△ Less
Submitted 20 February, 2022; v1 submitted 13 May, 2021;
originally announced May 2021.
-
A new variational model for shape graph registration with partial matching constraints
Authors:
Yashil Sukurdeep,
Martin Bauer,
Nicolas Charon
Abstract:
This paper introduces a new extension of Riemannian elastic curve matching to a general class of geometric structures, which we call (weighted) shape graphs, that allows for shape registration with partial matching constraints and topological inconsistencies. Weighted shape graphs are the union of an arbitrary number of component curves in Euclidean space with potential connectivity constraints be…
▽ More
This paper introduces a new extension of Riemannian elastic curve matching to a general class of geometric structures, which we call (weighted) shape graphs, that allows for shape registration with partial matching constraints and topological inconsistencies. Weighted shape graphs are the union of an arbitrary number of component curves in Euclidean space with potential connectivity constraints between some of their boundary points, together with a weight function defined on each component curve. The framework of higher order invariant Sobolev metrics is particularly well suited for constructing notions of distances and geodesics between unparametrized curves. The main difficulty in adapting this framework to the setting of shape graphs is the absence of topological consistency, which typically results in an inadequate search for an exact matching between two shape graphs. We overcome this hurdle by defining an inexact variational formulation of the matching problem between (weighted) shape graphs of any underlying topology, relying on the convenient measure representation given by varifolds to relax the exact matching constraint. We then prove the existence of minimizers to this variational problem when we choose Sobolev metrics of sufficient regularity and a total variation (TV) regularization on the weight function. We propose a numerical optimization approach which adapts the smoothed fast iterative shrinkage-thresholding (SFISTA) algorithm to deal with TV norm minimization and allows us to reduce the matching problem to solving a sequence of smooth unconstrained minimization problems. We finally illustrate the capabilities of our new model through several examples showcasing its ability to tackle partially observed and topologically varying data.
△ Less
Submitted 4 November, 2021; v1 submitted 3 May, 2021;
originally announced May 2021.
-
A geometric view on the generalized Proudman-Johnson and $r$-Hunter-Saxton equations
Authors:
Martin Bauer,
Yuxiu Lu,
Cy Maor
Abstract:
We show that two families of equations on the real line, the generalized inviscid Proudman--Johnson equation, and the $r$-Hunter--Saxton equation (recently introduced by Cotter et al.) coincide for a certain range of parameters. This gives a new geometric interpretation of these Proudman--Johnson equations as geodesic equations of right invariant homogeneous $W^{1,r}$-Finsler metrics on an appropr…
▽ More
We show that two families of equations on the real line, the generalized inviscid Proudman--Johnson equation, and the $r$-Hunter--Saxton equation (recently introduced by Cotter et al.) coincide for a certain range of parameters. This gives a new geometric interpretation of these Proudman--Johnson equations as geodesic equations of right invariant homogeneous $W^{1,r}$-Finsler metrics on an appropriate diffeomorphism group on $\mathbb{R}$. Generalizing a construction of Lenells for the Hunter--Saxton equation, we analyze the $r$-Hunter--Saxton equation using an isometry from the diffeomorphism group to an appropriate subset of real-valued functions. Thereby we show that the periodic case is equivalent to the geodesic equation on the $L^r$-sphere in the space of functions, and the non-periodic case is equivalent to a geodesic flow on a flat space. This allows us to give explicit solutions to these equations in the non-periodic case, and answer several questions of Cotter et al. regarding their limiting behavior.
△ Less
Submitted 2 May, 2023; v1 submitted 10 January, 2021;
originally announced January 2021.
-
Sobolev metrics on spaces of manifold valued curves
Authors:
Martin Bauer,
Cy Maor,
Peter W. Michor
Abstract:
We study completeness properties of reparametrization invariant Sobolev metrics of order $n\ge 2$ on the space of manifold valued open and closed immersed curves. In particular, for several important cases of metrics, we show that Sobolev immersions are metrically and geodesically complete (thus the geodesic equation is globally well-posed). These results were previously known only for closed curv…
▽ More
We study completeness properties of reparametrization invariant Sobolev metrics of order $n\ge 2$ on the space of manifold valued open and closed immersed curves. In particular, for several important cases of metrics, we show that Sobolev immersions are metrically and geodesically complete (thus the geodesic equation is globally well-posed). These results were previously known only for closed curves with values in Euclidean space. For the class of constant coefficient Sobolev metrics on open curves, we show that they are metrically incomplete, and that this incompleteness only arises from curves that vanish completely (unlike "local" failures that occur in lower order metrics).
△ Less
Submitted 30 January, 2024; v1 submitted 27 July, 2020;
originally announced July 2020.
-
A numerical framework for elastic surface matching, comparison, and interpolation
Authors:
Martin Bauer,
Nicolas Charon,
Philipp Harms,
Hsi-Wei Hsieh
Abstract:
Surface comparison and matching is a challenging problem in computer vision. While reparametrization-invariant Sobolev metrics provide meaningful elastic distances and point correspondences via the geodesic boundary value problem, solving this problem numerically tends to be difficult. Square root normal fields (SRNF) considerably simplify the computation of certain elastic distances between param…
▽ More
Surface comparison and matching is a challenging problem in computer vision. While reparametrization-invariant Sobolev metrics provide meaningful elastic distances and point correspondences via the geodesic boundary value problem, solving this problem numerically tends to be difficult. Square root normal fields (SRNF) considerably simplify the computation of certain elastic distances between parametrized surfaces. Yet they leave open the issue of finding optimal reparametrizations, which induce elastic distances between unparametrized surfaces. This issue has concentrated much effort in recent years and led to the development of several numerical frameworks. In this paper, we take an alternative approach which bypasses the direct estimation of reparametrizations: we relax the geodesic boundary constraint using an auxiliary parametrization-blind varifold fidelity metric. This reformulation has several notable benefits. By avoiding altogether the need for reparametrizations, it provides the flexibility to deal with simplicial meshes of arbitrary topologies and sampling patterns. Moreover, the problem lends itself to a coarse-to-fine multi-resolution implementation, which makes the algorithm scalable to large meshes. Furthermore, this approach extends readily to higher-order feature maps such as square root curvature fields and is also able to include surface textures in the matching problem. We demonstrate these advantages on several examples, synthetic and real.
△ Less
Submitted 10 June, 2021; v1 submitted 20 June, 2020;
originally announced June 2020.
-
Kernel-independent adaptive construction of $\mathcal{H}^2$-matrix approximations
Authors:
M. Bauer,
M. Bebendorf,
B. Feist
Abstract:
A method for the kernel-independent construction of $\mathcal{H}^2$-matrix approximations to non-local operators is proposed. Special attention is paid to the adaptive construction of nested bases. As a side result, new error estimates for adaptive cross approximation~(ACA) are presented which have implications on the pivoting strategy of ACA.
A method for the kernel-independent construction of $\mathcal{H}^2$-matrix approximations to non-local operators is proposed. Special attention is paid to the adaptive construction of nested bases. As a side result, new error estimates for adaptive cross approximation~(ACA) are presented which have implications on the pivoting strategy of ACA.
△ Less
Submitted 2 June, 2020;
originally announced June 2020.
-
Intrinsic Riemannian metrics on spaces of curves: theory and computation
Authors:
Martin Bauer,
Nicolas Charon,
Eric Klassen,
Alice Le Brigant
Abstract:
This chapter reviews some past and recent developments in shape comparison and analysis of curves based on the computation of intrinsic Riemannian metrics on the space of curves modulo shape-preserving transformations. We summarize the general construction and theoretical properties of quotient elastic metrics for Euclidean as well as non-Euclidean curves before considering the special case of the…
▽ More
This chapter reviews some past and recent developments in shape comparison and analysis of curves based on the computation of intrinsic Riemannian metrics on the space of curves modulo shape-preserving transformations. We summarize the general construction and theoretical properties of quotient elastic metrics for Euclidean as well as non-Euclidean curves before considering the special case of the square root velocity metric for which the expression of the resulting distance simplifies through a particular transformation. We then examine different numerical approaches that have been proposed to estimate such distances in practice and in particular to quotient out curve reparametrization in the resulting minimization problems.
△ Less
Submitted 21 October, 2020; v1 submitted 11 March, 2020;
originally announced March 2020.
-
An inexact matching approach for the comparison of plane curves with general elastic metrics
Authors:
Yashil Sukurdeep,
Martin Bauer,
Nicolas Charon
Abstract:
This paper introduces a new mathematical formulation and numerical approach for the computation of distances and geodesics between immersed planar curves. Our approach combines the general simplifying transform for first-order elastic metrics that was recently introduced by Kurtek and Needham, together with a relaxation of the matching constraint using parametrization-invariant fidelity metrics. T…
▽ More
This paper introduces a new mathematical formulation and numerical approach for the computation of distances and geodesics between immersed planar curves. Our approach combines the general simplifying transform for first-order elastic metrics that was recently introduced by Kurtek and Needham, together with a relaxation of the matching constraint using parametrization-invariant fidelity metrics. The main advantages of this formulation are that it leads to a simple optimization problem for discretized curves, and that it provides a flexible approach to deal with noisy, inconsistent or corrupted data. These benefits are illustrated via a few preliminary numerical results.
△ Less
Submitted 9 January, 2020;
originally announced January 2020.
-
McKean-Vlasov equations on infinite-dimensional Hilbert spaces with irregular drift and additive fractional noise
Authors:
Martin Bauer,
Thilo Meyer-Brandis
Abstract:
This paper establishes results on the existence and uniqueness of solutions to McKean-Vlasov equations, also called mean-field stochastic differential equations, in an infinite-dimensional Hilbert space setting with irregular drift. Here, McKean-Vlasov equations with additive noise are considered where the driving noise is cylindrical (fractional) Brownian motion. The existence and uniqueness of w…
▽ More
This paper establishes results on the existence and uniqueness of solutions to McKean-Vlasov equations, also called mean-field stochastic differential equations, in an infinite-dimensional Hilbert space setting with irregular drift. Here, McKean-Vlasov equations with additive noise are considered where the driving noise is cylindrical (fractional) Brownian motion. The existence and uniqueness of weak solutions are established for drift coefficients that are merely measurable, bounded, and continuous in the law variable. In particular, the drift coefficient is allowed to be singular in the spatial variable. Further, we discuss existence of a pathwisely unique strong solution as well as Malliavin differentiability.
△ Less
Submitted 16 December, 2019;
originally announced December 2019.
-
Strong Solutions of Mean-Field SDEs with irregular expectation functional in the drift
Authors:
Martin Bauer,
Thilo Meyer-Brandis
Abstract:
We analyze multi-dimensional mean-field stochastic differential equations where the drift depends on the law in form of a Lebesgue integral with respect to the pushforward measure of the solution. We show existence and uniqueness of Malliavin differentiable strong solutions for irregular drift coefficients, which in particular include the case where the drift depends on the cumulative distribution…
▽ More
We analyze multi-dimensional mean-field stochastic differential equations where the drift depends on the law in form of a Lebesgue integral with respect to the pushforward measure of the solution. We show existence and uniqueness of Malliavin differentiable strong solutions for irregular drift coefficients, which in particular include the case where the drift depends on the cumulative distribution function of the solution. Moreover, we examine the solution as a function in its initial condition and introduce sufficient conditions on the drift to guarantee differentiability. Under these assumptions we then show that the Bismut-Elworthy-Li formula proposed in Bauer et al. (2018) holds in a strong sense, i.e. we give a probabilistic representation of the strong derivative with respect to the initial condition of expectation functionals of strong solutions to our type of mean-field equations in one-dimension.
△ Less
Submitted 13 December, 2019;
originally announced December 2019.
-
Existence and Regularity of Solutions to Multi-Dimensional Mean-Field Stochastic Differential Equations with Irregular Drift
Authors:
Martin Bauer,
Thilo Meyer-Brandis
Abstract:
We examine existence and uniqueness of strong solutions of multi-dimensional mean-field stochastic differential equations with irregular drift coefficients. Furthermore, we establish Malliavin differentiability of the solution and show regularity properties such as Sobolev differentiability in the initial data as well as Hölder continuity in time and the initial data. Using the Malliavin and Sobol…
▽ More
We examine existence and uniqueness of strong solutions of multi-dimensional mean-field stochastic differential equations with irregular drift coefficients. Furthermore, we establish Malliavin differentiability of the solution and show regularity properties such as Sobolev differentiability in the initial data as well as Hölder continuity in time and the initial data. Using the Malliavin and Sobolev differentiability we formulate a Bismut-Elworthy-Li type formula for mean-field stochastic differential equations, i.e. a probabilistic representation of the first order derivative of an expectation functional with respect to the initial condition.
△ Less
Submitted 12 December, 2019;
originally announced December 2019.
-
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.
-
Can we run to infinity? The diameter of the diffeomorphism group with respect to right-invariant Sobolev metrics
Authors:
Martin Bauer,
Cy Maor
Abstract:
The group $\text{Diff}(\mathcal{M})$ of diffeomorphisms of a closed manifold $\mathcal{M}$ is naturally equipped with various right-invariant Sobolev norms $W^{s,p}$. Recent work showed that for sufficiently weak norms, the geodesic distance collapses completely (namely, when $sp\le \text{dim}\mathcal{M}$ and $s<1$). But when there is no collapse, what kind of metric space is obtained? In particul…
▽ More
The group $\text{Diff}(\mathcal{M})$ of diffeomorphisms of a closed manifold $\mathcal{M}$ is naturally equipped with various right-invariant Sobolev norms $W^{s,p}$. Recent work showed that for sufficiently weak norms, the geodesic distance collapses completely (namely, when $sp\le \text{dim}\mathcal{M}$ and $s<1$). But when there is no collapse, what kind of metric space is obtained? In particular, does it have a finite or infinite diameter? This is the question we study in this paper. We show that the diameter is infinite for strong enough norms, when $(s-1)p\ge \text{dim}\mathcal{M}$, and that for spheres the diameter is finite when $(s-1)p<1$. In particular, this gives a full characterization of the diameter of $\text{Diff}(S^1)$. In addition, we show that for $\text{Diff}_c(\mathbb{R}^n)$, if the diameter is not zero, it is infinite.
△ Less
Submitted 11 February, 2021; v1 submitted 10 October, 2019;
originally announced October 2019.
-
Shape Analysis of Surfaces Using General Elastic Metrics
Authors:
Zhe Su,
Martin Bauer,
Stephen C. Preston,
Hamid Laga,
Eric Klassen
Abstract:
In this article we introduce a family of elastic metrics on the space of parametrized surfaces in 3D space using a corresponding family of metrics on the space of vector valued one-forms. We provide a numerical framework for the computation of geodesics with respect to these metrics. The family of metrics is invariant under rigid motions and reparametrizations; hence it induces a metric on the "sh…
▽ More
In this article we introduce a family of elastic metrics on the space of parametrized surfaces in 3D space using a corresponding family of metrics on the space of vector valued one-forms. We provide a numerical framework for the computation of geodesics with respect to these metrics. The family of metrics is invariant under rigid motions and reparametrizations; hence it induces a metric on the "shape space" of surfaces. This new class of metrics generalizes a previously studied family of elastic metrics and includes in particular the Square Root Normal Function (SRNF) metric, which has been proven successful in various applications. We demonstrate our framework by showing several examples of geodesics and compare our results with earlier results obtained from the SRNF framework.
△ Less
Submitted 7 October, 2019; v1 submitted 4 October, 2019;
originally announced October 2019.
-
Fractional Sobolev metrics on spaces of immersions
Authors:
Martin Bauer,
Philipp Harms,
Peter W. Michor
Abstract:
We prove that the geodesic equations of all Sobolev metrics of fractional order one and higher on spaces of diffeomorphisms and, more generally, immersions are locally well posed. This result builds on the recently established real analytic dependence of fractional Laplacians on the underlying Riemannian metric. It extends several previous results and applies to a wide range of variational partial…
▽ More
We prove that the geodesic equations of all Sobolev metrics of fractional order one and higher on spaces of diffeomorphisms and, more generally, immersions are locally well posed. This result builds on the recently established real analytic dependence of fractional Laplacians on the underlying Riemannian metric. It extends several previous results and applies to a wide range of variational partial differential equations, including the well-known Euler-Arnold equations on diffeomorphism groups as well as the geodesic equations on spaces of manifold-valued curves and surfaces.
△ Less
Submitted 4 February, 2020; v1 submitted 18 September, 2019;
originally announced September 2019.
-
Isometric Immersions and the Waving of Flags
Authors:
Martin Bauer,
Jakob Møller-Andersen,
Stephen C. Preston
Abstract:
In this article we propose a novel geometric model to study the motion of a physical flag. In our approach a flag is viewed as an isometric immersion from the square with values in $\mathbb R^3$ satisfying certain boundary conditions at the flag pole. Under additional regularity constraints we show that the space of all such flags carries the structure of an infinite dimensional manifold and can b…
▽ More
In this article we propose a novel geometric model to study the motion of a physical flag. In our approach a flag is viewed as an isometric immersion from the square with values in $\mathbb R^3$ satisfying certain boundary conditions at the flag pole. Under additional regularity constraints we show that the space of all such flags carries the structure of an infinite dimensional manifold and can be viewed as a submanifold of the space of all immersions. In the second part of the article we equip the space of isometric immersions with its natural kinetic energy and derive the corresponding equations of motion. This approach can be viewed in a similar spirit as Arnold's geometric picture for the motion of an incompressible fluid.
△ Less
Submitted 15 October, 2023; v1 submitted 15 May, 2019;
originally announced May 2019.
-
Block-adaptive Cross Approximation of Discrete Integral Operators
Authors:
M. Bauer,
M. Bebendorf
Abstract:
In this article we extend the adaptive cross approximation (ACA) method known for the efficient approximation of discretisations of integral operators to a block-adaptive version. While ACA is usually employed to assemble hierarchical matrix approximations having the same prescribed accuracy on all blocks of the partition, for the solution of linear systems it may be more efficient to adapt the ac…
▽ More
In this article we extend the adaptive cross approximation (ACA) method known for the efficient approximation of discretisations of integral operators to a block-adaptive version. While ACA is usually employed to assemble hierarchical matrix approximations having the same prescribed accuracy on all blocks of the partition, for the solution of linear systems it may be more efficient to adapt the accuracy of each block to the actual error of the solution as some blocks may be more important for the solution error than others. To this end, error estimation techniques known from adaptive mesh refinement are applied to automatically improve the block-wise matrix approximation. This allows to interlace the assembling of the coefficient matrix with the iterative solution.
△ Less
Submitted 6 May, 2019;
originally announced May 2019.
-
Geodesic completeness of the $H^{3/2}$ metric on $\mathrm{Diff}(S^{1})$
Authors:
Martin Bauer,
Boris Kolev,
Stephen Preston
Abstract:
Of concern is the study of the long-time existence of solutions to the Euler--Arnold equation of the right-invariant $H^{3/2}$-metric on the diffeomorphism group of the circle. In previous work by Escher and Kolev it has been shown that this equation admits long-time solutions if the order $s$ of the metric is greater than $3/2$, the behaviour for the critical Sobolev index $s=3/2$ has been left…
▽ More
Of concern is the study of the long-time existence of solutions to the Euler--Arnold equation of the right-invariant $H^{3/2}$-metric on the diffeomorphism group of the circle. In previous work by Escher and Kolev it has been shown that this equation admits long-time solutions if the order $s$ of the metric is greater than $3/2$, the behaviour for the critical Sobolev index $s=3/2$ has been left open. In this article we fill this gap by proving the analogous result also for the boundary case. The behaviour of the $H^{3/2}$-metric is, however, still different from its higher order counter parts, as it does not induce a complete Riemannian metric on any group of Sobolev diffeomorphisms.
△ Less
Submitted 20 March, 2020; v1 submitted 29 April, 2019;
originally announced April 2019.
-
Restoration of Well-Posedness of Infinite-dimensional Singular ODE's via Noise
Authors:
David Baños,
Martin Bauer,
Thilo Meyer-Brandis,
Frank Proske
Abstract:
In this paper we aim at generalizing the results of A. K. Zvonkin and A. Y. Veretennikov on the construction of unique strong solutions of stochastic differential equations with singular drift vector field and additive noise in the Euclidean space to the case of infinite-dimensional state spaces. The regularizing driving noise in our equation is chosen to be a locally non-Hölder continuous Hilbert…
▽ More
In this paper we aim at generalizing the results of A. K. Zvonkin and A. Y. Veretennikov on the construction of unique strong solutions of stochastic differential equations with singular drift vector field and additive noise in the Euclidean space to the case of infinite-dimensional state spaces. The regularizing driving noise in our equation is chosen to be a locally non-Hölder continuous Hilbert space valued process of fractal nature, which does not allow for the use of classical construction techniques for strong solutions from PDE or semimartingale theory. Our approach, which does not resort to the Yamada-Watanabe principle for the verification of pathwise uniqueness of solutions, is based on Malliavin calculus.
△ Less
Submitted 14 March, 2019;
originally announced March 2019.
-
Inexact elastic shape matching in the square root normal field framework
Authors:
Martin Bauer,
Nicolas Charon,
Philipp Harms
Abstract:
This paper puts forth a new formulation and algorithm for the elastic matching problem on unparametrized curves and surfaces. Our approach combines the frameworks of square root normal fields and varifold fidelity metrics into a novel framework, which has several potential advantages over previous works. First, our variational formulation allows us to minimize over reparametrizations without discr…
▽ More
This paper puts forth a new formulation and algorithm for the elastic matching problem on unparametrized curves and surfaces. Our approach combines the frameworks of square root normal fields and varifold fidelity metrics into a novel framework, which has several potential advantages over previous works. First, our variational formulation allows us to minimize over reparametrizations without discretizing the reparametrization group. Second, the objective function and gradient are easy to implement and efficient to evaluate numerically. Third, the initial and target surface may have different samplings and even different topologies. Fourth, texture can be incorporated as additional information in the matching term similarly to the fshape framework. We demonstrate the usefulness of this approach with several numerical examples of curves and surfaces.
△ Less
Submitted 3 March, 2019;
originally announced March 2019.
-
A diffeomorphism-invariant metric on the space of vector-valued one-forms
Authors:
Martin Bauer,
Eric Klassen,
Stephen C. Preston,
Zhe Su
Abstract:
In this article we introduce a diffeomorphism-invariant Riemannian metric on the space of vector valued one-forms. The particular choice of metric is motivated by potential future applications in the field of functional data and shape analysis and by connections to the Ebin metric on the space of all Riemannian metrics. In the present work we calculate the geodesic equations and obtain an explicit…
▽ More
In this article we introduce a diffeomorphism-invariant Riemannian metric on the space of vector valued one-forms. The particular choice of metric is motivated by potential future applications in the field of functional data and shape analysis and by connections to the Ebin metric on the space of all Riemannian metrics. In the present work we calculate the geodesic equations and obtain an explicit formula for the solutions to the corresponding initial value problem. Using this we show that it is a geodesically and metrically incomplete space and study the existence of totally geodesic subspaces. Furthermore, we calculate the sectional curvature and observe that, depending on the dimension of the base manifold and the target space, it either has a semidefinite sign or admits both signs.
△ Less
Submitted 3 September, 2020; v1 submitted 27 December, 2018;
originally announced December 2018.
-
Math in the Black Forest: Workshop on New Directions in Shape Analysis
Authors:
Martin Bauer,
Nicolas Charon,
Philipp Harms,
Boris Khesin,
Alice Le Brigant,
Elodie Maignant,
Stephen Marsland,
Peter Michor,
Xavier Pennec,
Stephen Preston,
Stefan Sommer,
François-Xavier Vialard
Abstract:
These are the proceedings of the workshop "Math in the Black Forest", which brought together researchers in shape analysis to discuss promising new directions. Shape analysis is an inter-disciplinary area of research with theoretical foundations in infinite-dimensional Riemannian geometry, geometric statistics, and geometric stochastics, and with applications in medical imaging, evolutionary devel…
▽ More
These are the proceedings of the workshop "Math in the Black Forest", which brought together researchers in shape analysis to discuss promising new directions. Shape analysis is an inter-disciplinary area of research with theoretical foundations in infinite-dimensional Riemannian geometry, geometric statistics, and geometric stochastics, and with applications in medical imaging, evolutionary development, and fluid dynamics. The workshop is the 6th instance of a series of workshops on the same topic.
△ Less
Submitted 4 November, 2018;
originally announced November 2018.
-
Semi-invariant Riemannian metrics in hydrodynamics
Authors:
Martin Bauer,
Klas Modin
Abstract:
Many models in mathematical physics are given as non-linear partial differential equation of hydrodynamic type; the incompressible Euler, KdV, and Camassa--Holm equations are well-studied examples.A beautiful approach to well-posedness is to go from the Eulerian to a Lagrangian description.Geometrically it corresponds to a geodesic initial value problem on the infinite-dimensional group of diffeom…
▽ More
Many models in mathematical physics are given as non-linear partial differential equation of hydrodynamic type; the incompressible Euler, KdV, and Camassa--Holm equations are well-studied examples.A beautiful approach to well-posedness is to go from the Eulerian to a Lagrangian description.Geometrically it corresponds to a geodesic initial value problem on the infinite-dimensional group of diffeomorphisms with a right invariant Riemannian metric. By establishing regularity properties of the Riemannian spray one can then obtain local, and sometimes global, existence and uniqueness results. There are, however, many hydrodynamic-type equations, notably shallow water models and compressible Euler equations, where the underlying infinite-dimensional Riemannian structure is not fully right invariant, but still semi-invariant with respect to the subgroup of volume preserving diffeomorphisms. Here we study such metrics. For semi-invariant metrics of Sobolev $H^k$-type we give local and some global well-posedness results for the geodesic initial value problem. We also give results in the presence of a potential functional (corresponding to the fluid's internal energy). Our study reveals many pitfalls in going from fully right invariant to semi-invariant Sobolev metrics; the regularity requirements, for example, are higher. Nevertheless the key results, such as no loss or gain in regularity along geodesics, can be adopted.
△ Less
Submitted 8 October, 2018;
originally announced October 2018.
-
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.
-
Metric Registration of Curves and Surfaces using Optimal Control
Authors:
Martin Bauer,
Nicolas Charon,
Laurent Younes
Abstract:
This paper presents an overview of recent developments in the analysis of shapes such as curves and surfaces through Riemannian metrics. We show that several constructions of metrics on spaces of submanifolds can be unified through the prism of Riemannian submersions, with shape space metrics being induced from metrics defined on the top spaces. Computing the resulting Riemannian distances involve…
▽ More
This paper presents an overview of recent developments in the analysis of shapes such as curves and surfaces through Riemannian metrics. We show that several constructions of metrics on spaces of submanifolds can be unified through the prism of Riemannian submersions, with shape space metrics being induced from metrics defined on the top spaces. Computing the resulting Riemannian distances involves solving geodesic matching problems with boundary conditions. To deal efficiently with such variational problems, one can rely on an auxiliary family of "chordal" distances to simplify the treatment of boundary conditions, which we use to come up with a relaxed inexact formulation of the matching problem. This also allows to turn shape matching into optimal control problems and give a common framework to address them in practice. We then specify our analysis to the cases of intrinsic shape metrics defined using invariant Sobolev metrics on parametrized immersions, outer shape metrics induced from metrics on diffeomorphism groups of the ambient space and finally a recent hybrid model that combines those two approaches.
△ Less
Submitted 17 September, 2018;
originally announced September 2018.
-
Diffeomorphic density registration
Authors:
Martin Bauer,
Sarang Joshi,
Klas Modin
Abstract:
In this book chapter we study the Riemannian Geometry of the density registration problem: Given two densities (not necessarily probability densities) defined on a smooth finite dimensional manifold find a diffeomorphism which transforms one to the other. This problem is motivated by the medical imaging application of tracking organ motion due to respiration in Thoracic CT imaging where the fundam…
▽ More
In this book chapter we study the Riemannian Geometry of the density registration problem: Given two densities (not necessarily probability densities) defined on a smooth finite dimensional manifold find a diffeomorphism which transforms one to the other. This problem is motivated by the medical imaging application of tracking organ motion due to respiration in Thoracic CT imaging where the fundamental physical property of conservation of mass naturally leads to modeling CT attenuation as a density. We will study the intimate link between the Riemannian metrics on the space of diffeomorphisms and those on the space of densities. We finally develop novel computationally efficient algorithms and demonstrate there applicability for registering RCCT thoracic imaging.
△ Less
Submitted 23 July, 2018; v1 submitted 15 July, 2018;
originally announced July 2018.
-
Strong Solutions of Mean-Field Stochastic Differential Equations with irregular drift
Authors:
Martin Bauer,
Thilo Meyer-Brandis,
Frank Proske
Abstract:
We investigate existence and uniqueness of strong solutions of mean-field stochastic differential equations with irregular drift coefficients. Our direct construction of strong solutions is mainly based on a compactness criterion employing Malliavin Calculus together with some local time calculus. Furthermore, we establish regularity properties of the solutions such as Malliavin differentiablility…
▽ More
We investigate existence and uniqueness of strong solutions of mean-field stochastic differential equations with irregular drift coefficients. Our direct construction of strong solutions is mainly based on a compactness criterion employing Malliavin Calculus together with some local time calculus. Furthermore, we establish regularity properties of the solutions such as Malliavin differentiablility as well as Sobolev differentiability in the initial condition. Using this properties we formulate an extension of the Bismut-Elworthy-Li formula to mean-field stochastic differential equations to get a probabilistic representation of the first order derivative of an expectation functional with respect to the initial condition.
△ Less
Submitted 29 June, 2018;
originally announced June 2018.
-
Vanishing distance phenomena and the geometric approach to SQG
Authors:
Martin Bauer,
Philipp Harms,
Stephen C. Preston
Abstract:
In this article we study the induced geodesic distance of fractional order Sobolev metrics on the groups of (volume preserving) diffeomorphisms and symplectomorphisms. The interest in these geometries is fueled by the observation that they allow for a geometric interpretation for prominent partial differential equations in the field of fluid dynamics. These include in particular the modified Const…
▽ More
In this article we study the induced geodesic distance of fractional order Sobolev metrics on the groups of (volume preserving) diffeomorphisms and symplectomorphisms. The interest in these geometries is fueled by the observation that they allow for a geometric interpretation for prominent partial differential equations in the field of fluid dynamics. These include in particular the modified Constantin-Lax-Majda and surface quasi-geostrophic equations. The main result of this article shows that both of these equations stem from a Riemannian metric with vanishing geodesic distance.
△ Less
Submitted 19 March, 2019; v1 submitted 11 May, 2018;
originally announced May 2018.
-
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.
-
Comparing Curves in Homogeneous Spaces
Authors:
Zhe Su,
Eric Klassen,
Martin Bauer
Abstract:
Of concern is the study of the space of curves in homogeneous spaces. Motivated by applications in shape analysis we identify two curves if they only differ by their parametrization and/or a rigid motion. For curves in Euclidean space the Square-Root-Velocity-Function (SRVF) allows to define and efficiently compute a distance on this infinite dimensional quotient space. In this article we present…
▽ More
Of concern is the study of the space of curves in homogeneous spaces. Motivated by applications in shape analysis we identify two curves if they only differ by their parametrization and/or a rigid motion. For curves in Euclidean space the Square-Root-Velocity-Function (SRVF) allows to define and efficiently compute a distance on this infinite dimensional quotient space. In this article we present a generalization of the SRVF to curves in homogeneous spaces. We prove that, under mild conditions on the curves, there always exist optimal reparametrizations realizing the quotient distance and demonstrate the efficiency of our framework in selected numerical examples.
△ Less
Submitted 12 December, 2017;
originally announced December 2017.
-
The Square Root Velocity Framework for Curves in a Homogeneous Space
Authors:
Zhe Su,
Eric Klassen,
Martin Bauer
Abstract:
In this paper we study the shape space of curves with values in a homogeneous space $M = G/K$, where $G$ is a Lie group and $K$ is a compact Lie subgroup. We generalize the square root velocity framework to obtain a reparametrization invariant metric on the space of curves in $M$. By identifying curves in $M$ with their horizontal lifts in $G$, geodesics then can be computed. We can also mod out b…
▽ More
In this paper we study the shape space of curves with values in a homogeneous space $M = G/K$, where $G$ is a Lie group and $K$ is a compact Lie subgroup. We generalize the square root velocity framework to obtain a reparametrization invariant metric on the space of curves in $M$. By identifying curves in $M$ with their horizontal lifts in $G$, geodesics then can be computed. We can also mod out by reparametrizations and by rigid motions of $M$. In each of these quotient spaces, we can compute Karcher means, geodesics, and perform principal component analysis. We present numerical examples including the analysis of a set of hurricane paths.
△ Less
Submitted 9 June, 2017;
originally announced June 2017.
-
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.
