Abstract
Distance functions to compact sets play a central role in several areas of computational geometry. Methods that rely on them are robust to the perturbations of the data by the Hausdorff noise, but fail in the presence of outliers. The recently introduced distance to a measure offers a solution by extending the distance function framework to reasoning about the geometry of probability measures, while maintaining theoretical guarantees about the quality of the inferred information. A combinatorial explosion hinders working with distance to a measure as an ordinary power distance function. In this paper, we analyze an approximation scheme that keeps the representation linear in the size of the input, while maintaining the guarantees on the inference quality close to those for the exact but costly representation.
Similar content being viewed by others
1 Introduction
The problem of recovering the geometry and topology of compact sets from finite point samples has seen several important developments in the previous decade. Homeomorphic surface reconstruction algorithms have been proposed to deal with surfaces in R3 sampled without noise [1] and with moderate Hausdorff (local) noise [13]. In the case of submanifolds of a higher dimensional Euclidean space [20], or even for more general compact subsets [5], it is also possible, at least in principle, to compute the homotopy type from a Hausdorff sampling. If one is only interested in the homology of the underlying space, the theory of persistent homology [15] applied to Vietoris–Rips complexes provides an algorithmically tractable way to estimate the Betti numbers from a finite Hausdorff sampling [7].
All of these constructions share a common feature: they estimate the geometry of the underlying space by a union of balls of some radius r centered at the data points P. A different interpretation of this union is the r-sublevel set of the distance function to P, \(\operatorname {d}_{P}: x\mapsto \min_{p\in P} \|x - p\|\). Distance functions capture the geometry of their defining sets, and they are stable to Hausdorff perturbations of those sets, making them well-suited for reconstruction results. However, they are also extremely sensitive to the presence of outliers (i.e., data points that lie far from the underlying set); all reconstruction techniques that rely on them fail even in presence of a single outlier.
To counter this problem, Chazal, Cohen-Steiner, and Mérigot [6] developed a notion of distance function to a probability measure that retains the properties of the (usual) distance important for geometric inference. Instead of assuming an underlying compact set that is sampled by the points, they assume an underlying probability measure μ from which the point sample P is drawn. The distance function \(\mathrm {d}_{\mu,m_{0}}\) to the measure μ depends on a mass parameter m 0∈(0,1). This parameter acts as a smoothing term: a smaller m 0 captures the geometry of the support better, while a larger m 0 leads to better stability at the price of precision. Crucially, the function \(\mathrm {d}_{\mu,m_{0}}\) is stable to the perturbations of the measure μ under the Wasserstein distance. Defined in Sect. 2.2, this distance evaluates the cost of the optimal way to transport one measure onto another, where we pay for the squared distance a unit mass travels. Consequently, the Wasserstein distance between the underlying measure μ and the uniform probability measure on the point set P is small even if P contains some outliers, since individual points support only a small fraction of the mass. The stability result ensures that distance function \(\mathrm {d}_{\mathbf {1}_{P}, m_{0}}\) to the uniform probability measure 1 P on P retains the geometric information contained in the underlying measure μ and its support.
Computing with Distance Functions to Measures
In this article we address the computational issues related to this new notion. If P is a subset of ℝd containing N points, and m 0=k/N, we will denote the distance function to the uniform measure on P by d P,k . As observed in [6], the value of d P,k at a given point x is easy to compute: it is the square root of the average squared distance from the point x to its k nearest neighbors in P. However, many geometric inference methods require a global representation of the sublevel sets of the function, i.e., the sets \(\mathrm {d}_{P,k}^{-1}([0,r]) := \{ x\in \mathbb{R}^{d};~\mathrm {d}_{P,k}(x) \leq r\}\). It turns out that the distance function d P,k can be rewritten as a minimum
where \(\bar{p}\) ranges over the set of barycenters of k points in P (see Sect. 3). Computational geometry provides a rich toolbox to represent sublevel sets of such functions, for example, via weighted α-complexes [14].
The difficulty in applying these methods is that to get an equality in Eq. (1) the minimum number of barycenters to store is the same as the number of sites in the order-k Voronoi diagram of P, making this representation unusable even for modest input sizes [9]. Our solution is to construct an approximation of the distance function d P,k , defined by the same equation as (1), but with \(\bar{p}\) ranging over a smaller subset of barycenters. In this article, we study the quality of approximation given by a linear-sized subset—the witnessed barycenters, defined as the barycenters of any k points in P whose order-k Voronoi cell contains at least one of the sample points. The algorithmic simplicity of the scheme is appealing: we only have to find the k−1 nearest neighbors for each input point. We denote by \(\mathrm{d}^{\mathrm{w}}_{P,k}\) and call witnessed k-distance the function defined by Eq. (1), where \(\bar{p}\) ranges over the witnessed barycenters.
Contributions
Our goal is to give conditions on the point cloud P under which the witnessed k-distance \(\mathrm{d}^{\mathrm{w}}_{P,k}\) provides a good uniform approximation of the distance to measure d P,k . We first give a general multiplicative bound on the error produced by this approximation. However, most of our paper (Sects. 4 and 5) analyzes the uniform approximation error, when P is a set of independent samples from a measure concentrated near a lower-dimensional subset of the Euclidean space.
- (H):
-
We assume that the “ground truth” is an unknown probability measure μ supported on a compact set K whose dimension is bounded by ℓ. This means that there exists a positive constant α μ such that for every point x in K and every radius r<diam(K), one has μ(B(x,r))≥α μ r ℓ.
A prototypical example is the volume measure on a compact smooth ℓ-dimensional submanifold K, rescaled to be a probability measure. In this case, the constant α μ can be lower-bounded as a function of the dimension, the diameter, the ℓ-volume and the minimum sectional curvature of K. This can be derived from the Bishop–Günther comparison theorem (e.g., see [6, Proposition 4.9]). This hypothesis on the dimension of μ ensures that the distance to the measure μ is close to the distance to the support K of μ, and lets us recover information about K.
Our first result asserts in a quantitative way that if the uniform measure to a point cloud P is a good Wasserstein approximation of μ, then the witnessed k-distance to P provides a good approximation of the distance to the underlying compact set K. We denote by ∥.∥∞ the norm of uniform convergence on ℝd, that is, \(\|f\|_{\infty}:= \sup_{x \in \mathbb{R}^{d}} |f(x)|\).
Witness Bound
(Theorem 4.4)
Let μ be a probability measure satisfying the hypothesis (H) and let K be its support. Consider the uniform measure 1 P on a point cloud P, and set m 0=k/|P|. Then,
where W2(μ,1 P ) is the Wasserstein distance between measures μ and 1 P .
The above bound is only a constant times worse than a similar bound for the exact k-distance which was proven in [6]. In other words, under the hypothesis of this theorem the quality of the inference is not significantly decreased when replacing the exact k-distance by the witnessed k-distance.
In order to make the Witnessed Bound more explicit, we give in Sect. 5 an upper bound on the Wasserstein distance in the right-hand side of the inequality, when the point cloud P follows a certain sampling model. This model generalizes mixtures of isotropic Gaussians [12], and is similar to a model recently proposed for topological inference [21]. We assume that the point cloud P comes from N independent random samples of the underlying measure μ shifted by N isotropic random Gaussian vectors centered at the origin and with variance σ 2. We can then control the Wasserstein distance in the Witnessed Bound with high probability:
This result is stated more quantitatively in Corollary 5.6. We also include a similar result under a different model of noise in Corollary 5.4.
Outline
The relevant background appears in Sect. 2. We present our approximation scheme together with a general bound of its quality in Sect. 3. In Sect. 4, we give the proof of the Witnessed Bound. The convergence of the uniform measure on a point cloud sampled from a measure of low complexity appears in Sect. 5. We illustrate the utility of these two bounds with an example and a topological inference statement in our final Sect. 6.
2 Background
We begin by reviewing the relevant background on measure theory, Wasserstein distances, and distances to measures.
2.1 Measure
Let us briefly recap the few concepts of measure theory that we use. A non-negative measure μ on the space ℝd is a map from (Borel) subsets of ℝd to non-negative numbers, which is additive in the sense that \(\mu(\bigcup_{i\in \mathcal{N}} B_{i} ) = \sum_{i} \mu(B_{i})\) whenever (B i ) is a countable family of disjoint (Bore)l subsets. The total mass of a measure μ is mass(μ):=μ(ℝd). A measure μ with unit total mass is called a probability measure. The support of a measure μ, denoted by spt(μ), is the smallest closed set whose complement has zero measure. The expectation or mean of μ is the point \(\mathbb{E}(\mu) = \int_{\mathbb{R}^{d}} x\,\mathrm {d}\mu(x)\); the variance of μ is the number \(\sigma_{\mu}^{2} = \int_{\mathbb{R}^{d}} \|x - \mathbb{E}(\mu)\|^{2}\,\mathrm {d}\mu(x)\).
Although the results we present are often more general, the typical probability measures we have in mind are of two kinds: (i) the probability measure defined by rescaling the volume form of a lower-dimensional submanifold of the ambient space and (ii) discrete probability measures that are obtained through noisy sampling of probability measures of the previous kind. For any finite set P with N points, recall that 1 P is the uniform measure supported on P, i.e., the sum of Dirac masses centered at p∈P with weight 1/N.
2.2 Wasserstein Distance
A natural way to quantify the distance between two measures is the quadratic Wasserstein distance. This distance measures the L2-cost of transporting the mass of the first measure onto the second one. Note that it is possible to define Wasserstein distances with other exponents; for instance, the L1 Wasserstein distance is commonly called the earth mover’s distance [22]. A general study of this notion and its relation to the problem of optimal transport appear in [24]. We first give the general definition and then explain its interpretation when one of the two measures has finite support.
A transport plan between two measures μ and ν with the same total mass is a measure π on the product space ℝd×ℝd such that for every pair of subsets A,B of ℝd, π(A×ℝd)=μ(A) and π(ℝd×B)=ν(B). Intuitively, π(A×B) represents the amount of mass of μ contained in A that will be transported to B by π. The set of all transport plans between μ and ν is denoted by Γ(μ,ν). The cost of a transport plan π is given by
Finally, the Wasserstein distance between μ and ν is the minimum cost of a transport plan between these measures, i.e.,
Note that W2 is indeed a distance function; in particular, it satisfies the triangle inequality on the space of probability measures on ℝd with finite variance (cf. [24, Theorem 7.12]).
Discrete Target Measure
Consider the special case where the measure ν is supported on a finite set P. This means that ν can be written as ∑ p∈P a p δ p , where δ p is the unit Dirac mass at p. Moreover, ∑ p a p must equal the total mass of μ. Given a family of non-negative measures (μ p ) p∈P such that mass(μ p )=a p and μ=∑ p∈P μ p , one can define a transport plan π between μ and ν by
where μ p ×ν p denotes the product measure. Moreover, all transport plans between μ and ν can be written in this way. The cost of the plan associated to a decomposition (μ p ) p∈P is then
As before, W2(μ,ν) is the minimum of this quantity over all transport plans.
Wasserstein Noise
Two properties of the Wasserstein distances are particularly useful to us. Together, they show that the Wasserstein noise and sampling model generalize the commonly used empirical sampling with Gaussian noise model:
-
Consider a probability measure μ and f:ℝd→ℝ, the density of a probability measure centered at the origin, with finite variance \(\sigma^{2} := \int_{\mathbb{R}^{d}} \|x\|^{2} f(x)\,\mathrm {d}x\). Denote by ν the result of the convolution of μ by f. Then, the quadratic Wasserstein distance between μ and ν is at most σ. This follows for instance from [24, Proposition 7.17].
-
Let P denote a set of N points drawn independently from the measure ν. Suppose also that the ν has small tails, e.g., ν(ℝd∖B(0,r))≤exp(−cr 2) for some constant c. Then, the Wasserstein distance W2(ν,1 P ) between ν and the uniform probability measure on P converges to zero as N grows to infinity. Examples of such asymptotic convergence results are called “the uniform law of large numbers” and are common in statistics (see for instance [4] and references therein).
Using the notation and assumptions of the two items above, and using the triangle inequality for the Wasserstein distance, one has for any positive ε:
Consequently, the probability that W2(1 p ,μ) is at most (1+ε)σ converges to 1 as N grows to infinity. If one assumes that μ satisfies (H), Corollary 5.6 below gives a similar but more quantitative statement.
2.3 Distance-to-Measure and k-Distance
In [6], the authors introduce a distance to a probability measure as a way to infer the geometry and topology of this measure in the same way the geometry and topology of a set is inferred from its distance function. Given a probability measure μ and a mass parameter m 0∈(0,1), they define a distance function \(\operatorname {d}_{\mu,m_{0}}\) which captures the properties of the ordinary distance function to a compact set that are used for geometric inference.
Definition 2.1
For any point x in ℝd, let δ μ,m (x) be the radius of the smallest ball centered at x that contains a mass at least m of the measure μ. The distance to the measure μ with parameter m 0 is defined by \(\operatorname {d}_{\mu,m_{0}}(x) = m_{0}^{-1/2} (\int_{m=0}^{m_{0}} \delta_{\mu,m}(x)^{2}\,\mathrm {d}m)^{1/2}\).
The parameter m 0 acts as a smoothing term: a smaller value captures the geometry of the support better, while a larger value leads to better stability at the price of precision. This balance is well captured by the inequality in Theorem 4.2 below. Given a point cloud P of N points, the measure of interest is the uniform measure 1 P on P. When m 0 is a fraction k/N of the number of points (where k is an integer), we call k-distance and denote by \(\operatorname {d}_{P,k}\) the distance to the measure \(\mathrm {d}_{\mathbf{1}_{P},m_{0}}\). The value of \(\operatorname {d}_{P,k}\) at a query point x is given by
where \(\mathrm{NN}_{P}^{k}(x) \subseteq P\) denotes the k nearest neighbors in P to the point x∈ℝd. (Note that while the kth nearest neighbor itself might be ambiguous, on the boundary of an order-k Voronoi cell, the distance to the kth nearest neighbor is always well defined, and so is \(\operatorname {d}_{P,k}\).)
The most important property of the distance function \(\operatorname {d}_{\mu,m_{0}}\) is its stability, for a fixed m 0, under perturbations of the underlying measure μ. This property provides a bridge between the underlying (continuous) μ and the discrete measure 1 P . According to [6, Theorem 3.5], for any two probability measures μ and ν on ℝd,
where W2 is the Wasserstein distance. The multiplicative constant \(m_{0}^{-1/2}\) in this bound illustrates the fact that a larger m 0 leads to a more stable notion of distance, at the price of a less accurate fit of the data.
3 Witnessed k-Distance
In this section we describe a simple scheme for approximating the distance to a uniform measure together with a general error bound. The main contribution of our work, presented in Sect. 4, is the analysis of the quality of this approximation when the input points come from a measure concentrated on a lower-dimensional subset of the Euclidean space.
3.1 k-Distance as a Power Distance
Given a set of points U={u 1,…,u n } in ℝd with weights (w u ), we call the power distance to U the function pow U obtained as the lower envelope of all the functions \(\operatorname {d}_{u}^{2}: x \mapsto \|u - x\|^{2} - w_{u}\), where u ranges over U. By Proposition 3.1 in [6], we can express the square of any distance to a measure as a power distance with non-positive weights. The following proposition recalls this property in the case of k-distance; it is equivalent to the well-known fact that the order-k Voronoi diagrams can be written as the power diagrams for a certain set of points and weights [3].
Proposition 3.1
For any P⊆ℝd, denote by Baryk(P) the set of barycenters of any subset of k points in P. Then
where the weight of a barycenter \(\bar{p} = \frac{1}{k} \sum_{i} p_{i}\) is given by \(w_{\bar{p}} := -\frac{1}{k} \sum_{i} \|\bar{p} - p_{i}\|^{2}\).
Proof
Given k distinct points p 1,…,p k in P, denote their barycenter by \(\bar{p}\) and consider the function \(\operatorname {d}_{\bar{p}}^{2}(x) := \frac{1}{k} \sum_{1\leq i \leq k} \|x - p_{i}\|^{2}\). An easy computation shows that
where the weight \(w_{\bar{p}} = -\frac{1}{k} \sum_{1\leq i \leq k} \|\bar{p} - p_{i}\|^{2}\). The proposition follows from the fact that \(\mathrm {d}^{2}_{P,k}\) can be expressed as the minimum of all the functions \(\mathrm {d}_{\bar{p}}^{2}\). □
In other words, the square of the k-distance function to P coincides exactly with the power distance to the set of barycenters Baryk(P) with the weights defined above. From this expression, it follows that the sublevel sets of the k-distance d P,k are finite unions of balls,
Therefore, ignoring the complexity issues, it is possible to compute the homotopy type of this sublevel set by considering the weighted alpha-shape of Baryk(P) [14], which is a subcomplex of the regular triangulation of the set of weighted barycenters.
From the proof of Proposition 3.1, we also see that the only barycenters that actually play a role in Eq. (3) are the barycenters of k points of P whose order-k Voronoi cell is not empty. However, the dependence on the number of non-empty order-k Voronoi cells makes computation intractable even for moderately sized point clouds in the Euclidean space [9]. One way to avoid this difficulty is to replace the k-distance to P by an approximate k-distance, defined as in Eq. (3), but where the minimum is taken over a smaller set of barycenters. Then, the question is: Given a point set P, can we replace the set of barycenters \(\mathrm{Bary}^{k}_{P}\) in the definition of k-distance by a small subset B while controlling the approximation error \(\|\mathrm{pow}^{1/2}_{B} - \mathrm {d}_{P,k}\|_{\infty}\)?
Replacing the k-distance with another power distance is especially attractive since many geometric and topological inference methods relying on distance functions continue to hold when one of the functions is replaced by a good approximation in the class of power distances. When this is the case, and some sampling conditions are met, it is possible, for instance, to recover the homotopy type of the underlying compact set (see the Reconstruction Theorem in [6]).
3.2 Approximating by Witnessed k-Distance
We consider a subset of the barycenters suggested by the input data. The answer to our question is affirmative if we accept a multiplicative error.
Definition 3.2
For every point p in P, the barycenter of p and its (k−1) nearest neighbors in P is called a witnessed k-barycenter. Let \(\mathrm{Bary}_{\mathrm{w}}^{k}(P)\) be the set of all such barycenters. We get one witnessed barycenter for every point of the sampled point set, and define the witnessed k-distance,
Computing the set of all witnessed barycenters of a point set P requires only finding the k−1 nearest neighbors of every point in P. This search problem has a long history in computational geometry [2, 8, 17], and now has several practical implementations. Even a brute-force approach with the running time O(dn 2), where n is the number of points in P, is significantly better than the Ω(n ⌊d/2⌋ k ⌈d/2⌉) lower bound on the number of cells in order-k Voronoi diagrams [9]. (Note that this lower bound holds as n/k→∞, which is not the case in our problem; finding similar lower bounds when n/k is constant is an open problem.)
General Error Bound
Because the distance functions we consider are defined by minima, and \(\mathrm{Bary}_{\mathrm{w}}^{k}(P)\) is a subset of Baryk(P), the witnessed k-distance is never less than the exact k-distance. In the lemma below, we give a general multiplicative upper bound. This lemma does not assume any special property for the input point set P. However, even such a coarse bound can be used to estimate Betti numbers of sublevel sets of d P,k , using arguments similar to those in [7].
Lemma 3.3
(General BoundFootnote 1)
For any finite point set P⊆ℝd and 0<k<|P|,
Proof
Let y be a point in ℝd, and \(\bar{p}\) the barycenter associated with an order-k Voronoi cell containing y, i.e., \(\bar{p}\) is such that \(\operatorname {d}_{P,k}(y) = \mathrm {d}_{\bar{p}}(y) := (\|x - \bar{p}\|^{2} - w_{\bar{p}})^{1/2}\). Let us find a witnessed barycenter \(\bar{q}\) close to \(\bar{p}\). By definition, \(\bar{p}\) is the barycenter of the k nearest neighbors p 1,…,p k of y in P. Let x:=p 1 be the nearest neighbor of y, and \(\bar{q}\) the barycenter witnessed by the point x. Then, \(\mathrm {d}_{P}(y)=\|x-y\|\leq \operatorname {d}_{P,k}(y)\), and
(We have repeatedly used the fact that power distance is a 1-Lipschitz function.) Since y was chosen arbitrarily, the claim follows. □
4 Approximation Quality
Let us briefly recall our hypotheses. There is an ideal, well-conditioned measure μ on ℝd supported on an unknown compact set K. We also have a noisy version of μ, i.e., another measure ν with W2(μ,ν)≤σ, and we suppose that our data set P consists of N points independently sampled from ν. In this section we give conditions under which the witnessed k-distance to P provides a good approximation of the distance to the underlying set K.
4.1 Dimension of a Measure
First, we make precise the main assumption (H) on the underlying measure μ, which we use to bound the approximation error made when replacing the exact by the witnessed k-distance. We require μ to be low dimensional in the following sense.
Definition 4.1
A measure μ on ℝd is said to have dimension at most ℓ with constant α μ >0 if the amount of mass contained in the ball B(p,r) is at least α μ r ℓ, for every point p in the support of μ and every radius r smaller than the diameter of this support. If μ is said to have dimension at most ℓ, this means that there exists a constant α μ .
The important assumption here is that the lower bound μ(B(p,r))≥αr ℓ should be true for some positive constant α and for r smaller than a given constant R. The choice of \(R = \operatorname{diam}(\mathrm{spt}(\mu))\) provides a normalization of the constant α μ and slightly simplifies the statements of the results.
Let M be an ℓ-dimensional compact submanifold of ℝd, and f:M→ℝ a positive weight function on M with values bounded away from zero and infinity. Then, the dimension of the volume measure on M weighted by the function f is at most ℓ. A quantitative statement can be obtained using the Bishop–Günther comparison theorem; the bound depends on the maximum absolute sectional curvature of the manifold M, as shown in Proposition 4.9 in [6]. Note that the positive lower bound on the density is really necessary. For instance, the dimension of the standard Gaussian distribution \(\mathcal{G}(0,1)\) on the real line is not bounded by 1, nor by any positive constant, because the density of this distribution decreases to zero faster than any function r↦1/r ℓ as one moves away from the origin.
It is easy to see that if m measures μ 1,…,μ m have dimension at most ℓ, then so does their sum. Consequently, if (M j ) is a finite family of compact submanifolds of ℝd with dimensions (d j ), and μ j is the volume measure on M j weighted by a function bounded away from zero and infinity, the dimension of the measure \(\mu=\sum_{j=1}^{m} \mu_{j}\) is at most max j d j .
4.2 Bounds
In the remainder of this section, we bound the error between the witnessed k-distance \(\mathrm{d}^{\mathrm{w}}_{P,k}\) and the (ordinary) distance \(\operatorname {d}_{K}\) to the compact set K. We start from a proposition from [6] that bounds the error between the exact distance to measure and d K .
Theorem 4.2
Let μ denote a probability measure with dimension at most ℓ, supported on a compact set K. Consider another measure ν, then for a mass parameter m 0∈(0,1),
where α μ is the parameter in Definition 4.1.
Proof
Using the triangle inequality and Eq. (2), one has
Then, from Lemma 4.7 in [6], \(\|\mathrm {d}_{\mu,m_{0}} - \mathrm {d}_{K}\|_{\infty}\leq \alpha_{\mu}^{-1/\ell}m_{0}^{1/\ell}\), and the claim follows. □
To make this bound concrete, let us construct a simple example where the term corresponding to the Wasserstein noise and the term corresponding to the smoothing have the same order of magnitude.
Example
Consider the restriction μ of the Lebesgue measure to the ℓ-dimensional unit ball K:=B(0,1), rescaled to become a probability measure by a factor 1/volℓB(0,1). For a given mass parameter m 0, consider the second measure ν obtained by moving every bit of mass of μ in the ℓ-ball \(\mathrm{B}(0,m_{0}^{1/\ell})\) to the closest point in the (ℓ−1)-sphere \(\mathrm{S}(0,m_{0}^{1/\ell})\); see Fig. 1. By construction,
The distance \(\mathrm {d}_{\nu,m_{0}}(0)\) of the origin to ν is easy to compute: the radius of the smallest ball centered at the origin with a mass m 0 of ν is exactly \(m_{0}^{1/\ell}\). Hence,
In other words, the two terms in the bound in Theorem 4.2 differ by a constant factor.
In the previous theorem, when ν=1 P is the uniform measure on a point cloud P and m 0=k/|P|, we get the exact bound on the k-distance.
Corollary 4.3
(Exact Bound)
Let μ denote a probability measure with dimension at most ℓ, supported on a compact set K. Consider the uniform measure 1 P on a point cloud P, and set m 0=k/|P|. Then
where α μ is the parameter in Definition 4.1.
In the main theorem of this section, the exact k-distance in Corollary 4.3 is replaced by the witnessed k-distance. Observe that the new error term is only a constant factor off from the old one.
Theorem 4.4
(Witnessed Bound)
Let μ be a probability measure satisfying the dimension assumption and let K be its support. Consider the uniform measure 1 P on a point cloud P, and set m 0=k/|P|. Then,
where α μ is the parameter in Definition 4.1.
Before proving the theorem, we start with an auxiliary lemma showing that a measure ν close to a measure μ satisfying an upper dimension bound (as in Definition 4.1) remains concentrated around the support of μ.
Lemma 4.5
(Concentration)
Let μ be a probability measure satisfying the dimension assumption, and let ν be another probability measure. Let m 0 be a mass parameter. Then, for every point p in the support of μ, ν(B(p,η))≥m 0, where \(\eta = m_{0}^{-1/2} \mathrm{W}_{2}(\mu, \nu) + 4 \alpha_{\mu}^{-1/\ell}m_{0}^{1/2+1/\ell}\).
Proof
Let π be an optimal transport plan between ν and μ. For a fixed point p in the support K of μ, let r be the smallest radius such that B(p,r) contains at least 2m 0 of mass μ. Consider now a submeasure μ′ of μ of mass exactly 2m 0 and whose support is contained in the ball B(p,r). This measure is obtained by transporting a submeasure ν′ of ν by the optimal transport plan π. Our goal is to determine for what choice of η the ball B(p,η) contains a ν′-mass (and, therefore, a ν-mass) of at least m 0. We make use of Chebyshev’s inequality for ν′ to bound the mass of ν′ outside of the ball B(p,η):
Observe that the right-hand term of this inequality is exactly the squared Wasserstein distance between ν′ and the Dirac mass 2m 0 δ p divided by η 2. We bound this squared Wasserstein distance using the triangle inequality:
Combining Equations (4) and (5), we get
By the lower bound on the dimension of μ, and the definition of the radius r, one has r≤(2m 0/α μ )1/ℓ. Hence, the ball B(p,η) contains a mass of at least m 0 as soon as
This will be true, in particular, if η is larger than
□
Proof of the Witnessed Bound Theorem
Since the witnessed k-distance is a minimum over fewer barycenters, it is larger than the real k-distance. Using this fact and the Exact Bound Theorem one gets the lower bound:
For the upper bound, choose η as given by the previous Lemma 4.5 applied to the measure ν=1 P . Then, for every point y in K, the ball B(y,η) contains at least k points in the point cloud P. Let p 1 be one of these points, and p 2,…,p k be the (k−1) nearest neighbors of p 1 in P. The points p 2,…,p k cannot be at a distance greater than 2η from p 1, and, consequently, cannot be at a distance greater than 3η from y. By definition, the barycenter \(\bar{p}\) of the points {p i } is witnessed by p 1. Hence,
Since \(\mathrm{d}^{\mathrm{w}}_{P,k}\) is 1-Lipschitz, we get \(\mathrm{d}^{\mathrm{w}}_{P,k}(x) \leq 3 \eta + \|y - x\|\). This inequality is true for every point y in K; minimizing over all such y, we obtain \(\mathrm{d}^{\mathrm{w}}_{P,k}(x) \leq 3\eta + \mathrm {d}_{K}(x)\). Recall that m 0≤1, as is \(m_{0}^{1/2}\). To match the form of the bound in Corollary 4.3, we drop \(m_{0}^{1/2}\) from the second term of η in the Concentration Lemma. Substituting the result into the last inequality, we complete the proof. □
5 Convergence under Empirical Sampling
One term remains moot in the bounds in Corollary 4.3 and Theorem 4.4, namely the Wasserstein distance W2(μ,1 P ). In this section, we analyze its convergence. The rate depends on the complexity of the measure μ, defined below. The moral of this section is that if a measure can be well approximated with few points, then it is also well approximated by random sampling.
Definition 5.1
The complexity of a probability measure μ at a scale ε>0 is the minimum cardinality of a finitely supported probability measure ν that ε-approximates μ in the Wasserstein sense, i.e., such that W2(μ,ν)≤ε. We denote this number by \(\mathcal{N}_{\mu}(\varepsilon)\).
Observe that this notion is very close to the ε-covering number of a compact set K, denoted by \(\mathcal{N}_{K}(\varepsilon)\), which counts the minimum number of balls of radius ε needed to cover K. It is worth noting that if measures μ and ν are close—as are the measure μ and its noisy approximation ν in the previous section—and μ has low complexity, then so does the measure ν. The following lemma shows that measures satisfying the dimension assumption have low complexity. Its proof follows from a classical covering argument that appears, for example, in Proposition 4.1 of [18].
Lemma 5.2
(Dimension–Complexity)
Let K be the support of a measure μ of dimension at most ℓ with constant α μ (as in Definition 4.1). Then, for every positive ε, \(\mathcal{N}_{\mu}(\varepsilon) \leq 5^{\ell}/(\alpha_{\mu}\varepsilon^{\ell})\).
Combining this lemma with the theorem below, we get a bound on how well a measure satisfying an upper bound on its dimension is approximated by empirical sampling.
Theorem 5.3
(Convergence)
Let μ be a probability measure on ℝd whose support has diameter at most D, and let P be a set of N points independently drawn from the measure μ. Then, for ε>0,
The proof of this theorem relies mainly on the following versions of Hoeffding’s inequality. Given a sequence (X i ) i≥0 of independent real-valued random variables with common mean x and such that 0≤X i ≤m, one has:
Proof
Let n be a fixed integer, and let ε be the minimum Wasserstein distance between μ and a measure \(\bar{\mu}\) supported on (at most) n points. Let S be the support of the optimal measure \(\bar{\mu}\), so that \(\bar{\mu}\) can be decomposed as ∑ s∈S α s δ s (α s ≥0). Let π be an optimal transport plan between μ and \(\bar{\mu}\); this is equivalent to finding a decomposition of μ as a sum of n non-negative measures (π s ) s∈S such that mass(π s )=α s , and
Drawing a random point X from the measure μ amounts to (i) choosing a random point s in the set S (with probability α s ) and (ii) drawing a random point X following the probability distribution π s /α s . Given N independent points X 1,…,X N drawn from the measure μ, denote by I s,N the proportion of the (X i ) for which the point s was selected in step (i). Hoeffding’s inequality (6) allows us to bound how far the proportion I s,N deviates from α s : ℙ(|I s,N −α s |≥δ)≤2exp(−2Nδ 2). If the sum of deviations for all points s exceeds δ, then at least one deviation exceeds δ/n; combining the inequalities and using the union bound yields
For every point s, denote by \(\tilde{\pi}_{s}\) the distribution of the distances to s in the submeasure π s , i.e., the measure on the real line defined by \(\tilde{\pi}_{s}(I) := \pi_{s}(\{ x \in \mathbb{R}^{d}; \|x - s\|\in I \})\) for every interval I. Define \(\tilde{\mu}\) as the sum of the \(\tilde{\pi}_{s}\); by the change of variable formula one has
Given a random point X i sampled from μ, denote by Y i the Euclidean distance between the point X i and the point s chosen in step (i). By construction, the distribution of Y i is given by the measure \(\tilde{\mu}\); applying Hoeffding’s inequality (7) to the sequence \(Y_{i}^{2}\) yields
In order to conclude, we need to define a transport plan from the empirical measure \(\mathbf{1}_{P} = \frac{1}{N} \sum_{i=1}^{N} \delta_{X_{i}}\) to the finite measure \(\bar{\mu}\). To achieve this, we order the points (X i ) by increasing distance Y i ; then transport every Dirac mass \(\frac{1}{N} \delta_{X_{i}}\) to the corresponding point s in S until s is “full”, i.e., the mass α s is reached. The squared cost of this transport operation is at most \(\frac{1}{N} \sum_{i=1}^{N} Y^{2}_{i}\). Then, distribute the remaining mass among the s points in any way; the squared cost of this step is at most D 2∑ s∈S |I s,N −α s |. The total squared cost of this transport plan is the sum of these two costs. From what we have shown above, setting η=ε and δ=ε 2/D 2, one gets
where the last inequality follows since n≥1. □
Sampling from a Perturbation of the Measure
A result similar to the Convergence Theorem follows when the samples are drawn not from the original measure μ, but from a “noisy” approximation ν. When the measure ν is also supported on a compact set, this follows directly from the Convergence Theorem.
Corollary 5.4
(Fixed-Diameter Sampling)
Let μ and ν be two probability measures on ℝd whose support has diameter at most D and such that W2(μ,ν)≤σ. Let P be a set of N points independently drawn from the measure ν. Then,
Proof
First of all, observe that, by definition, the covering number \(\mathcal{N}_{\nu}(\sigma + \delta)\) is upper bounded by \(\mathcal{N}_{\mu}(\delta)\). We apply the previous theorem to the measure ν with ε=(σ+δ) to get
Setting δ=σ, and applying the triangle inequality W2(1 P ,μ)≤W2(1 P ,ν)+W2(ν,μ) concludes the proof. □
Perturbations with Non-compact Support
In many cases the perturbed measure ν is not compactly supported, and the previous corollary does not apply. It is still possible to recover similar results under a stronger assumption than a simple bound on the Wasserstein distance between μ and ν.
To give a flavor of such a result, we consider the simple case where ν is a convolution of μ with an isotropic centered Gaussian distribution with variance σ 2, that is: \(\nu = \mu * \mathcal{G}(0, (\sigma^{2}/d)\mathbf{I})\). We will make use of the following bound on the sum of squared norms of random Gaussian vectors.
Lemma 5.5
Let G 1,…,G N be i.i.d. isotropic Gaussian vectors with zero mean and covariance matrix (σ 2/d)I. Then,
Proof
By hypothesis, the vectors (G i ) can be written as G i =(αY i,1,…,αY i,d ) where (Y i,j ) are N×d independent centered Gaussian random variables with variance 1, and \(\alpha = \sigma/\sqrt{d}\). Define a random variable Z by
Using Lemma 1 from [19], we can bound the tail of Z:
Setting \(x = \frac{1}{2} \varepsilon^{2} N d\) yields:
□
Corollary 5.6
(Gaussian Convolution Sampling)
Let μ be a probability measure whose support has diameter at most D and ν be obtained by convolution of μ, \(\nu = \mu * \mathcal{G}(0, (\sigma^{2}/d)\mathbf{I})\). Let Q be a set of N points drawn independently from the measure ν. Then,
Proof
Let X be a random vector with distribution μ and G a random vector with distribution \(\mathcal{G}(0, (\sigma^{2}/d)\mathbf{I})\). Then, by definition of the convolution, the vector Y=X+G has distribution ν. We consider N independent copies of such vectors (X i ,G i ) i , and set Y i =X i +G i . The main difficulty is to bound the probability that the Wasserstein distance between the uniform probability measures on the point sets P={X 1,…,X N } and Q={Y 1,…,Y N } exceeds (1+ε)σ. The following inequality is an immediate consequence of the previous lemma:
We set ε=1 in this inequality and apply Theorem 5.3 and the triangle inequality to get
□
Remark
We note that the result of Corollary 5.6 can be extended to more general models of noise. The crucial point is to be able to control the Wasserstein distance between 1 P and 1 Q , where P and Q are point sets obtained by sampling N points from μ and ν. Estimates of this kind can be obtained, for instance, if there exist random variables X and Y with distributions μ and ν such that the random variable Z=∥X−Y∥2 is sub-exponential, i.e., ℙ(Z≥t)≤exp(−ct). We refer the interested reader, for example, to Proposition 5.16 in [23].
6 Discussion
We illustrate the utility of the Witnessed Bound Theorem with an example and an inference statement. Figure 2(a) shows 6000 points drawn from the uniform distribution on a sideways figure-8, convolved with a Gaussian distribution. The ordinary distance function has no hope of recovering geometric information out of these points since both loops of the figure-8 are filled in. In Fig. 2(b), we show the sublevel sets of the distance to the uniform measure on the point set, both the witnessed k-distance and the exact k-distance. Both functions recover the topology of figure-8; the bits missing from the witnessed k-distance smooth out the boundary of the sublevel set, but do not affect the image at large.
Complexes
Since we are working with the power distance to a weighted point set (the witnessed barycenters U), we can employ different simplicial complexes commonly used in the computational geometry literature [16]. Recall that an (abstract) simplex is a subset of some universal set, in our case the witnessed barycenters U; a simplicial complex is a collection of simplices, where each subset of every simplex belongs to the collection.
The simplest construction is the Čech complex [16, Section III.2]. It contains a simplex if the balls defined by the points at the power distance r from the witnessed barycenters intersect:
A closely related geometric construction, the weighted alpha complex, is defined by clipping these balls using the power diagram of the witnessed barycenters, see [14]. By the Nerve Theorem [16], both the Čech complex Č r (U) and the alpha complex are homotopy equivalent to the sublevel sets of the power distance to U, \(\mathrm{pow}_{U}^{-1}(-\infty, r]\).
In many applications, points are given only through their pairwise distances, rather than explicit coordinates. For this reason and because of its computational simplicity, the Vietoris–Rips complex is a popular choice. This complex is defined as the flag (or clique) complex of the 1-skeleton of the Čech complex. Simply put, a simplex σ belongs to the Vietoris–Rips complex iff all its edges belong to the Čech complex, i.e.,
In the case of the witnessed k-distance, the pairwise distances between the input points suffice for the construction of the Vietoris–Rips complex on the witnessed barycenters; we give the details in Appendix A.
Note that the Vietoris–Rips complex VR r (U) does not, in general, have the homotopy type of \(\mathrm{pow}_{U}^{-1}(-\infty,r]\). It is, however, possible to prove inference results for homology given an interleaving property, i.e., there exists a constant α≥1 such that Č r (U)⊆VR r (U)⊆Č αr (U). The inclusion Č r (U)⊆VR r (U) always holds, simply by definition. However, the second inclusion does not necessarily hold if the weights are positive, as the following example demonstrates.
Example
Consider the weighted point set U made of the three vertices (u,v,w) of an equilateral triangle with unit side length and weights w u =w v =w w =1/4. Then, for any non-negative r, the Vietoris–Rips complex VR r (U) contains the triangle, while the Čech complex Č r (U) contains this triangle only as soon as \((r^{2} + 1/4)^{1/2} \geq 1/\sqrt{3}\), i.e., \(r \geq 1/\sqrt{12}\). In this case, there is no α such that the inclusion VR r (U)⊆Č αr (U) holds for every positive r.
On the other hand, the following lemma shows that when the weights (w u ) u∈U are non-positive, the inclusion VR r (U)⊆Č2r (U) always holds. This property lets us extend the usual homology inference results from Vietoris–Rips complexes to the (weighted) Vietoris–Rips complexes associated with the witnessed k-distance.
Lemma 6.1
If U is a point cloud with non-positive weights, VR r (U)⊆Č2r (U).
Proof
Let u,v be two weighted points such that the balls B(u,(r 2+w u )1/2) and B(v,(r 2+w v )1/2) intersect. Let ℓ denote the Euclidean distance between u and v. By hypothesis, we know that one of the two radii is at least ℓ/2. Suppose w u >w v ; in this case, (r 2+w u )1/2≥ℓ/2. Since the weights are non-positive, we also know that r≥ℓ/2. Using these two facts, we deduce
This means that the point v belongs to the ball B(u,((2r)2+w u )1/2).
Now, choose a simplex σ in the Vietoris–Rips complex VR r (U). Let v be its vertex with the smallest weight. By the previous paragraph, we know that v belongs to every ball B(u,(2r)1/2+w u ), for every u∈σ. Therefore, all these balls intersect, and, by definition, σ belongs to the Čech complex Č2r (U). □
Inference
Suppose we are in the conditions of the hypothesis (H). Additionally, we assume that the support K of the original measure μ has a weak feature size larger than R. This means that the distance function d K has no critical value in the interval (0,R). A consequence of this hypothesis is that all the offsets \(K^{r} = \mathrm {d}_{K}^{-1}[0,r]\) of K are homotopy equivalent for r∈(0,R). Suppose again that we have drawn a set P of N points from a nearby measure μ. The following theorem combines the results of Sects. 4 and 5.
Theorem 6.2
(Approximation)
Suppose that μ is a measure satisfying hypothesis (H), supported on a compact set K of diameter at most D, and ν is another measure with W2(μ,ν)≤σ. Let P be a set of N points independently sampled from ν.
- (D):
-
If the diameter of the support of ν does not exceed D, then
$$\bigl\|\mathrm{d}^{\mathrm{w}}_{P,k} - \mathrm {d}_K\bigr\|_\infty \leq 15 m_0^{-1/2} \sigma + 12m_0^{1/\ell}\alpha_\mu^{-1/\ell} $$with probability at least
$$1 - \bigl(2 \mathcal{N}_\mu(\sigma) + 1\bigr) \exp\biggl(-\frac{32 N\sigma^4}{D^4 \mathcal{N}_\mu(\sigma)^2}\biggr). $$ - (G):
-
If ν is a convolution of μ with a Gaussian, \(\nu = \mu * \mathcal{G}(0, (\sigma^{2}/d)\mathbf{I})\), then
$$\bigl\|\mathrm{d}^{\mathrm{w}}_{P,k} - \mathrm {d}_K\bigr\|_\infty \leq 12m_0^{-1/2} \sigma + 12 m_0^{1/\ell}\alpha_\mu^{-1/\ell} $$with probability at least
$$1 - \exp(-Nd/2) - \bigl(2\mathcal{N}_\mu(\sigma) + 1\bigr) \exp\biggl(-\frac{2 N\sigma^4}{D^4\mathcal{N}_\mu(\sigma)^2} \biggr). $$In both statements, \(\mathcal{N}_{\mu}(\sigma)\) is the complexity of measure μ, as in Definition 5.1, and α μ is the parameter in Definition 4.1.
The standard argument [10] shows that the Betti numbers of the compact set K can be inferred from the function \(\mathrm{d}^{\mathrm{w}}_{P,k}\), which is defined only from the point sample P, as long as \(e = 3 m_{0}^{-1/2} \mathrm{W}_{2}(\mu,\mathbf{1}_{P}) + 12 m_{0}^{1/\ell}\alpha_{\mu}^{-1/\ell}\) is less than R/4. Indeed, denoting by K r and U r the r-sublevel sets of the functions d K and \(\mathrm {d}^{\mathrm{w}}_{P,k}\), the sequence of inclusions
holds with high probability. By assumption, the function d K has no critical values in the range (0,4e)⊆(0,R). Therefore, the rank of the image on the homology induced by inclusion H(U e)→H(U 3e) is equal to the Betti numbers of the set K. In the language of persistent homology [15], the persistent Betti numbers β (e,3e) of the function \(\mathrm{d}^{\mathrm{w}}_{P,k}\) are equal to the Betti numbers of the set K. Computationally, we can construct the sublevel sets U e as either the Čech complex or the alpha shape.
Using the interleaving of Vietoris–Rips and Čech complexes, proved in Lemma 6.1, we can recover the Betti numbers from the Vietoris–Rips complex if e<R/9 [7]. From the following diagram of inclusions and homotopy equivalences
it follows that the map on homology H(VR e (U))→H(VR4e (U)) has the same rank as the homology of the space K.
Choice of the Mass Parameter
The language of persistent homology also suggests a strategy for choosing a mass parameter m 0 for the distance to a measure—a question not addressed by the original paper [6]. For every mass parameter m 0, the p-dimensional persistence diagram \(\mathrm{Pers}_{p}(\mathrm {d}_{\mu,m_{0}})\) is a set of points {(b i (m 0),d i (m 0))} i in the extended plane (ℝ∪{∞})2. Each of these points represents a homology class of dimension p in the sublevel sets of \(\mathrm {d}_{\mu,m_{0}}\); b i (m 0) and d i (m 0) are the values at which it is born and dies. The distance to measure \(\mathrm {d}_{\mathbf{1}_{P},m_{0}}\) depends continuously on m 0 and, by the Stability Theorem [10], so do its persistence diagrams. Thus, one can use the vineyards algorithm [11] to track their evolution. Figure 3 illustrates such a construction for the point set in Fig. 2 and the witnessed k-distance. It displays the evolution of the persistence (d 1(m 0)−b 1(m 0)) of each of the 1-dimensional homology classes as m 0 varies. This graph highlights the choices of the mass parameter that expose the two prominent classes (corresponding to the two loops of the figure-8).
Notes
The authors thank Daniel Chen for strengthening an earlier version of this bound.
References
Amenta, N., Bern, M.: Surface reconstruction by Voronoi filtering. Discrete Comput. Geom. 22(4), 481–504 (1999)
Arya, S., Mount, D.: Computational geometry: proximity and location. In: Handbook of Data Structures and Applications, pp. 63.1–63.22 (2005)
Aurenhammer, F.: A new duality result concerning Voronoi diagrams. Discrete Comput. Geom. 5(1), 243–254 (1990)
Bolley, F., Guillin, A., Villani, C.: Quantitative concentration inequalities for empirical measures on non-compact spaces. Probab. Theory Relat. Fields 137(3), 541–593 (2007)
Chazal, F., Cohen-Steiner, D., Lieutier, A.: A sampling theory for compact sets in Euclidean space. Discrete Comput. Geom. 41(3), 461–479 (2009)
Chazal, F., Cohen-Steiner, D., Mérigot, Q.: Geometric inference for probability measures. Found. Comput. Math. 11, 733–751 (2011)
Chazal, F., Oudot, S.: Towards persistence-based reconstruction in Euclidean spaces. In: Proceedings of the ACM Symposium on Computational Geometry, pp. 232–241 (2008)
Clarkson, K.: Nearest-neighbor searching and metric space dimensions. In: Shakhnarovich, G., Darrell, T., Indyk, P. (eds.) Nearest-Neighbor Methods for Learning and Vision: Theory and Practice, pp. 15–59. MIT Press, Cambridge (2006)
Clarkson, K., Shor, P.: Applications of random sampling in computational geometry, II. Discrete Comput. Geom. 4, 387–421 (1989)
Cohen-Steiner, D., Edelsbrunner, H., Harer, J.: Stability of persistence diagrams. Discrete Comput. Geom. 37(1), 103–120 (2007)
Cohen-Steiner, D., Edelsbrunner, H., Morozov, D.: Vines and vineyards by updating persistence in linear time. In: Proceedings of the ACM Symposium on Computational Geometry, pp. 119–126 (2006)
Dasgupta, S.: Learning mixtures of Gaussians. In: Proceedings of the IEEE Symposium on Foundations of Computer Science, p. 634 (1999)
Dey, T., Goswami, S.: Provable surface reconstruction from noisy samples. Comput. Geom. 35(1–2), 124–141 (2006)
Edelsbrunner, H.: The union of balls and its dual shape. Discrete Comput. Geom. 13, 415–440 (1995)
Edelsbrunner, H., Harer, J.: Persistent homology—a survey. In: Goodman, J.E., Pach, J., Pollack, R. (eds.) Surveys on Discrete and Computational Geometry. Twenty Years Later, Contemporary Mathematics, vol. 453, pp. 257–282. Amer. Math. Soc., Providence (2008)
Edelsbrunner, H., Harer, J.: Computational Topology. Am. Math. Soc., Providence (2010)
Indyk, P.: Nearest neighbors in high-dimensional spaces. In: Goodman, J.E., O’Rourke, J. (eds.) Handbook of Discrete and Computational Geometry, 2nd edn. pp. 877–892. CRC Press, Boca Raton (2004)
Kloeckner, B.: Approximation by finitely supported measures. arXiv:1003.1035 (2010)
Laurent, B., Massart, P.: Adaptive estimation of a quadratic functional by model selection. Ann. Stat. 28(5), 1302–1338 (2000)
Niyogi, P., Smale, S., Weinberger, S.: Finding the homology of submanifolds with high confidence from random samples. Discrete Comput. Geom. 39(1), 419–441 (2008)
Niyogi, P., Smale, S., Weinberger, S.: A topological view of unsupervised learning from noisy data. SIAM J. Comput. 40(4), 646–663 (2011)
Rubner, Y., Tomasi, C., Guibas, L.: The earth mover’s distance as a metric for image retrieval. Int. J. Comput. Vis. 40(2), 99–121 (2000)
Vershynin, R.: Introduction to the non-asymptotic analysis of random matrices. arXiv:1011.3027 (2010)
Villani, C.: Topics in Optimal Transportation. Am. Math. Soc., Providence (2003)
Acknowledgements
The authors would like to thank the anonymous referees for their insightful feedback. This work has been partly supported by a grant from the French ANR, ANR-09-BLAN-0331-01, NSF grants FODAVA 0808515, CCF 1011228, and NSF/NIH grant 0900700. Quentin Mérigot would also like to acknowledge the support of the Fields Institute during the revision of this article. Dmitriy Morozov would like to acknowledge the support at LBNL of the DOE Office of Science, Advanced Scientific Computing Research, under award number KJ0402-KRD047, under contract number DE-AC02-05CH11231.
Author information
Authors and Affiliations
Corresponding author
Appendix A: Pairwise Distances
Appendix A: Pairwise Distances
A valuable property of the Vietoris–Rips complex is that the pairwise distances between the points suffice for its construction. We (re-)construct this property for the Vietoris–Rips complex on the witnessed barycenters. To do so, we need the weights of the barycenters as well as their pairwise distances in terms of the pairwise distances between the points of P.
Intersection Criteria
Suppose we are given two weighted barycenters
We start by finding the intersection point between the line \((\bar{p}\bar{q})\) and the bisector of the power cells of \(\bar{p}\) and \(\bar{q}\). The point \(x_{t} = (1 - t) \bar{p} + t \bar{q}\) belongs to this bisector if and only if:
The two balls \(\mathrm{B}(\bar{p}, (r^{2} + w_{\bar{p}})^{1/2})\) and \(\mathrm{B}(\bar{q}, (r^{2} + w_{\bar{q}})^{1/2})\) intersect if and only if the point x t belongs to one of them, in which case it also belongs to the other. With the value of t that we found, this is equivalent to
Consequently, one can determine whether a segment \(\{\bar{p}, \bar{q}\}\) belongs to the Vietoris–Rips complex of the witnessed barycenters with parameter r by knowing only the weights of the barycenters and their pairwise distances. In the next two paragraphs, we show how to express these quantities in terms of the pairwise distances between the data points.
Vertex Weights
For a barycenter \(\bar{p} = \frac{1}{k} (p_{1}+\cdots+p_{k})\) of k distinct points of P,
The second to last equality is obtained by considering every triangle △(p i ,p j ,p l ) and observing that
and the last equality comes from observing that each edge appears in (k−2) triangles.
Barycenter Distances
It remains to express the distance \(\|\bar{p}-\bar{q}\|^{2}\) between the barycenters in terms of the pairwise distances between the points {p 1,…,p k ,q 1,…,q k }.
Rewriting
we get dot products between vectors with the same base point, which we express in terms of the areas of their respective triangles:
where S is the area of the triangle △(p i ,q i ,p j ). We compute it from the pairwise distances using Heron’s formula, S 2=s(s−a)(s−b)(s−c), where s is the semiperimeter, and a,b,c are the lengths of the sides of the triangle.
Rights and permissions
About this article
Cite this article
Guibas, L., Morozov, D. & Mérigot, Q. Witnessed k-Distance. Discrete Comput Geom 49, 22–45 (2013). https://doi.org/10.1007/s00454-012-9465-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-012-9465-x