# On the optimality of shape and data representation in the spectral domain

arXiv: https://arxiv.org/abs/1409.4349 · HTML: https://mlsanity.com/paper/1409.4349/

## Key facts

- Cited by 14 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 15 Sep 2014.

## Built on by (most cited first, 14 of 14)

- [Geometric Deep Learning: Grids, Groups, Graphs, Geodesics, and Gauges](https://mlsanity.com/paper/2104.13478/) (2021)
- [Multiway Non-rigid Point Cloud Registration via Learned Functional Map Synchronization](https://mlsanity.com/paper/2111.12878/) (2021)
- [Universal Spectral Adversarial Attacks for Deformable Shapes](https://mlsanity.com/paper/2104.03356/) (2021)
- [On Unsupervised Partial Shape Correspondence](https://mlsanity.com/paper/2310.14692/) (2023)
- [Non-Isometric Shape Matching via Functional Maps on Landmark-Adapted Bases](https://mlsanity.com/paper/2205.04800/) (2022)
- [Operator learning without the adjoint](https://mlsanity.com/paper/2401.17739/) (2024)
- [A general reduced-order neural operator for spatio-temporal predictive learning on complex spatial domains](https://mlsanity.com/paper/2409.05508/) (2024)
- [Spectral Maps for Learning on Subgraphs](https://mlsanity.com/paper/2205.14938/) (2022)
- [Hearing the shape of an arena with spectral swarm robotics](https://mlsanity.com/paper/2403.17147/) (2024)
- [Partial Shape Similarity via Alignment of Multi-Metric Hamiltonian Spectra](https://mlsanity.com/paper/2207.03018/) (2022)
- [U-mesh: Human Correspondence Matching with Mesh Convolutional Networks](https://mlsanity.com/paper/2108.06695/) (2021)
- [Generating Band-Limited Adversarial Surfaces Using Neural Networks](https://mlsanity.com/paper/2111.07424/) (2021)
- [Extracting a functional representation from a dictionary for non-rigid shape matching](https://mlsanity.com/paper/2305.10332/) (2023)
- [Learning Eigenstructures of Unstructured Data Manifolds](https://mlsanity.com/paper/2512.01103/) (2025)

## Abstract (arXiv)

A proof of the optimality of the eigenfunctions of the Laplace-Beltrami operator (LBO) in representing smooth functions on surfaces is provided and adapted to the field of applied shape and data analysis. It is based on the Courant-Fischer min-max principle adapted to our case. % The theorem we present supports the new trend in geometry processing of treating geometric structures by using their projection onto the leading eigenfunctions of the decomposition of the LBO. Utilisation of this result can be used for constructing numerically efficient algorithms to process shapes in their spectrum. We review a couple of applications as possible practical usage cases of the proposed optimality criteria. % We refer to a scale invariant metric, which is also invariant to bending of the manifold. This novel pseudo-metric allows constructing an LBO by which a scale invariant eigenspace on the surface is defined. We demonstrate the efficiency of an intermediate metric, defined as an interpolation between the scale invariant and the regular one, in representing geometric structures while capturing both coarse and fine details. Next, we review a numerical acceleration technique for classical scaling, a member of a family of flattening methods known as multidimensional scaling (MDS). There, the optimality is exploited to efficiently approximate all geodesic distances between pairs of points on a given surface, and thereby match and compare between almost isometric surfaces. Finally, we revisit the classical principal component analysis (PCA) definition by coupling its variational form with a Dirichlet energy on the data manifold. By pairing the PCA with the LBO we can handle cases that go beyond the scope defined by the observation set that is handled by regular PCA.
