Abstract
A family of sets \({\cal F}\) is said to satisfy the (p, q) property if among any p sets in \({\cal F}\) some q have a non-empty intersection. Hadwiger and Debrunner (1957) conjectured that for any p ≥ q ≥ d + 1 there exists a minimum integer c = HDd(p, q), such that any finite family of convex sets in ℝ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 HDd(p, q), known as ‘the Hadwiger-Debrunner numbers’, is still a major open problem in discrete and computational geometry.
The best known upper bound on the Hadwiger-Debrunner numbers in the plane is \(O({p^{(1.5 + \delta)(1 + {1 \over {q - 2}})}})\) (for any δ > 0 and p ≥ q ≥ q0(δ)), obtained by combining the results of Keller, Smorodinsky and Tardos (2017) and of Rubin (2018). The best lower bound is \(H\,{D_2}(p,q) = \Omega \left({{p \over q}\log \left({{p \over q}} \right)} \right)\), obtained by Bukh, Matoušek and Nivasch more than 10 years ago.
In this paper we improve the lower bound significantly by showing that HD2(p, q) ≥ p1+Ω(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 Erdős’ problem, obtained recently by Balogh and Solymosi using the hypergraph container method, to get the lower bound on HD2(p, 3). We then generalize the bound to HD2(p, q) for q ≥ 3.
Similar content being viewed by others
References
N. Alon, I. Bárány, Z. Füredi and D. J. Kleitman, Point selections and weak ϵ-nets for convex hulls, Combinatorics, Probability & Computing 1 (1992), 189–200.
N. Alon and D. J. Kleitman, Piercing convex sets and the Hadwiger-Debrunner (p, q)-problem, Advances in Mathematics 96 (1992), 103–112.
E. Ackerman and R. Pinchasi, On coloring points with respect to rectangles, Journal of Combinatorial Theory. Series A 120 (2013), 811–815.
B. Bukh, J. Matoušek and G. Nivasch, Lower bounds for weak epsilon-nets and stair-convexity, Israel Journal of Mathematics 182 (2011), 199–228.
J. Balogh, R. Morris and W. Samotij, Independent sets in hypergraphs, Journal of the American Mathematical Society 28 (2015), 669–709.
J. Balogh, R. Morris and W. Samotij, The method of hypergraph containers, in Proceedings of the International Congress of Mathematicians—Rio de Janeiro 2018. Vol. IV. Invited Talks, World Scientific, Hackensack, NJ, 2018, pp. 3045–3078.
J. Balogh and J. Solymosi, On the number of points in general position in the plane, Discrete Analysis (2018), Article no. 16.
J. Balogh and V. Samotij, An efficient container lemma, Discrete Analysis (2020), Article no. 17.
V. L. Dol’nikov, A certain coloring problem, Sibirskiĭ Matematičeskiĭ Žurnal 13 (1972), 1272–1283.
P. Erdős, On some metric and combinatorial geometric problems, Discrete Mathematics 60 (1986), 147–153.
H. Furstenberg and Y. Katznelson, A density version of the Hales-Jewett theorem for k = 3, Discrete Mathematics 43 (1989), 227–241.
H. Furstenberg and Y. Katznelson, A density version of the Hales-Jewett theorem, Journal d’Analyse Mathématique 57 (1991), 64–119.
Z. Füredi, Maximal independent subsets in steiner systems and in planar sets, SIAM Journal on Discrete Mathematics 4 (1991), 196–199.
H. Hadwiger and H. Debrunner, Über eine variante zum Hellyschen satz, Archiv der Mathematik 8 (1957), 309–313.
D. Haussler and E. Welzl, ϵ-nets and simplex range queries, Discrete & Computational Geometry 2 (1987), 127–151.
D. J. Kleitman, A. Gyárfás and G. Tóth, Convex sets in the plane with three of every four meeting, Combinatorica 21 (2001), 221–232.
C. Keller and S. Smorodinsky, From a (p, 2)-theorem to a tight (p, q)-theorem, Discrete & Computational Geometry 63 (2020), 821–847.
C. Keller, S. Smorodinsky, and G. Tardos, On max-clique for intersection graphs of sets and the Hadwiger-Debrunner numbers, in Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, Philadelphia, PA, 2017, pp. 2254–2263.
C. Keller, S. Smorodinsky, and G. Tardos, Improved bounds on the Hadwiger-Debrunner numbers, Israel Journal of Mathematics 225 (2018), 925–945.
J. Matoušek, Lectures on Discrete Geometry, Graduate Texts in Mathematics, Vol. 212, Springer, New York, 2002.
C. Pohoata and O. Roche-Newton, Four-term progression free sets with three-term progressions in all large subsets, https://arxiv.org/abs/1905.08457.
M. S. Payne and D. R. Wood, On the general position subset selection problem, SIAM Journal on Discrete Mathematics 27 (2013), 1727–1733.
J. B. Rosser and L. Schoenfeld, Approximate formulas for some functions of prime numbers, Illinois Journal of Mathematics 6 (1962), 64–94.
N. Rubin, An improved bound for weak epsilon-nets in the plane, in 59th Annual IEEE Symposium on Foundations of Computer Science—FOCS 2018, IEEE Computer Society, Los Alamitos, CA, 2018, pp. 224–235.
D. Saxton and A. Thomason, Hypergraph containers, Inventiones mathematicae 201 (2015), 925–992.
V. N. Vapnik and A. Ya. Chervonenkis, On the uniform convergence of relative frequencies of events to their probabilities, Theory of Probability and its Applications 16 (1971), 264–280.
Author information
Authors and Affiliations
Corresponding author
Additional information
A preliminary version of the paper was presented at the SODA’2020 conference.
Part of this research was done when the author was at Ben-Gurion University and at the Technion. Research partially supported by Grants 409/16 and 635/16 from the Israel Science Foundation, the Shulamit Aloni Post-Doctoral Fellowship of the Israel Ministry of Science and Technology, and a Kreitman Foundation Post-Doctoral Fellowship.
Research partially supported by Grant 635/16 from the Israel Science Foundation.
Rights and permissions
About this article
Cite this article
Keller, C., Smorodinsky, S. A new lower bound on Hadwiger-Debrunner numbers in the plane. Isr. J. Math. 244, 649–680 (2021). https://doi.org/10.1007/s11856-021-2185-2
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-021-2185-2