Spectral geometry is the study of the relationships between geometric properties of the manifold and properties of its spectrum.

The Notion of spectrum is an essential part in various fields including classical mechanics, quantum mechanics, analysis, and of course, geometry that we’d discuss more here. Both quantum physics and general relativity also try to drive through the spectral approach - *Can one hear the shape of the universe?*

I am in no way a mathematician and my knowledge on this topic is very limited. I would like present this as an introduction and from a computer scientist’s persepective. I aim to discuss if these ideas can be extended to shape analysis applications like correspondence matching, style transfer and interpolation. This post will be a primer to a follow up article on …..

Let’s start with the basic idea of a (Riemannian) manifold and the Laplace-Beltrami operator.

Flat earthers are right. The surface of the earth is a 2D manifold. Every region around it looks like a region of the Euclidean plane.

[ By User:RokerHRO - Combination of Stereographic Projection Water Hemisphere and Stereographic Projection Polar Extreme into a single image, CC BY-SA 3.0, Link ]

A manifold is defined as a topological space that locally resembles Euclidean space near each point. This notion allows complicated systems to be explained in simpler terms of local topological properties of Euclidean space.

In computer vision, the notion a manifold is used quite frequently – in rotation averaging (), structure and motion (“Essential” manifold), to capture the shape of an object (“Shape” manifolds), to model a set of images (“Grassman” manifolds) or to simply represent a sphere ().

[ The space of essential matrices as a Riemannian manifold, C: Roboerto Tron ] |

A “Hilbert” space is an abstract vector space with an inner product which has to be complete under convergence (i.e. to allow calculus to be used). This generalises the notion of Euclidean space by extending the methods of vector algebra and calculus from 2D Euclidean plane and 3D spaces to higher dimensions.

Thus, we can define norms in Hilbert space to allow us to measure distances, and inner products to allow us to measure angles.

On a Riemannian manifold, you get to measure lengths of the curves. A Riemannian manifold is a manifold with an inner product defined in the tangent space at each point. Riemannian geometry is a field by itself.

[Geodesic and tangent space in a Riemannian manifold. The geodesic joining x and y is a straight. ] |

A Riemannian metric (tensor) makes it possible to define several geometric notions on a Riemannian manifold, such as angle at an intersection, length of a curve, area of a surface and higher-dimensional analogues (volume, etc.), extrinsic curvature of submanifolds, and intrinsic curvature of the manifold itself. It also allows us to define “geodesic distance” on the manifold.

Geodesics are locally shortest curves. They preserve a direction on a surface and have many interesting properties. In a plane, the geodesics are straight lines. On a sphere, the geodesics are great circles (like the equator). The geodesics in a space depend on the Riemannian metric, which affects the notions of distance and acceleration. Again, metric geometry is a field by itself.

Equivalently in other areas, it can be defined as a path that a particle which is not accelerating would follow.

In Riemannian geometry, all geodesics are locally distance-minimizing paths, but the converse is not true.

[ By derivative work: Pbroks13 (talk) A geodesic triangle on the sphere. The geodesics are great circle arcs. ]

Without going into too much details on metrics and (pseudo-) Riemannian manifolds, an isometry of a manifold can be defined in simpler terms as any (smooth) mapping of that manifold (into itself, or into another manifold) that preserves the notion of distance between points.

When such a mapping is on smooth manifolds (and is a diffeomorphism: the mapping is a bijection and its inverse is differentiable), it is called isometry, and provides a notion of isomorphism (“sameness”).

**Terminology** : Let be a smooth manifold. Denote the tangent space at by .

If is a smooth map between smooth manifolds, denote the associated map on by . If is an open interval in and is a smooth path, then for denotes .

**Definition** : A *Riemannian* metric on a smooth manifold M is a choice at each point of a positive definite inner product on , the inner products varying smoothly with . Then is known as a Riemannian manifold.

**Definition** : A local isometry between two Riemannian manifolds and is a local diffeomorphism , such that, for all points and all vectors and in ,

.

A (Riemannian) isometry is a local isometry that is also a diffeomorphism.

Now, that we have a basic idea about the Riemannian manifolds, let’s have a very quick look at the Laplace-Beltrami operator.

The Laplace operator is a fundamental concept in calculus, given by the divergence of the gradient of a function on Euclidean space. The laplacian of a function at point is the rate at which the average value of over spheres centered at deviates from as the radius of the sphere shrinks towards 0.

Initially introduced in the study of celestial mechanics, solutions of the equation , now called Laplace’s equation, are the so-called harmonic functions and represent the possible gravitational fields in regions of vacuum.

The Laplacian generalized to the Riemannian manifold by the Laplace-Beltrami operator ().

Equivalently other areas (esp. in diffusion processes) utilize this idea - Fluid mechanics (the Navier-stokes equation), potential theory (Poisson equation), heat diffusion (heat equation), wave equation, quantum physics (Schrodinger equation) and so on.

Spectral geometry is a field in mathematics which concerns relationships between geometric structures of manifolds and spectra of canonically defined differential operators.

Given a compact Riemannian manifold, we can associate to it the (linear unbounded) Laplace-Beltrami operator. This operator is self-adjoint and its spectrum is discrete : namely the spectrum consists of a increasing sequence of real eigenvalues with finite multiplicity.

Two closed Riemannian manifolds are said to be isospectral if the eigenvalues of their Laplace–Beltrami operator (Laplacians), counted multiplicities, coincide.

Thus, spectral geometry is the connection between the spectrum and the geometry of the manifold . This fundamentally deals with two kinds of problems:

A problem that arises a lot in physics, the analysis of PDEs, probabilty etc is to compute the spectrum of Laplacian (or other operators). The main idea is to find a lower bound estimate on the eigenvalues of the spectrum on a Riemannian manifold. This is we,

*compute (exactly or not) the spectrum ? And (or) find properties on the spectrum ?*

Direct problems attempt to infer the behavior of the eigenvalues of a Riemannian manifold from knowledge of the geometry.

The problem we’ll look more into detail in the next post, is the inverse problem. One of fundamental problems in spectral geometry is to ask to what extent the eigenvalues determine the geometry of a given manifold.

If the notion that a *Riemannian invariant* is true: if two Riemannian manifolds and are isometric, then they are **isospectral** i.e., .

*which geometric information of the manifold can we determine from the spectrum?*

*does the data of the spectrum determine the “shape” of the manifold ?*

This question of isospectrality (spectral alignment) in Riemannian geometry may be traced back to H. Weyl in 1911–1912 and became popularized thanks to M. Kac’s article of 1966. The famous sentence of Kac “Can one hear the shape of a drum?” refers to this type of isospectral problem.

Spoiler: The answer is “theoretically” false. There exists isospectral manifolds that are nonisometric.

In the following post we’ll formulate this problem in terms of computer vision and shape analysis, as a numerical optimisation procedure in relation with interpolation, correspondence matching and style transfer.

- Notes for Analysis on Manifolds via the Laplacian by Yaiza Canzani.
- Old and new aspects in Spectral Geometry. By M. Craiveanu, M. Puta and T. Rassias.
- https://www.ems-ph.org/books/186/9783037191514_introduction.pdf
- https://en.wikipedia.org/wiki/Laplace_operator
- http://people.maths.ox.ac.uk/lackenby/intriem.pdf
- https://sites.google.com/site/olivierlablee/spectral-geometry
- https://en.wikipedia.org/wiki/Hearing_the_shape_of_a_drum

All rights to images are reserved by respective authors.