Abstract:Differential topology, and specifically Morse theory, provide a suitable setting for formalizing and solving several problems related to shape analysis. The fundamental idea behind Morse theory is that of combining the topological exploration of a shape with quantitative measurement of geometrical properties provided by a real function defined on the shape. The added value of approaches based on Morse theory is in the possibility of adopting different functions as shape descriptors according to the properties and invariants that one wishes to analyze. In this sense, Morse theory allows one to construct a general framework for shape characterization, parametrized with respect to the mapping function used, and possibly the space associated with the shape. The mapping function plays the role of a lens through which we look at the properties of the shape, and different functions provide different insights. In the last decade, an increasing number of methods that are rooted in Morse theory and make use of properties of real-valued functions for describing shapes have been proposed in the literature. The methods proposed range from approaches which use the configuration of contours for encoding topographic surfaces to more recent work on size theory and persistent homology. All these have been developed over the years with a specific target domain and it is not trivial to systematize this work and understand the links, similarities, and differences among the different methods. Moreover, different terms have been used to denote the same mathematical constructs, which often overwhelm the understanding of the underlying common framework. The aim of this survey is to provide a clear vision of what has been developed so far, focusing on methods that make use of theoretical frameworks that are developed for classes of real functions rather than for a single function, even if they are applied in a restricted manner. The term geometrical-topological used in the title is meant to underline that both levels of information content are relevant for the applications of shape descriptions: geometrical, or metrical, properties and attributes are crucial for characterizing specific instances of features, while topological properties are necessary to abstract and classify shapes according to invariant aspects of their geometry. The approaches surveyed will be discussed in detail, with respect to theory, computation, and application. Several properties of the shape descriptors will be analyzed and compared. We believe this is a crucial step to exploit fully the potential of such approaches in many applications, as well as to identify important areas of future research.

Topological Shape Theory

Rubber Relationalism: Smallest Graph-Theoretically Nontrivial Leibniz Spaces

Shape Dynamics. An Introduction

Shape Analysis of Planar Objects with Arbitrary Topologies Using Conformal Geometry

Absolute versus Relational Debate: a Modern Global Version

2D-Shape Analysis Using Conformal Mapping

Topological “Shape” in Micellar Dynamics

Quantum Statistics and Spacetime Topology: Quantum Surgery Formulas

A statistical framework for analyzing shape in a time series of random geometric objects

Towards a theory of statistical tree-shape analysis

Shape analysis of framed space curves

Topological data analysis and machine learning

From Humean Laws to a Neo-Kantian Spacetime: A Dynamics-First View of Topology

Shape dynamics and Mach's principles: Gravity from conformal geometrodynamics

Topology Applied to Machine Learning: From Global to Local

Shape Dynamics and The Universe: Foundations and Implications

Computing Teichmüller shape space.

Generative Topology for Shape Synthesis

Poincaré invariance and asymptotic flatness in Shape Dynamics

Describing shapes by geometrical-topological properties of real functions