arXiv subjects

Dominique Attali

Publications and source records attributed to Dominique Attali.

5 recordsLinked to original sources

arXiv2024

When alpha-complexes collapse onto codimension-1 submanifolds

Given a finite set of points $P$ sampling an unknown smooth surface $\mathcal{M} \subseteq \mathbb{R}^3$, our goal is to triangulate $\mathcal{M}$ based solely on $P$. Assuming $\mathcal{M}$ is a smooth orientable submanifold of codimension 1 in $\mathbb{R}^d$, we introduce a simple algorithm, Naive Squash, which simplifies the $\alpha$-complex of $P$ by repeatedly applying a new type of collapse called vertical relative to $\mathcal{M}$. Naive Squash also has a practical version that does not require knowledge of $\mathcal{M}$. We establish conditions under which both the naive and practical Squash algorithms output a triangulation of $\mathcal{M}$. We provide a bound on the angle formed by triangles in the $\alpha$-complex with $\mathcal{M}$, yielding sampling conditions on $P$ that are competitive with existing literature for smooth surfaces embedded in $\mathbb{R}^3$, while offering a more compartmentalized proof. As a by-product, we obtain that the restricted Delaunay complex of $P$ triangulates $\mathcal{M}$ when $\mathcal{M}$ is a smooth surface in $\mathbb{R}^3$ under weaker conditions than existing ones.

cs.CG↗

arXiv2024

Tight bounds for the learning of homotopy à la Niyogi, Smale, and Weinberger for subsets of Euclidean spaces and of Riemannian manifolds

In this article we extend and strengthen the seminal work by Niyogi, Smale, and Weinberger on the learning of the homotopy type from a sample of an underlying space. In their work, Niyogi, Smale, and Weinberger studied samples of $C^2$ manifolds with positive reach embedded in $\mathbb{R}^d$. We extend their results in the following ways: In the first part of our paper we consider both manifolds of positive reach -- a more general setting than $C^2$ manifolds -- and sets of positive reach embedded in $\mathbb{R}^d$. The sample $P$ of such a set $\mathcal{S}$ does not have to lie directly on it. Instead, we assume that the two one-sided Hausdorff distances -- $\varepsilon$ and $δ$ -- between $P$ and $\mathcal{S}$ are bounded. We provide explicit bounds in terms of $\varepsilon$ and $ δ$, that guarantee that there exists a parameter $r$ such that the union of balls of radius $r$ centred at the sample $P$ deformation-retracts to $\mathcal{S}$. In the second part of our paper we study homotopy learning in a significantly more general setting -- we investigate sets of positive reach and submanifolds of positive reach embedded in a \emph{Riemannian manifold with bounded sectional curvature}. To this end we introduce a new version of the reach in the Riemannian setting inspired by the cut locus. Yet again, we provide tight bounds on $\varepsilon$ and $δ$ for both cases (submanifolds as well as sets of positive reach), exhibiting the tightness by an explicit construction.

cs.CG↗

arXiv2022

Flat Delaunay Complexes for Homeomorphic Manifold Reconstruction

Given a smooth submanifold of the Euclidean space, a finite point cloud and a scale parameter, we introduce a construction which we call the flat Delaunay complex (FDC). This is a variant of the tangential Delaunay complex (TDC) introduced by Boissonnat et al.. Building on their work, we provide a short and direct proof that when the point cloud samples sufficiently nicely the submanifold and is sufficiently safe (a notion which we define in the paper), our construction is homeomorphic to the submanifold. Because the proof works even when data points are noisy, this allows us to propose a perturbation scheme that takes as input a point cloud sufficiently nice and returns a point cloud which in addition is sufficiently safe. Equally importantly, our construction provides the framework underlying a variational formulation of the reconstruction problem which we present in a companion paper.

cs.CG↗

arXiv2022

Delaunay-like Triangulation of Smooth Orientable Submanifolds by L1-Norm Minimization

In this paper, we study the shape reconstruction problem, when the shape we wish to reconstruct is an orientable smooth d-dimensional submanifold of the Euclidean space. Assuming we have as input a simplicial complex K that approximates the submanifold (such as the Cech complex or the Rips complex), we recast the problem of reconstucting the submanifold from K as a L1-norm minimization problem in which the optimization variable is a d-chain of K. Providing that K satisfies certain reasonable conditions, we prove that the considered minimization problem has a unique solution which triangulates the submanifold and coincides with the flat Delaunay complex introduced and studied in a companion paper. Since the objective is a weighted L1-norm and the constraints are linear, the triangulation process can thus be implemented by linear programming.

cs.CG↗

arXiv2015

Geometry-driven collapses for converting a Cech complex into a triangulation of a nicely triangulable shape

Given a set of points that sample a shape, the Rips complex of the data points is often used in machine-learning to provide an approximation of the shape easily-computed. It has been proved recently that the Rips complex captures the homotopy type of the shape assuming the vertices of the complex meet some mild sampling conditions. Unfortunately, the Rips complex is generally high-dimensional. To remedy this problem, it is tempting to simplify it through a sequence of collapses. Ideally, we would like to end up with a triangulation of the shape. Experiments suggest that, as we simplify the complex by iteratively collapsing faces, it should indeed be possible to avoid entering a dead end such as the famous Bing's house with two rooms. This paper provides a theoretical justification for this empirical observation. We demonstrate that the Rips complex of a point-cloud (for a well-chosen scale parameter) can always be turned into a simplicial complex homeomorphic to the shape by a sequence of collapses, assuming the shape is nicely triangulable and well-sampled (two concepts we will explain in the paper). To establish our result, we rely on a recent work which gives conditions under which the Rips complex can be converted into a Cech complex by a sequence of collapses. We proceed in two phases. Starting from the Cech complex, we first produce a sequence of collapses that arrives to the Cech complex, restricted by the shape. We then apply a sequence of collapses that transforms the result into the nerve of some robust covering of the shape.

cs.CG↗