TY - GEN

T1 - Lower bounds for weak epsilon-nets and stair-convexity

AU - Bukh, Boris

AU - Matoušek, Jiří

AU - Nivasch, Gabriel

PY - 2009/6

Y1 - 2009/6

N2 - A set N ⊂ ℝd is called a weak ε-net (with respect to convex sets) for a finite X ⊂ ℝd if N intersects every convex set C with |X ∩ C| ≥ ε|X|. For every fixed d ≥ 2 and every r ≥ 1 we construct sets X ⊂ ℝd for which every weak 1/r-net has at least Ω (r logd-1 r) points; this is the first superlinear lower bound for weak ε-nets in a fixed dimension. The construction is a stretched grid, i.e., the Cartesian product of d suitable fast-growing finite sequences, and convexity in this grid can be analyzed using stair-convexity, a new variant of the usual notion of convexity. We also consider weak ε-nets for the diagonal of our stretched grid in R d, d ≥ 3, which is an "intrinsically 1- dimensional" point set. In this case we exhibit slightly superlinear lower bounds (involving the inverse Ackermann function), showing that the upper bounds by Alon et al. (2008) are not far from the truth in the worst case. Using the stretched grid we also improve the known upper bound for the so-called second selection lemma in the plane by a logarithmic factor: We obtain a set T of t triangles with vertices in an n-point set in the plane such that no point is contained in more than O ( t2/(n3 log n3 t )) triangles of T.

AB - A set N ⊂ ℝd is called a weak ε-net (with respect to convex sets) for a finite X ⊂ ℝd if N intersects every convex set C with |X ∩ C| ≥ ε|X|. For every fixed d ≥ 2 and every r ≥ 1 we construct sets X ⊂ ℝd for which every weak 1/r-net has at least Ω (r logd-1 r) points; this is the first superlinear lower bound for weak ε-nets in a fixed dimension. The construction is a stretched grid, i.e., the Cartesian product of d suitable fast-growing finite sequences, and convexity in this grid can be analyzed using stair-convexity, a new variant of the usual notion of convexity. We also consider weak ε-nets for the diagonal of our stretched grid in R d, d ≥ 3, which is an "intrinsically 1- dimensional" point set. In this case we exhibit slightly superlinear lower bounds (involving the inverse Ackermann function), showing that the upper bounds by Alon et al. (2008) are not far from the truth in the worst case. Using the stretched grid we also improve the known upper bound for the so-called second selection lemma in the plane by a logarithmic factor: We obtain a set T of t triangles with vertices in an n-point set in the plane such that no point is contained in more than O ( t2/(n3 log n3 t )) triangles of T.

KW - Inverse ackermann function

KW - Selection lemma

KW - Stair-convexity

KW - Weak epsilon-net

UR - http://www.scopus.com/inward/record.url?scp=70849093034&partnerID=8YFLogxK

U2 - 10.1145/1542362.1542365

DO - 10.1145/1542362.1542365

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:70849093034

SN - 9781605585017

T3 - Proceedings of the Annual Symposium on Computational Geometry

SP - 1

EP - 10

BT - Proceedings of the 25th Annual Symposium on Computational Geometry, SCG'09

T2 - 25th Annual Symposium on Computational Geometry, SCG'09

Y2 - 8 June 2009 through 10 June 2009

ER -