A family of convex sets in the plane satisfying the $(4,3)$-property can be pierced by nine points

Daniel McGinnis

DOI: https://doi.org/10.48550/arXiv.2010.13195

2020-10-26

Abstract:We prove that every finite family of convex sets in the plane satisfying the $(4,3)$-property can be pierced by $9$ points. This improves the bound of $13$ proved by Gyárfás, Kleitman, and Tóth in 2001.

Combinatorics

What problem does this paper attempt to address?

Efficiently stabbing convex polygons and variants of the Hadwiger-Debrunner $(p, q)$-theorem

Justin Dallant,Patrick Schnider

DOI: https://doi.org/10.48550/arXiv.2002.06947

2021-02-16

Abstract:Hadwiger and Debrunner showed that for families of convex sets in $\mathbb{R}^d$ with the property that among any $p$ of them some $q$ have a common point, the whole family can be stabbed with $p-q+1$ points if $p \geq q \geq d+1$ and $(d-1)p < d(q-1)$. This generalizes a classical result by Helly. We show how such a stabbing set can be computed for a family of convex polygons in the plane with a total of $n$ vertices in $O((p-q+1)n^{4/3}\log^{8} n(\log\log n)^{1/3} + np^2)$ expected time. For polyhedra in $\mathbb{R}^3$, we get an algorithm running in $O((p-q+1)n^{5/2}\log^{10} n(\log\log n)^{1/6} + np^3)$ expected time. We also investigate other conditions on convex polygons for which our algorithm can find a fixed number of points stabbing them. Finally, we show that analogous results of the Hadwiger and Debrunner $(p,q)$-theorem hold in other settings, such as convex sets in $\mathbb{R}^d\times\mathbb{Z}^k$ or abstract convex geometries.

Computational Geometry
Stabbing Pairwise Intersecting Disks by Four Points

Paz Carmi,Matthew J. Katz,Pat Morin

DOI: https://doi.org/10.48550/arXiv.1812.06907

2020-08-11

Abstract:In their seminal work, Danzer (1956, 1986) and Stachó (1981) established that every set of pairwise intersecting disks in the plane can be stabbed by four points. However, both these proofs are non-constructive, at least in the sense that they do not seem to imply an efficient algorithm for finding the stabbing points, given such a set of disks $D$. Recently, Har-Peled \etal (2018) presented a relatively simple linear-time algorithm for finding five points that stab $D$. We present an alternative proof (and the first in English) to the assertion that four points are sufficient to stab $D$. Moreover, our proof is constructive and provides a simple linear-time algorithm for finding the stabbing points. As a warmup, we present a nearly-trivial liner-time algorithm with an elementary proof for finding five points that stab $D$.

Computational Geometry
Convex decompositions of point sets in the plane

Toshinori Sakai,Jorge Urrutia

DOI: https://doi.org/10.48550/arXiv.1909.06105

2019-09-13

Abstract:Let $P$ be a set of $n$ points in general position on the plane. A set of closed convex polygons with vertices in $P$, and with pairwise disjoint interiors is called a convex decomposition of $P$ if their union is the convex hull of $P$, and no point of $P$ lies in the interior of the polygons. We show that there is a convex decomposition of $P$ with at most $\frac{4}{3}|I(P)|+\frac{1}{3}|B(P)|+1\le \frac{4}{3}|P|-2$ elements, where $B(P)\subseteq P$ is the set of points at the vertices of the convex hull of $P$, and $I(P)=P-B(P)$.

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

Chaya Keller,Shakhar Smorodinsky

DOI: https://doi.org/10.48550/arXiv.1809.06451

2018-11-05

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$.

Combinatorics,Computational Geometry
A Structural Theorem for Sets With Few Triangles

Sam Mansfield,Jonathan Passant

DOI: https://doi.org/10.1007/s00493-023-00066-z

2023-10-25

Abstract:We show that if a finite point set $P\subseteq \mathbb{R}^2$ has the fewest congruence classes of triangles possible, up to a constant $M$, then at least one of the following holds. (1) There is a $\sigma>0$ and a line $l$ which contains $\Omega(|P|^\sigma)$ points of $P$. Further, a positive proportion of $P$ is covered by lines parallel to $l$ each containing $\Omega(|P|^\sigma)$ points of $P$. (2) There is a circle $\gamma$ which contains a positive proportion of $P$. This provides evidence for two conjectures of Erdős. We use the result of Petridis-Roche-Newton-Rudnev-Warren on the structure of the affine group combined with classical results from additive combinatorics.

Combinatorics
Stabbing Pairwise Intersecting Disks by Five Points

Sariel Har-Peled,Haim Kaplan,Wolfgang Mulzer,Liam Roditty,Paul Seiferth,Micha Sharir,Max Willert

DOI: https://doi.org/10.1016/j.disc.2021.112403

2021-04-28

Abstract:Suppose we are given a set $\mathcal{D}$ of $n$ pairwise intersecting disks in the plane. A planar point set $P$ stabs $\mathcal{D}$ if and only if each disk in $\mathcal{D}$ contains at least one point from $P$. We present a deterministic algorithm that takes $O(n)$ time to find five points that stab $\mathcal{D}$. Furthermore, we give a simple example of 13 pairwise intersecting disks that cannot be stabbed by three points. Moreover, we present a simple argument showing that eight disks can be stabbed by at most three points. This provides a simple-albeit slightly weaker-algorithmic version of a classical result by Danzer that such a set $\mathcal{D}$ can always be stabbed by four points.

Computational Geometry
A note on lenses in arrangements of pairwise intersecting circles in the plane

Rom Pinchasi

2024-03-08

Abstract:Let $\F$ be a family of $n$ pairwise intersecting circles in the plane. We show that the number of lenses, that is convex digons, in the arrangement induced by $\F$ is at most $2n-2$. This bound is tight. Furthermore, if no two circles in $\F$ touch, then the geometric graph $G$ on the set of centers of the circles in $\F$ whose edges correspond to the lenses generated by $\F$ does not contain pairs of avoiding edges. That is, $G$ does not contain pairs of edges that are opposite edges in a convex quadrilateral. Such graphs are known to have at most $2n-2$ edges.

Combinatorics
An Upper Bound for the Number of Rectangulations of a Planar Point Set

Hannah Ashbach,Kiki Pichini

DOI: https://doi.org/10.37236/11398

2024-01-26

The Electronic Journal of Combinatorics

Abstract:We prove that every set of n points in the plane has at most $(16+\frac{5}{6})^n$ rectangulations. This improves upon a long-standing bound of Ackerman. Our proof is based on the cross-graph charging-scheme technique.

mathematics, applied
Stabbing simplices by points and flats

Boris Bukh,Jiří Matoušek,Gabriel Nivasch

DOI: https://doi.org/10.1007/s00454-008-9124-4

2008-09-18

Abstract:The following result was proved by Barany in 1982: For every d >= 1 there exists c_d > 0 such that for every n-point set S in R^d there is a point p in R^d contained in at least c_d n^{d+1} - O(n^d) of the simplices spanned by S. We investigate the largest possible value of c_d. It was known that c_d <= 1/(2^d(d+1)!) (this estimate actually holds for every point set S). We construct sets showing that c_d <= (d+1)^{-(d+1)}, and we conjecture this estimate to be tight. The best known lower bound, due to Wagner, is c_d >= gamma_d := (d^2+1)/((d+1)!(d+1)^{d+1}); in his method, p can be chosen as any centerpoint of S. We construct n-point sets with a centerpoint that is contained in no more than gamma_d n^{d+1}+O(n^d) simplices spanned by S, thus showing that the approach using an arbitrary centerpoint cannot be further improved. We also prove that for every n-point set S in R^d there exists a (d-2)-flat that stabs at least c_{d,d-2} n^3 - O(n^2) of the triangles spanned by S, with c_{d,d-2}>=(1/24)(1- 1/(2d-1)^2). To this end, we establish an equipartition result of independent interest (generalizing planar results of Buck and Buck and of Ceder): Every mass distribution in R^d can be divided into 4d-2 equal parts by 2d-1 hyperplanes intersecting in a common (d-2)-flat.

Combinatorics,Computational Geometry
Finite sets of points in $\mathbb{P}^4$ with special projection properties

Luca Chiantini,Łucja Farnik,Giuseppe Favacchio,Brian Harbourne,Juan Migliore,Tomasz Szemberg,Justyna Szpond

2024-07-02

Abstract:In this note we introduce the notion of $(b,d)$-geprofi sets and study their basic properties. These are sets of $bd$ points in $\mathbb{P}^4$ whose projection from a general point to a hyperplane is a full intersection, i.e., the intersection of a curve of degree $b$ and a surface of degree $d$. We show that such nontrivial sets exist if and only if $b\geq 4$ and $d\geq 2$. Somewhat surprisingly, for infinitely many values of $b$ and $d$ there exist such sets in linear general position. The note contains open questions and problems.

Algebraic Geometry,Commutative Algebra,Combinatorics
On Piercing Numbers of Families Satisfying the $(p,q)_r$ Property

Chaya Keller,Shakhar Smorodinsky

DOI: https://doi.org/10.48550/arXiv.1703.06338

2017-03-19

Abstract:The Hadwiger-Debrunner number $HD_d(p,q)$ is the minimal size of a piercing set that can always be guaranteed for a family of compact convex sets in $\mathbb{R}^d$ that satisfies the $(p,q)$ property. Hadwiger and Debrunner showed that $HD_d(p,q) \geq p-q+1$ for all $q$, and equality is attained for $q > \frac{d-1}{d}p +1$. Almost tight upper bounds for $HD_d(p,q)$ for a `sufficiently large' $q$ were obtained recently using an enhancement of the celebrated Alon-Kleitman theorem, but no sharp upper bounds for a general $q$ are known. In [L. Montejano and P. Soberón, Piercing numbers for balanced and unbalanced families, Disc. Comput. Geom., 45(2) (2011), pp. 358-364], Montejano and Soberón defined a refinement of the $(p,q)$ property: $F$ satisfies the $(p,q)_r$ property if among any $p$ elements of $F$, at least $r$ of the $q$-tuples intersect. They showed that $HD_d(p,q)_r \leq p-q+1$ holds for all $r>{{p}\choose{q}}-{{p+1-d}\choose{q+1-d}}$; however, this is far from being tight. In this paper we present improved asymptotic upper bounds on $HD_d(p,q)_r$ which hold when only a tiny portion of the $q$-tuples intersect. In particular, we show that for $p,q$ sufficiently large, $HD_d(p,q)_r \leq p-q+1$ holds with $r = \frac{1}{p^{\frac{q}{2d}}}{{p}\choose{q}}$. Our bound misses the known lower bound for the same piercing number by a factor of less than $pq^d$. Our results use Kalai's Upper Bound Theorem for convex sets, along with the Hadwiger-Debrunner theorem and the recent improved upper bound on $HD_d(p,q)$ mentioned above.

Combinatorics
Planar point sets with forbidden $4$-point patterns and few distinct distances

Terence Tao

2024-09-02

Abstract:We show that for any large $n$, there exists a set of $n$ points in the plane with $O(n^2/\sqrt{\log n})$ distinct distances, such that any four points in the set determine at least five distinct distances. This answers (in the negative) a question of Erdős. The proof combines an analysis by Dumitrescu of forbidden four-point patterns with an algebraic construction of Thiele and Dumitrescu (to eliminate parallelograms), as well as a randomized transformation of that construction (to eliminate most other forbidden patterns).

Combinatorics
Happy Ending: An Empty Hexagon in Every Set of 30 Points

Marijn J.H. Heule,Manfred Scheucher

2024-03-02

Abstract:Satisfiability solving has been used to tackle a range of long-standing open math problems in recent years. We add another success by solving a geometry problem that originated a century ago. In the 1930s, Esther Klein's exploration of unavoidable shapes in planar point sets in general position showed that every set of five points includes four points in convex position. For a long time, it was open if an empty hexagon, i.e., six points in convex position without a point inside, can be avoided. In 2006, Gerken and Nicolás independently proved that the answer is no. We establish the exact bound: Every 30-point set in the plane in general position contains an empty hexagon. Our key contributions include an effective, compact encoding and a search-space partitioning strategy enabling linear-time speedups even when using thousands of cores.

Computational Geometry,Logic in Computer Science,Combinatorics
An $(\aleph_0,k+2)$-Theorem for $k$-Transversals

Chaya Keller,Micha A. Perles

2023-06-04

Abstract:A family $\mathcal{F}$ of sets satisfies the $(p,q)$-property if among every $p$ members of $\mathcal{F}$, some $q$ can be pierced by a single point. The celebrated $(p,q)$-theorem of Alon and Kleitman asserts that for any $p \geq q \geq d+1$, any family $\mathcal{F}$ of compact convex sets in $\mathbb{R}^d$ that satisfies the $(p,q)$-property can be pierced by a finite number $c(p,q,d)$ of points. A similar theorem with respect to piercing by $(d-1)$-dimensional flats, called $(d-1)$-transversals, was obtained by Alon and Kalai. In this paper we prove the following result, which can be viewed as an $(\aleph_0,k+2)$-theorem with respect to $k$-transversals: Let $\mathcal{F}$ be an infinite family of closed balls in $\mathbb{R}^d$, and let $0 \leq k < d$. If among every $\aleph_0$ elements of $\mathcal{F}$, some $k+2$ can be pierced by a $k$-dimensional flat, then $\mathcal{F}$ can be pierced by a finite number of $k$-dimensional flats. The same result holds also for a wider class of families which consist of \emph{near-balls}, to be defined below. This is the first $(p,q)$-theorem in which the assumption is weakened to an $(\infty,\cdot)$ assumption. Our proofs combine geometric and topological tools.

Combinatorics,Computational Geometry
On Distinct Angles in the Plane

Sergei V. Konyagin,Jonathan Passant,Misha Rudnev

2024-02-24

Abstract:We prove that if $N$ points lie in convex position in the plane then they determine $N^{1+ 3/23-o(1)}$ distinct angles, provided the points do not lie on a common circle. This is the first super-linear bound on the distinct angles problem that has received recent attention. This is derived from a more general claim that if $N$ points in the convex position in the real plane determine $KN$ distinct angles, then $K=\Omega(N^{1/4})$ or $\Omega(N/K)$ points are co-circular. The proof makes use of the implicit order one can give to points in convex position, recently used by Solymosi. Convex position also allows us to divide our set into two large ordered pieces. We use the squeezing lemma and the level sets of repeated angles to estimate the number of angles formed between these pieces. We obtain the main theorem using Stevens and Warren's convexity versus sum-set bound.

Combinatorics,Metric Geometry
On Optimal Point Sets Determining Distinct Triangles

Eyvindur A. Palsson,Edward Yu

DOI: https://doi.org/10.37236/12360

2024-05-12

Abstract:Erdős and Fishburn studied the maximum number of points in the plane that span $k$ distances and classified these configurations, as an inverse problem of the Erdős distinct distances problem. We consider the analogous problem for triangles. Past work has obtained the optimal sets for one and two distinct triangles in the plane. In this paper, we resolve a conjecture that at most six points in the plane can span three distinct triangles, and obtain the hexagon as the unique configuration that achieves this. We also provide evidence that optimal sets cannot be on the square lattice in the general case.

Combinatorics
Piercing intersecting convex sets

Imre Bárány,Travis Dillon,Dömötör Pálvölgyi,Dániel Varga

2024-09-10

Abstract:Assume two finite families $\mathcal A$ and $\mathcal B$ of convex sets in $\mathbb{R}^3$ have the property that $A\cap B\ne \emptyset$ for every $A \in \mathcal A$ and $B\in \mathcal B$. Is there a constant $\gamma >0$ (independent of $\mathcal A$ and $\mathcal B$) such that there is a line intersecting $\gamma|\mathcal A|$ sets in $\mathcal A$ or $\gamma|\mathcal B|$ sets in $\mathcal B$? This is an intriguing Helly-type question from a paper by Martínez, Roldan and Rubin. We confirm this in the special case when all sets in $\mathcal A$ lie in parallel planes and all sets in $\mathcal B$ lie in parallel planes; in fact, all sets from one of the two families has a line transversal.

Combinatorics
On the structure of pointsets with many collinear triples

Jozsef Solymosi

2023-07-25

Abstract:It is conjectured that if a finite set of points in the plane contains many collinear triples then there is some structure in the set. We are going to show that under some combinatorial conditions such pointsets contain special configurations of triples, proving a case of Elekes' conjecture. Using the techniques applied in the proof we show a density version of Jamison's theorem. If the number of distinct directions between many pairs of points of a pointset in convex position is small, then many points are on a conic.

Combinatorics
On a colorful problem by Dol'nikov concerning translates of convex bodies

Leonardo Martínez-Sandoval,Edgardo Roldán-Pensado

2023-09-24

Abstract:In this note we study a conjecture by Jerónimo-Castro, Magazinov and Soberón which generalized a question posed by Dol'nikov. Let $F_1,F_2,\dots,F_n$ be families of translates of a convex compact set $K$ in the plane so that each two sets from distinct families intersect. We show that, for some $j$, $\bigcup_{i\neq j}F_i$ can be pierced by at most $4$ points. To do so, we use previous ideas from Gomez-Navarro and Roldán-Pensado together with an approximation result closely tied to the Banach-Mazur distance to the square.

Combinatorics
Heterochromatic Geometric Transversals of Convex sets

Sutanoya Chakraborty,Arijit Ghosh,Soumi Nandi

2024-05-24

Abstract:An infinite sequence of sets $\left\{B_{n}\right\}_{n\in\mathbb{N}}$ is said to be a heterochromatic sequence from an infinite sequence of families $\left\{ \mathcal{F}_{n} \right\}_{n \in \mathbb{N}}$, if there exists a strictly increasing sequence of natural numbers $\left\{ i_{n}\right\}_{n \in \mathbb{N}}$ such that for all $n \in \mathbb{N}$ we have $B_{n} \in \mathcal{F}_{i_{n}}$. In this paper, we have proved that if for each $n\in\mathbb{N}$, $\mathcal{F}_n$ is a family of {\em nicely shaped} convex sets in $\mathbb{R}^d$ such that each heterochromatic sequence $\left\{B_{n}\right\}_{n\in\mathbb{N}}$ from $\left\{ \mathcal{F}_{n} \right\}_{n \in \mathbb{N}}$ contains at least $k+2$ sets that can be pierced by a single $k$-flat ($k$-dimensional affine space) then all but finitely many families in $\left\{\mathcal{F}_{n}\right\}_{n\in \mathbb{N}}$ can be pierced by finitely many $k$-flats. This result can be considered as a {\em countably colorful} generalization of the $(\aleph_0, k+2)$-theorem proved by Keller and Perles (Symposium on Computational Geometry 2022). We have also established the tightness of our result by proving a number of no-go theorems.

Combinatorics,Computational Geometry

A family of convex sets in the plane satisfying the $(4,3)$-property can be pierced by nine points

Efficiently stabbing convex polygons and variants of the Hadwiger-Debrunner $(p, q)$-theorem

Stabbing Pairwise Intersecting Disks by Four Points

Convex decompositions of point sets in the plane

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

A Structural Theorem for Sets With Few Triangles

Stabbing Pairwise Intersecting Disks by Five Points

A note on lenses in arrangements of pairwise intersecting circles in the plane

An Upper Bound for the Number of Rectangulations of a Planar Point Set

Stabbing simplices by points and flats

Finite sets of points in $\mathbb{P}^4$ with special projection properties

On Piercing Numbers of Families Satisfying the $(p,q)_r$ Property

Planar point sets with forbidden $4$-point patterns and few distinct distances

Happy Ending: An Empty Hexagon in Every Set of 30 Points

An $(\aleph_0,k+2)$-Theorem for $k$-Transversals

On Distinct Angles in the Plane

On Optimal Point Sets Determining Distinct Triangles

Piercing intersecting convex sets

On the structure of pointsets with many collinear triples

On a colorful problem by Dol'nikov concerning translates of convex bodies

Heterochromatic Geometric Transversals of Convex sets