-
Singular Ideals over arbitrary fields for the two- and three-headed snakes
Authors:
Ramla Abdellatif,
Lisa Orloff Clark,
Roy Jansen,
Stephen Marsland
Abstract:
We study the Steinberg algebra with coefficients in an arbitrary field K for the two- and three-headed snake groupoids, which are basic examples of non-Hausdorff groupoids. We are particularly interested in elements of this algebra that are no longer continuous, known as singular functions. We prove that the ideal of singular functions in the Steinberg algebra of the two-headed snake does not prop…
▽ More
We study the Steinberg algebra with coefficients in an arbitrary field K for the two- and three-headed snake groupoids, which are basic examples of non-Hausdorff groupoids. We are particularly interested in elements of this algebra that are no longer continuous, known as singular functions. We prove that the ideal of singular functions in the Steinberg algebra of the two-headed snake does not properly contain any non-zero ideal, regardless of the choice of the base field K. In the case of the three-headed snake, we prove that the ideal of singular functions of the Steinberg algebra properly contains non-zero ideals if, and only if, the base field K is a splitting field of x^2 + x + 1. In particular, there are always non-zero proper subset ideals when K has characteristic a prime not congruent to -1 mod 3.
△ Less
Submitted 23 June, 2025;
originally announced June 2025.
-
Principal symmetric space analysis
Authors:
Stephen R Marsland,
Robert I McLachlan,
Charles Curry
Abstract:
We develop a novel analogue of Euclidean PCA (principal component analysis) for data taking values on a Riemannian symmetric space, using totally geodesic submanifolds as approximating lower dimnsional submanifolds. We illustrate the technique on n-spheres, Grassmannians, n-tori and polyspheres.
We develop a novel analogue of Euclidean PCA (principal component analysis) for data taking values on a Riemannian symmetric space, using totally geodesic submanifolds as approximating lower dimnsional submanifolds. We illustrate the technique on n-spheres, Grassmannians, n-tori and polyspheres.
△ Less
Submitted 13 August, 2019;
originally announced August 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.
-
Parallelisation, initialisation, and boundary treatments for the diamond scheme
Authors:
Stephen R Marsland,
Robert I McLachlan,
Matthew C Wilkins
Abstract:
We study a class of general purpose linear multisymplectic integrators for Hamiltonian wave equations based on a diamond-shaped mesh. On each diamond, the PDE is discretized by a symplectic Runge--Kutta method. The scheme advances in time by filling in each diamond locally. We demonstrate that this leads to greater efficiency and parallelization and easier treatment of boundary conditions compared…
▽ More
We study a class of general purpose linear multisymplectic integrators for Hamiltonian wave equations based on a diamond-shaped mesh. On each diamond, the PDE is discretized by a symplectic Runge--Kutta method. The scheme advances in time by filling in each diamond locally. We demonstrate that this leads to greater efficiency and parallelization and easier treatment of boundary conditions compared to methods based on rectangular meshes. We develop a variety of initial and boundary value treatments and present numerical evidence of their performance. In all cases, the observed order of convergence is equal to or greater than the number of stages of the underlying Runge--Kutta method.
△ Less
Submitted 15 March, 2018;
originally announced March 2018.
-
Currents and finite elements as tools for shape space
Authors:
James Benn,
Stephen Marsland,
Robert I McLachlan,
Klas Modin,
Olivier Verdier
Abstract:
The nonlinear spaces of shapes (unparameterized immersed curves or submanifolds) are of interest for many applications in image analysis, such as the identification of shapes that are similar modulo the action of some group. In this paper we study a general representation of shapes that is based on linear spaces and is suitable for numerical discretization, being robust to noise. We develop the th…
▽ More
The nonlinear spaces of shapes (unparameterized immersed curves or submanifolds) are of interest for many applications in image analysis, such as the identification of shapes that are similar modulo the action of some group. In this paper we study a general representation of shapes that is based on linear spaces and is suitable for numerical discretization, being robust to noise. We develop the theory of currents for shape spaces by considering both the analytic and numerical aspects of the problem. In particular, we study the analytical properties of the current map and the $H^{-s}$ norm that it induces on shapes. We determine the conditions under which the current determines the shape. We then provide a finite element discretization of the currents that is a practical computational tool for shapes. Finally, we demonstrate this approach on a variety of examples.
△ Less
Submitted 8 November, 2018; v1 submitted 9 February, 2017;
originally announced February 2017.
-
Langevin equations for landmark image registration with uncertainty
Authors:
Stephen Marsland,
Tony Shardlow
Abstract:
Registration of images parameterised by landmarks provides a useful method of describing shape variations by computing the minimum-energy time-dependent deformation field that flows one landmark set to the other. This is sometimes known as the geodesic interpolating spline and can be solved via a Hamiltonian boundary-value problem to give a diffeomorphic registration between images. However, small…
▽ More
Registration of images parameterised by landmarks provides a useful method of describing shape variations by computing the minimum-energy time-dependent deformation field that flows one landmark set to the other. This is sometimes known as the geodesic interpolating spline and can be solved via a Hamiltonian boundary-value problem to give a diffeomorphic registration between images. However, small changes in the positions of the landmarks can produce large changes in the resulting diffeomorphism. We formulate a Langevin equation for looking at small random perturbations of this registration. The Langevin equation and three computationally convenient approximations are introduced and used as prior distributions. A Bayesian framework is then used to compute a posterior distribution for the registration, and also to formulate an average of multiple sets of landmarks.
△ Less
Submitted 6 January, 2017; v1 submitted 30 May, 2016;
originally announced May 2016.
-
Möbius Invariants of Shapes and Images
Authors:
Stephen Marsland,
Robert McLachlan
Abstract:
Identifying when different images are of the same object despite changes caused by imaging technologies, or processes such as growth, has many applications in fields such as computer vision and biological image analysis. One approach to this problem is to identify the group of possible transformations of the object and to find invariants to the action of that group, meaning that the object has the…
▽ More
Identifying when different images are of the same object despite changes caused by imaging technologies, or processes such as growth, has many applications in fields such as computer vision and biological image analysis. One approach to this problem is to identify the group of possible transformations of the object and to find invariants to the action of that group, meaning that the object has the same values of the invariants despite the action of the group. In this paper we study the invariants of planar shapes and images under the Möbius group $\mathrm{PSL}(2,\mathbb{C})$, which arises in the conformal camera model of vision and may also correspond to neurological aspects of vision, such as grouping of lines and circles. We survey properties of invariants that are important in applications, and the known Möbius invariants, and then develop an algorithm by which shapes can be recognised that is Möbius- and reparametrization-invariant, numerically stable, and robust to noise. We demonstrate the efficacy of this new invariant approach on sets of curves, and then develop a Möbius-invariant signature of grey-scale images.
△ Less
Submitted 11 August, 2016; v1 submitted 30 March, 2016;
originally announced March 2016.
-
Principal Autoparallel Analysis: Data Analysis in Weitzenböck Space
Authors:
Stephen Marsland,
Carole J Twining
Abstract:
The statistical analysis of data lying on a differentiable, locally Euclidean, manifold introduces a variety of challenges because the analogous measures to standard Euclidean statistics are local, that is only defined within a neighbourhood of each datapoint. This is because the curvature of the space means that the connection of Riemannian geometry is path dependent. In this paper we transfer th…
▽ More
The statistical analysis of data lying on a differentiable, locally Euclidean, manifold introduces a variety of challenges because the analogous measures to standard Euclidean statistics are local, that is only defined within a neighbourhood of each datapoint. This is because the curvature of the space means that the connection of Riemannian geometry is path dependent. In this paper we transfer the problem to Weitzenböck space, which has torsion, but not curvature, meaning that parallel transport is path independent, and rather than considering geodesics, it is natural to consider autoparallels, which are `straight' in the sense that they follow the local basis vectors. We demonstrate how to generate these autoparallels in a data-driven fashion, and show that the resulting representation of the data is a useful space in which to perform further analysis.
△ Less
Submitted 10 November, 2015;
originally announced November 2015.
-
Constructing reparametrization invariant metrics on spaces of plane curves
Authors:
Martin Bauer,
Martins Bruveris,
Stephen Marsland,
Peter W. Michor
Abstract:
Metrics on shape space are used to describe deformations that take one shape to another, and to determine a distance between them. We study a family of metrics on the space of curves, that includes several recently proposed metrics, for which the metrics are characterised by mappings into vector spaces where geodesics can be easily computed. This family consists of Sobolev-type Riemannian metrics…
▽ More
Metrics on shape space are used to describe deformations that take one shape to another, and to determine a distance between them. We study a family of metrics on the space of curves, that includes several recently proposed metrics, for which the metrics are characterised by mappings into vector spaces where geodesics can be easily computed. This family consists of Sobolev-type Riemannian metrics of order one on the space $\text{Imm}(S^1,\mathbb R^2)$ of parametrized plane curves and the quotient space $\text{Imm}(S^1,\mathbb R^2)/\text{Diff}(S^1)$ of unparametrized curves. For the space of open parametrized curves we find an explicit formula for the geodesic distance and show that the sectional curvatures vanish on the space of parametrized and are non-negative on the space of unparametrized open curves. For the metric, which is induced by the "R-transform", we provide a numerical algorithm that computes geodesics between unparameterised, closed curves, making use of a constrained formulation that is implemented numerically using the RATTLE algorithm. We illustrate the algorithm with some numerical tests that demonstrate it's efficiency and robustness.
△ Less
Submitted 6 February, 2014; v1 submitted 25 July, 2012;
originally announced July 2012.
-
On Hodge decomposition and conformal variational problems
Authors:
Stephen Marsland,
Robert McLachlan,
Klas Modin,
Matthew Perlmutter
Abstract:
The main result is the identification of the orthogonal complement of the subalgebra of conformal vector field inside the algebra of all vector fields of a compact flat 2-manifold. As a fundamental tool, the complete Hodge decomposition for manifold with boundary is used. The identification allows the derivation of governing differential equations for variational problems on the space of conformal…
▽ More
The main result is the identification of the orthogonal complement of the subalgebra of conformal vector field inside the algebra of all vector fields of a compact flat 2-manifold. As a fundamental tool, the complete Hodge decomposition for manifold with boundary is used. The identification allows the derivation of governing differential equations for variational problems on the space of conformal vector fields. Several examples are given. In addition, the paper also gives a review, in full detail, of already known vector field decompositions involving subalgebras of volume preserving and symplectic vector fields.
△ Less
Submitted 20 March, 2012;
originally announced March 2012.
-
Geodesic Warps by Conformal Mappings
Authors:
Stephen Marsland,
Robert McLachlan,
Klas Modin,
Matthew Perlmutter
Abstract:
In recent years there has been considerable interest in methods for diffeomorphic warping of images, with applications e.g.\ in medical imaging and evolutionary biology. The original work generally cited is that of the evolutionary biologist D'Arcy Wentworth Thompson, who demonstrated warps to deform images of one species into another. However, unlike the deformations in modern methods, which are…
▽ More
In recent years there has been considerable interest in methods for diffeomorphic warping of images, with applications e.g.\ in medical imaging and evolutionary biology. The original work generally cited is that of the evolutionary biologist D'Arcy Wentworth Thompson, who demonstrated warps to deform images of one species into another. However, unlike the deformations in modern methods, which are drawn from the full set of diffeomorphism, he deliberately chose lower-dimensional sets of transformations, such as planar conformal mappings.
In this paper we study warps of such conformal mappings. The approach is to equip the infinite dimensional manifold of conformal embeddings with a Riemannian metric, and then use the corresponding geodesic equation in order to obtain diffeomorphic warps. After deriving the geodesic equation, a numerical discretisation method is developed. Several examples of geodesic warps are then given. We also show that the equation admits totally geodesic solutions corresponding to scaling and translation, but not to affine transformations.
△ Less
Submitted 25 July, 2012; v1 submitted 18 March, 2012;
originally announced March 2012.
