Heilbronn triangle problem
In discrete geometry and discrepancy theory, the Heilbronn triangle problem is a problem of placing points within a region in the plane, in order to avoid triangles of small area. It is named after Hans Heilbronn, who conjectured prior to 1950 that this smallest triangle area is necessarily at most inversely proportional to the square of the number of points. Heilbronn's conjecture was proven false, but the asymptotic growth rate of the minimum triangle area remains unknown.
The problem may be defined in terms of any compact set D in the plane with nonzero area such as the unit square or the unit disk. If S is a set of n points of D, then every three points of S determine a triangle (possibly a degenerate one, with zero area). Let Δ(S) denote the minimum of the areas of these triangles, and let Δ(n) (for an integer n ≥ 3) denote the supremum of the values of Δ(S).
The question posed by Heilbronn was to give an expression, or matching asymptotic upper and lower bounds, for Δ(n). That is, the goal is to find a function f, described by a closed-form expression, and constants c1 and c2, such that for all n,
In terms of big O notation, the left inequality may be written as Δ(n) = Ω(f(n)), the right inequality may be written as Δ(n) = O(f(n)), and both of them together may be written as Δ(n) = Θ(f(n)). The shape and area of D may affect the exact values of Δ(n), but only by a constant factor, so they are unimportant for its asymptotic growth rate.
Heilbronn's conjecture and lower bound constructions
Heilbronn conjectured that
As Paul Erdős showed, no smaller bound is possible: when n is a prime number, the set of n points (i, i2 mod n) on an n × n integer grid have no three collinear points, and therefore by Pick's formula each of the triangles they form has area at least 1/2. When this set of grid points is scaled to a unit square, they form a set of points whose smallest triangle area is at least proportional to 1/n2, matching Heilbronn's conjectured upper bound. If n is not prime, then a similar construction using the next prime number larger than n achieves the same asymptotic lower bound.
Komlós, Pintz & Szemerédi (1982) eventually disproved Heilbronn's conjecture, by finding sets of points whose smallest triangle area grows asymptotically as
Trivially, either by triangulating the convex hull of the given point set S or by choosing consecutive triples of points in the sorted order of their x-coordinates, it is possible to show that every point set contains a small triangle, whose area is at most inversely proportional to n. Roth (1951) was the first to prove a nontrivial upper bound on Δ(n), of the form
The best bound known to date is of the form
Specific shapes and numbers
Goldberg (1972) has investigated the optimal arrangements of n points in a square, for n up to 16. Goldberg's constructions for up to six points lie on the boundary of the square, and are placed to form an affine transformation of the vertices of a regular polygon. For larger values of n, Comellas & Yebra (2002) improved Goldberg's bounds, and for these values the solutions include points interior to the square. These constructions have been proven optimal for up to seven points.
There have been many variations of this problem including the case of a uniformly random set of points, for which arguments based on either Kolmogorov complexity or Poisson approximation show that the expected value of the minimum area is inversely proportional to the cube of the number of points. Variations involving the volume of higher-dimensional simplices have also been studied.
- Danzer set, a set of points that avoids empty triangles of large area
- Roth, K. F. (1951), "On a problem of Heilbronn", Journal of the London Mathematical Society, 26 (3): 198–204, doi:10.1112/jlms/s1-26.3.198.
- Komlós, J.; Pintz, J.; Szemerédi, E. (1982), "A lower bound for Heilbronn's problem", Journal of the London Mathematical Society, 25 (1): 13–24, doi:10.1112/jlms/s2-25.1.13, MR 0645860.
- Komlós, J.; Pintz, J.; Szemerédi, E. (1981), "On Heilbronn's triangle problem", Journal of the London Mathematical Society, 24 (3): 385–396, doi:10.1112/jlms/s2-24.3.385, MR 0635870.
- Goldberg, Michael (1972), "Maximizing the smallest triangle made by n points in a square", Mathematics Magazine, 45 (3): 135–144, doi:10.2307/2687869, JSTOR 2687869, MR 0296816.
- Comellas, Francesc; Yebra, J. Luis A. (2002), "New lower bounds for Heilbronn numbers", Electronic Journal of Combinatorics, 9 (1): R6, doi:10.37236/1623, MR 1887087.
- Zeng, Zhenbing; Chen, Liangyu (2011), "On the Heilbronn optimal configuration of seven points in the square", Automated deduction in geometry, Lecture Notes in Comput. Sci., 6301, Heidelberg: Springer, pp. 196–224, doi:10.1007/978-3-642-21046-4_11, MR 2805061.
- Jiang, Tao; Li, Ming; Vitányi, Paul (2002), "The average-case area of Heilbronn-type triangles", Random Structures & Algorithms, 20 (2): 206–219, arXiv:math/9902043, doi:10.1002/rsa.10024, MR 1884433, S2CID 2079746.
- Grimmett, G.; Janson, S. (2003), "On smallest triangles", Random Structures & Algorithms, 23 (2): 206–223, doi:10.1002/rsa.10092, S2CID 12272636.
- Lefmann, Hanno (2008), "Distributions of points in d dimensions and large k-point simplices", Discrete and Computational Geometry, 40 (3): 401–413, doi:10.1007/s00454-007-9041-y, MR 2443292.