Abstract
We show that the Radon number characterizes the existence of weak nets in separable convexity spaces (an abstraction of the Euclidean notion of convexity). The construction of weak nets when the Radon number is finite is based on Helly’s property and on metric properties of VC classes. The lower bound on the size of weak nets when the Radon number is large relies on the chromatic number of the Kneser graph. As an application, we prove an amplification result for weak \(\epsilon \)-nets.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Weak and strong \(\epsilon \)-nets were defined by Haussler and Welzl as a tool for fast processing of geometric range queries [20]. They have been consequently studied in many areas, including computational geometry, combinatorics, and machine learning, and they were used in many algorithmic applications, including range searching and geometric optimization.
An \(\epsilon \)-net is a set that pierces all large sets in a given family of sets. Formally, let \(\mu \) be a probability distribution over a domain X and letFootnote 1\(C \subseteq 2^X\) be a family of sets. A subset S of X is called a weak \(\epsilon \)-net for C over\(\mu \) if \(S \cap c \ne \emptyset \) for every \(c\in C\) with \(\mu (c) \ge \epsilon \). A subset S is called a strong \(\epsilon \)-net if in addition S is contained in the support of \(\mu \). We say that C has weak/strong \(\epsilon \)-nets of size \(\beta =\beta (C,\epsilon )\) if for every distribution \(\mu \) there is a weak/strong \(\epsilon \)-net for C over \(\mu \) of size at most \(\beta \) (we stress that \(\beta \) may depend on \(\epsilon \), but not on \(\mu \)).
To illustrate the difference between weak and strong nets, consider the uniform distribution on n points on the unit circle in the plane \(X=\mathbb {R}^2\), and the family C to be all convex hulls of subsets of these n points. Any strong \(\epsilon \)-net must contain at least \((1-\epsilon ) n\) points, but there are weak \(\epsilon \)-nets of size \(O(\alpha (\epsilon )/\epsilon )\), where \(\alpha (\,{\cdot }\,)\) is the inverse Ackermann function [4]; using points inside the unit disc allows to use significantly less points. In general, weak nets may be much smaller than strong nets.
The main question we address is under what conditions do weak nets exist. This question for strong \(\epsilon \)-nets is fairly well understood; the fundamental theorem of statistical learning, which shows that the VC dimension characterizes PAC learnability, also shows that the VC dimension characterizes the existence of strong nets (see [20, 31] and references within). We show that the Radon number characterizes the existence of weak nets in a pretty general setting (viz. separable convexity spaces).
1.1 Weak Nets
Weak \(\epsilon \)-nets were mostly studied in the context of discrete and convex geometry, where they are related to several deep phenomena. For example, Alon and Kleitman [5] used weak nets in their famous solution of the (p, q)-conjecture by Hadwiger and Debrunner [16].
Bárány et al. [7] showed that convex sets in the plane admit weak nets, and Alon et al. [2] established a bound of \(O(1/\epsilon ^2)\) on their size. Recently Rubin improved this bound to \(O(1/\epsilon ^{3/2 + \gamma })\), where \(\gamma >0\) is arbitrarily small [30]. Alon et al. [2] extended the existence of weak nets for convex sets to all dimensions d; there are weak \(\epsilon \)-nets of size at most roughly \((1/\epsilon )^{d+1}\). Their proof relies on several results from convex geometry, like Tverberg’s theorem and the colorful Carathéodory theorem. Chazelle et al. [11] later improved the bound to at most roughly \((1/\epsilon )^d\). Overall, there are at least three different constructions of weak nets for convex sets. Matoušek [27] showed that any weak \(\epsilon \)-net for convex sets in \(\mathbb {R}^d\) must contain at least \(\varOmega \ (\mathrm{exp}\sqrt{d/2})\) points for \(\epsilon \le 1/50\). Later, Alon [1] proved the first lower bound that is superlinear in \(1/\epsilon \); this was later improved to \(\varOmega \bigl ((1/\epsilon )\log ^d(1/\epsilon )\bigr )\) by Bukh et al. [10]. Ezra [14] constructed weak \(\epsilon \)-nets for the more restricted class of axis-parallel boxes in \(\mathbb {R}^d\). Alon et al. [3] defined weak nets in an abstract setting, and asked about combinatorial conditions that yield their existence.
We identify that the existence of weak nets follows from a basic combinatorial property of convex sets, Radon’s theorem:
Theorem 1.1
(Radon [29]) Any set of \(d+2\) points in \(\mathbb {R}^d\) can be partitioned into two disjoint subsets whose convex hulls intersect.
We show that this property alone is sufficient and necessary for the existence of weak nets in a general setting, which we describe next.
It is worth mentioning that Radon’s theorem also plays a central role in the context of strong nets. Indeed, it implies that the VC dimension of half-spaces in \(\mathbb {R}^d\) is at most \(d+1\), which consequently bounds the VC dimension of many geometrically defined classes.
1.1.1 Convexity Spaces
We consider an abstraction of Euclidean convexity that originated in a paper by Levi [25], and defined in the form presented here by Kay and Womble [22]. For a thorough introduction to this subject see the survey by Danzer et al. [13] or the more recent book by van de Vel [32].
A convexity space is a pair (X, C) where \(C \subseteq 2^X\) is a family of subsets that satisfiesFootnote 2:
-
\(\emptyset ,X\in C\).
-
C is closed under intersectionsFootnote 3: \(\bigcap C' \in C\) for every \(C'\subseteq C\).
The members of C are called convex sets. The convex-hull of a set \(Y \subseteq X\), denoted by \({\text {conv}}Y={\text {conv}}_CY\), is the intersection of all convex sets \(c \in C\) that contain Y. A convex set \(b\in C\) is called a half-space if its complement is also convex.
We next define the notion of separability, which is an abstraction of the hyperplane separation theorem (and the more general Hahn–Banach theorem). The convexity space (X, C) is separable, if for every \(c\in C\) and \(x \in X \setminus c\) there exists a half-space \(b \in C\) such that \(c \subseteq b\) and \(x \notin b\). It can be verified that (X, C) is separable if and only if every convex set \(c\in C\) is the intersection of all half-spaces containing it. This form of separability, as well as other forms, have been extensively studied (e.g. in [12, 15, 17, 18, 23]).
Convexity spaces appear in many contexts in mathematics. For instance, the family of closed subsets in a topological space, the subgroups of a given group, and the subrings of a ring are all examplesFootnote 4 of convexity spaces. They are also closely related to the notion of \(\pi \)-systems in probability theory. In Sect. 1.1 below we discuss a few examples of convexity spaces that arise in algebra and combinatorics.
1.1.2 Main Results
The combinatorial property that characterizes the existence of weak nets is the Radon number [22, 25], which is an abstraction of Radon’s theorem: we say that C Radon-shatters a set \(Y\subseteq X\) if for every partition of Y into two parts \(Y_1,Y_2\) it holds that \({\text {conv}}Y_1\cap {\text {conv}}Y_2=\emptyset \). The Radon number of (X, C) is the minimum number r such that C does not Radon-shatter any set of size r. Radon’s theorem states that the Radon number of the space of convex sets in \(\mathbb {R}^d\) is at most \(d+2\). The question whether the Radon number characterizes the existence of weak nets in convexity spaces was first raised by Bukh [9]. The following result provides an affirmative answer for separable spaces.
Theorem 1.2
Let (X, C) be a finite convexity space.
-
(1)
If (X, C) is separable and its Radon number is at most r, then it has weak \(\epsilon \)-nets of size at most \((120 r^2/\epsilon )^{4r^2\ln (1/\epsilon )}\) for every \(\epsilon >0\).
-
(2)
If the Radon number of (X, C) is more than r then there is a distribution \(\mu \) over X such that every (1/4)-net for C over \(\mu \) has size at least r/2.
We often refer to a construction of small weak \(\epsilon \)-nets as an upper bound, and to a proof that no small weak \(\epsilon \)-net exists as a lower bound. The upper bound in (1) above is quantitatively worse than the one for Euclidean convex sets [11], but holds in a more general setting. We do not know what is the optimal bound in this generality.
A possible interpretation of the upper bound is that the existence of weak nets is not directly related to “geometric” properties of the underlying space (as in the various constructions surveyed above). This is somewhat surprising: consider a family C and a distribution \(\mu \) such that C has no strong \(\epsilon \)-net with respect to \(\mu \); in order to construct a weak \(\epsilon \)-net we should have a mechanism that suggests “good points” outside the support of \(\mu \). In Euclidean geometry there are such natural choices, like “center of mass”. We notice that the Radon number provides such a mechanism (see Sect. 1.2).
Remark
About one year after this manuscript became available online, Holmsen and Lee [21] extended the upper bound to arbitrary (not necessarily separable) convexity spaces, thus settling the question raised by Bukh [9] and completing the characterization of weak \(\epsilon \)-nets in terms of the Radon number. We also note that our proof exploits separability quite significantly. More specifically it exploits the fact that for separable spaces the Radon number upper bounds the VC dimension of the family of half-spaces. This enables our construction to use Haussler’s packing lemma for VC classes (Theorem 2.1) in the induction step. The generalization of Holmsen and Lee to convexity spaces without separability assumption is based on a construction suggested by Alon et al. [3]. The key ingredient in this construction is a fractional Helly theorem, which is the main contribution of Holmsen and Lee.
1.1.3 Characterizations
We next discuss conditions that are equivalent to the existence of small \(\epsilon \)-nets. It is convenient to present these equivalences for infinite spaces. Quantitative variants of these statements apply to finite spaces as well.
We use the following standard notion of compactness; a family C is compact if for every \(C' \subseteq C\) such that \(\bigcap C' = \emptyset \) there is a finite \(C'' \subseteq C'\) such that \(\bigcap C'' = \emptyset \). This condition is satisfied e.g. by closed sets in a compact topological space.
Corollary 1.3
(Equivalences) The following are equivalent for a compact separable convexity space (X, C):
-
(1)
(X, C) has a finite Radon number.
-
(2)
(X, C) has weak \(\epsilon \)-nets of finite size for some \(0< \epsilon <1/2\).
-
(3)
(X, C) has weak \(\epsilon \)-nets of finite size for every \(\epsilon >0\).
The proof of Corollary 1.3 appears in Sect. 4.1. It shows that the role of the Radon number in the existence of weak nets is similar to the role of the VC dimension in the existence of strong nets, at least for separable compact convexity spaces. The separability assumption can be removed; this follows from the extension of the upper bound by Holmsen and Lee to arbitrary spaces [21]. In Sect. 1.4, we provide an example showing that the compactness assumption in Corollary 1.3 is necessary.
The implication (2) \(\Rightarrow \) (3) in Corollary 1.3 is an amplification statement for the parameter \(\epsilon \) in weak nets. In Sect. 4.2 we give an example showing that the threshold 1/2 in item (2) is sharp for amplification of weak nets:
Example 1.4
There is a compact separable convexity space that has weak \(\epsilon \)-nets of finite size for every \(\epsilon > 1/2\) but has no weak \(\epsilon \)-nets of finite size for \(\epsilon <{1}/{2}\).
This demonstrates an interesting difference with strong \(\epsilon \)-nets, for which there is no such threshold: if C has strong \(\epsilon \)-nets for some \(\epsilon <1\) then it has finite VC dimension, which implies the existence of strong \(\epsilon \)-net for all \(\epsilon >0\). We note that it remains open to determine for general convexity spaces whether, the existence of weak \(\epsilon \)-nets for \(\epsilon =1/2\) implies the existence of weak \(\epsilon \)-nets for every \(\epsilon \).
1.1.4 Organization
In Sect. 1.1 we provide some examples of convexity spaces. In Sect. 1.2 we outline the construction that leads to the upper bound in Theorem 1.2, in Sect. 1.3 we outline the lower bound in Theorem 1.2, and in Sect. 1.4 we provide some examples that demonstrate the necessity of some of our assumptions.
In Sect. 2 we prove the upper bound, and in Sect. 3 we prove the lower bound. In Sect. 4 we prove the characterizations (Corollary 1.3), and in Sect. 5 we discuss an extension to convexity spaces that are not necessarily separable or compact (like bounded convex sets in \(\mathbb {R}^d\)). Finally, in Sect. 6 we conclude the paper and offer some directions for future research.
1.2 Some Convexity Spaces
We now present a few examples of “non Euclidean” convexity spaces. These examples will be used later on to show that some of our theorems/lemmas are tight in the sense that each premise is necessary. More examples can be found in the book [32].
Example 1.5
(Power set) Let X be a set. Perhaps the simplest convexity space is \((X,2^{X})\). Here every convex set is a half-space and therefore this space is separable. When X is finite, the Radon number of this space is \(|X|+ 1\). When X is infinite, the Radon number is \(\infty \).
Example 1.6
(Subgroups) Let G be a group with identity e. The space \((G\setminus \{e\},\,\{H\setminus \{e\}:H\le G \})\) of all subgroups of G (with the identity removed) is a convexity space. Here, \(Y\subseteq G\) is Radon-shattered, if every two disjoint subsets of Y generate groups whose intersection is \(\{e\}\).
Example 1.7
(Cylinders) Let \(X = \{0,1\}^n\), and let the C be the family of cylinders: a set \(c\subseteq \{0,1\}^n\) is called a cylinder if there exists \(Y\subseteq [n]\), and \(v\in \{0,1\}^Y\) such that
The size of Y is called the co-dimension of the cylinder. This is a separable convexity space. Its half-spaces are the cylinders with co-dimension 1, and its Radon number is \(\varTheta (\log n)\): to obtain the bound on the Radon number notice that this convexity space satisfies a strong form of separability: whenever \({\text {conv}}Y\cap {\text {conv}}X=\emptyset \) then there is a half-space separating X and Y. For such spaces, the Radon number is equal to the VC dimension of the family of half-spaces. (In general, the Radon number is an upper bound on the VC dimension of half-spaces, see Lemma 1.11.) Now, the bound on the Radon number follows since the VC dimension of the 2n half-spaces here is \(\varTheta (\log n)\).
Example 1.8
(Subtrees) Let \(T=(V,E)\) be a finite tree. Consider the convexity space (V, C), where
It is a separable convexity space and its Radon number is at most 4. Theorem 1.2 hence implies the existence of weak nets of size depending only on \(\epsilon \) (in this case there are elementary constructions of \(\epsilon \)-nets of size \(O(1/\epsilon )\)).
This example is a special case of geodesic convexity in metric spaces (see [32]).
Example 1.9
(Convex lattice sets) Consider the space \((\mathbb {Z}^d, C)\), where C is the family of convex lattice sets in \(\mathbb {R}^d\); these are sets of the form \(K \cap \mathbb {Z}^d\) for some convex \(K \subseteq \mathbb {R}^d\). This is a separable convexity space. Indeed, let \(c = K \cap \mathbb {Z}^d \in C\) and \(x \in \mathbb {Z}^d \setminus c\). Since \(x \notin c\) it follows that \(x \notin K\), and therefore there is a half-space in \(\mathbb {R}^d\) separating x and K. This half-space induces a half-space in \((\mathbb {Z}^d, C)\). Onn [28] proved that the Radon number of this space is at most \(O(d2^{d})\) and at least \(2^d\). Our results imply that weak \(\epsilon \)-nets exist in this case as well. Note that the family of half-spaces has VC dimension \(d+1\), which is much smaller than the Radon number. Thus, Theorem 1.12 (which we state in the next subsection) gives better bounds on the size of the \(\epsilon \)-net than Theorem 1.2.
Example 1.10
(Linear extensions of posets) Let \(\varOmega \) be a set. For a partial order P on \(\varOmega \), let \(c(P)\subseteq X\) denote the set of all linear orders that extend P. Fix a partial order \(P_0\), and consider the family C of all sets of the form c(P), where P is a partial order that extends \(P_0\). The space \((c(P_0),C)\) is a separable convexity space whose half-spaces correspond to partial orders defined by taking two \(P_0\)-incomparable elements \(x,y\in \varOmega \) and extending \(P_0\) by setting \(x<y\).
1.3 Upper Bound
1.3.1 From Radon to Helly and VC
Let (X, C) be a separable convexity space and let B denote the family of half-spaces of C (the notation B is chosen to reflect that B generates all convex sets in C by taking intersection, and hence can be seen as a basis).
We first observe that the Radon number is an upper bound on the Helly number and the VC dimension of B. The Helly number of a family B is the minimum number h such that every finiteFootnote 5\(B'\subseteq B\) with \(\bigcap B'=\emptyset \) contains a subfamily \(B''\) with at most h sets such that already the intersection of the sets in \(B''\) is empty. Helly theorem states that the Helly number of half-spaces in \(\mathbb {R}^d\) is at most \(d+1\). The VC dimension of \(B \subseteq 2^X\) is the supremum over v for which there exists \(Y \subseteq X\) of size \(|Y|=v\) such that for every \(Z\subseteq Y\) there is a member of the family that contains Z and is disjoint from \(Y\setminus Z\).
Lemma 1.11
Let B be the family of half-spaces of a separable convexity space C. If the Radon number of C is r then the VC dimension and the Helly number of B are less than r.
The bound on the Helly number follows from a result by Levi [25], and the bound on the VC dimension is straightforward. The proof appears in Appendix A. Lemma 1.11 reduces the construction of weak nets for separable convexity spaces to the following, more general construction.
Theorem 1.12
Let X be a set, let \(B\subseteq 2^X\) be a compact family with VC dimension v and Helly number h, and let \(B^\cap \) denote the family generated by taking arbitrary intersections of members of B. Then \(B^{\cap }\) has weak \(\epsilon \)-nets of size at most \(\beta <(120 h^2/\epsilon )^{4hv\ln (1/\epsilon )}\) for every \(\epsilon >0\).
We next give an overview of the proof of Theorem 1.12; the complete proof appears in Sect. 2.
1.3.2 Outline of Construction
The construction of weak nets underlying Theorem 1.12 is short and simple. We want to pierce all convex sets \(c \in C\) such that \(\mu (c) \ge \epsilon \). We distinguish between two cases. The simpler case is when c can be written as the intersection of half-spaces, each of which has \(\mu \)-measure more than \(1-1/h\). By Helly’s property, it follows that there is a single point that pierces all such c’s. In the complementary case, when c cannot be written in this way, we use Haussler’s packing lemma [19] and show that there is a small collection \(A \subseteq B\) such that conditioning \(\mu \) on a single \(a \in A\) increases the measure of c by a factor of at least \(1+1/(2h)\). The size of A can be bounded from above in terms of the VC dimension of B. So, constructing a set that pierces all c’s with measure at least \(\epsilon \) is reduced to constructing a bounded number of nets for larger density \(\epsilon ' \ge (1+1/(2h)) \epsilon \).
To summarize, the Helly number yields the theorem for \(\epsilon \) close to 1, and the VC dimension allows to keep increasing the density until the Helly number becomes relevant.
Going back to the discussion after Theorem 1.2 concerning the mechanism that suggests “good points” we see that this mechanism is based on the Helly property (roughly speaking, the Helly property is a mechanism that given a collection of sets outputs a point).
1.4 Lower Bound
The following lemma is a slight generalization of the lower bound in Theorem 1.2 (we do not assume separability or compactness, and replace 1/4 by any \(\epsilon >0\)).
Lemma 1.13
Let (X, C) be a convexity space. If the Radon number of C is greater than \(r>0\) then there is a distribution \(\mu \) on X such that every weak \(\epsilon \)-net for C over \(\mu \) has size at least \((1-2\epsilon ) r\).
This gives a non-trivial lower bound as long as \(\epsilon < 1/2\). Example 1.4 shows that this is sharp in the sense that when \(\epsilon >1/2\) there is no lower bound that tends to infinity with the Radon number.
The proof of Lemma 1.13, as well as a finer distribution dependent lower bound, appear in Sect. 3. The proof is essentially by reduction to the chromatic number of Kneser graphs.
1.5 The Necessity of Assumptions
1.5.1 Assumptions in Theorem 1.12
We first show that if either of the assumptions of having bounded VC dimension or of having bounded Helly number is removed then Theorem 1.12 ceases to hold.
To see why bounded Helly number is necessary, let X be any finite set and set \(B=\{X\}\cup \{X\setminus \{x\} : x\in X\}\). The VC dimension of B is 1, but any subset of X can be represented as an intersection of members of B. Thus, \(B^{\cap } = 2^X\), which does not have weak \(\epsilon \)-nets of size which is independent of |X|.
To see why bounded VC dimension is necessary, consider the convexity space (X, C) of cylinders (Example 1.7). Here, \(X=\{0,1\}^n\), C is the family of cylinders, and the family of half-spaces B consists of cylinders with co-dimension 1: \(B = B_0 \cup B_1\) with
The Helly number of B is 2, since an intersection of half-spaces is empty if and only if two complementing cylinders with co-dimension 1 participate in it.
The following claim gives a lower bound on weak (1/4)-nets for C over the uniform distribution \(\mu \) over X.
Claim 1.14
Every weak (1/4)-net for C over \(\mu \) has size at least \(\log n\).
Proof
\(S\subseteq X\) pierces every cylinder with measure 1/4 only if for every \(i \ne j\) in [n] there is \(x\in S\) with \(x_i=0\) and \(x_j=1\). Now, consider the mapping from [n] to \(\{0,1\}^S\), which maps \(i\in [n]\) to \((x_i)_{x\in S}\). By the above, this mapping is one-to-one, and in particular \(2^{| S|}=\bigl | \{0,1\}^S\bigr |\ge n\). \(\square \)
1.5.2 Assumptions in Corollary 1.3
We now describe an example showing that the compactness assumption in Corollary 1.3 is necessary (a related example appears in [8, 33] in the context of strong \(\epsilon \)-nets). Let \(X=\omega _1\) be the first uncountable ordinal, and C be the family of all intervals in the well-ordering of X (a set \(I\subseteq X\) is an interval if whenever \(a,b\in I\) and \(a\le x\le b\) then also \(x\in I\)). The space (X, C) is separable with Radon number 3, but is not compact.
We claim that it does not have finite weak \(\epsilon \)-nets, even for \(\epsilon =1\). Indeed, let \(\mu \) be the probability distribution defined over the \(\sigma \)-algebra generated by countable subsets of X and assigning to every countable subset of X measure 0. Every interval is either countable or has a countable complement, and is therefore measurable.
We now claim that there is no finite \(S\subseteq X\) that pierces all intervals of measure 1. Indeed, let S be finite, and let m be the maximum element in S. The interval \(\{x\in X : x > m\}\) has measure 1 but is not pierced by S.
2 Proof of Upper Bound
Here we construct weak \(\epsilon \)-nets when the Helly number and the VC dimension of the half-spaces are bounded (Theorem 1.12). The property of VC classes that we use is the following packing lemma due to Haussler [19].
Theorem 2.1
Let \(B\subseteq 2^X\) be a class of VC dimension v. For every distribution \(\mu \) on X and for every \(\delta > 0\), there is \(A \subseteq B\) of size \(|A|\le (4e^2/\delta )^v\) such that for every \(b \in B\) there is \(a\in A\) with \(\mu (a\varDelta b)\le \delta \).
Haussler has stated the lemma in a dual way; the number of disjoint balls of a given radius in a VC class is small. Haussler’s proof is elaborate, but a weaker bound can be proven fairly easily. Indeed, consider a finite set A such that \(\mu (a \varDelta a') > \delta \) for all \(a \ne a'\) in A . Let \(x_1,\ldots ,x_m\) be m independent samples from \(\mu \) for \(m \ge 2 \log (|A|)/\delta \). Let \(Y = \{x_1,\ldots ,x_m\}\), and let \(A|_Y = \{a \cap Y : a \in A\}\). On one hand, the Sauer–Shelah–Perles lemma implies that \(A|_Y\) is small: \(\bigl | A|_Y\bigr | \le (e m / v)^v\). On the other hand, by the union bound, \(\bigl | A|_Y\bigr |=|A|\) with positive probability. This implies that A is small.
Proof of Theorem 1.12
We start by focusing on the set \(B_0 = \{b\in B : \mu (b) > 1-1/h\}\). By the union bound, every h members of \(B_0\) intersect. Since \(B_0\subseteq B\) is compact with Helly number h, there is a single point \(x_0 \in X\) that pierces all sets in \(B_0\). Let \(0< \epsilon <1\). We construct the \(\epsilon \)-net by induction on \(N(\epsilon )\), which is defined to be the minimum integer n such that \(\bigl (1+1/(2h)\bigr )^n\epsilon > 1-1/h\). \(\square \)
Induction base
If \(N(\epsilon )=0\), define the piercing set \(S = S(\mu ,\epsilon )\) as \(S = \{x_0\}\), where \(x_0\) is the point that pierces all half-spaces in \(B_0\). Indeed, S is an \(\epsilon \)-net as every \(c\in C\) with \(\mu (c)\ge \epsilon > 1-1/h\) is the intersection of half-spaces from \(B_0\), so \(x_0\) pierces c as well.
Induction step
Let \(1>\epsilon > 0\) be such that \(N(\epsilon ) > 0\). We construct the piercing set \(S=S(\mu ,\epsilon )\) as follows: Set \(\delta = \epsilon /(2h)^2\) and pick some \(A\subseteq B\) as in Theorem 2.1. Also set \(\epsilon '=(1+1/(2h)) \epsilon \). Note that \(N(\epsilon ')= N(\epsilon )-1\). By induction, for each \(a \in A\) with \(\mu (a) > 0\), pick a piercing set \(S_a = S(\mu |_{a},\epsilon ')\), where \(\mu |_{a}\) denotes the distribution \(\mu \) conditioned on a. Finally, let
It remains to prove that S satisfies the required conditions.
S is piercing: Let \(c \in C\) with \(\mu (c) \ge \epsilon \). If c is generatedFootnote 6 by \(B_0\) then \(x_0\) pierces c. Otherwise, there is some \(b\in B\) with \(\mu (b) \le 1-1/h\) that contains c. Pick \(a\in A\) such that \(\mu (a\varDelta b)\le \delta \). Since \(\mu (b) \ge \epsilon \) and \(\mu (a\varDelta b)\le \delta \),
which means that \(\mu |_a\) is well-defined. We claim that \(S(\mu |_{a},\epsilon ')\) pierces c. To this end, it suffices to show that \(\mu |_{a}(c)\ge \epsilon '\):
S is small: Let \(\beta (n)\) denote the maximum possible size of S for \(\epsilon \) with \(N(\epsilon )=n\). The argument above yields
Since \(\beta (0) = 1\), we get
Finally, since \(N(\epsilon ) \le 4 h\ln (1/\epsilon )\), we get the bound
\(\square \)
3 Proof of Lower Bound
The proof of Lemma 1.13 is based on the following distribution dependent lower bound on the size of weak nets:
Lemma 3.1
Let C be a family of subsets over a domain X and let \(\mu \) be a distribution on X. For \(\epsilon >0\) define a graph \(G=G(\mu ,\epsilon )\) whose vertices are the sets \(c\in C\) such that \(\mu (c)\ge \epsilon \), and two sets are connected by an edge if and only if they are disjoint. Then, every weak \(\epsilon \)-net for C over \(\mu \) has size at least the chromatic number of G, which is denoted by \(\chi (G)\).
Proof
Let S be a set that pierces all \(c\in C\) with \(\mu (c)\ge \epsilon \). Define a coloring of G by assigning to every vertex c an element \(x\in S\cap c\). This is a proper coloring of G, since if \(\{c,c'\}\) is an edge of G then c and \(c'\) are disjoint and therefore cannot be pierced by the same element of S. \(\square \)
Lemma 3.1 is tight whenever the class C has Helly number 2 (like in Examples 1.7 and 1.8). Indeed, consider an optimal coloring of \(G(\mu ,\epsilon )\). Every color class is an independent set in G (which means that every two sets in it have a non-empty intersection). So, when the Helly number is 2, each color class can be pierced by a single element, and we get a piercing set of size \(\chi (G)\).
The proof of Lemma 1.13 thus reduces to a lower bound on the chromatic number of the relevant graph, which in our case contains a copy of the Kneser graph. The Kneser graph \(KG_{n,k}\) is the graph whose vertices correspond to the k-element subsets of a set of n elements, and where two vertices are adjacent if and only if the two corresponding sets are disjoint. Lovász [26] proved Kneser’s conjecture on the chromatic number of this graph (his proof is considered seminal in the topological methods in combinatorics):
Theorem 3.2
The chromatic number of \(KG_{n,k}\) is \(n-2k+2\).
We actually do not need the full strength of Lovász’s result. A lower bound of the form \(\chi (KG_{n,n/4}) \ge n/10\) suffices for deducing the equivalence between the existence of weak nets and finite Radon number (in fact, even much weaker bounds suffice). Noga Alon informed us that for this range of the parameters there is a short and elementary proof.Footnote 7 Since this argument does not appear in the literature and may be useful elsewhere, we include Alon’s proof in Sect. B.
Proof of Lemma 1.13
Since the Radon number is greater than r, it follows that there is a set \(Y\subseteq X\) of size r that is Radon-shattered by C. Pick \(\mu \) to be the uniform distribution over Y. By Lemma 3.1 it suffices to show that \(\chi (G(\mu ,\epsilon ))\ge (1-{2\epsilon }) r\). This follows by noticing that, since Y is Radon-shattered, the subgraph of \(G(\mu ,\epsilon )\) induced by the vertices \({\text {conv}}Z\), for \(Z\subseteq Y\) of size \(\lceil \epsilon r\rceil \), is isomorphic to \(KG_{r,\lceil {\epsilon r}\rceil }\). \(\square \)
4 Proof of Equivalences
4.1 The Existence of Weak Nets
Proof of Corollary 1.3
Let (X, C) be a compact separable convexity space.
- (1) \(\Rightarrow \) (3):
-
By Lemma 1.11, the family B of half-spaces of C has finite VC dimension and Helly number. Theorem 1.12 now implies that \(B^{\cap }=C\) has finite weak \(\epsilon \)-nets for every \(\epsilon >0\).
- (3) \(\Rightarrow \) (2):
-
Obvious.
- (2) \(\Rightarrow \) (1):
-
Assume that C has weak \(\epsilon \)-nets of size \(\beta = \beta (\epsilon )<\infty \) for some \(\epsilon < 1/2\). By Lemma 1.13, the Radon number of (X, C) is at most \({\beta }/({1-2\epsilon })\). \(\square \)
4.2 The Threshold 1/2 is Sharp
Here we describe Example 1.4. Let \(X=\{0,1\}^{\mathbb {N}}\) be the Cantor space, and let C be the family of all cylinders; recall that \(c\subseteq X\) is a cylinder if there exist \(Y\subseteq \mathbb {N}\) and \(u\in \{0,1\}^Y\) such that \(c=\{v\in X : v|_Y = u\}\). The space (X, C) is a separable convexity space. It is also compact (this follows e.g. from Tychonoff’s theorem).
We claim that (X, C) has \(\epsilon \)-nets of size 1 for every \(\epsilon > 1/2\). This follows since for every distribution \(\mu \) the family \(\{c\in C: \mu (c) > 1/2\}\) is intersecting,Footnote 8 and since C has Helly number 2. Hence, \(\bigcap \{c\in C: \mu (c) > 1/2\} \ne \emptyset \) for all \(\mu \), as claimed.
It remains to show that (X, C) has no finite weak \(\epsilon \)-nets for \(\epsilon < 1/2\). By Corollary 1.3, it suffices to consider the case \(\epsilon =1/4\). Let \(\mu \) be the Bernoulli measure on the Cantor space; namely the infinite product of uniform measures on \(\{0,1\}\). Now, \(S\subseteq X\) is a weak \(\epsilon \)-net over \(\mu \) if and only if it intersects every cylinder with co-dimension 2. In particular, for every \(i \ne j\) in \(\mathbb {N}\) there must be \(x\in S\) with \(x_i=0\) and \(x_j=1\). By the proof of Claim 1.14 it follows that such an S must be infinite.
5 An Extension
Consider the space of bounded closed convex sets in \(\mathbb {R}^d\). The corresponding convexity space in not separable nor compact. Nevertheless, our results extend to this space as well.
The following variants of separability and compactness suffice. A convexity space is called locally-separable if there is a set \(B \subseteq C\) such that \(C = B^\cap \) and for every finite \(Y \subseteq X\) and for every \(b \in B\) there is \(\bar{b} \in B\) such that \(b \cap Y\) and \(\bar{b} \cap Y\) form a partition of Y. Every separable space is locally-separable, but there are convexity spaces that are locally separable but not separable (like the space of bounded convex sets in \(\mathbb {R}^d\)). A convex set \(c\in C\) is called compact if the restricted convexity space \((c,\{c'\cap c : c'\in C\})\) is compact. The Radon number of c is the Radon number of the space \((c,\{c'\cap c : c'\in C\})\).
Theorem 5.1
Let (X, C) be a locally separable convexity space such that there exists a chain \(c_1\subseteq c_2\subseteq \ldots \) of compact convex sets each of which has Radon number at most r such that \(\bigcup _i c_i = X\). Then (X, C) has finite weak \(\epsilon \)-nets for every \(\epsilon >0\).
Theorem 1.2 and its proof apply for locally-separable and compact convexity spaces. Theorem 5.1 therefore follows by applying it to a \(c_i\) in the chain such that \(\mu (c_i)\ge 1-\epsilon /2\).
6 Future Research
The main result in this paper and its extension by Holmsen and Lee [21] show that the Radon number characterizes the existence of weak nets in abstract convexity spaces. We now suggest several directions for future research.
One interesting direction is to find a characterization that is valid even more generally (i.e., for families that are not necessarily separable convexity spaces). It is worth noting in this context that the definition of the Radon number can be extended to arbitrary families. One may extend the definition of Radon-shattering as follows: A family \(C\subseteq 2^X\) Radon-shatters the set \(Y\subseteq X\) if for every partition of Y into two parts \(Y_1,Y_2\) there are two disjoint sets \(c_1,c_2\in C\) such that \(c_1 \cap Y = Y_1\) and \(c_2 \cap Y = Y_2\).
This extension of the Radon number does not characterize the existence of weak nets for arbitrary families. For instance, let \(C=\{Y\subseteq [n] : | Y| > n/2\}\). The Radon number is 2 since every two sets in C intersect, but every weak (1/2)-net over the uniform distribution has size at least \(n/2-1\). However, this family C is not convex (closed under intersection), which is a crucial property in our work. It may also be interesting to fully understand the role of convexity in the context of weak nets.
Alon et al. [3] studied weak nets and the (p, q)-property in an abstract setting, and described connections to fractional Helly properties. It may further be interesting to investigate which other combinatorial properties of convex sets apply in more general settings.
An additional question that comes to mind is the dependence of the size of weak \(\epsilon \)-nets on \(\epsilon \). In this direction, Bukh et al. proved an \(\varOmega \bigl (({1}/{\epsilon })\log ^{d-1}({1}/{\epsilon })\bigr )\) lower bound on the size of weak \(\epsilon \)-nets for convex sets in \(\mathbb {R}^d\) [10], and recently Rubin [30] proved an upper bound of roughly \(O(1/\epsilon ^{3/2})\) in \(\mathbb {R}^{2}\) (which improves upon the general bound in \(\mathbb {R}^d\) of roughly \(O(1/\epsilon ^d)\) by [11]). Proving tight bounds on the size of weak \(\epsilon \)-nets is a central open problem in this area. The general framework developed here may be useful in proving stronger lower bounds.
Notes
Here and below we assume that all sets considered are measurable.
Note that van de Vel [32] also requires that the union of an ascending chain of convex sets is convex.
We use the standard notation \(\bigcap C' = \bigcap _{c \in C'} c\).
One should sometimes add the empty set in order to satisfy all axioms of a convexity space.
The finiteness assumption can be removed when B is compact.
That is, c can be presented as an intersection of sets from \(B_0\).
Noga Alon, private communication (2017).
A family of sets is intersecting if every two members of it intersect.
Here we use a more general definition of half-spaces, as in the definition of locally-separable in Sect. 5.
References
Alon, N.: A non-linear lower bound for planar epsilon-nets. Discrete Comput. Geom. 47(2), 235–244 (2012)
Alon, N., Bárány, I., Füredi, Z., Kleitman, D.J.: Point selections and weak \(\varepsilon \)-nets for convex hulls. Comb. Probab. Comput. 1(3), 189–200 (1992)
Alon, N., Kalai, G., Matoušek, J., Meshulam, R.: Transversal numbers for hypergraphs arising in geometry. Adv. Appl. Math. 29(1), 79–101 (2002)
Alon, N., Kaplan, H., Nivasch, G., Sharir, M., Smorodinsky, S.: Weak \(\epsilon \)-nets and interval chains. J. ACM 55(6), # 28 (2008)
Alon, N., Kleitman, D.J.: Piercing convex sets and the Hadwiger–Debrunner \((p, q)\)-problem. Adv. Math. 96(1), 103–112 (1992)
Alon, N., Spencer, J.H.: The Probabilistic Method. Wiley-Interscience Series in Discrete Mathematics and Optimization. Wiley-Interscience, New York (2000)
Bárány, I., Füredi, Z., Lovász, L.: On the number of halving planes. Combinatorica 10(2), 175–183 (1990)
Blumer, A., Ehrenfeucht, A., Haussler, D., Warmuth, M.K.: Learnability and the Vapnik–Chervonenkis dimension. J. Assoc. Comput. Mach. 36(4), 929–965 (1989)
Bukh, B.: Radon partitions in convexity spaces (2010). arXiv:1009.2384
Bukh, B., Matoušek, J., Nivasch, G.: Lower bounds for weak epsilon-nets and stair-convexity. Israel J. Math. 182, 199–208 (2011)
Chazelle, B., Edelsbrunner, H., Grigni, M., Guibas, L., Sharir, M., Welzl, E.: Improved bounds on weak \(\varepsilon \)-nets for convex sets. Discrete Comput. Geom. 13(1), 1–15 (1995)
Chepoi, V.: Separation of two convex sets in convexity structures. J. Geom. 50(1–2), 30–51 (1994)
Danzer, L., Grünbaum, B., Klee, V.: Helly’s theorem and its relatives. In: 1963 Proc. Sympos. Pure Math., vol. 7, pp. 101–180. American Mathematcial Society, Providence (1963)
Ezra, E.: A note about weak \(\epsilon \)-nets for axis-parallel boxes in \(d\)-space. Inform. Process. Lett. 110(18–19), 835–840 (2010)
Grünbaum, B., Motzkin, T.S.: On components in some families of sets. Proc. Am. Math. Soc. 12(4), 607–613 (1961)
Hadwiger, H., Debrunner, H.: Über eine Variante zum Hellyschen Satz. Arch. Math. (Basel) 8(4), 309–313 (1957)
Hammer, P.C.: Maximal convex sets. Duke Math. J. 22, 103–106 (1955)
Hammer, P.C.: Semispaces and the Topology of Convexity (1961)
Haussler, D.: Sphere packing numbers for subsets of the Boolean \(n\)-cube with bounded Vapnik–Chervonenkis dimension. J. Comb. Theory Ser. A 69(2), 217–232 (1995)
Haussler, D., Welzl, E.: \(\epsilon \)-nets and simplex range queries. Discrete Comput. Geom. 2(2), 127–151 (1987)
Holmsen, A.F., Lee, D.-G.: Radon numbers and the fractional Helly theorem (2019). arXiv:1903.01068
Kay, D.C., Womble, E.W.: Axiomatic convexity theory and relationships between the Carathéodory, Helly, and Radon numbers. Pac. J. Math. 38(2), 471–485 (1971)
Klee Jr., V.L.: The structure of semispaces. Math. Scand. 4, 54–64 (1956)
Kleitman, D.J.: Families of non-disjoint subsets. J. Comb. Theory 1(1), 153–155 (1966)
Levi, F.W.: On Helly’s theorem and the axioms of convexity. J. Indian Math. Soc. (N.S.) 15(part A), 65–76 (1951)
Lovász, L.: Kneser’s conjecture, chromatic number, and homotopy. J. Comb. Theory Ser. A 25(3), 319–324 (1978)
Matoušek, J.: A lower bound for weak \(\varepsilon \)-nets in high dimension. Discrete Comput. Geom. 28(1), 45–48 (2002)
Onn, S.: On the geometry and computational complexity of Radon partitions in the integer lattice. SIAM J. Discrete Math. 4(3), 436–446 (1991)
Radon, J.: Mengen konvexer Körper, die einen gemeinsamen Punkt enthalten. Math. Ann. 83(1–2), 113–115 (1921)
Rubin, N.: An improved bound for weak epsilon-nets in the plane. In: 59th Annual IEEE Symposium on Foundations of Computer Science, pp. 224–235. IEEE Computer Soc., Los Alamitos (2018)
Shalev-Shwartz, S., Ben-David, S.: Understanding Machine Learning. Cambridge University Press, Cambridge (2014)
van de Vel, M.L.J.: Theory of Convex Structures. North-Holland Mathematical Library, vol. 50. North-Holland, Amsterdam (1993)
Wenocur, R.S., Dudley, R.M.: Some special Vapnik–Chervonenkis classes. Discrete Math. 33(3), 313–318 (1981)
Acknowledgements
We thank Noga Alon, Yuval Dagan, and Gil Kalai for helpful conversations. We also thank the anonymous reviewers assigned to this paper for their helpful comments which improved the presentation of this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: Kenneth Clarkson
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
S. Moran: Part of this research was done while the author was at the Institute for Advanced Study where he was supported by NSF grant CCF-1412958. A. Yehudayoff: Research supported by ISF Grant 1162/15.
Appendices
Radon, Helly and VC
Here we prove that the Radon number bounds from above both the Helly number and the VC dimension (Lemma 1.11). The proof follows from the following two claims. Levi [25] proved that
Claim A.1
Let C be a convexity space. If the Radon number of C is r then its Helly number is smaller than r.
Proof
(for completeness) Let \(C' \subseteq C\) be a finite family such that \(\bigcap _{c \in C'} c = \emptyset \). Let \(K\subseteq C'\) be a minimal subfamily such that \(\bigcap _{c\in K} c = \emptyset \). Assume towards a contradiction that \(| K | \ge r\). Minimality implies that for each \(k\in K\) we have \(C_k : = \bigcap _{c\in K \setminus \{k\}} c \ne \emptyset \). Let \(x_k \in C_k\). The \(x_k\)’s must be distinct (otherwise \(\bigcap _{c\in K} c \ne \emptyset \)). Thus, there is a partition of \(\{x_k : k\in K\}\) into two parts \(Y_1,Y_2\) such that \({\text {conv}}Y_1\cap {\text {conv}}Y_2\ne \emptyset \). But
by construction. This is a contradiction, so \(|K|<r\). \(\square \)
We observe that
Claim A.2
Let C be a convexity space and B be its half-spaces. If the Radon number of C is r then the VC dimension of B is smaller than r.
Proof
Let \(Y \subseteq X\) be of size r. The set Y can thus be partitioned into \(Y_1,Y_2\) so that \({\text {conv}}Y_1\cap {\text {conv}}Y_2 \ne \emptyset \). Assume, towards a contradiction, that there is \(b \in B\) such that \(b \cap Y = Y_1\). Since B consists of half-spaces,Footnote 9 there is \(\bar{b} \in B \subseteq C\) such that \(Y_2 = \bar{b} \cap Y\). This implies that \({\text {conv}}Y_1\cap {\text {conv}}Y_2= \emptyset \), which is a contradiction. Thus, for all \(b \in B\) we have \(b \cap Y \ne Y_1\) which means that the VC dimension is less than \(|Y|=r\). \(\square \)
The Chromatic Number of the Kneser Graph
Here we prove a lower bound on the chromatic number of the Kneser graph (which is weaker than Lovász’s). We follow an argument of Alon (see footnote 7), who informed us that a similar argument was independently found by Szemerédi. We focus on a particular case, but the argument applies more generally.
Theorem B.1
For n being divisible by 4 we have \(\chi (KG_{n,n/4}) > n/10\).
The first step in the proof is the following lemma proven by Kleitman [24]. A family \(F \subseteq 2^X\) is called intersecting if \(f \cap f' \ne \emptyset \) for all \(f,f' \in F\).
Lemma B.2
If \(F_1,\ldots ,F_s \subset 2^{[n]}\), where each \(F_i\) is intersecting, then
The lemma can be proven by induction on s. The case \(s=1\) just says that an intersecting family has size at most \(2^{n-1}\). The induction step is based on correlation of monotone events (for more details see, e.g., [6]).
Proof of Theorem B.1
Consider a proper coloring of \(KG_{n,n/4}\) with s colors. Let \(V_1,\ldots ,V_s\) be the partition of the vertices into color classes. Each \(V_i\) is an intersecting family. Let \(F_i\) be the family of sets \(u \subseteq [n]\) that contain some set in \(V_i\). Each \(F_i\) is also intersecting. By the lemma above,
On the other hand, the complement of \(\bigcup _{i \in [s]} F_i\) is of size less than
where \(H(p) = - p \log p-(1-p) \log {(1-p)}\) is the binary entropy function. Hence, \(s > n(1-H(1/4)) \ge n /10\). \(\square \)
Rights and permissions
About this article
Cite this article
Moran, S., Yehudayoff, A. On Weak \(\epsilon \)-Nets and the Radon Number. Discrete Comput Geom 64, 1125–1140 (2020). https://doi.org/10.1007/s00454-020-00222-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-020-00222-y