New Sufficient Conditions for Linear-Sized Epsilon-Nets and $(p,2)$-Theorems

TL;DR

This paper establishes new sufficient conditions for the existence of small epsilon-nets and piercing sets in hypergraphs, revealing connections to graph theory and improving bounds in geometric and combinatorial settings.

Contribution

It introduces several criteria for linear epsilon-net and (p,2)-theorems, linking them to classical problems like Zarankiewicz's problem and hypergraph properties, generalizing previous results.

Findings

Linear epsilon-net theorems derived from Zarankiewicz's problem.

Almost linear (p,2)-theorem for hypergraphs with Delaunay graphs.

Linear (p,2)-theorem for incidence hypergraphs of non-piercing regions.

Abstract

An $\epsilon$-net theorem for a hypergraph upper bounds the minimum size of a vertex set that pierces all $\epsilon$-heavy hyperedges. A $(p,2)$-theorem bounds from above the minimum size of a vertex set that pierces all hyperedges, in terms of the maximum size of a set of pairwise disjoint hyperedges. Numerous works studied $\epsilon$-net theorems and $(p,2)$-theorems that guarantee the existence of small-sized piercing sets. We focus on the question: In which settings the asymptotically smallest possible piercing sets -- i.e., $\epsilon$-nets of size $O(\frac{1}{\epsilon})$ and piercing sets of size $O(p)$ in $(p,2)$-theorems, are guaranteed? We obtain several sufficient criteria for the existence of such linear $\epsilon$-net theorems and $(p,2)$-theorems that unveil interesting connections to graph theory and improve and generalize several previous results. Most notably, we exhibit an unexpected relation of $\epsilon$-nets to the classical Zarankiewicz's problem in graph theory. We show that a linear bound in the Zarankiewicz-type problem that asks for the maximum size of a bipartite graph with no copy of $K_{2,t}$, implies a linear $\epsilon$-net theorem for the corresponding neighborhood hypergraph. We also show that hypergraphs with a hereditarily linear-sized Delaunay graph admit an almost linear $(p,2)$-theorem, and deduce that incidence hypergraphs of non-piercing regions in the plane admit a linear $(p,2)$-theorem, significantly improving previous results on such hypergraphs. Our work presents a landscape of sufficient conditions for the existence of linear $\epsilon$-net theorems and $(p,2)$-theorems, with complex interrelations between them. Many of the interrelations are still unknown and call for future research.