Abstract:A family of sets $F$ is said to satisfy the $(p,q)$ property if among any $p$ sets in $F$, some $q$ have a non-empty intersection. Hadwiger and Debrunner (1957) conjectured that for any $p \geq q \geq d+1$ there exists $c=c_d(p,q)$, such that any family of compact convex sets in $\mathbb{R}^d$ that satisfies the $(p,q)$ property, can be pierced by at most $c$ points. In a celebrated result from 1992, Alon and Kleitman proved the conjecture. However, obtaining sharp bounds on $c_d(p,q)$, called `the Hadwiger-Debrunner numbers', is still a major open problem in discrete and computational geometry. The best currently known lower bound on the Hadwiger-Debrunner numbers in the plane is $c_2(p,q) = \Omega( \frac{p}{q}\log(\frac{p}{q}))$ while the best known upper bound is $O(p^{(1.5+\delta)(1+\frac{1}{q-2})})$. In this paper we improve the lower bound significantly by showing that $c_2(p,q) \geq p^{1+\Omega(1/q)}$. Furthermore, the bound is obtained by a family of lines, and is tight for all families that have a bounded VC-dimension. Unlike previous bounds on the Hadwiger-Debrunner numbers which mainly used the weak epsilon-net theorem, our bound stems from a surprising connection of the $(p,q)$ problem to an old problem of Erdős on points in general position in the plane. We use a novel construction for the Erdős' problem, obtained recently by Balogh and Solymosi using the hypergraph container method, to get the lower bound on $c_2(p,3)$. We then generalize the bound to $c_2(p,q)$ for any $q \geq 3$.

Restriction estimates using decoupling theorems and two-ends Furstenberg inequalities

The Cone Restriction: An Old Approach Revisited

A restriction estimate in $\mathbb{R}^3$ using brooms

Sharp restriction estimates for several degenerate higher co-dimensional quadratic surfaces

Restriction estimates for quadratic manifolds of arbitrary codimensions

Furstenberg sets estimate in the plane

A Furstenberg-type problem for circles, and a Kaufman-type restricted projection theorem in $\mathbb{R}^3$

Restriction estimates for one class of hypersurfaces with vanishing curvature in $\mathbb{R}^n$

Restriction Estimates in a Conical Singular Space: Wave Equation

A Family of Fractal Fourier Restriction Estimates with Implications on the Kakeya Problem

Furstenberg set problem and exceptional set estimate in prime fields: dimension two implies higher dimensions

A geometric lemma for complex polynomial curves with applications in Fourier restriction theory

A new lower bound on Hadwiger-Debrunner numbers in the plane

Restriction type estimates on general two-step stratified Lie groups

Uniform estimates for Fourier restriction to polynomial curves in $\mathbb R^d$

A Kakeya maximal estimate for regulus strips

Refined $L^p$ restriction estimate for eigenfunctions on Riemannian surfaces

The Proof of restriction conjecture In $\mathbb{R}^{3}$

Restriction of Fourier transforms to curves and related oscillatory integrals

A weighted decoupling inequality and its application to the maximal Bochner-Riesz problem

A Restriction Estimate with a Log-Concavity Assumption