Curvature-driven manifold fitting under unbounded isotropic noise

preprint2026arXivOpen access

Abstract

Manifold fitting aims to reconstruct a low-dimensional manifold from high-dimensional data, whose framework is established by Fefferman et al. \cite{fefferman2020reconstruction,fefferman2021reconstruction}. This paper studies the recovery of a compact C3C^3 submanifold M⊂RD\mathcal{M} \subset \mathbb{R}^D with dimension d<Dd<D and positive reach ττ from observations Y=X+ξY = X + ξ, where XX is uniformly distributed on M\mathcal{M} and ξ∼N(0,σ2ID)ξ\sim \mathcal{N}(0, σ^2 I_D) denotes isotropic Gaussian noise. To project any points zz in a tubular neighborhood ΓΓ of M\mathcal{M} onto M\mathcal{M}, we construct a sample-based estimator F:Γ→RDF:Γ\to\mathbb{R}^D by a normalized local kernel with the theoretically derived bandwidth r=cDσr = c_Dσ. Under a sample size of O(σ−3d−5)O(σ^{-3d-5}), we establish with high probability the uniform asymptotic expansion F(z)=π(z)+d2Hπ(z)σ2+O(σ3),z∈Γ, F(z) = π(z) + \frac{d}{2} H_{π(z)} σ^2 + O(σ^3), \qquad z \in Γ, where π(z)π(z) is the projection of zz onto M\mathcal{M} and Hπ(z)H_{π(z)} is the mean curvature vector of M\mathcal{M} at π(z)π(z). The resulting manifold F(Γ)F(Γ) has reach bounded below by cτc τ for c>0c>0 and achieves a state-of-the-art Hausdorff distance of O(σ2)O(σ^2) to M\mathcal{M}. Numerical experiments confirm the quadratic decay of the reconstruction error and demonstrate the computational efficiency of the estimator FF. Our work provides a curvature-driven framework for denoising and reconstructing manifolds with second-order accuracy.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.