Identifiability and Consistent Recovery for the Unnormalized Graph Laplace Operators

Abstract

We study whether an unnormalized graph Laplace operator can determine both the geometry of a manifold and its sampling density. On a fixed compact smooth manifold without boundary, we use a known positive, continuous, strictly decreasing radial kernel at a fixed positive bandwidth. For positive sampling densities, the operator built from geodesic distances determines the Riemannian metric and identifies the density up to equality almost everywhere. When the metric is induced by a Euclidean embedding, the operator built from ambient distances also determines the embedding up to rotations, reflections and translations, and the density. On compact parameter classes with positive continuous densities, minimizing the distance between empirical and popula- tion operators gives estimates that converge to the true parameters under independent, identically distributed sampling. This recovery result assumes that the empirical operator can be evaluated at arbitrary points of the manifold.