Intersecting hexagons in 3-space

Jozsef Solymosi,Ching Wong

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

2021-01-30

Abstract:Two hexagons in the space are said to intersect heavily if their intersection consists of at least one common vertex as well as an interior point. We show that the number of hexagons on n points in 3-space without heavy intersections is o(n^2), under the assumption that the hexagons are "fat".

Metric Geometry,Combinatorics

What problem does this paper attempt to address?

On Intersecting Polygons

Kada Williams

2023-03-20

Abstract:Consider two regions in the plane, bounded by an $n$-gon and an $m$-gon, respectively. At most how many connected components can there be in their intersection? This question was asked by Croft. We answer this asymptotically, proving the bounds $$\left\lfloor \frac{m}{2}\right\rfloor \cdot \left\lfloor \frac{n}{2}\right\rfloor\le f(n,m)\le \left\lfloor \frac{m}{2}\right\rfloor \cdot \frac{n}{2} + \frac{m}{2} $$ where $f(n,m)$ denotes the maximal number of components and $m\le n$. Furthermore, we give an exact answer to the related question of finding the maximal number of components if the $m$-gon is required to be convex: $\left \lfloor \frac{m+n-2}{2}\right\rfloor$ if $n\ge m+2$ and $n-2$ otherwise.

Combinatorics,Computational Geometry
A 3-Space Partition and Its Applications

F. Frances Yao

DOI: https://doi.org/10.1145/800061.808755

1983-01-01

Abstract:Let S be a set of n points in three-dimensional space. It is shown that one can always find three planes that divide S into eight open regions, of which no seven together contain more than α n points where α is a constant < 1. This result gives rise to a data structure, what we call an octant-tree, for representing any point set in 3-space. Efficient solutions to various data retrieval problems are readily available with this structure. For example, using octant-trees, one can answer in sublinear time T ( n ) @@@@ O ( n 0.98 ) 1) half-space queries: find all points of S that lie to one side of a plane P ; 2) polytope queries: find all points that lie inside (outside) a polytope; and 3) circular queries in E 2 : given a planar set S , find all points that lie within (without) a circle of radius r and center c for any r and c . An octant-tree for n points occupies O ( n ) space and can be constructed with O ( n 4 ) preprocessing time.
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
On Lines, Joints, and Incidences in Three Dimensions

György Elekes,Haim Kaplan,Micha Sharir

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

2009-05-12

Abstract:We extend (and somewhat simplify) the algebraic proof technique of Guth and Katz \cite{GK}, to obtain several sharp bounds on the number of incidences between lines and points in three dimensions. Specifically, we show: (i) The maximum possible number of incidences between $n$ lines in $\reals^3$ and $m$ of their joints (points incident to at least three non-coplanar lines) is $\Theta(m^{1/3}n)$ for $m\ge n$, and $\Theta(m^{2/3}n^{2/3}+m+n)$ for $m\le n$. (ii) In particular, the number of such incidences cannot exceed $O(n^{3/2})$. (iii) The bound in (i) also holds for incidences between $n$ lines and $m$ arbitrary points (not necessarily joints), provided that no plane contains more than O(n) points and each point is incident to at least three lines. As a preliminary step, we give a simpler proof of (an extension of) the bound $O(n^{3/2})$, established by Guth and Katz, on the number of joints in a set of $n$ lines in $\reals^3$. We also present some further extensions of these bounds, and give a proof of Bourgain's conjecture on incidences between points and lines in 3-space, which constitutes a simpler alternative to the proof of \cite{GK}.

Computational Geometry
Avoiding intersections of given size in finite affine spaces AG(n,2)

Benedek Kovács,Zoltán Lóránt Nagy

2024-05-30

Abstract:We study the set of intersection sizes of a k-dimensional affine subspace and a point set of size m \in [0, 2^n] of the n-dimensional binary affine space AG(n,2). Following the theme of Erdős, Füredi, Rothschild and T. Sós, we partially determine which local densities in k-dimensional affine subspaces are unavoidable in all $m$-element point sets in the n-dimensional affine space. We also show constructions of point sets for which the intersection sizes with $k$-dimensional affine subspaces takes values from a set of a small size compared to 2^k. These are built up from affine subspaces and so-called subspace evasive sets. Meanwhile, we improve the best known upper bounds on subspace evasive sets and apply results concerning the canonical signed-digit (CSD) representation of numbers.

Combinatorics
Avoiding intersections of given size in finite affine spaces AG( n ,2)

Benedek Kovács,Zoltán Lóránt Nagy

DOI: https://doi.org/10.1016/j.jcta.2024.105959

IF: 1.263

2024-09-26

Journal of Combinatorial Theory Series A

Abstract:We study the set of intersection sizes of a k -dimensional affine subspace and a point set of size m∈[0,2n] of the n -dimensional binary affine space AG(n,2) . Following the theme of Erdős, Füredi, Rothschild and T. Sós, we partially determine which local densities in k -dimensional affine subspaces are unavoidable in all m -element point sets in the n -dimensional affine space.We also show constructions of point sets for which the intersection sizes with k -dimensional affine subspaces take values from a set of a small size compared to 2k . These are built up from affine subspaces and so-called subspace evasive sets. Meanwhile, we improve the best known upper bounds on subspace evasive sets and apply results concerning the canonical signed-digit (CSD) representation of numbers. Keywords : unavoidable, affine subspaces, evasive sets, random methods, canonical signed-digit number system.

mathematics
On cliques in three-dimensional dense point-line arrangements

Andrew Suk,Ji Zeng

2024-08-29

Abstract:As a variant of the celebrated Szemerédi--Trotter theorem, Guth and Katz proved that $m$ points and $n$ lines in $\mathbb{R}^3$ with at most $\sqrt{n}$ lines in a common plane must determine at most $O(m^{1/2}n^{3/4})$ incidences for $n^{1/2}\leq m\leq n^{3/2}$. This upper bound is asymptotically tight and has an important application in Erdős distinct distance problem. We characterize the extremal constructions towards the Guth--Katz bound by proving that such a large dense point-line arrangement must contain a $k$-clique in general position provided $m \ll n$. This is an analog of a result by Solymosi for extremal Szemerédi--Trotter constructions in the plane.

Combinatorics
Intersection Searching amid Tetrahedra in Four Dimensions

Esther Ezra,Micha Sharir

DOI: https://doi.org/10.1007/s00454-024-00656-8

2024-06-05

Discrete & Computational Geometry

Abstract:We develop data structures for intersection queries in four dimensions that involve segments, triangles and tetrahedra. Specifically, we study three main problems: (i) Preprocess a set of n tetrahedra in into a data structure for answering segment-intersection queries amid the given tetrahedra (referred to as segment-tetrahedron intersection queries ). (ii) Preprocess a set of n triangles in into a data structure that supports triangle-intersection queries amid the input triangles (referred to as triangle-triangle intersection queries ). (iii) Preprocess a set of n segments in into a data structure that supports tetrahedron-intersection queries amid the input segments (referred to as tetrahedron-segment intersection queries ). In each problem we want either to detect an intersection, or to count or report all intersections. As far as we can tell, these problems have not been previously studied. For problem (i), we first present a "standard" solution which, for any prespecified value of a so-called storage parameter s , yields a data structure with storage and expected preprocessing, which answers an intersection query in time (here and in what follows, the notation hides subpolynomial factors). For problems (ii) and (iii), using similar arguments, we present a solution that has the same asymptotic performance bounds. We then improve the solution for problem (i), and present a more intricate data structure that uses storage and expected preprocessing, and answers a segment-tetrahedron intersection query in time, improving the query time obtained by the standard solution. Using the parametric search technique of Agarwal and Matoušek (SIAM J Comput 22:794–806, 1993), we can obtain data structures with similar performance bounds for the ray-shooting problem amid tetrahedra in . Unfortunately, so far we do not know how to obtain a similar improvement for problems (ii) and (iii). Our algorithms are based on a primal-dual technique for range searching with semi-algebraic sets, based on recent advances in this area (Agarwal et al. in SIAM J Comput 50:760–787, 2021. Also in Proceedings of Symposium on Computational Geometry (SoCG) 5:1–5:14, 2019. Also in arXiv:1812.10269; Matoušek and Patáková in Discrete Comput Geom 54:22–41, 2015). As this is a result of independent interest, we spell out the details of this technique. We present several applications of our techniques, including continuous collision detection amid moving tetrahedra in 3-space, an output-sensitive algorithm for constructing the arrangement of n tetrahedra in , and an output-sensitive algorithm for constructing the intersection or union of two or several nonconvex polyhedra in .

mathematics,computer science, theory & methods
Crossing and intersecting families of geometric graphs on point sets

J. L. Álvarez-Rebollar,J. Cravioto-Lagos,N. Marín,O. Solé-Pi,J. Urrutia

DOI: https://doi.org/10.1007/s00373-023-02734-9

2024-01-26

Graphs and Combinatorics

Abstract:Let S be a set of n points in the plane in general position. Two line segments connecting pairs of points of S cross if they have an interior point in common. Two vertex-disjoint geometric graphs with vertices in S cross if there are two edges, one from each graph, which cross. A set of vertex-disjoint geometric graphs with vertices in S is called mutually crossing if any two of them cross. We show that there exists a constant c such that from any family of n mutually-crossing triangles, one can always obtain a family of at least mutually-crossing 2-paths (each of which is the result of deleting an edge from one of the triangles) and provide an example that implies that c cannot be taken to be larger than 2/3. Then, for every n we determine the maximum number of crossings that a Hamiltonian cycle on a set of n points might have, and give examples achieving this bound. Next, we construct a point set whose longest perfect matching contains no crossings. We also consider edges consisting of a horizontal and a vertical line segment joining pairs of points of S , which we call elbows , and prove that in any point set S there exists a family of vertex-disjoint mutually-crossing elbows. Additionally, we show a point set that admits no more than n /3 mutually-crossing elbows. Finally we study intersecting families of graphs, which are not necessarily vertex disjoint. A set of edge-disjoint graphs with vertices in S is called an intersecting family if for any two graphs in the set we can choose an edge in each of them such that they cross. We prove a conjecture by Lara and Rubio-Montiel (Acta Math Hung 15(2):301–311, 2019, https://doi.org/10.1007/s10474-018-0880-1), namely, that any set S of n points in general position admits a family of intersecting triangles with a quadratic number of elements. For points in convex position we prove that any set of 3 n points in convex position contains a family with at least intersecting triangles.

mathematics
A lower bound for Heilbronn's triangle-problem

Gabor Ellmann

2024-04-03

Abstract:Let n points be placed on a closed convex domain on the plane, no three points on a straight line. A conjecture by H. A. Heilbronn (before 1950) stated that on the convex domain of unit area the smallest triangle defined by these points has an area not larger than O(n^-2). Here is shown a construction of a set of n points on a unit circle where any of the triangles have an area not less than O(n^-1.5 * (log n)^-5/2).

Metric Geometry,Number Theory
Intersecting families of sets are typically trivial

József Balogh,Ramon I. Garcia,Lina Li,Adam Zsolt Wagner

DOI: https://doi.org/10.1016/j.jctb.2023.09.002

2024-01-01

Abstract:A family of subsets of [ n ] is intersecting if every pair of its sets intersects. Determining the structure of large intersecting families is a central problem in extremal combinatorics. Frankl–Kupavskii and Balogh–Das–Liu–Sharifzadeh–Tran showed that for n ≥ 2 k + c k ln ⁡ k , almost all k-uniform intersecting families are stars. Improving their result, we show that the same conclusion holds for n ≥ 2 k + 100 ln ⁡ k . Our proof uses, among others, the graph container method and the Das–Tran removal lemma.

mathematics
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
Eight-Partitioning Points in 3D, and Efficiently Too

Boris Aronov,Abdul Basit,Indu Ramesh,Gianluca Tasinato,Uli Wagner

2024-07-19

Abstract:An eight-partition of a finite set of points (respectively, of a continuous mass distribution) in $\mathbb{R}^3$ consists of three planes that divide the space into $8$ octants, such that each open octant contains at most $1/8$ of the points (respectively, of the mass). In 1966, Hadwiger showed that any mass distribution in $\mathbb{R}^3$ admits an eight-partition; moreover, one can prescribe the normal direction of one of the three planes. The analogous result for finite point sets follows by a standard limit argument. We prove the following variant of this result: Any mass distribution (or point set) in $\mathbb{R}^3$ admits an eight-partition for which the intersection of two of the planes is a line with a prescribed direction. Moreover, we present an efficient algorithm for calculating an eight-partition of a set of $n$ points in $\mathbb{R}^3$ (with prescribed normal direction of one of the planes) in time $O^{*}(n^{5/2})$.

Computational Geometry,Combinatorics
Maximum number of points on an intersection of a cubic threefold and a non-degenerate Hermitian threefold

Mrinmoy Datta,Subrata Manna

2024-06-11

Abstract:It was conjectured by Edoukou in 2008 that a non-degenerate Hermitian threefold in $\mathbb{P}^4 (\mathbb{F}_{q^2})$ has at most $d(q^5+q^2) + q^3 + 1$ points in common with a threefold of degree $d$ defined over $\mathbb{F}_{q^2}$. He proved the conjecture for $d=2$. In this paper, we show that the conjecture is true for $d = 3$ and $q \ge 7$.

Algebraic Geometry
A Geometric Method for Determining Intersection Relations Between a Movable Convex Object and a Set of Planar Polygons.

K Tang,YJ Liu

DOI: https://doi.org/10.1109/tro.2004.829479

IF: 7.8

2004-01-01

IEEE Transactions on Robotics

Abstract:In this paper, we investigate how to topologically and geometrically characterize the intersection relations between a movable convex polygon A and a set /spl Xi/ of possibly overlapping polygons fixed in the plane. More specifically, a subset /spl Phi//spl sube//spl Xi/ is called an intersection relation if there exists a placement of A that intersects, and only intersects, /spl Phi/. The objective of this paper is to design an efficient algorithm that finds a finite and discrete representation of all of the intersection relations between A and /spl Xi/. Past related research only focuses on the complexity of the free space of the configuration space between A and /spl Xi/ and how to move or place an object in this free space. However, there are many applications that require the knowledge of not only the free space, but also the intersection relations. Examples are presented to demonstrate the rich applications of the formulated problem on intersection relations.
Almost Congruent Triangles

József Balogh,Felix Christian Clemen,Adrian Dumitrescu

DOI: https://doi.org/10.1007/s00454-023-00623-9

2024-01-13

Discrete & Computational Geometry

Abstract:Almost 50 years ago Erdős and Purdy asked the following question: Given n points in the plane, how many triangles can be approximate congruent to equilateral triangles? They pointed out that by dividing the points evenly into three small clusters built around the three vertices of a fixed equilateral triangle, one gets at least such approximate copies. In this paper we provide a matching upper bound and thereby answer their question. More generally, for every triangle T we determine the maximum number of approximate congruent triangles to T in a point set of size n . Parts of our proof are based on hypergraph Turán theory: for each point set in the plane and a triangle T , we construct a 3-uniform hypergraph , which contains no hypergraph as a subgraph from a family of forbidden hypergraphs . Our upper bound on the number of edges of will determine the maximum number of triangles that are approximate congruent to T .

mathematics,computer science, theory & methods
Half-space intersection properties for minimal hypersurfaces

Keaton Naff,Jonathan J. Zhu

2024-07-20

Abstract:We prove ``half-space" intersection properties in three settings: the hemisphere, half-geodesic balls in space forms, and certain subsets of Gaussian space. For instance, any two embedded minimal hypersurfaces in the sphere must intersect in every closed hemisphere. Two approaches are developed: one using classifications of stable minimal hypersurfaces, and the second using conformal change and comparison geometry for $\alpha$-Bakry-Émery-Ricci curvature. Our methods yield the analogous intersection properties for free boundary minimal hypersurfaces in space form balls, even when the interior or boundary curvature may be negative. Finally, Colding and Minicozzi recently showed that any two embedded shrinkers of dimension $n$ must intersect in a large enough Euclidean ball of radius $R(n)$. We show that $R(n) \leq 2 \sqrt{n}$.

Differential Geometry
Formal Verification of the Empty Hexagon Number

Bernardo Subercaseaux,Wojciech Nawrocki,James Gallicchio,Cayden Codel,Mario Carneiro,Marijn J. H. Heule

2024-03-26

Abstract:A recent breakthrough in computer-assisted mathematics showed that every set of $30$ points in the plane in general position (i.e., without three on a common line) contains an empty convex hexagon, thus closing a line of research dating back to the 1930s. Through a combination of geometric insights and automated reasoning techniques, Heule and Scheucher constructed a CNF formula $\phi_n$, with $O(n^4)$ clauses, whose unsatisfiability implies that no set of $n$ points in general position can avoid an empty convex hexagon. An unsatisfiability proof for n = 30 was then found with a SAT solver using 17300 CPU hours of parallel computation, thus implying that the empty hexagon number h(6) is equal to 30. In this paper, we formalize and verify this result in the Lean theorem prover. Our formalization covers discrete computational geometry ideas and SAT encoding techniques that have been successfully applied to similar Erdős-Szekeres-type problems. In particular, our framework provides tools to connect standard mathematical objects to propositional assignments, which represents a key step towards the formal verification of other SAT-based mathematical results. Overall, we hope that this work sets a new standard for verification when extensive computation is used for discrete geometry problems, and that it increases the trust the mathematical community has in computer-assisted proofs in this area.

Computational Geometry,Logic in Computer Science
Intersecting ellipses induced by a max-sum matching

Polina Barabanshchikova,Alexandr Polyanskii

DOI: https://doi.org/10.1007/s10898-023-01312-w

2023-11-22

Abstract:For an even set of points in the plane, choose a max-sum matching, that is, a perfect matching maximizing the sum of Euclidean distances of its edges. For each edge of the max-sum matching, consider the ellipse with foci at the edge's endpoints and eccentricity $\sqrt 3 / 2$. Using an optimization approach, we prove that the convex sets bounded by these ellipses intersect, answering a Tverberg-type question of Andy Fingerhut from 1995.

Computational Geometry,Combinatorics,Metric Geometry

Intersecting hexagons in 3-space

On Intersecting Polygons

A 3-Space Partition and Its Applications

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

On Lines, Joints, and Incidences in Three Dimensions

Avoiding intersections of given size in finite affine spaces AG(n,2)

Avoiding intersections of given size in finite affine spaces AG( n ,2)

On cliques in three-dimensional dense point-line arrangements

Intersection Searching amid Tetrahedra in Four Dimensions

Crossing and intersecting families of geometric graphs on point sets

A lower bound for Heilbronn's triangle-problem

Intersecting families of sets are typically trivial

On the structure of pointsets with many collinear triples

Eight-Partitioning Points in 3D, and Efficiently Too

Maximum number of points on an intersection of a cubic threefold and a non-degenerate Hermitian threefold

A Geometric Method for Determining Intersection Relations Between a Movable Convex Object and a Set of Planar Polygons.

Almost Congruent Triangles

Half-space intersection properties for minimal hypersurfaces

Formal Verification of the Empty Hexagon Number

Intersecting ellipses induced by a max-sum matching