-
Long-time existence of Brownian motion on configurations of two landmarks
Authors:
Karen Habermann,
Philipp Harms,
Stefan Sommer
Abstract:
We study Brownian motion on the space of distinct landmarks in $\mathbb{R}^d$, considered as a homogeneous space with a Riemannian metric inherited from a right-invariant metric on the diffeomorphism group. As of yet, there is no proof of long-time existence of this process, despite its fundamental importance in statistical shape analysis, where it is used to model stochastic shape evolutions. We…
▽ More
We study Brownian motion on the space of distinct landmarks in $\mathbb{R}^d$, considered as a homogeneous space with a Riemannian metric inherited from a right-invariant metric on the diffeomorphism group. As of yet, there is no proof of long-time existence of this process, despite its fundamental importance in statistical shape analysis, where it is used to model stochastic shape evolutions. We make some first progress in this direction by providing a full classification of long-time existence for configurations of exactly two landmarks, governed by a radial kernel. For low-order Sobolev kernels, we show that the landmarks collide with positive probability in finite time, whilst for higher-order Sobolev and Gaussian kernels, the landmark Brownian motion exists for all times. We illustrate our theoretical results by numerical simulations.
△ Less
Submitted 27 April, 2023;
originally announced April 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 wrong in general even for Hilbert manifolds.
△ Less
Submitted 6 December, 2023; v1 submitted 3 February, 2023;
originally announced February 2023.
-
Cylindrical stochastic integration and applications to financial term structure modeling
Authors:
Johannes Assefa,
Philipp Harms
Abstract:
We develop a novel - cylindrical - solution concept for stochastic evolution equations. Our motivation is to establish a Heath-Jarrow-Morton framework capable of analysing financial term structures with discontinuities, overcoming deep stochastic-analytic limitations posed by mild or weak solution concepts. Our cylindrical approach, which we investigate in full generality, bypasses these difficult…
▽ More
We develop a novel - cylindrical - solution concept for stochastic evolution equations. Our motivation is to establish a Heath-Jarrow-Morton framework capable of analysing financial term structures with discontinuities, overcoming deep stochastic-analytic limitations posed by mild or weak solution concepts. Our cylindrical approach, which we investigate in full generality, bypasses these difficulties and nicely mirrors the structure of a large financial market.
△ Less
Submitted 12 May, 2023; v1 submitted 8 August, 2022;
originally announced August 2022.
-
Deep dynamic modeling with just two time points: Can we still allow for individual trajectories?
Authors:
Maren Hackenberg,
Philipp Harms,
Michelle Pfaffenlehner,
Astrid Pechmann,
Janbernd Kirschner,
Thorsten Schmidt,
Harald Binder
Abstract:
Longitudinal biomedical data are often characterized by a sparse time grid and individual-specific development patterns. Specifically, in epidemiological cohort studies and clinical registries we are facing the question of what can be learned from the data in an early phase of the study, when only a baseline characterization and one follow-up measurement are available. Inspired by recent advances…
▽ More
Longitudinal biomedical data are often characterized by a sparse time grid and individual-specific development patterns. Specifically, in epidemiological cohort studies and clinical registries we are facing the question of what can be learned from the data in an early phase of the study, when only a baseline characterization and one follow-up measurement are available. Inspired by recent advances that allow to combine deep learning with dynamic modeling, we investigate whether such approaches can be useful for uncovering complex structure, in particular for an extreme small data setting with only two observations time points for each individual. Irregular spacing in time could then be used to gain more information on individual dynamics by leveraging similarity of individuals. We provide a brief overview of how variational autoencoders (VAEs), as a deep learning approach, can be linked to ordinary differential equations (ODEs) for dynamic modeling, and then specifically investigate the feasibility of such an approach that infers individual-specific latent trajectories by including regularity assumptions and individuals' similarity. We also provide a description of this deep learning approach as a filtering task to give a statistical perspective. Using simulated data, we show to what extent the approach can recover individual trajectories from ODE systems with two and four unknown parameters and infer groups of individuals with similar trajectories, and where it breaks down. The results show that such dynamic deep learning approaches can be useful even in extreme small data settings, but need to be carefully adapted.
△ Less
Submitted 20 December, 2021; v1 submitted 1 December, 2020;
originally announced December 2020.
-
Geometry of Sample Spaces
Authors:
Philipp Harms,
Peter W. Michor,
Xavier Pennec,
Stefan Sommer
Abstract:
In statistics, independent, identically distributed random samples do not carry a natural ordering, and their statistics are typically invariant with respect to permutations of their order. Thus, an $n$-sample in a space $M$ can be considered as an element of the quotient space of $M^n$ modulo the permutation group. The present paper takes this definition of sample space and the related concept of…
▽ More
In statistics, independent, identically distributed random samples do not carry a natural ordering, and their statistics are typically invariant with respect to permutations of their order. Thus, an $n$-sample in a space $M$ can be considered as an element of the quotient space of $M^n$ modulo the permutation group. The present paper takes this definition of sample space and the related concept of orbit types as a starting point for develo** a geometric perspective on statistics. We aim at deriving a general mathematical setting for studying the behavior of empirical and population means in spaces ranging from smooth Riemannian manifolds to general stratified spaces. We fully describe the orbifold and path-metric structure of the sample space when $M$ is a manifold or path-metric space, respectively. These results are non-trivial even when $M$ is Euclidean. We show that the infinite sample space exists in a Gromov-Hausdorff type sense and coincides with the Wasserstein space of probability distributions on $M$. We exhibit Fréchet means and $k$-means as metric projections onto 1-skeleta or $k$-skeleta in Wasserstein space, and we define a new and more general notion of polymeans. This geometric characterization via metric projections applies equally to sample and population means, and we use it to establish asymptotic properties of polymeans such as consistency and asymptotic normality.
△ Less
Submitted 30 May, 2023; v1 submitted 15 October, 2020;
originally announced October 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.
-
Supermartingale deflators in the absence of a numéraire
Authors:
Philipp Harms,
Chong Liu,
Ariel Neufeld
Abstract:
In this paper we study arbitrage theory of financial markets in the absence of a numéraire both in discrete and continuous time. In our main results, we provide a generalization of the classical equivalence between no unbounded profits with bounded risk (NUPBR) and the existence of a supermartingale deflator. To obtain the desired results, we introduce a new approach based on disintegration of the…
▽ More
In this paper we study arbitrage theory of financial markets in the absence of a numéraire both in discrete and continuous time. In our main results, we provide a generalization of the classical equivalence between no unbounded profits with bounded risk (NUPBR) and the existence of a supermartingale deflator. To obtain the desired results, we introduce a new approach based on disintegration of the underlying probability space into spaces where the market crashes at deterministic times.
△ Less
Submitted 17 March, 2021; v1 submitted 16 January, 2020;
originally announced January 2020.
-
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.
-
Approximation of Riemannian Distances and Applications to Distance-Based Learning on Manifolds
Authors:
Philipp Harms,
Elodie Maignant,
Stefan Schlager
Abstract:
Several important algorithms for machine learning and data analysis use pairwise distances as input. On Riemannian manifolds these distances may be prohibitively costly to compute, in particular for large datasets. To tackle this problem, we propose a distance approximation which requires only a linear number of geodesic boundary value problems to be solved. The approximation is constructed by fit…
▽ More
Several important algorithms for machine learning and data analysis use pairwise distances as input. On Riemannian manifolds these distances may be prohibitively costly to compute, in particular for large datasets. To tackle this problem, we propose a distance approximation which requires only a linear number of geodesic boundary value problems to be solved. The approximation is constructed by fitting a two-dimensional model space with constant curvature to each pair of samples. We demonstrate the usefulness of our approach in the context of shape analysis on landmarks spaces.
△ Less
Submitted 26 April, 2019;
originally announced April 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.
-
Strong convergence rates for Markovian representations of fractional processes
Authors:
Philipp Harms
Abstract:
Many fractional processes can be represented as an integral over a family of Ornstein-Uhlenbeck processes. This representation naturally lends itself to numerical discretizations, which are shown in this paper to have strong convergence rates of arbitrarily high polynomial order. This explains the potential, but also some limitations of such representations as the basis of Monte Carlo schemes for…
▽ More
Many fractional processes can be represented as an integral over a family of Ornstein-Uhlenbeck processes. This representation naturally lends itself to numerical discretizations, which are shown in this paper to have strong convergence rates of arbitrarily high polynomial order. This explains the potential, but also some limitations of such representations as the basis of Monte Carlo schemes for fractional volatility models such as the rough Bergomi model.
△ Less
Submitted 5 August, 2020; v1 submitted 4 February, 2019;
originally announced February 2019.
-
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.
-
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.
-
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.
-
Weak convergence rates for stochastic evolution equations and applications to nonlinear stochastic wave, HJMM, stochastic Schrödinger and linearized stochastic Korteweg-de Vries equations
Authors:
Philipp Harms,
Marvin S. Müller
Abstract:
We establish weak convergence rates for noise discretizations of a wide class of stochastic evolution equations with non-regularizing semigroups and additive or multiplicative noise. This class covers the nonlinear stochastic wave, HJMM, stochastic Schrödinger and linearized stochastic Korteweg-de Vries equation. For several important equations, including the stochastic wave equation, previous met…
▽ More
We establish weak convergence rates for noise discretizations of a wide class of stochastic evolution equations with non-regularizing semigroups and additive or multiplicative noise. This class covers the nonlinear stochastic wave, HJMM, stochastic Schrödinger and linearized stochastic Korteweg-de Vries equation. For several important equations, including the stochastic wave equation, previous methods give only suboptimal rates, whereas our rates are essentially sharp.
△ Less
Submitted 13 November, 2018; v1 submitted 3 October, 2017;
originally announced October 2017.
-
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.
-
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.
-
Consistent Re-Calibration of the Discrete-Time Multifactor Vasiček Model
Authors:
Philipp Harms,
David Stefanovits,
Josef Teichmann,
Mario V. Wüthrich
Abstract:
The discrete-time multifactor Vasiček model is a tractable Gaussian spot rate model. Typically, two- or three-factor versions allow one to capture the dependence structure between yields with different times to maturity in an appropriate way. In practice, re-calibration of the model to the prevailing market conditions leads to model parameters that change over time. Therefore, the model parameters…
▽ More
The discrete-time multifactor Vasiček model is a tractable Gaussian spot rate model. Typically, two- or three-factor versions allow one to capture the dependence structure between yields with different times to maturity in an appropriate way. In practice, re-calibration of the model to the prevailing market conditions leads to model parameters that change over time. Therefore, the model parameters should be understood as being time-dependent or even stochastic. Following the consistent re-calibration (CRC) approach, we construct models as concatenations of yield curve increments of Hull-White extended multifactor Vasiček models with different parameters. The CRC approach provides attractive tractable models that preserve the no-arbitrage premise. As a numerical example, we fit Swiss interest rates using CRC multifactor Vasiček models.
△ Less
Submitted 2 September, 2016; v1 submitted 20 December, 2015;
originally announced December 2015.
-
Metrics with prescribed horizontal bundle on spaces of curve
Authors:
Martin Bauer,
Philipp Harms
Abstract:
We study metrics on the shape space of curves that induce a prescribed splitting of the tangent bundle. More specifically, we consider reparametrization invariant metrics $G$ on the space $\operatorname{Imm}(S^1,\mathbb R^2)$ of parametrized regular curves. For many metrics the tangent space $T_c\operatorname{Imm}(S^1,\mathbb R^2)$ at each curve $c$ splits into vertical and horizontal components (…
▽ More
We study metrics on the shape space of curves that induce a prescribed splitting of the tangent bundle. More specifically, we consider reparametrization invariant metrics $G$ on the space $\operatorname{Imm}(S^1,\mathbb R^2)$ of parametrized regular curves. For many metrics the tangent space $T_c\operatorname{Imm}(S^1,\mathbb R^2)$ at each curve $c$ splits into vertical and horizontal components (with respect to the projection onto the shape space $B_i(S^1,\mathbb R^2)=\operatorname{Imm}(S^1,\mathbb R^2)/\operatorname{Diff}(S^1)$ of unparametrized curves and with respect to the metric $G$). In a previous article we characterized all metrics $G$ such that the induced splitting coincides with the natural splitting into normal and tangential parts. In these notes we extend this analysis to characterize all metrics that induce any prescribed splitting of the tangent bundle.
△ Less
Submitted 18 November, 2015;
originally announced November 2015.
-
Hörmander's condition for normal bundles on spaces of immersions
Authors:
Martin Bauer,
Philipp Harms
Abstract:
Several representations of geometric shapes involve quotients of map** spaces. The projection onto the quotient space defines two sub-bundles of the tangent bundle, called the horizontal and vertical bundle. We investigate in these notes the sub-Riemannian geometries of these bundles. In particular, we show for a selection of bundles which naturally occur in applications that they are either bra…
▽ More
Several representations of geometric shapes involve quotients of map** spaces. The projection onto the quotient space defines two sub-bundles of the tangent bundle, called the horizontal and vertical bundle. We investigate in these notes the sub-Riemannian geometries of these bundles. In particular, we show for a selection of bundles which naturally occur in applications that they are either bracket generating or integrable.
△ Less
Submitted 18 November, 2015;
originally announced November 2015.
-
Affine representations of fractional processes with applications in mathematical finance
Authors:
Philipp Harms,
David Stefanovits
Abstract:
Fractional processes have gained popularity in financial modeling due to the dependence structure of their increments and the roughness of their sample paths. The non-Markovianity of these processes gives, however, rise to conceptual and practical difficulties in computation and calibration. To address these issues, we show that a certain class of fractional processes can be represented as linear…
▽ More
Fractional processes have gained popularity in financial modeling due to the dependence structure of their increments and the roughness of their sample paths. The non-Markovianity of these processes gives, however, rise to conceptual and practical difficulties in computation and calibration. To address these issues, we show that a certain class of fractional processes can be represented as linear functionals of an infinite dimensional affine process. This can be derived from integral representations similar to those of Carmona, Coutin, Montseny, and Muravlev. We demonstrate by means of several examples that this allows one to construct tractable financial models with fractional features.
△ Less
Submitted 6 February, 2018; v1 submitted 14 October, 2015;
originally announced October 2015.
-
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 map**. 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.
-
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.
-
Two-Armed Restless Bandits with Imperfect Information: Stochastic Control and Indexability
Authors:
Roland Fryer,
Philipp Harms
Abstract:
We present a two-armed bandit model of decision making under uncertainty where the expected return to investing in the "risky arm" increases when choosing that arm and decreases when choosing the "safe" arm. These dynamics are natural in applications such as human capital development, job search, and occupational choice. Using new insights from stochastic control, along with a monotonicity conditi…
▽ More
We present a two-armed bandit model of decision making under uncertainty where the expected return to investing in the "risky arm" increases when choosing that arm and decreases when choosing the "safe" arm. These dynamics are natural in applications such as human capital development, job search, and occupational choice. Using new insights from stochastic control, along with a monotonicity condition on the payoff dynamics, we show that optimal strategies in our model are stop** rules that can be characterized by an index which formally coincides with Gittins' index. Our result implies the indexability of a new class of restless bandit models.
△ Less
Submitted 21 March, 2017; v1 submitted 24 June, 2015;
originally announced June 2015.
-
Consistent Recalibration of Yield Curve Models
Authors:
Philipp Harms,
David Stefanovits,
Josef Teichmann,
Mario Wüthrich
Abstract:
The analytical tractability of affine (short rate) models, such as the Vasicek and the Cox-Ingersoll-Ross models, has made them a popular choice for modelling the dynamics of interest rates. However, in order to account properly for the dynamics of real data, these models need to exhibit time-dependent or even stochastic parameters. This in turn breaks their tractability, and modelling and simulat…
▽ More
The analytical tractability of affine (short rate) models, such as the Vasicek and the Cox-Ingersoll-Ross models, has made them a popular choice for modelling the dynamics of interest rates. However, in order to account properly for the dynamics of real data, these models need to exhibit time-dependent or even stochastic parameters. This in turn breaks their tractability, and modelling and simulating becomes an arduous task. We introduce a new class of Heath-Jarrow-Morton (HJM) models that both fit the dynamics of real market data and remain tractable. We call these models consistent recalibration (CRC) models. These CRC models appear as limits of concatenations of forward rate increments, each belonging to a Hull-White extended affine factor model with possibly different parameters. That is, we construct HJM models from "tangent" affine models. We develop a theory for a continuous path version of such models and discuss their numerical implementations within the Vasicek and Cox-Ingersoll-Ross frameworks.
△ Less
Submitted 7 September, 2016; v1 submitted 10 February, 2015;
originally announced February 2015.
-
Metrics on Spaces of Immersions where Horizontality Equals Normality
Authors:
Martin Bauer,
Philipp Harms
Abstract:
We study metrics on shape space of immersions that have a particularly simple horizontal bundle. More specifically, we consider reparametrization invariant Sobolev metrics $G$ on the space $\operatorname{Imm}(M,N)$ of immersions of a compact manifold $M$ in a Riemannian manifold $(N,\overline{g})$. The tangent space $T_f\operatorname{Imm}(M,N)$ at each immersion $f$ has two natural splittings: one…
▽ More
We study metrics on shape space of immersions that have a particularly simple horizontal bundle. More specifically, we consider reparametrization invariant Sobolev metrics $G$ on the space $\operatorname{Imm}(M,N)$ of immersions of a compact manifold $M$ in a Riemannian manifold $(N,\overline{g})$. The tangent space $T_f\operatorname{Imm}(M,N)$ at each immersion $f$ has two natural splittings: one into components that are tangential/normal to the surface $f$ (with respect to $\overline{g}$) and another one into vertical/horizontal components (with respect to the projection onto the shape space $B_i(M,N)=\operatorname{Imm}(M,N)/\operatorname{Diff}(M)$ of unparametrized immersions and with respect to the metric $G$). The first splitting can be easily calculated numerically, while the second splitting is important because it mirrors the geometry of shape space and geodesics thereon. Motivated by facilitating the numerical calculation of geodesics on shape space, we characterize all metrics $G$ such that the two splittings coincide. In the special case of planar curves, we show that the regularity of curves in the metric completion can be controlled by choosing a strong enough metric within this class. We demonstrate in several examples that our approach allows us to efficiently calculate numerical solutions of the boundary value problem for geodesics on shape space.
△ Less
Submitted 19 September, 2014; v1 submitted 6 March, 2014;
originally announced March 2014.
-
The Poincaré Lemma in Subriemannian Geometry
Authors:
Philipp Harms
Abstract:
This work is a short, self-contained introduction to subriemannian geometry with special emphasis on Chow's Theorem. As an application, a regularity result for the Poincaré Lemma is presented.
At the beginning, the definitions of a subriemannian geometry, horizontal vector fields and horizontal curves are given. Then the question arises: Can any two points be connected by a horizontal curve? Cho…
▽ More
This work is a short, self-contained introduction to subriemannian geometry with special emphasis on Chow's Theorem. As an application, a regularity result for the Poincaré Lemma is presented.
At the beginning, the definitions of a subriemannian geometry, horizontal vector fields and horizontal curves are given. Then the question arises: Can any two points be connected by a horizontal curve? Chow's Theorem gives an affirmative answer for bracket generating distributions. (A distribution is called bracket generating if horizontal vector fields and their iterated Lie brackets span the whole tangent space.)
We present three different proofs of Chow's Theorem; each one is interesting in its own. The first proof is based on the theory of Stefan and Sussmann regarding integrability of singular distributions. The second proof is elementary and gives some insight in the shape of subriemannian balls. The third proof is based on infinite dimensional analysis of the endpoint map.
Finally, the study of the endpoint map allows us to prove a regularity result for the Poincaré Lemma in a form suited to subriemannian geometry: If for some $r \geq 0$ all horizontal derivatives of a given function $f$ are known to be $r$ times continuously differentiable, then so is $f$.
Sections 1 to 3 are the common work of Martin Bauer and Philipp Harms.
△ Less
Submitted 15 November, 2012;
originally announced November 2012.
-
Sobolev metrics on shape space of surfaces
Authors:
Philipp Harms
Abstract:
Many procedures in science, engineering and medicine produce data in the form of geometric shapes. Mathematically, a shape can be modeled as an un-parameterized immersed sub-manifold, which is the notion of shape used here. Endowing shape space with a Riemannian metric opens up the world of Riemannian differential geometry with geodesics, gradient flows and curvature. Unfortunately, the simplest s…
▽ More
Many procedures in science, engineering and medicine produce data in the form of geometric shapes. Mathematically, a shape can be modeled as an un-parameterized immersed sub-manifold, which is the notion of shape used here. Endowing shape space with a Riemannian metric opens up the world of Riemannian differential geometry with geodesics, gradient flows and curvature. Unfortunately, the simplest such metric induces vanishing path-length distance on shape space. This discovery by Michor and Mumford was the starting point to a quest for stronger, meaningful metrics that should be able to distinguish salient features of the shapes. Sobolev metrics are a very promising approach to that. They come in two flavors: Outer metrics which are induced from metrics on the diffeomorphism group of ambient space, and inner metrics which are defined intrinsically to the shape. In this work, Sobolev inner metrics are developed and treated in a very general setting. There are no restrictions on the dimension of the immersed space or of the ambient space, and ambient space is not required to be flat. It is shown that the path-length distance induced by Sobolev inner metrics does not vanish. The geodesic equation and the conserved quantities arising from the symmetries are calculated, and well-posedness of the geodesic equation is proven. Finally examples of numerical solutions to the geodesic equation are presented.
△ Less
Submitted 15 November, 2012;
originally announced November 2012.
-
Geodesics in infinite dimensional Stiefel and Grassmann manifolds
Authors:
Philipp Harms,
Andrea C. G. Mennucci
Abstract:
Let $V$ be a separable Hilbert space, possibly infinite dimensional. Let $\St(p,V)$ be the Stiefel manifold of orthonormal frames of $p$ vectors in $V$, and let $\Gr(p,V)$ be the Grassmann manifold of $p$ dimensional subspaces of $V$. We study the distance and the geodesics in these manifolds, by reducing the matter to the finite dimensional case. We then prove that any two points in those manifol…
▽ More
Let $V$ be a separable Hilbert space, possibly infinite dimensional. Let $\St(p,V)$ be the Stiefel manifold of orthonormal frames of $p$ vectors in $V$, and let $\Gr(p,V)$ be the Grassmann manifold of $p$ dimensional subspaces of $V$. We study the distance and the geodesics in these manifolds, by reducing the matter to the finite dimensional case. We then prove that any two points in those manifolds can be connected by a minimal geodesic, and characterize the cut locus.
△ Less
Submitted 13 September, 2012;
originally announced September 2012.
-
Sobolev Metrics on Shape Space, II: Weighted Sobolev Metrics and Almost Local Metrics
Authors:
Martin Bauer,
Philipp Harms,
Peter W. Michor
Abstract:
In continuation of [3] we discuss metrics of the form $$ G^P_f(h,k)=\int_M \sum_{i=0}^pΦ_i(\Vol(f)) \g((P_i)_fh,k) \vol(f^*\g) $$ on the space of immersions $\Imm(M,N)$ and on shape space $B_i(M,N)=\Imm(M,N)/\on{Diff}(M)$. Here $(N,\g)$ is a complete Riemannian manifold, $M$ is a compact manifold, $f:M\to N$ is an immersion, $h$ and $k$ are tangent vectors to $f$ in the space of immersions,…
▽ More
In continuation of [3] we discuss metrics of the form $$ G^P_f(h,k)=\int_M \sum_{i=0}^pΦ_i(\Vol(f)) \g((P_i)_fh,k) \vol(f^*\g) $$ on the space of immersions $\Imm(M,N)$ and on shape space $B_i(M,N)=\Imm(M,N)/\on{Diff}(M)$. Here $(N,\g)$ is a complete Riemannian manifold, $M$ is a compact manifold, $f:M\to N$ is an immersion, $h$ and $k$ are tangent vectors to $f$ in the space of immersions, $f^*\g$ is the induced Riemannian metric on $M$, $\vol(f^*\g)$ is the induced volume density on $M$, $\Vol(f)=\int_M\vol(f^*\g)$, $Φ_i$ are positive real-valued functions, and $(P_i)_f$ are operators like some power of the Laplacian $Δ^{f^*\g}$. We derive the geodesic equations for these metrics and show that they are sometimes well-posed with the geodesic exponential map** a local diffeomorphism. The new aspect here are the weights $\Ph_i(\Vol(f))$ which we use to construct scale invariant metrics and order 0 metrics with positive geodesic distance. We treat several concrete special cases in detail.
△ Less
Submitted 27 December, 2012; v1 submitted 2 September, 2011;
originally announced September 2011.
-
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.
-
Sobolev metrics on the manifold of all Riemannian metrics
Authors:
Martin Bauer,
Philipp Harms,
Peter W. Michor
Abstract:
On the manifold $\Met(M)$ of all Riemannian metrics on a compact manifold $M$ one can consider the natural $L^2$-metric as described first by \cite{Ebin70}. In this paper we consider variants of this metric which in general are of higher order. We derive the geodesic equations, we show that they are well-posed under some conditions and induce a locally diffeomorphic geodesic exponential map**. W…
▽ More
On the manifold $\Met(M)$ of all Riemannian metrics on a compact manifold $M$ one can consider the natural $L^2$-metric as described first by \cite{Ebin70}. In this paper we consider variants of this metric which in general are of higher order. We derive the geodesic equations, we show that they are well-posed under some conditions and induce a locally diffeomorphic geodesic exponential map**. We give a condition when Ricci flow is a gradient flow for one of these metrics.
△ Less
Submitted 11 December, 2012; v1 submitted 16 February, 2011;
originally announced February 2011.
-
Curvature weighted metrics on shape space of hypersurfaces in $n$-space
Authors:
Martin Bauer,
Philipp Harms,
Peter W. Michor
Abstract:
Let $M$ be a compact connected oriented $n-1$ dimensional manifold without boundary. In this work, shape space is the orbifold of unparametrized immersions from $M$ to $\mathbb R^n$. The results of \cite{Michor118}, where mean curvature weighted metrics were studied, suggest incorporating Gauß curvature weights in the definition of the metric. This leads us to study metrics on shape space that are…
▽ More
Let $M$ be a compact connected oriented $n-1$ dimensional manifold without boundary. In this work, shape space is the orbifold of unparametrized immersions from $M$ to $\mathbb R^n$. The results of \cite{Michor118}, where mean curvature weighted metrics were studied, suggest incorporating Gauß curvature weights in the definition of the metric. This leads us to study metrics on shape space that are induced by metrics on the space of immersions of the form $$ G_f(h,k) = \int_{M} Φ. \bar g(h, k) \vol(f^*\bar{g}).$$ Here $f \in \Imm(M,\R^n)$ is an immersion of $M$ into $\R^n$ and $h,k\in C^\infty(M,\mathbb R^n)$ are tangent vectors at $f$. $\bar g$ is the standard metric on $\mathbb R^n$, $f^*\bar g$ is the induced metric on $M$, $\vol(f^*\bar g)$ is the induced volume density and $Φ$ is a suitable smooth function depending on the mean curvature and Gauß curvature. For these metrics we compute the geodesic equations both on the space of immersions and on shape space and the conserved momenta arising from the obvious symmetries. Numerical experiments illustrate the behavior of these metrics.
△ Less
Submitted 3 February, 2011;
originally announced February 2011.
-
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.
-
Sobolev metrics on shape space of surfaces
Authors:
Martin Bauer,
Philipp Harms,
Peter W. Michor
Abstract:
Let $M$ and $N$ be connected manifolds without boundary with $\dim(M) < \dim(N)$, and let $M$ compact. Then shape space in this work is either the manifold of submanifolds of $N$ that are diffeomorphic to $M$, or the orbifold of unparametrized immersions of $M$ in $N$. We investigate the Sobolev Riemannian metrics on shape space: These are induced by metrics of the following form on the space of i…
▽ More
Let $M$ and $N$ be connected manifolds without boundary with $\dim(M) < \dim(N)$, and let $M$ compact. Then shape space in this work is either the manifold of submanifolds of $N$ that are diffeomorphic to $M$, or the orbifold of unparametrized immersions of $M$ in $N$. We investigate the Sobolev Riemannian metrics on shape space: These are induced by metrics of the following form on the space of immersions: $$ G^P_f(h,k) = \int_{M} \g(P^f h, k)\, \vol(f^*\g)$$ where $\g$ is some fixed metric on $N$, $f^*\g$ is the induced metric on $M$, $h,k \in Γ(f^*TN)$ are tangent vectors at $f$ to the space of embeddings or immersions, and $P^f$ is a positive, selfadjoint, bijective scalar pseudo differential operator of order $2p$ depending smoothly on $f$. We consider later specifically the operator $P^f=1 + AΔ^p$, where $Δ$ is the Bochner-Laplacian on $M$ induced by the metric $f^*\bar g$. For these metrics we compute the geodesic equations both on the space of immersions and on shape space, and also the conserved momenta arising from the obvious symmetries. We also show that the geodesic equation is well-posed on spaces of immersions, and also on diffeomorphism groups. We give examples of numerical solutions.
△ Less
Submitted 24 June, 2011; v1 submitted 19 September, 2010;
originally announced September 2010.
-
Almost local metrics on shape space of hypersurfaces in n-space
Authors:
Martin Bauer,
Philipp Harms,
Peter W. Michor
Abstract:
This paper extends parts of the results from [P.W.Michor and D. Mumford, \emph{Appl. Comput. Harmon. Anal.,} 23 (2007), pp. 74--113] for plane curves to the case of hypersurfaces in $\mathbb R^n$. Let $M$ be a compact connected oriented $n-1$ dimensional manifold without boundary like the sphere or the torus. Then shape space is either the manifold of submanifolds of $\mathbb R^n$ of type $M$, or…
▽ More
This paper extends parts of the results from [P.W.Michor and D. Mumford, \emph{Appl. Comput. Harmon. Anal.,} 23 (2007), pp. 74--113] for plane curves to the case of hypersurfaces in $\mathbb R^n$. Let $M$ be a compact connected oriented $n-1$ dimensional manifold without boundary like the sphere or the torus. Then shape space is either the manifold of submanifolds of $\mathbb R^n$ of type $M$, or the orbifold of immersions from $M$ to $\mathbb R^n$ modulo the group of diffeomorphisms of $M$. We investigate almost local Riemannian metrics on shape space. These are induced by metrics of the following form on the space of immersions: $$ G_f(h,k) = \int_{M} Φ(\on{Vol}(f),\operatorname{Tr}(L))\g(h, k) \operatorname{vol}(f^*\g),$$ where $\g$ is the Euclidean metric on $\mathbb R^n$, $f^*\g$ is the induced metric on $M$, $h,k\in C^\infty(M,\mathbb R^n)$ are tangent vectors at $f$ to the space of embeddings or immersions, where $Φ:\mathbb R^2\to \mathbb R_{>0}$ is a suitable smooth function, $\operatorname{Vol}(f) = \int_M\operatorname{vol}(f^*\g)$ is the total hypersurface volume of $f(M)$, and the trace $\operatorname{Tr}(L)$ of the Weingarten map** is the mean curvature. For these metrics we compute the geodesic equations both on the space of immersions and on shape space, the conserved momenta arising from the obvious symmetries, and the sectional curvature. For special choices of $Φ$ we give complete formulas for the sectional curvature. Numerical experiments illustrate the behavior of these metrics.
△ Less
Submitted 19 March, 2013; v1 submitted 5 January, 2010;
originally announced January 2010.