-
On the two-parameter Erdős-Falconer distance problem over finite fields
Authors:
Clément Francois,
Hossein Nassajian Mojarrad,
Duc Hiep Pham,
Chun-Yen Shen
Abstract:
Given $E \subseteq \mathbb{F}_q^d \times \mathbb{F}_q^d$, with the finite field $\mathbb{F}_q$ of order $q$ and the integer $d \ge 2$, we define the two-parameter distance set as $Δ_{d, d}(E)=\left\{\left(\|x_1-y_1\|, \|x_2-y_2\|\right) : (x_1,x_2), (y_1,y_2) \in E \right\}$. Birklbauer and Iosevich (2017) proved that if $|E| \gg q^{\frac{3d+1}{2}}$, then $ |Δ_{d, d}(E)| = q^2$. For the case of…
▽ More
Given $E \subseteq \mathbb{F}_q^d \times \mathbb{F}_q^d$, with the finite field $\mathbb{F}_q$ of order $q$ and the integer $d \ge 2$, we define the two-parameter distance set as $Δ_{d, d}(E)=\left\{\left(\|x_1-y_1\|, \|x_2-y_2\|\right) : (x_1,x_2), (y_1,y_2) \in E \right\}$. Birklbauer and Iosevich (2017) proved that if $|E| \gg q^{\frac{3d+1}{2}}$, then $ |Δ_{d, d}(E)| = q^2$. For the case of $d=2$, they showed that if $|E| \gg q^{\frac{10}{3}}$, then $ |Δ_{2, 2}(E)| \gg q^2$. In this paper, we present extensions and improvements of these results.
△ Less
Submitted 26 January, 2021;
originally announced January 2021.
-
Two extensions of the Erdős-Szekeres problem
Authors:
Andreas F. Holmsen,
Hossein Nassajian Mojarrad,
János Pach,
Gábor Tardos
Abstract:
According to Suk's breakthrough result on the Erdos-Szekeres problem, any point set in general position in the plane, which has no $n$ elements that form the vertex set of a convex $n$-gon, has at most $2^{n+O\left({n^{2/3}\log n}\right)}$ points. We strengthen this theorem in two ways. First, we show that the result generalizes to convexity structures induced by pseudoline arrangements. Second, w…
▽ More
According to Suk's breakthrough result on the Erdos-Szekeres problem, any point set in general position in the plane, which has no $n$ elements that form the vertex set of a convex $n$-gon, has at most $2^{n+O\left({n^{2/3}\log n}\right)}$ points. We strengthen this theorem in two ways. First, we show that the result generalizes to convexity structures induced by pseudoline arrangements. Second, we improve the error term.
A family of $n$ convex bodies in the plane is said to be in convex position if the convex hull of the union of no $n-1$ of its members contains the remaining one. If any three members are in convex position, we say that the family is in general position. Combining our results with a theorem of Dobbins, Holmsen, and Hubard, we significantly improve the best known upper bounds on the following two functions, introduced by Bisztriczky and Fejes Toth and by Pach and Toth, respectively. Let $c(n)$ (and $c'(n)$) denote the smallest positive integer $N$ with the property that any family of $N$ pairwise disjoint convex bodies in general position (resp., $N$ convex bodies in general position, any pair of which share at most two boundary points) has an $n$-membered subfamily in convex position. We show that $c(n)\le c'(n)\leq 2^{n+O\left(\sqrt{n\log n}\right)}$.
△ Less
Submitted 2 August, 2020; v1 submitted 31 October, 2017;
originally announced October 2017.
-
Four-variable expanders over the prime fields
Authors:
Doowon Koh,
Hossein Nassajian Mojarrad,
Thang Pham,
Claudiu Valculescu
Abstract:
Let $\mathbb{F}_p$ be a prime field of order $p>2$, and $A$ be a set in $\mathbb{F}_p$ with very small size in terms of $p$. In this note, we show that the number of distinct cubic distances determined by points in $A\times A$ satisfies \[|(A-A)^3+(A-A)^3|\gg |A|^{8/7},\] which improves a result due to Yazici, Murphy, Rudnev, and Shkredov. In addition, we investigate some new families of expanders…
▽ More
Let $\mathbb{F}_p$ be a prime field of order $p>2$, and $A$ be a set in $\mathbb{F}_p$ with very small size in terms of $p$. In this note, we show that the number of distinct cubic distances determined by points in $A\times A$ satisfies \[|(A-A)^3+(A-A)^3|\gg |A|^{8/7},\] which improves a result due to Yazici, Murphy, Rudnev, and Shkredov. In addition, we investigate some new families of expanders in four and five variables.
We also give an explicit exponent of a problem of Bukh and Tsimerman, namely, we prove that \[\max \left\lbrace |A+A|, |f(A, A)|\right\rbrace\gg |A|^{6/5},\] where $f(x, y)$ is a quadratic polynomial in $\mathbb{F}_p[x, y]$ that is not of the form $g(αx+βy)$ for some univariate polynomial $g$.
△ Less
Submitted 30 June, 2018; v1 submitted 11 May, 2017;
originally announced May 2017.
-
Conditional expanding bounds for two-variable functions over arbitrary fields
Authors:
Hossein Nassajian Mojarrad,
Thang Pham
Abstract:
In this short note, we use Rudnev's point-plane incidence bound to improve some results on conditional expanding bounds for two-variable functions over arbitrary fields due to Hegyvári and Hennecart.
In this short note, we use Rudnev's point-plane incidence bound to improve some results on conditional expanding bounds for two-variable functions over arbitrary fields due to Hegyvári and Hennecart.
△ Less
Submitted 26 March, 2017; v1 submitted 9 March, 2017;
originally announced March 2017.
-
On the Existence of Ordinary Triangles
Authors:
Radoslav Fulek,
Hossein Nassajian Mojarrad,
Márton Naszódi,
József Solymosi,
Sebastian U. Stich,
May Szedlák
Abstract:
Let $P$ be a finite point set in the plane. A \emph{$c$-ordinary triangle} in $P$ is a subset of $P$ consisting of three non-collinear points such that each of the three lines determined by the three points contains at most $c$ points of $P$. Motivated by a question of Erdős, and answering a question of de Zeeuw, we prove that there exists a constant $c>0$ such that $P$ contains a $c$-ordinary tri…
▽ More
Let $P$ be a finite point set in the plane. A \emph{$c$-ordinary triangle} in $P$ is a subset of $P$ consisting of three non-collinear points such that each of the three lines determined by the three points contains at most $c$ points of $P$. Motivated by a question of Erdős, and answering a question of de Zeeuw, we prove that there exists a constant $c>0$ such that $P$ contains a $c$-ordinary triangle, provided that $P$ is not contained in the union of two lines. Furthermore, the number of $c$-ordinary triangles in $P$ is $Ω(|P|)$.
△ Less
Submitted 10 June, 2017; v1 submitted 27 January, 2017;
originally announced January 2017.
-
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.
-
An improved upper bound for the Erdős-Szekeres conjecture
Authors:
Hossein Nassajian Mojarrad,
Georgios Vlachos
Abstract:
Let $ES(n)$ denote the minimum natural number such that every set of $ES(n)$ points in general position in the plane contains $n$ points in convex position. In 1935, Erdős and Szekeres proved that $ES(n) \le {2n-4 \choose n-2}+1$. In 1961, they obtained the lower bound $2^{n-2}+1 \le ES(n)$, which they conjectured to be optimal. In this paper, we prove that…
▽ More
Let $ES(n)$ denote the minimum natural number such that every set of $ES(n)$ points in general position in the plane contains $n$ points in convex position. In 1935, Erdős and Szekeres proved that $ES(n) \le {2n-4 \choose n-2}+1$. In 1961, they obtained the lower bound $2^{n-2}+1 \le ES(n)$, which they conjectured to be optimal. In this paper, we prove that $$ES(n) \le {2n-5 \choose n-2}-{2n-8 \choose n-3}+2 \approx \frac{7}{16} {2n-4 \choose n-2}.$$
△ Less
Submitted 4 May, 2016; v1 submitted 21 October, 2015;
originally announced October 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.
-
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.
