Abstract
We call a set of n points in the Euclidean plane “wide” if at most \(\sqrt{n}\) of its points are collinear. We show that in such sets, the maximum possible number of trapezoids is \(\;\Omega (n^{3}\log n)\) and \(O(n^{3}\log ^2 n)\) while for deltoids we have \(\;\Omega (n^{5/2})\) and \(O(n^{8/3}\log n)\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Given a class \(\mathcal C\) of geometric objects in \({\mathbb R}^2\), it is natural to ask the question: for a carefully selected set \(\mathcal P\) of n points, at most how many of the subsets of \(\mathcal P\) can be in \(\mathcal C\)?
The first such question was posed by Erdős [2] on the number of unit distances (i.e., if \(\mathcal C\) is the class of all unit segments in \({\mathbb R}^2\)) and it is still one of the most challenging problems in Combinatorial Geometry (if not “the” most challenging one).
The systematic study of triangles was initiated by Pach and Sharir [5] and it resulted in several nice results and new problems, see [1] or [3]. It is also natural to consider polygons with more than three vertices.
The goal of this paper is to study classes \(\mathcal C\) of quadrilaterals. Many of these types are easy to settle (or reduce to similar questions on triangles): squares, rectangles, rhombi, parallelograms and symmetric trapezoids. (A trapezoid is a quadrilateral with at least one pair of parallel sides.) However, two further classes produce interesting phenomena. For general, i.e., not necessarily symmetric trapezoids and also for deltoids (quadrilaterals whose four sides can be grouped into two pairs of adjacent equal-length sides), it makes a significant difference whether we allow arbitrary point sets or just wide (or “grid–like”) ones in the sense that we do not allow for more than \(\sqrt{n}\) collinear points. Our main results for this case (Theorems 1 and 2) can be summed up as follows.
Theorem
Consider all sets of n points in \({\mathbb R}^2\) such that at most \(\sqrt{n}\) of them are collinear. Then
-
(a)
the maximal number of trapezoids is \(\;\Omega (n^{3}\log n)\) and \(O(n^{3}\log ^2 n)\);
-
(b)
the maximal number of deltoids is \(\;\Omega (n^{5/2})\) and \(O(n^{8/3}\log n)\).
Here and in what follows, for functions \(f,g>0\) we write \(f(n)=O(g(n))\) if \(f(n)\le Bg(n)\) for a constant \(B>0\) and all n; and \(f(n)=\Omega (g(n))\) if \(g(n)=O(f(n))\), i.e., if \(f(n)\ge \beta g(n)\) for a constant \(\beta >0\) and all n.
Actually we shall also prove some more general results, e.g. we consider arbitrary bounds \(\lambda (n)\le n\) in place of \(\sqrt{n}\) above (see Theorems 1 and 2).
1.1 Known Results for Triangles and Quadrilaterals
1.1.1 Triangles
Proposition
Among n points in the Euclidean plane, we have the following bounds on the maximum possible number of various triangles.
-
(a)
equilateral: \(\Theta (n^2)\), e.g., in regular \(\Delta \)–lattice.
-
(b)
right triangles (no shape prescribed): \(\Theta (n^2\log n)\) [5].
-
(c)
isosceles triangles (no shape prescribed): \(\Omega (n^2\sqrt{\log n})\) and \(O(n^{2.136})\) [3].
Remarks on the Proposition.
-
(a)
In (a), the upper bound is obvious since two points cannot determine more than two equilateral triangles.
-
(b)
Pach–Sharir show an order of magnitude of \(\Theta (n^2\log n)\) for a dense set of angles in place of \(90^\circ \).
-
(c)
A bound of \(O(n^2\lambda (n))\) would imply a lower bound of \(\Omega (n/\lambda (n))\) for the number of distinct distances (for arbitrary \(\lambda (n)\)). That is why the former order of magnitude must be superquadratic, see [2] for an example with only \(O(n/\sqrt{\log n})\) distinct distances.
1.1.2 Simple Quadrilaterals
Number of points | Quadrilateral | Bound(s) | Example or source |
---|---|---|---|
that determine it | |||
2 | Square | \(\Theta (n^2)\) | \(\Box \) lattice |
“2.5” | Rectangle | \(\Omega (n^2)\) | \(\Box \) Lattice |
\(O(n^2\log n)\) | Proposition 1.(b) | ||
“2.5” | Rhomb | \(\Omega (n^2)\) | \(\Box \) Lattice |
\(O(n^{2.136})\) | Proposition 1.(c) | ||
3 | Parallelogram | \(\Theta (n^3)\) | \(\Box \) Lattice |
3 | Symm. trapezoid | \(\Theta (n^3)\) | Regular n–gon |
1.1.3 Trapezoids and Deltoids
Object | General bound | Example: points on | \(\le O(\sqrt{n})\) Pts collinear. | Example or source |
---|---|---|---|---|
few parallel lines | ||||
Trapezoid | \(\Theta (n^4)\) | \(n/2+n/2\) pts | \(O(n^3\log ^2 n)\) \(\Omega (n^3\log n)\) | Theorem 1 |
on two parallel lines | Lemma 1.1 | |||
Deltoid | \(\Theta (n^3)\) | \(n/3+n/3+n/3\) pts | \(O(n^{8/3}\log n)\Omega (n^{5/2})\) | Theorem 2\(\Box \) lattice |
on three parallel lines |
Remark: It is not difficult to see that a \(\sqrt{n}\times \sqrt{n}\) square lattice contains \(cn^3\log n\) trapezoids (see the forthcoming Lemma 1.1). Moreover, if we exclude lines with at least three points (i.e., we require that the point set be in general position) then a bound of \(Cn^3\) is easy to demonstrate. This can even be attained, e.g., for the vertices of a regular n–gon. Moreover, for deltoids and in case of three parallel lines, \(n/6+2n/3+n/6\) points are better than the uniform distribution.
Our Theorems do not hold in finite affine planes: it is easy to see that the number of trapezoids is asymptotically as large as \(n^{3.5}\) in such a plane of n points, with \(\sqrt{n}\) points/lines; while the number of deltoids (if defined appropriately) is \(\sim n^3\). That is why we need some tool specific to the Euclidean plane. It is the following.
Theorem 0
(Szemerédi–Trotter) For any n points of the Euclidean plane and for any \(2\le k \le {n}\), the number of straight lines with \(\ge k\) points cannot exceed
where \(C_0\) is an absolute constant (shown to be between 0.4 and 2.6 in [4]).
2 Trapezoids
Let \(\lambda (n)\le n\) be given, and assume that in a set of n points in the Euclidean plane, at most \(\lambda (n)\) are collinear. Denote by T(n) the maximum possible number of trapezoids (we prescribe no specific shape for them) in such sets.
Theorem 1
The first lower bound is trivial: as mentioned before, a regular n–gon contains this many (even symmetric) trapezoids.
The second lower bound for \(\sqrt{n}\le \lambda (n)\le \sqrt{n}\log n \) is stated as the following lemma.
Lemma 1.1
A \(\sqrt{n}\times \sqrt{n}\) square lattice contains \(\Omega (n^3\log n)\) trapezoids.
Proof
Given a \(\sqrt{n}\times \sqrt{n}\) square lattice, we shall only estimate the number of those trapezoids whose parallel edges have positive slope i / j less than 1. (The total would be more than four times this quantity.) We shall call this fraction i / j the slope of the trapezoid. (If it is a parallelogram, we just pick one pair of parallel edges; at the end this will cost at most a factor of 1/2.) Moreover, in order to have several such trapezoids for j fixed, we only consider \(j\le \sqrt{n}/2\). Finally, to avoid multiple counting, we assume that i and j are coprime. In other words, for each pair (i, j) with \(1\le i < j \le \sqrt{n}/2\) and \(\gcd (i,j)=1\), we estimate the number of trapezoids of slope i / j.
In what follows, we shall use that \(\lfloor x \rfloor \ge x/2\) if \(x\ge 2\) (here \(\lfloor x \rfloor \) is the lower integer part of x). E.g., for i, j fixed as above, there are at least
Of these, the number of possibilities to pick 2+2 vertices of a trapezoid of slope i / j is at least
The number of \(i<j\) coprime to j is given by Euler’s function \(\phi (j)\). Summing for all j in question, we get the required lower bound:
\(\square \)
The third lower bound (hidden in the \(\Theta \) notation) is, again, not difficult, not even for arbitrary \(\lambda (n)\le n\): draw \(n/\lambda (n)\) equally spaced horizontal straight lines and place \(\lambda (n)\) points on each, with all n horizontal coordinates independent over the rationals. This, on the one hand, guarantees that only horizontal triples can be collinear. On the other hand, the number of possibilities for first picking two of the lines and then two points on each is
as required. \(\square \)
The upper bounds in Theorem 1 will be proven by showing an essentially equivalent incidence result. To have simple notations, we first apply a projection that maps the line at infinity to a finite line \(\mathbf{e}\) while all n given points remain finite. In what follows we only work with these (projected, finite) points.
Let \(\mathcal P\) denote the set of these n points (note that \(\mathbf{e}\cap \mathcal P=\emptyset \)) and let \(\{\ell _1,\ell _2,\ldots \}\) be the at most \(n(n-1)/2\) distinct straight lines that connect them (their actual number will be irrelevant). For each \(\ell _i\) put
Moreover, for each \(D\in \mathbf{e}\) we define
as an obvious upper bound on the number of trapezoids whose parallel edges (before they were projected) had had common direction that, after the projection, corresponds to \(D\in \mathbf{e}\). Actually, with \({k_i\atopwithdelims ()2}{k_j\atopwithdelims ()2}\) in place of \(k_i^2 k_j^2\) we would get the exact count—but our bound w will be easier to use.
The upper bounds in Theorem 1 obviously follow from (actually they are equivalent to) the following.
Lemma 1.2
If, in a set \(\mathcal P\) of n points, at most \(\lambda (n)\) are collinear and \(\mathbf{e}\cap \mathcal P=\emptyset \) then, using the foregoing notations,
Proof
For each \(D\in \mathbf{e}\) and \(2\le K \le n\;\) put
Using this notation we have
For a fixed pair \(2\le K{}^\prime ,K{}^{\prime \prime }\le n\), the contribution of the pairs \((\ell _i,\ell _j)\) of lines with \(K{}^\prime \le k_i<2K{}^\prime \), \(K{}^{\prime \prime }\le k_j<2K{}^{\prime \prime }\) is
where
By Cauchy–Schwartz, we have the upper bound
Lemma 1.3
The total contribution of the pairs \((\ell _i,\ell _j)\) of lines with \(k_i,k_j\le \sqrt{n}\) is \(O(n^3\log ^2n)\).
Proof
We use inequality (1). On the one hand, for lines through D with at least K points each, \(N_D(K)\le n/K\) is obvious. On the other hand, for \(K\le \sqrt{n}\), by the Szemerédi–Trotter Theorem 0(i) (and since each line only intersects \(\mathbf{e}\) in one point), we have
Thus our bound (1) becomes
Summing for the \(\log ^2(\sqrt{n})\le \log ^2n\) pairs \(K{}^\prime ,K{}^{\prime \prime }=1,2,4,\ldots ,2^i,\ldots \le \sqrt{n}\), we get the required inequality. \(\square \)
Lemma 1.4
If \(\lambda (n)\ge \sqrt{n}\log n\) then the total contribution of the pairs \((\ell _i,\ell _j)\) of lines with \(\sqrt{n}\le \max \{k_i,k_j\}\le \lambda (n)\) is \(O\bigl (n^2\lambda ^2(n)\bigr )\).
Proof
We use inequality (1) again. \(N_D(K)\le n/K\) is still obvious. Now we must distinguish two cases.
-
(a)
If \(\sqrt{n}\le K{}^\prime , K{}^{\prime \prime }\le \lambda (n)\) then we use (ii) of the Szemerédi–Trotter Theorem 0:
$$\begin{aligned} \sum _{D\in \mathbf{e}} N_D(K) \le C_0\cdot \frac{n}{K}. \end{aligned}$$Thus our bound (1) becomes
$$\begin{aligned} \le 16 (K{}^\prime )^2(K{}^{\prime \prime })^2 \sqrt{\frac{n}{K{}^\prime }\cdot C_0\cdot \frac{n}{K{}^\prime }}\cdot \sqrt{\frac{n}{K{}^{\prime \prime }}\cdot C_0\cdot \frac{n}{K{}^{\prime \prime }}} = 16C_0\cdot n^2K{}^\prime K{}^{\prime \prime }. \end{aligned}$$Summing first for \(K{}^\prime =1,2,4,\ldots , 2^i,\ldots \le \lambda (n)\), and then for the same values of \(K{}^{\prime \prime }\), we get the required bound.
-
(b)
If, say, \(K{}^\prime \le \sqrt{n}\le K{}^{\prime \prime }\le \lambda (n)\) (the symmetric case is equivalent), we use both parts (i) and (ii) of the Szemerédi–Trotter Theorem 0 once:
$$\begin{aligned} \le 16 (K{}^\prime )^2(K{}^{\prime \prime })^2 \sqrt{\frac{n}{K{}^\prime }\cdot C_0\cdot \frac{n^2}{(K{}^\prime )^3}}\cdot \sqrt{\frac{n}{K{}^{\prime \prime }}\cdot C_0\cdot \frac{n}{K{}^{\prime \prime }}} = 16C_0\cdot n^{5/2}K{}^{\prime \prime }. \end{aligned}$$Summing first for \(K{}^{\prime \prime }=1,2,4,\ldots , 2^i,\ldots \le \lambda (n)\), and then for the \(\log n\) values \(K{}^\prime =1,2,4,\ldots , 2^i,\ldots \le \sqrt{n}\), we get the bound \(O(n^{5/2}\lambda (n)\log n)\)—smaller than required.\(\square \)
This also finishes the proof of Theorem 1.
3 Deltoids
Let \(2\le \lambda (n)\le n\) and assume that a set of n points in the plane contains \(\le \lambda (n)\) collinear points. Denote by D(n) the maximum possible number of deltoids (we prescribe no specific shape for them) in such sets.
Theorem 2
Proof
To show the general lower bound, assume without loss of generality that \(\lambda (n)\le n/3\) and draw \(m:=\lceil n/\lambda (n)\rceil \) lines through the origin such that the angle between any consecutive pair is \(\pi /m\). Place \(\lambda (n)\) (or \(\lambda (n)-1\)) points on one line such that the distances from the origin be algebraically independent transcendental numbers. Finally, rotate this point set repeatedly by \(2\pi /m\) to copy the points to every other line. On the one hand, only triples of points from one line can be collinear by transcendentality. On the other hand, each line can be the axis of at least
deltoids, yielding a total of
Remark
-
(a)
For \(n=3k\) and \(\lambda (n)=k\), the configuration placed on three concurrent lines at \(60^\circ \) apart yields \(3\cdot {k\atopwithdelims ()2}\cdot k\approx {3k^3}/{2}={n^3}/{18}\) deltoids, which is better (by a factor of 3/2) than the best distribution on three parallel lines.
-
(b)
For \(\lambda (n)=\sqrt{n}\), this construction gives the same order of magnitude \(n^{5/2}\) as a \(\sqrt{n}\times \sqrt{n}\) square lattice (where a similar way of counting works).
As for a general upper bound we show the following.
Lemma 2.1
For any \(\lambda (n)\le n\), we have \(D(n)=O\bigl (n^2\lambda ^2(n)\bigr )\).
Indeed, every pair of points can form the axis of at most \(\lambda ^2(n)\) deltoids. \(\square \)
We are left to show the upper bounds for the last two cases of the Theorem. To this end, as usual, for every line \(\ell \) that connects two points, we denote the number of points on \(\ell \) by \(k_\ell :=|\mathcal P\cap \ell |\) and by \(\sigma _\ell \) the number of pairs that are mapped to each other if we apply the reflection through \(\ell \). Then, in a maximal configuration, we have
For a fixed pair \((k,\sigma )\), the contribution to D(n) of those lines \(\ell \) with \(k\le k_\ell <2k\) and \(\sigma \le \sigma _\ell <2\sigma \), is bounded by
where \(L(k,\sigma )\) denotes the number of lines in question.
Lemma 2.2
The lines \(\ell \) with \(k_\ell \le \sqrt{n}\) cannot contribute to D(n) by more than \(O(n^{8/3}\log n)\).
Proof
We have two bounds for \(L(k,\sigma )\). On the one hand, it is \(\le n^2/\sigma \) since \(\sum _\ell \sigma _\ell \le n^2\) while, on the other hand, it is \(\le C_0n^2/k^3\) by Theorem 0(i). Hence, in (2),
with equality in the last inequality iff \(k=(C_0\sigma )^{1/3}\). Summing for \(\sigma =1,2,\ldots ,2^i,\)\(\ldots \le n\), we get
Summing for the \(\le \log n\) values \(k=1,2,4,\ldots ,2^i,\ldots \le \sqrt{n}\) we conclude that
\(\square \)
Remark
This order of magnitude could only be attained if we had “many”, more specifically, \(\Omega (n)\) straight lines \(\ell \) with \(\sigma _\ell \sim n\) and \(k_\ell \sim \root 3 \of {n}\) simultaneously. However, this is unlikely since so many \(\sigma _\ell \) being so large seems to force “many”, \(\sim n\) concurrent lines—which contradicts \(k_\ell \sim \root 3 \of {n}\).
Lemma 2.3
The lines \(\ell \) with \(\sqrt{n}\le k_\ell \le \lambda (n)\) can only contribute to D(n) by at most \(O\bigl (n^2\lambda (n)\bigr )\).
Proof
Again, we have two bounds for \(L(k,\sigma )\). On the one hand, it is still \(\le n^2/\sigma \) while, on the other hand, we use part (ii) of Theorem 0 to get \(L(k,\sigma )\le C_0n/k\). Hence, from (2),
as required. \(\square \)
This, finally, finishes the proof of Theorem 2, as well. \(\square \)
3.1 Concluding Remarks
Apart from powers of \(\log n\), the order of magnitude of T(n), i.e. the exponent of n in T(n) is quite well understood. This is not the case for deltoids where, for \(\lambda \le n^{2/3}\log n\), even the best possible exponent is unknown. (We believe that it must be closer to the lower bound, see the Remark after Lemma 2.2) (Fig. 1).
References
Brass, P.: William Moser and János Pach. Research Problems in Discrete geometry. Springer, New York (2005)
Erdős, P.: On sets of distances of \(n\) points. Am. Math. Mon. 53, 248–250 (1946)
Katz, N.H., Tardos, G.: A new entropy inequality for the Erdo’s distance problem. In: Pach, J. (ed.) Towards a Theory of Geometric Graphs. Contemporary Mathematics, vol. 342, pp. 119–126. American Mathematical Society, Providence, RI (2004)
Pach, J., Radoičić, R., Tardos, G., Tóth, G.: Improving the crossing lemma by finding more crossings in sparse graphs. Discrete Comput. Geom. 36(4), 527–552 (2006)
Pach, J., Sharir, M.: Repeated angles in the plane and related problems. J. Comb. Theory Ser. A 59, 12–22 (1990)
Acknowledgements
Open access funding provided by Eötvös Loránd University (ELTE). We are grateful to János Pach and Gábor Kun for useful conversations on the topic.
Author information
Authors and Affiliations
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Deceased: Gy. Elekes.
Rights and permissions
OpenAccess This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Elekes, G. Trapezoids and Deltoids in Wide Planar Point Sets. Graphs and Combinatorics 35, 569–578 (2019). https://doi.org/10.1007/s00373-019-02009-2
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00373-019-02009-2