Big-line-big-clique conjecture

Last updated

The blue points have big lines of up to ten points, but no big clique (the largest mutually-visible subsets of any convex grid subset have only four points). The yellow points form a big clique of ten points, but have no big line (the largest collinear subset of points in convex position has only two points). According to the big-line-big-clique conjecture, no point set can avoid both big lines and big cliques. Convex grid subset.svg
The blue points have big lines of up to ten points, but no big clique (the largest mutually-visible subsets of any convex grid subset have only four points). The yellow points form a big clique of ten points, but have no big line (the largest collinear subset of points in convex position has only two points). According to the big-line-big-clique conjecture, no point set can avoid both big lines and big cliques.

The big-line-big-clique conjecture is an unsolved problem in discrete geometry, stating that finite sets of many points in the Euclidean plane either have many collinear points, or they have many points that are all mutually visible to each other (no third point blocks any two of them from seeing each other).

Contents

Statement and history

More precisely, the big-line big-clique conjecture states that, for any positive integers and there should exist another number , such that every set of points contains collinear points (a "big line"), mutually-visible points (a "big clique"), or both. [1] [2]

The big-line-big-clique conjecture was posed by Jan Kára, Attila Pór, and David R. Wood in a 2005 publication. [1] [2] It has led to much additional research on point-to-point visibility in point sets. [3]

Partial results

Finite point sets in general position (no three collinear) do always contain a big clique, so the conjecture is true for . Additionally, finite point sets that have no five mutually-visible points (such as the intersections of the integer lattice with convex sets) do always contain many collinear points, so the conjecture is true for . [4]

Generalizing the integer lattice example, projecting a -dimensional system of lattice points of size onto the plane, using a generic linear projection, produces a set of points with no collinear points and no mutually visible points. Therefore, when exists, it must be greater than . [2]

The visibilities among any system of points can be analyzed by using the visibility graph of the points, a graph that has the points as vertices and that connects two points by an edge whenever the line segment connecting them is disjoint from the other points. The "big cliques" of the big-line-big-clique conjecture are cliques in the visibility graph. However, although a system of points that is entirely collinear can be characterized by having a bipartite visibility graph, this characterization does not extend to subsets of points: a subset can have a bipartite induced subgraph of the visibility graph without being collinear. [2]

According to the solution of the happy ending problem, every subset of points with no three in line includes a large subset forming the vertices of a convex polygon. More generally, it can be proven using the same methods that every set of sufficiently many points either includes collinear points or points in convex position. However, some of these pairs of convex points could be blocked from visibility by points within the convex polygon they form. [2]

Another related question asks whether points in general position (or with no lines of more than some given number of points) contain the vertices of an empty convex polygon or hole. This is a polygon whose vertices belong to the point set, but that has no other points in the intersection of the point set with its convex hull. If a hole of a given size exists, its vertices all necessarily see each other. All sufficiently large sets of points in general position contain five vertices forming an empty pentagon [4] or hexagon, [5] [6] but there exist arbitrarily large sets in general position with no empty heptagons. [7]

A strengthening of the big line big clique conjecture asks for the big clique to be a "visible island", a set of points that are mutually visible and that are formed from the given larger point set by intersecting it with a convex set. However, this strengthened version is false: if a point set in general position has no empty heptagon, then replacing each of its points by a closely-spaced triple of collinear points produces a point set with no four in a line and with no visible islands of 13 or more points. [8]

There is no possibility of an infinitary version of the same conjecture: Pór and Wood found examples of countable sets of points with no four points on a line and with no triangle of mutually visible points. [9]

Related Research Articles

<span class="mw-page-title-main">Turán graph</span> Balanced complete multipartite graph

The Turán graph, denoted by , is a complete multipartite graph; it is formed by partitioning a set of vertices into subsets, with sizes as equal as possible, and then connecting two vertices by an edge if and only if they belong to different subsets. Where and are the quotient and remainder of dividing by , the graph is of the form , and the number of edges is

<span class="mw-page-title-main">Arrangement of lines</span> Subdivision of the plane by lines

In geometry, an arrangement of lines is the subdivision of the plane formed by a collection of lines. Problems of counting the features of arrangements have been studied in discrete geometry, and computational geometers have found algorithms for the efficient construction of arrangements.

<span class="mw-page-title-main">Sylvester–Gallai theorem</span> Existence of a line through two points

The Sylvester–Gallai theorem in geometry states that every finite set of points in the Euclidean plane has a line that passes through exactly two of the points or a line that passes through all of them. It is named after James Joseph Sylvester, who posed it as a problem in 1893, and Tibor Gallai, who published one of the first proofs of this theorem in 1944.

<span class="mw-page-title-main">Simple polygon</span> Shape bounded by non-intersecting line segments

In geometry, a simple polygon is a polygon that does not intersect itself and has no holes. That is, they are piecewise-linear Jordan curves consisting of finitely many line segments. They include as special cases the convex polygons, star-shaped polygons, and monotone polygons.

<span class="mw-page-title-main">Net (polyhedron)</span> Edge-joined polygons which fold into a polyhedron

In geometry, a net of a polyhedron is an arrangement of non-overlapping edge-joined polygons in the plane which can be folded to become the faces of the polyhedron. Polyhedral nets are a useful aid to the study of polyhedra and solid geometry in general, as they allow for physical models of polyhedra to be constructed from material such as thin cardboard.

The art gallery problem or museum problem is a well-studied visibility problem in computational geometry. It originates from the following real-world problem:

<span class="mw-page-title-main">Incidence geometry</span>

In mathematics, incidence geometry is the study of incidence structures. A geometric structure such as the Euclidean plane is a complicated object that involves concepts such as length, angles, continuity, betweenness, and incidence. An incidence structure is what is obtained when all other concepts are removed and all that remains is the data about which points lie on which lines. Even with this severe limitation, theorems can be proved and interesting facts emerge concerning this structure. Such fundamental results remain valid when additional concepts are added to form a richer geometry. It sometimes happens that authors blur the distinction between a study and the objects of that study, so it is not surprising to find that some authors refer to incidence structures as incidence geometries.

<span class="mw-page-title-main">Convex polytope</span> Convex hull of a finite set of points in a Euclidean space

A convex polytope is a special case of a polytope, having the additional property that it is also a convex set contained in the -dimensional Euclidean space . Most texts use the term "polytope" for a bounded convex polytope, and the word "polyhedron" for the more general, possibly unbounded object. Others allow polytopes to be unbounded. The terms "bounded/unbounded convex polytope" will be used below whenever the boundedness is critical to the discussed issue. Yet other texts identify a convex polytope with its boundary.

<span class="mw-page-title-main">No-three-in-line problem</span> Geometry problem on grid points

The no-three-in-line problem in discrete geometry asks how many points can be placed in the grid so that no three points lie on the same line. The problem concerns lines of all slopes, not only those aligned with the grid. It was introduced by Henry Dudeney in 1900. Brass, Moser, and Pach call it "one of the oldest and most extensively studied geometric questions concerning lattice points".

<span class="mw-page-title-main">Happy ending problem</span>

In mathematics, the "happy ending problem" is the following statement:

<span class="mw-page-title-main">Krein–Milman theorem</span> On when a space equals the closed convex hull of its extreme points

In the mathematical theory of functional analysis, the Krein–Milman theorem is a proposition about compact convex sets in locally convex topological vector spaces (TVSs).

<span class="mw-page-title-main">Pseudotriangle</span>

In Euclidean plane geometry, a pseudotriangle (pseudo-triangle) is the simply connected subset of the plane that lies between any three mutually tangent convex sets. A pseudotriangulation (pseudo-triangulations) is a partition of a region of the plane into pseudotriangles, and a pointed pseudotriangulation is a pseudotriangulation in which at each vertex the incident edges span an angle of less than π.

Planarity is a puzzle computer game by John Tantalo, based on a concept by Mary Radcliffe at Western Michigan University. The name comes from the concept of planar graphs in graph theory; these are graphs that can be embedded in the Euclidean plane so that no edges intersect. By Fáry's theorem, if a graph is planar, it can be drawn without crossings so that all of its edges are straight line segments. In the planarity game, the player is presented with a circular layout of a planar graph, with all the vertices placed on a single circle and with many crossings. The goal for the player is to eliminate all of the crossings and construct a straight-line embedding of the graph by moving the vertices one by one into better positions.

<span class="mw-page-title-main">Topological graph</span>

In mathematics, a topological graph is a representation of a graph in the plane, where the vertices of the graph are represented by distinct points and the edges by Jordan arcs joining the corresponding pairs of points. The points representing the vertices of a graph and the arcs representing its edges are called the vertices and the edges of the topological graph. It is usually assumed that any two edges of a topological graph cross a finite number of times, no edge passes through a vertex different from its endpoints, and no two edges touch each other. A topological graph is also called a drawing of a graph.

In graph drawing, a universal point set of order n is a set S of points in the Euclidean plane with the property that every n-vertex planar graph has a straight-line drawing in which the vertices are all placed at points of S.

In geometry, a Hanner polytope is a convex polytope constructed recursively by Cartesian product and polar dual operations. Hanner polytopes are named after Olof Hanner, who introduced them in 1956.

In geometry, Kalai's 3d conjecture is a conjecture on the polyhedral combinatorics of centrally symmetric polytopes, made by Gil Kalai in 1989. It states that every d-dimensional centrally symmetric polytope has at least 3d nonempty faces.

In geometry, a covering of a polygon is a set of primitive units whose union equals the polygon. A polygon covering problem is a problem of finding a covering with a smallest number of units for a given polygon. This is an important class of problems in computational geometry. There are many different polygon covering problems, depending on the type of polygon being covered. An example polygon covering problem is: given a rectilinear polygon, find a smallest set of squares whose union equals the polygon.

In graph theory, a -bounded family of graphs is one for which there is some function such that, for every integer the graphs in with can be colored with at most colors. This concept and its notation were formulated by András Gyárfás. The use of the Greek letter chi in the term -bounded is based on the fact that the chromatic number of a graph is commonly denoted .

<span class="mw-page-title-main">Polygonalization</span> Polygon through a set of points

In computational geometry, a polygonalization of a finite set of points in the Euclidean plane is a simple polygon with the given points as its vertices. A polygonalization may also be called a polygonization, simple polygonalization, Hamiltonian polygon, non-crossing Hamiltonian cycle, or crossing-free straight-edge spanning cycle.

References

  1. 1 2 Ghosh, Subir Kumar; Goswami, Partha P. (2013), "Unsolved problems in visibility graphs of points, segments, and polygons", ACM Computing Surveys, 46 (2): 22:1–22:29, arXiv: 1012.5187 , doi:10.1145/2543581.2543589, S2CID   8747335
  2. 1 2 3 4 5 Kára, Jan; Pór, Attila; Wood, David R. (2005), "On the chromatic number of the visibility graph of a set of points in the plane" (PDF), Discrete & Computational Geometry , 34 (3): 497–506, doi:10.1007/s00454-005-1177-z, MR   2160051, S2CID   7767717
  3. Aloupis, Greg; Ballinger, Brad; Collette, Sébastien; Langerman, Stefan; Pór, Attila; Wood, David R. (2013), "Blocking colored point sets", in Pach, János (ed.), Thirty essays on geometric graph theory, New York: Springer, pp. 31–48, arXiv: 1002.0190 , doi:10.1007/978-1-4614-0110-0_4, MR   3205148, S2CID   2977893
  4. 1 2 Abel, Zachary; Ballinger, Brad; Bose, Prosenjit; Collette, Sébastien; Dujmović, Vida; Hurtado, Ferran; Kominers, Scott Duke; Langerman, Stefan; Pór, Attila; Wood, David R. (2011), "Every large point set contains many collinear points or an empty pentagon", Graphs and Combinatorics , 27 (1): 47–60, arXiv: 0904.0262 , doi:10.1007/s00373-010-0957-2, MR   2746833, S2CID   6780708
  5. Nicolás, Carlos M. (2007), "The empty hexagon theorem", Discrete & Computational Geometry , 38 (2): 389–397, doi: 10.1007/s00454-007-1343-6
  6. Gerken, Tobias (2008), "Empty convex hexagons in planar point sets", Discrete & Computational Geometry , 39 (1–3): 239–272, doi: 10.1007/s00454-007-9018-x
  7. Horton, J. D. (1983), "Sets with no empty convex 7-gons", Canadian Mathematical Bulletin , 26 (4): 482–484, doi: 10.4153/CMB-1983-077-8 , MR   0716589, S2CID   120267029
  8. Leuchtner, Sophie; Nicolás, Carlos M.; Suk, Andrew (2022), "A note on visible islands", Studia Scientiarum Mathematicarum Hungarica, 59 (2): 160–163, arXiv: 2109.00022 , doi:10.1556/012.2022.01524, MR   4484538, S2CID   246017003
  9. Pór, Attila; Wood, David R. (August 2010), The big-line-big-clique conjecture is false for infinite point sets, arXiv: 1008.2988