Abstract:The study of 2D shapes and their similarities is a central problem in the field of vision. It arises in particular from the task of classifying and recognizing objects from their observed silhouette. Defining natural distances between 2D shapes creates a metric space of shapes, whose mathematical structure is inherently relevant to the classification task. One intriguing metric space comes from using conformal mappings of 2D shapes into each other, via the theory of Teichmüller spaces. In this space every simple closed curve in the plane (a “shape”) is represented by a ‘fingerprint’ which is a diffeomorphism of the unit circle to itself (a differentiable and invertible, periodic function). More precisely, every shape defines to a unique equivalence class of such diffeomorphisms up to right multiplication by a Möbius map. The fingerprint does not change if the shape is varied by translations and scaling and any such equivalence class comes from some shape. This coset space, equipped with the infinitesimal Weil-Petersson (WP) Riemannian norm is a metric space. In this space, the shortest path between each two shapes is unique, and is given by a geodesic connecting them. Their distance from each other is given by integrating the WP-norm along that geodesic. In this paper we concentrate on solving the “welding” problem of “sewing” together conformally the interior and exterior of the unit circle, glued on the unit circle by a given diffeomorphism, to obtain the unique 2D shape associated with this diffeomorphism. This will allow us to go back and forth between 2D shapes and their representing diffeomorphisms in this “space of shapes”. We then present an efficient method for computing the unique shortest path, the geodesic of shape morphing between each two end-point shapes. The group of diffeomorphisms of S1 acts as a group of isometries on the space of shapes and we show how this can be used to define shape transformations, like for instance ‘adding a protruding limb’ to any shape.

A Sheaf-Theoretic Construction of Shape Space

A Sheaf-Theoretic Construction of Shape Space

The Topology of Shapes Made with Points

Geometry of Arrangements that Determine Shapes

Shape Analysis of Planar Objects with Arbitrary Topologies Using Conformal Geometry

2D-Shape Analysis Using Conformal Mapping

From Samples to Persistent Stratified Homotopy Types

Diagrammatic sets as a model of homotopy types

The Shape Of Compact Covers

Symplectic structures on the space of space curves

Decomposing the Persistent Homology Transform of Star-Shaped Objects

Shape analysis of framed space curves

The homotopy theory of differentiable sheaves

Sheaves of Higher Categories on Generalised Spaces

Tiling Spaces have aspherical shape

Multiple Cylinder of Relations for Finite Spaces and Nerve Theorem for Strong-Good Cover

Commuting Cohesions

A structure theorem for shape functions defined on submanifolds

Shape Analysis of Planar Multiply-Connected Objects Using Conformal Welding

The Shape Operator of Real Hypersurfaces in S6(1)

The equivariant model structure on cartesian cubical sets