Abstract:Abstract We study the geometric Whitney problem on how a Riemannian manifold ( M , g ) can be constructed to approximate a metric space $$(X,d_X)$$ ( X , d X ) . This problem is closely related to manifold interpolation (or manifold reconstruction) where a smooth n -dimensional submanifold $$S\subset {{\mathbb {R}}}^m$$ S ⊂ R m , $$m>n$$ m > n needs to be constructed to approximate a point cloud in $${{\mathbb {R}}}^m$$ R m . These questions are encountered in differential geometry, machine learning, and in many inverse problems encountered in applications. The determination of a Riemannian manifold includes the construction of its topology, differentiable structure, and metric. We give constructive solutions to the above problems. Moreover, we characterize the metric spaces that can be approximated, by Riemannian manifolds with bounded geometry: We give sufficient conditions to ensure that a metric space can be approximated, in the Gromov–Hausdorff or quasi-isometric sense, by a Riemannian manifold of a fixed dimension and with bounded diameter, sectional curvature, and injectivity radius. Also, we show that similar conditions, with modified values of parameters, are necessary. As an application of the main results, we give a new characterization of Alexandrov spaces with two-sided curvature bounds. Moreover, we characterize the subsets of Euclidean spaces that can be approximated in the Hausdorff metric by submanifolds of a fixed dimension and with bounded principal curvatures and normal injectivity radius. We develop algorithmic procedures that solve the geometric Whitney problem for a metric space and the manifold reconstruction problem in Euclidean space, and estimate the computational complexity of these procedures. The above interpolation problems are also studied for unbounded metric sets and manifolds. The results for Riemannian manifolds are based on a generalization of the Whitney embedding construction where approximative coordinate charts are embedded in $${{\mathbb {R}}}^m$$ R m and interpolated to a smooth submanifold.

Demystifying Latschev's Theorem: Manifold Reconstruction from Noisy Data

The Structure of Spaces with Bakry–Émery Ricci Curvature Bounded Below

Topological Stability and Latschev-type Reconstruction Theorems for $\boldsymbol{\mathrm{CAT}(κ)}$ Spaces

Metric thickenings of Euclidean submanifolds

Random projections of random manifolds

Notes on the Cheeger and Colding version of the Reifenberg theorem for metric spaces

Reconstruction and Interpolation of Manifolds. I: The Geometric Whitney Problem

Finite reconstruction with selective Rips complexes

Coarse Ricci curvature of weighted Riemannian manifolds

Parameter-free Topology Inference and Sparsification for Data on Manifolds

Finding the Homology of Manifolds using Ellipsoids

The Tetrahedral Property and a new Gromov-Hausdorff Compactness Theorem

Positive Scalar Curvature on Noncompact Manifolds and the Liouville Theorem.

Quantitative non-divergence and Diophantine approximation on manifolds

Function recovery on manifolds using scattered data

From bounds to Gromov–Hausdorff convergence of Riemannian manifolds

Approximating maps into manifolds with lower curvature bounds

A generalization of the Cai--Galloway splitting theorem to smooth metric measure spaces

Parallel Codazzi tensors with submanifold applications

Partial Scalar Curvatures and Topological Obstructions for Submanifolds

Topological Singularity Detection at Multiple Scales