-
A Sylvester-Gallai theorem for cubic curves
Authors:
Alex Cohen,
Frank de Zeeuw
Abstract:
We prove a variant of the Sylvester-Gallai theorem for cubics (algebraic curves of degree three): If a finite set of sufficiently many points in $\mathbb{R}^2$ is not contained in a cubic, then there is a cubic that contains exactly nine of the points. This resolves the first unknown case of a conjecture of Wiseman and Wilson from 1988, who proved a variant of Sylvester-Gallai for conics and conje…
▽ More
We prove a variant of the Sylvester-Gallai theorem for cubics (algebraic curves of degree three): If a finite set of sufficiently many points in $\mathbb{R}^2$ is not contained in a cubic, then there is a cubic that contains exactly nine of the points. This resolves the first unknown case of a conjecture of Wiseman and Wilson from 1988, who proved a variant of Sylvester-Gallai for conics and conjectured that similar statements hold for curves of any degree.
△ Less
Submitted 2 January, 2022; v1 submitted 4 October, 2020;
originally announced October 2020.
-
Constructions for the Elekes-Szabó and Elekes-Rónyai problems
Authors:
Mehdi Makhul,
Oliver Roche-Newton,
Audie Warren,
Frank de Zeeuw
Abstract:
We give a construction of a non-degenerate polynomial $F\in \mathbb R[x,y,z]$ and a set $A$ of cardinality $n$ such that $\left|Z(F)\cap (A \times A \times A) \right| \gg n^{\frac{3}{2}}$, thus providing a new lower bound construction for the Elekes--Szabó problem. We also give a related construction for the Elekes--Rónyai problem restricted to a subgraph. This consists of a polynomial…
▽ More
We give a construction of a non-degenerate polynomial $F\in \mathbb R[x,y,z]$ and a set $A$ of cardinality $n$ such that $\left|Z(F)\cap (A \times A \times A) \right| \gg n^{\frac{3}{2}}$, thus providing a new lower bound construction for the Elekes--Szabó problem. We also give a related construction for the Elekes--Rónyai problem restricted to a subgraph. This consists of a polynomial $f\in \mathbb R[x,y]$ that is not additive or multiplicative, a set $A$ of size $n$, and a subset $P\subset A\times A$ of size $|P|\gg n^{3/2}$ on which $f$ takes only $n$ distinct values.
△ Less
Submitted 3 December, 2018;
originally announced December 2018.
-
Ordinary lines in space
Authors:
Frank de Zeeuw
Abstract:
We prove that if a finite point set in real space does not have too many points on a plane, then it spans a quadratic number of ordinary lines. This answers the real case of a question of Basit, Dvir, Saraf, and Wolf. It shows that there is a significant difference in terms of ordinary lines between planar point sets, which may span a linear number of ordinary lines, and truly three-dimensional po…
▽ More
We prove that if a finite point set in real space does not have too many points on a plane, then it spans a quadratic number of ordinary lines. This answers the real case of a question of Basit, Dvir, Saraf, and Wolf. It shows that there is a significant difference in terms of ordinary lines between planar point sets, which may span a linear number of ordinary lines, and truly three-dimensional point sets. Our proof uses a projection argument of Kelly combined with a theorem of Beck on the number of spanned lines of a planar point set.
△ Less
Submitted 26 March, 2018;
originally announced March 2018.
-
Spanned lines and Langer's inequality
Authors:
Frank de Zeeuw
Abstract:
We collect some results in combinatorial geometry that follow from an inequality of Langer in algebraic geometry. Langer's inequality gives a lower bound on the number of incidences between a point set and its spanned lines, and was recently used by Han to improve the constant in the weak Dirac conjecture. Here we observe that this inequality also leads to improved constants in Beck's theorem, whi…
▽ More
We collect some results in combinatorial geometry that follow from an inequality of Langer in algebraic geometry. Langer's inequality gives a lower bound on the number of incidences between a point set and its spanned lines, and was recently used by Han to improve the constant in the weak Dirac conjecture. Here we observe that this inequality also leads to improved constants in Beck's theorem, which states that a finite point set in the real or complex plane has many points on a line or spans many lines. Most of the proofs that we use are not original, and the goal of this note is mainly to carefully record the quantitative results in one place. We also include some discussion of possible further improvements to these statements.
△ Less
Submitted 22 February, 2018;
originally announced February 2018.
-
Three-variable expanding polynomials and higher-dimensional distinct distances
Authors:
Thang Pham,
Le Anh Vinh,
Frank de Zeeuw
Abstract:
We determine which quadratic polynomials in three variables are expanders over an arbitrary field $\mathbb{F}$. More precisely, we prove that for a quadratic polynomial $f\in \mathbb{F}[x,y,z]$, which is not of the form $g(h(x)+k(y)+l(z))$, we have $|f(A\times B\times C)|\gg N^{3/2}$ for any sets $A,B,C\subset \mathbb{F}$ with $|A|=|B|=|C|=N$, with $N$ not too large compared to the characteristic…
▽ More
We determine which quadratic polynomials in three variables are expanders over an arbitrary field $\mathbb{F}$. More precisely, we prove that for a quadratic polynomial $f\in \mathbb{F}[x,y,z]$, which is not of the form $g(h(x)+k(y)+l(z))$, we have $|f(A\times B\times C)|\gg N^{3/2}$ for any sets $A,B,C\subset \mathbb{F}$ with $|A|=|B|=|C|=N$, with $N$ not too large compared to the characteristic of $\mathbb{F}$. We give several applications. We use this result for $f=(x-y)^2+z$ to obtain new lower bounds on $|A+A^2|$ and $\max\{|A+A|,|A^2+A^2|\}$, and to prove that a Cartesian product $A\times\cdots \times A\subset \mathbb{F}^d$ determines almost $|A|^2$ distinct distances if $|A|$ is not too large.
△ Less
Submitted 24 February, 2017; v1 submitted 28 December, 2016;
originally announced December 2016.
-
A short proof of Rudnev's point-plane incidence bound
Authors:
Frank de Zeeuw
Abstract:
In this note we give a shortened proof of a theorem of Rudnev, which bounds the number of incidences between points and planes over an arbitrary field. Rudnev's proof uses a map that goes via the four-dimensional Klein quadric to a three-dimensional space, where it applies a bound of Guth and Katz on intersection points of lines. We describe a simple geometric map that directly sends point-plane i…
▽ More
In this note we give a shortened proof of a theorem of Rudnev, which bounds the number of incidences between points and planes over an arbitrary field. Rudnev's proof uses a map that goes via the four-dimensional Klein quadric to a three-dimensional space, where it applies a bound of Guth and Katz on intersection points of lines. We describe a simple geometric map that directly sends point-plane incidences to line-line intersections in space, allowing us to reprove Rudnev's theorem with fewer technicalities.
△ Less
Submitted 8 December, 2016;
originally announced December 2016.
-
An Improved Point-Line Incidence Bound Over Arbitrary Fields
Authors:
Sophie Stevens,
Frank de Zeeuw
Abstract:
We prove a new upper bound for the number of incidences between points and lines in a plane over an arbitrary field $\mathbb{F}$, a problem first considered by Bourgain, Katz and Tao. Specifically, we show that $m$ points and $n$ lines in $\mathbb{F}^2$, with $m^{7/8}<n<m^{8/7}$, determine at most $O(m^{11/15}n^{11/15})$ incidences (where, if $\mathbb{F}$ has positive characteristic $p$, we assume…
▽ More
We prove a new upper bound for the number of incidences between points and lines in a plane over an arbitrary field $\mathbb{F}$, a problem first considered by Bourgain, Katz and Tao. Specifically, we show that $m$ points and $n$ lines in $\mathbb{F}^2$, with $m^{7/8}<n<m^{8/7}$, determine at most $O(m^{11/15}n^{11/15})$ incidences (where, if $\mathbb{F}$ has positive characteristic $p$, we assume $m^{-2}n^{13}\ll p^{15}$). This improves on the previous best known bound, due to Jones. To obtain our bound, we first prove an optimal point-line incidence bound on Cartesian products, using a reduction to a point-plane incidence bound of Rudnev. We then cover most of the point set with Cartesian products, and we bound the incidences on each product separately, using the bound just mentioned. We give several applications, to sum-product-type problems, an expander problem of Bourgain, the distinct distance problem and Beck's theorem.
△ Less
Submitted 18 July, 2017; v1 submitted 20 September, 2016;
originally announced September 2016.
-
On sets defining few ordinary circles
Authors:
Aaron Lin,
Mehdi Makhul,
Hossein Nassajian Mojarrad,
Josef Schicho,
Konrad Swanepoel,
Frank de Zeeuw
Abstract:
An ordinary circle of a set $P$ of $n$ points in the plane is defined as a circle that contains exactly three points of $P$. We show that if $P$ is not contained in a line or a circle, then $P$ spans at least $\frac{1}{4}n^2 - O(n)$ ordinary circles. Moreover, we determine the exact minimum number of ordinary circles for all sufficiently large $n$ and describe all point sets that come close to thi…
▽ More
An ordinary circle of a set $P$ of $n$ points in the plane is defined as a circle that contains exactly three points of $P$. We show that if $P$ is not contained in a line or a circle, then $P$ spans at least $\frac{1}{4}n^2 - O(n)$ ordinary circles. Moreover, we determine the exact minimum number of ordinary circles for all sufficiently large $n$ and describe all point sets that come close to this minimum. We also consider the circle variant of the orchard problem. We prove that $P$ spans at most $\frac{1}{24}n^3 - O(n^2)$ circles passing through exactly four points of $P$. Here we determine the exact maximum and the extremal configurations for all sufficiently large $n$.
These results are based on the following structure theorem. If $n$ is sufficiently large depending on $K$, and $P$ is a set of $n$ points spanning at most $Kn^2$ ordinary circles, then all but $O(K)$ points of $P$ lie on an algebraic curve of degree at most four. Our proofs rely on a recent result of Green and Tao on ordinary lines, combined with circular inversion and some classical results regarding algebraic curves.
△ Less
Submitted 11 September, 2018; v1 submitted 22 July, 2016;
originally announced July 2016.
-
The Elekes-Szabó Theorem in four dimensions
Authors:
Orit E. Raz,
Micha Sharir,
Frank de Zeeuw
Abstract:
Let $F\in\mathbb{C}[x,y,s,t]$ be an irreducible constant-degree polynomial, and let $A,B,C,D\subset\mathbb{C}$ be finite sets of size $n$. We show that $F$ vanishes on at most $O(n^{8/3})$ points of the Cartesian product $A\times B\times C\times D$, unless $F$ has a special group-related form. A similar statement holds for $A,B,C,D$ of unequal sizes. This is a four-dimensional extension of our rec…
▽ More
Let $F\in\mathbb{C}[x,y,s,t]$ be an irreducible constant-degree polynomial, and let $A,B,C,D\subset\mathbb{C}$ be finite sets of size $n$. We show that $F$ vanishes on at most $O(n^{8/3})$ points of the Cartesian product $A\times B\times C\times D$, unless $F$ has a special group-related form. A similar statement holds for $A,B,C,D$ of unequal sizes. This is a four-dimensional extension of our recent improved analysis of the original Elekes-Szabó theorem in three dimensions. We give three applications: an expansion bound for three-variable real polynomials that do not have a special form, a bound on the number of coplanar quadruples on a space curve that is neither planar nor quartic, and a bound on the number of four-point circles on a plane curve that has degree at least five.
△ Less
Submitted 1 November, 2016; v1 submitted 13 July, 2016;
originally announced July 2016.
-
A survey of Elekes-Rónyai-type problems
Authors:
Frank de Zeeuw
Abstract:
We give an overview of recent progress around a problem introduced by Elekes and Rónyai. The prototype problem is to show that a polynomial $f\in \mathbb{R}[x,y]$ has a large image on a Cartesian product $A\times B\subset \mathbb{R}^2$, unless $f$ has a group-related special form. We discuss a number of variants and generalizations. This includes the Elekes-Szabó problem, which generalizes the Ele…
▽ More
We give an overview of recent progress around a problem introduced by Elekes and Rónyai. The prototype problem is to show that a polynomial $f\in \mathbb{R}[x,y]$ has a large image on a Cartesian product $A\times B\subset \mathbb{R}^2$, unless $f$ has a group-related special form. We discuss a number of variants and generalizations. This includes the Elekes-Szabó problem, which generalizes the Elekes-Rónyai problem to a question about an upper bound on the intersection of an algebraic surface with a Cartesian product, and curve variants, where we ask the same questions for Cartesian products of finite subsets of algebraic curves. These problems lie at the crossroads of combinatorics, algebra, and geometry: They ask combinatorial questions about algebraic objects, whose answers turn out to have applications to geometric questions involving basic objects like distances, lines, and circles, as well as to sum-product-type questions from additive combinatorics. As part of a recent surge of algebraic techniques in combinatorial geometry, a number of quantitative and qualitative steps have been made within this framework. Nevertheless, many tantalizing open questions remain.
△ Less
Submitted 28 March, 2016; v1 submitted 24 January, 2016;
originally announced January 2016.
-
Distinct distances between points and lines
Authors:
Micha Sharir,
Shakhar Smorodinsky,
Claudiu Valculescu,
Frank de Zeeuw
Abstract:
We show that for $m$ points and $n$ lines in the real plane, the number of distinct distances between the points and the lines is $Ω(m^{1/5}n^{3/5})$, as long as $m^{1/2}\le n\le m^2$. We also prove that for any $m$ points in the plane, not all on a line, the number of distances between these points and the lines that they span is $Ω(m^{4/3})$. The problem of bounding the number of distinct point-…
▽ More
We show that for $m$ points and $n$ lines in the real plane, the number of distinct distances between the points and the lines is $Ω(m^{1/5}n^{3/5})$, as long as $m^{1/2}\le n\le m^2$. We also prove that for any $m$ points in the plane, not all on a line, the number of distances between these points and the lines that they span is $Ω(m^{4/3})$. The problem of bounding the number of distinct point-line distances can be reduced to the problem of bounding the number of tangent pairs among a finite set of lines and a finite set of circles in the plane, and we believe that this latter question is of independent interest. In the same vein, we show that $n$ circles in the plane determine at most $O(n^{3/2})$ points where two or more circles are tangent, improving the previously best known bound of $O(n^{3/2}\log n)$. Finally, we study three-dimensional versions of the distinct point-line distances problem, namely, distinct point-line distances and distinct point-plane distances. The problems studied in this paper are all new, and the bounds that we derive for them, albeit most likely not tight, are non-trivial to prove. We hope that our work will motivate further studies of these and related problems.
△ Less
Submitted 28 December, 2015;
originally announced December 2015.
-
On the number of ordinary conics
Authors:
Thomas Boys,
Claudiu Valculescu,
Frank de Zeeuw
Abstract:
We prove a lower bound on the number of ordinary conics determined by a finite point set in $\mathbb{R}^2$. An ordinary conic for a subset $S$ of $\mathbb{R}^2$ is a conic that is determined by five points of $S$, and contains no other points of $S$. Wiseman and Wilson proved the Sylvester-Gallai-type statement that if a finite point set is not contained in a conic, then it determines at least one…
▽ More
We prove a lower bound on the number of ordinary conics determined by a finite point set in $\mathbb{R}^2$. An ordinary conic for a subset $S$ of $\mathbb{R}^2$ is a conic that is determined by five points of $S$, and contains no other points of $S$. Wiseman and Wilson proved the Sylvester-Gallai-type statement that if a finite point set is not contained in a conic, then it determines at least one ordinary conic. We give a simpler proof of their result and then combine it with a result of Green and Tao to prove our main result: If $S$ is not contained in a conic and has at most $c|S|$ points on a line, then $S$ determines $Ω_c(|S|^4)$ ordinary conics. We also give a construction, based on the group structure of elliptic curves, that shows that the exponent in our bound is best possible.
△ Less
Submitted 21 May, 2016; v1 submitted 11 November, 2015;
originally announced November 2015.
-
Schwartz-Zippel bounds for two-dimensional products
Authors:
Hossein Nassajian Mojarrad,
Thang Pham,
Claudiu Valculescu,
Frank de Zeeuw
Abstract:
We prove bounds on intersections of algebraic varieties in $\mathbb{C}^4$ with Cartesian products of finite sets from $\mathbb{C}^2$, and we point out connections with several classic theorems from combinatorial geometry. Consider an algebraic variety $X$ in $\mathbb{C}^4$ of degree $d$, such that the polynomials defining $X$ are not all of the form…
▽ More
We prove bounds on intersections of algebraic varieties in $\mathbb{C}^4$ with Cartesian products of finite sets from $\mathbb{C}^2$, and we point out connections with several classic theorems from combinatorial geometry. Consider an algebraic variety $X$ in $\mathbb{C}^4$ of degree $d$, such that the polynomials defining $X$ are not all of the form $F(x,y,s,t) = G(x,y)H(x,y,s,t) + K(s,t)L(x,y,s,t)$. Let $P$ and $Q$ be finite subsets of $\mathbb{C}^2$ of size $n$. If $X$ has dimension one or two, then we prove $|X\cap (P\times Q)| = O_d(n)$, while if $X$ has dimension three, then $|X\cap (P\times Q)| =O_{d,\varepsilon}(n^{4/3+\varepsilon})$ for any $\varepsilon>0$. Both bounds are best possible in this generality (except for the $\varepsilon$). These bounds can be viewed as different generalizations of the Schwartz-Zippel lemma, where we replace a product of "one-dimensional" finite subsets of $\mathbb{C}$ by a product of "two-dimensional" finite subsets of $\mathbb{C}^2$. The bound for three-dimensional varieties generalizes the Szemerédi-Trotter theorem. A key ingredient in our proofs is a two-dimensional version of a special case of Alon's combinatorial Nullstellensatz. As corollaries of our two bounds, we obtain bounds on the number of repeated and distinct values of polynomials and polynomial maps of pairs of points in $\mathbb{C}^2$, with a characterization of those maps for which no good bounds hold. These results generalize known bounds on repeated and distinct Euclidean distances.
△ Less
Submitted 20 December, 2017; v1 submitted 29 July, 2015;
originally announced July 2015.
-
Polynomials vanishing on Cartesian products: The Elekes-Szabó Theorem revisited
Authors:
Orit E. Raz,
Micha Sharir,
Frank de Zeeuw
Abstract:
Let $F\in\mathbb{C}[x,y,z]$ be a constant-degree polynomial,and let $A,B,C\subset\mathbb C$ be finite sets of size $n$. We show that $F$ vanishes on at most $O(n^{11/6})$ points of the Cartesian product $A\times B\times C$, unless $F$ has a special group-related form. This improves a theorem of Elekes and Szabó [Combinatorica, 2012], and generalizes a result of Raz, Sharir, and Solymosi [Amer. J.…
▽ More
Let $F\in\mathbb{C}[x,y,z]$ be a constant-degree polynomial,and let $A,B,C\subset\mathbb C$ be finite sets of size $n$. We show that $F$ vanishes on at most $O(n^{11/6})$ points of the Cartesian product $A\times B\times C$, unless $F$ has a special group-related form. This improves a theorem of Elekes and Szabó [Combinatorica, 2012], and generalizes a result of Raz, Sharir, and Solymosi [Amer. J. Math., to appear]. The same statement holds over $\mathbb{R}$, and a similar statement holds when $A, B, C$ have different sizes (with a more involved bound replacing $O(n^{11/6})$).
This result provides a unified tool for improving bounds in various Erd\H os-type problems in combinatorial geometry, and we discuss several applications of this kind.
△ Less
Submitted 20 April, 2015;
originally announced April 2015.
-
Incidence bounds for complex algebraic curves on Cartesian products
Authors:
József Solymosi,
Frank de Zeeuw
Abstract:
We prove bounds on the number of incidences between a set of algebraic curves in $\mathbb{C}^2$ and a Cartesian product $A\times B$ with finite sets $A,B\subset \mathbb{C}$. Similar bounds are known under various conditions, but we show that the Cartesian product assumption leads to a simpler proof. This assumption holds in a number of interesting applications, and with our bound these application…
▽ More
We prove bounds on the number of incidences between a set of algebraic curves in $\mathbb{C}^2$ and a Cartesian product $A\times B$ with finite sets $A,B\subset \mathbb{C}$. Similar bounds are known under various conditions, but we show that the Cartesian product assumption leads to a simpler proof. This assumption holds in a number of interesting applications, and with our bound these applications can be extended from $\mathbb{R}$ to $\mathbb{C}$. The proof is a new application of the polynomial partitioning technique introduced by Guth and Katz.
△ Less
Submitted 31 October, 2015; v1 submitted 18 February, 2015;
originally announced February 2015.
-
On the number of ordinary circles
Authors:
Hossein Nassajian Mojarrad,
Frank de Zeeuw
Abstract:
We prove that any $n$ points in $\mathbb{R}^2$, not all on a line or circle, determine at least $\frac{1}{4}n^2-O(n)$ ordinary circles (circles containing exactly three of the $n$ points). The main term of this bound is best possible for even $n$. Our proof relies on a recent result of Green and Tao on ordinary lines.
We prove that any $n$ points in $\mathbb{R}^2$, not all on a line or circle, determine at least $\frac{1}{4}n^2-O(n)$ ordinary circles (circles containing exactly three of the $n$ points). The main term of this bound is best possible for even $n$. Our proof relies on a recent result of Green and Tao on ordinary lines.
△ Less
Submitted 4 May, 2016; v1 submitted 29 December, 2014;
originally announced December 2014.
-
Bisector energy and few distinct distances
Authors:
Ben Lund,
Adam Sheffer,
Frank de Zeeuw
Abstract:
We introduce the bisector energy of an $n$-point set $P$ in $\mathbb{R}^2$, defined as the number of quadruples $(a,b,c,d)$ from $P$ such that $a$ and $b$ determine the same perpendicular bisector as $c$ and $d$. If no line or circle contains $M(n)$ points of $P$, then we prove that the bisector energy is $O(M(n)^{\frac{2}{5}}n^{\frac{12}{5}+ε} + M(n)n^2).$. We also prove the lower bound…
▽ More
We introduce the bisector energy of an $n$-point set $P$ in $\mathbb{R}^2$, defined as the number of quadruples $(a,b,c,d)$ from $P$ such that $a$ and $b$ determine the same perpendicular bisector as $c$ and $d$. If no line or circle contains $M(n)$ points of $P$, then we prove that the bisector energy is $O(M(n)^{\frac{2}{5}}n^{\frac{12}{5}+ε} + M(n)n^2).$. We also prove the lower bound $Ω(M(n)n^2)$, which matches our upper bound when $M(n)$ is large. We use our upper bound on the bisector energy to obtain two rather different results:
(i) If $P$ determines $O(n/\sqrt{\log n})$ distinct distances, then for any $0<α\le 1/4$, either there exists a line or circle that contains $n^α$ points of $P$, or there exist $Ω(n^{8/5-12α/5-ε})$ distinct lines that contain $Ω(\sqrt{\log n})$ points of $P$. This result provides new information on a conjecture of Erdős regarding the structure of point sets with few distinct distances.
(ii) If no line or circle contains $M(n)$ points of $P$, then the number of distinct perpendicular bisectors determined by $P$ is $Ω(\min\{M(n)^{-2/5}n^{8/5-ε}, M(n)^{-1} n^2\})$. This appears to be the first higher-dimensional example in a framework for studying the expansion properties of polynomials and rational functions over $\mathbb{R}$, initiated by Elekes and Rónyai.
△ Less
Submitted 25 November, 2014;
originally announced November 2014.
-
Distinct values of bilinear forms on algebraic curves
Authors:
Claudiu Valculescu,
Frank de Zeeuw
Abstract:
Let $B$ be a bilinear form on pairs of points in the complex plane, of the form $B(p,q) = p^TMq$, for an invertible $2\times2$ complex matrix $M$. We prove that any finite set $S$ contained in an irreducible algebraic curve $C$ of degree $d$ in $\mathbb{C}^2$ determines at least $c_d|S|^{4/3}$ distinct values of $B$, unless the curve $C$ has an exceptional form. This strengthens a result of Charal…
▽ More
Let $B$ be a bilinear form on pairs of points in the complex plane, of the form $B(p,q) = p^TMq$, for an invertible $2\times2$ complex matrix $M$. We prove that any finite set $S$ contained in an irreducible algebraic curve $C$ of degree $d$ in $\mathbb{C}^2$ determines at least $c_d|S|^{4/3}$ distinct values of $B$, unless the curve $C$ has an exceptional form. This strengthens a result of Charalambides in several ways. The proof is based on that of Pach and De Zeeuw, who proved a similar statement for the Euclidean distance function in the real plane. Our main motivation for this paper is that for bilinear forms, this approach becomes more natural, and should better lend itself to understanding and generalization.
△ Less
Submitted 21 February, 2015; v1 submitted 15 March, 2014;
originally announced March 2014.
-
Few distinct distances implies no heavy lines or circles
Authors:
Adam Sheffer,
Joshua Zahl,
Frank de Zeeuw
Abstract:
We study the structure of planar point sets that determine a small number of distinct distances. Specifically, we show that if a set P of n points determines o(n) distinct distances, then no line contains Ω(n^{7/8}) points of P and no circle contains Ω(n^{5/6}) points of P.
We rely on the bipartite and partial variant of the Elekes-Sharir framework that was presented by Sharir, Sheffer, and Soly…
▽ More
We study the structure of planar point sets that determine a small number of distinct distances. Specifically, we show that if a set P of n points determines o(n) distinct distances, then no line contains Ω(n^{7/8}) points of P and no circle contains Ω(n^{5/6}) points of P.
We rely on the bipartite and partial variant of the Elekes-Sharir framework that was presented by Sharir, Sheffer, and Solymosi in \cite{SSS13}. For the case of lines we combine this framework with a theorem from additive combinatorics, and for the case of circles we combine it with some basic algebraic geometry and a recent incidence bound for plane algebraic curves by Wang, Yang, and Zhang \cite{WYZ13}. A significant difference between our approach and that of \cite{SSS13} (and other recent extensions) is that, instead of dealing with distances between two point sets that are restricted to one-dimensional curves, we consider distances between one set that is restricted to a curve and one set with no restrictions on it.
△ Less
Submitted 26 August, 2013;
originally announced August 2013.
-
Distinct distances on algebraic curves in the plane
Authors:
János Pach,
Frank de Zeeuw
Abstract:
Let $P$ be a set of $n$ points in the real plane contained in an algebraic curve $C$ of degree $d$. We prove that the number of distinct distances determined by $P$ is at least $c_d n^{4/3}$, unless $C$ contains a line or a circle. We also prove the lower bound $c_d' \min(m^{2/3}n^{2/3}, m^2, n^2)$ for the number of distinct distances between $m$ points on one irreducible plane algebraic curve and…
▽ More
Let $P$ be a set of $n$ points in the real plane contained in an algebraic curve $C$ of degree $d$. We prove that the number of distinct distances determined by $P$ is at least $c_d n^{4/3}$, unless $C$ contains a line or a circle. We also prove the lower bound $c_d' \min(m^{2/3}n^{2/3}, m^2, n^2)$ for the number of distinct distances between $m$ points on one irreducible plane algebraic curve and $n$ points on another, unless the two curves are parallel lines, orthogonal lines, or concentric circles. This generalizes a result on distances between lines of Sharir, Sheffer, and Solymosi in arXiv:1302.3081.
△ Less
Submitted 31 October, 2015; v1 submitted 1 August, 2013;
originally announced August 2013.
-
Extensions of a result of Elekes and Rónyai
Authors:
Ryan Schwartz,
József Solymosi,
Frank de Zeeuw
Abstract:
Many problems in combinatorial geometry can be formulated in terms of curves or surfaces containing many points of a cartesian product. In 2000, Elekes and Rónyai proved that if the graph of a polynomial contains $cn^2$ points of an $n\times n\times n$ cartesian product in $\mathbb{R}^3$, then the polynomial has the form $f(x,y)=g(k(x)+l(y))$ or $f(x,y)=g(k(x)l(y))$. They used this to prove a conj…
▽ More
Many problems in combinatorial geometry can be formulated in terms of curves or surfaces containing many points of a cartesian product. In 2000, Elekes and Rónyai proved that if the graph of a polynomial contains $cn^2$ points of an $n\times n\times n$ cartesian product in $\mathbb{R}^3$, then the polynomial has the form $f(x,y)=g(k(x)+l(y))$ or $f(x,y)=g(k(x)l(y))$. They used this to prove a conjecture of Purdy which states that given two lines in $\mathbb{R}^2$ and $n$ points on each line, if the number of distinct distances between pairs of points, one on each line, is at most $cn$, then the lines are parallel or orthogonal. We extend the Elekes-Rónyai Theorem to a less symmetric cartesian product. We also extend the Elekes-Rónyai Theorem to one dimension higher on an $n\times n\times n\times n$ cartesian product and an asymmetric cartesian product. We give a proof of a variation of Purdy's conjecture with fewer points on one of the lines. We finish with a lower bound for our main result in one dimension higher with asymmetric cartesian product, showing that it is near-optimal.
△ Less
Submitted 13 June, 2012;
originally announced June 2012.
-
Rational Distances with Rational Angles
Authors:
Ryan Schwartz,
József Solymosi,
Frank de Zeeuw
Abstract:
In 1946 Erd\H os asked for the maximum number of unit distances, $u(n)$, among $n$ points in the plane. He showed that $u(n)> n^{1+c/\log\log n}$ and conjectured that this was the true magnitude. The best known upper bound is $u(n)<cn^{4/3}$, due to Spencer, Szemerédi and Trotter. We show that the upper bound $n^{1+6/\sqrt{\log n}}$ holds if we only consider unit distances with rational angle, by…
▽ More
In 1946 Erd\H os asked for the maximum number of unit distances, $u(n)$, among $n$ points in the plane. He showed that $u(n)> n^{1+c/\log\log n}$ and conjectured that this was the true magnitude. The best known upper bound is $u(n)<cn^{4/3}$, due to Spencer, Szemerédi and Trotter. We show that the upper bound $n^{1+6/\sqrt{\log n}}$ holds if we only consider unit distances with rational angle, by which we mean that the line through the pair of points makes a rational angle in degrees with the x-axis. Using an algebraic theorem of Mann we get a uniform bound on the number of paths between two fixed vertices in the unit distance graph, giving a contradiction if there are too many unit distances with rational angle. This bound holds if we consider rational distances instead of unit distances as long as there are no three points on a line. A superlinear lower bound is given, due to Erd\H os and Purdy. If we have at most $n^α$ points on a line then we get the bound $O(n^{1+α})$ or $n^{1+α+6/\sqrt{\log n}}$ for the number of rational distances with rational angle depending on whether $α\ge 1/2$ or $α< 1/2$ respectively.
△ Less
Submitted 9 May, 2011; v1 submitted 21 August, 2010;
originally announced August 2010.
-
Simultaneous Arithmetic Progressions on Algebraic Curves
Authors:
Ryan Schwartz,
József Solymosi,
Frank de Zeeuw
Abstract:
A simultaneous arithmetic progression (s.a.p.) of length k consists of k points (x_i, y_σ(i)), where x_i and y_i are arithmetic progressions and σis a permutation. Garcia-Selfa and Tornero asked whether there is a bound on the length of an s.a.p. on an elliptic curve in Weierstrass form over Q. We show that 4319 is such a bound for curves over R. This is done by considering translates of the cur…
▽ More
A simultaneous arithmetic progression (s.a.p.) of length k consists of k points (x_i, y_σ(i)), where x_i and y_i are arithmetic progressions and σis a permutation. Garcia-Selfa and Tornero asked whether there is a bound on the length of an s.a.p. on an elliptic curve in Weierstrass form over Q. We show that 4319 is such a bound for curves over R. This is done by considering translates of the curve in a grid as a graph. A simple upper bound is found for the number of crossings and the 'crossing inequality' gives a lower bound. Together these bound the length of an s.a.p. on the curve. We then use a similar method to extend the result to arbitrary real algebraic curves. Instead of considering s.a.p.'s we consider k^2/3 points in a grid. The number of crossings is bounded by Bezout's Theorem. We then give another proof using a result of Jarnik bounding the number of grid points on a convex curve. This result applies as any real algebraic curve can be broken up into convex and concave parts, the number of which depend on the degree. Lastly, these results are extended to complex algebraic curves.
△ Less
Submitted 13 October, 2009; v1 submitted 5 October, 2009;
originally announced October 2009.
-
On a question of Erdos and Ulam
Authors:
Jozsef Solymosi,
Frank de Zeeuw
Abstract:
Ulam asked in 1945 if there is an everywhere dense \emph{rational set}, i.e. a point set in the plane with all its pairwise distances rational. Erd\H os conjectured that if a set $S$ has a dense rational subset, then $S$ should be very special. The only known types of examples of sets with dense (or even just infinite) rational subsets are lines and circles. In this paper we prove Erd\H os's con…
▽ More
Ulam asked in 1945 if there is an everywhere dense \emph{rational set}, i.e. a point set in the plane with all its pairwise distances rational. Erd\H os conjectured that if a set $S$ has a dense rational subset, then $S$ should be very special. The only known types of examples of sets with dense (or even just infinite) rational subsets are lines and circles. In this paper we prove Erd\H os's conjecture for algebraic curves, by showing that no irreducible algebraic curve other than a line or a circle contains an infinite rational set.
△ Less
Submitted 13 January, 2009; v1 submitted 18 June, 2008;
originally announced June 2008.