1: \begin{abstract}

2: In this paper we consider the problem of optimality in manifold reconstruction. A random sample $\mathbb{X}_n = \left\{X_1,\ldots,X_n\right\}\subset \R^D$  composed of points lying on a $d$-dimensional submanifold $M$, with or without outliers drawn in the ambient space, is observed. Based on the Tangential Delaunay Complex \cite{Boissonnat14}, we construct an estimator $\hat{M}$ that is ambient isotopic and Hausdorff-close to $M$ with high probability. The estimator $\hat{M}$ is built from existing algorithms. In a model without outliers, we show that this estimator is asymptotically minimax optimal for the Hausdorff distance over a class of submanifolds defined with a reach constraint. Therefore, even with no \textit{a priori} information on the tangent spaces of $M$, our estimator based on Tangential Delaunay Complexes is optimal. This shows that the optimal rate of convergence can be achieved through existing algorithms. A similar result is also derived in a model with outliers.

3: A geometric interpolation result is derived, showing that the Tangential Delaunay Complex is stable with respect to noise and perturbations of the tangent spaces. In the process, a denoising procedure and a tangent space estimator both based on local principal component analysis (PCA) are studied.

4: %A method to provably handle noise and tangent space uncertainty in manifold reconstruction under reach condition is given. We show that the Tangential Delaunay Complex is stable under different conditions. In a statistical framework, our stability results are shown to lead to the optimality of the tangential complex for manifold approximation and that requiring exact topology retrieval do not deteriorate the rates of convergence.

5: \end{abstract}

6: