Abstract:The Laplace-Beltrami operator of a smooth Riemannian manifold is determined by the Riemannian metric. Conversely, the heat kernel constructed from its eigenvalues and eigenfunctions determines the Riemannian metric. This work proves the analogy on Euclidean polyhedral surfaces (triangle meshes), that the discrete Laplace-Beltrami operator and the discrete Riemannian metric (unique up to a scaling) are mutually determined by each other. Given an Euclidean polyhedral surface, its Riemannian metric is represented as edge lengths, satisfying triangle inequalities on all faces. The Laplace-Beltrami operator is formulated using the cotangent formula, where the edge weight is defined as the sum of the cotangent of angles against the edge. We prove that the edge lengths can be determined by the edge weights unique up to a scaling using the variational approach. First, we show that the space of all possible metrics of a polyhedral surface is convex. Then, we construct a special energy defined on the metric space, such that the gradient of the energy equals to the edge weights. Third, we show the Hessian matrix of the energy is positive definite, restricted on the tangent space of the metric space, therefore the energy is convex. Finally, by the fact that the parameter on a convex domain and the gradient of a convex function defined on the domain have one-to-one correspondence, we show the edge weights determines the polyhedral metric unique up to a scaling. The constructive proof leads to a computational algorithm that finds the unique metric on a topological triangle mesh from a discrete Laplace-Beltrami operator matrix.

A physically motivated derivation of the Laplacian in terms of the total angular momentum operator

Laplacian Operator in Spherical Coordinates, an Alternative Derivation

Do It by Yourself: An Instructional Derivation of the Laplacian Operator in Spherical Polar Coordinates

Algebraic derivation of some theorems concerning contact structures on the 3-sphere

Discrete Laplacians -- spherical and hyperbolic

Laplacians in spinor bundles over translation surfaces: self-adjoint extentions and regularized determinants

Path integral of free fields and the determinant of Laplacian in warped space-time

A Self-Adjoint Decomposition of Radial Momentum Implies That Dirac's Introduction of the Operator is Insightful

On quasi-local angular momentum and the construction of axial vector fields

Efficient Algorithms for Computing Multidimensional Integral Fractional Laplacians Via Spherical Means

On some consequences of the Laplacian’s singularity at the origin in spherical coordinates

Determinants of Pseudo-laplacians and for Spinor Bundles Over Riemann Surfaces

The role of axial angular momentum in exact non-linear solutions of multipolar spherical and cylindrical vortices

Extremals of determinants for Laplacians on discrete surfaces

Determinants of pseudo-laplacians and $ζ^{({\rm reg})}(1)$ for spinor bundles over Riemann surfaces

Discrete Laplace-Beltrami Operator Determines Discrete Riemannian Metric

Spectrum of the Laplacian and the Jacobi operator on Generalized rotational minimal hypersurfaces of spheres

New vistas on the Laplace-Runge-Lenz vector

Interior solution of azimuthally symmetric case of Laplace equation in orthogonal similar oblate spheroidal coordinates

Tensor calculus in spherical coordinates using Jacobi polynomials, Part-II: Implementation and Examples