-
Irreducible components of sets of points in the plane that satisfy distance conditions
Authors:
Niels Lubbes,
Mehdi Makhul,
Josef Schicho,
Audie Warren
Abstract:
For a given graph whose edges are labeled with general real numbers, we consider the set of functions from the vertex set into the Euclidean plane such that the distance between the images of neighbouring vertices is equal to the corresponding edge label. This set of functions can be expressed as the zero set of quadratic polynomials and our main result characterizes the number of complex irreduci…
▽ More
For a given graph whose edges are labeled with general real numbers, we consider the set of functions from the vertex set into the Euclidean plane such that the distance between the images of neighbouring vertices is equal to the corresponding edge label. This set of functions can be expressed as the zero set of quadratic polynomials and our main result characterizes the number of complex irreducible components of this zero set in terms of combinatorial properties of the graph. In case the complex components are three-dimensional, then the graph is minimally rigid and the component number is a well-known invariant from rigidity theory. If the components are four-dimensional, then they correspond to one-dimensional coupler curves of flexible planar mechanisms. As an application, we characterize the degree of irreducible components of such coupler curves combinatorially.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
On Galois groups of type-1 minimally rigid graphs
Authors:
Mehdi Makhul,
Josef Schicho,
Audie Warren
Abstract:
For every graph that is mimimally rigid in the plane, its Galois group is defined as the Galois group generated by the coordinates of its planar realizations, assuming that the edge lengths are transcendental and algebraically independent. Here we compute the Galois group of all minimally rigid graphs that can be constructed from a single edge by repeated Henneberg 1-steps. It turns out that any s…
▽ More
For every graph that is mimimally rigid in the plane, its Galois group is defined as the Galois group generated by the coordinates of its planar realizations, assuming that the edge lengths are transcendental and algebraically independent. Here we compute the Galois group of all minimally rigid graphs that can be constructed from a single edge by repeated Henneberg 1-steps. It turns out that any such group is totally imprimitive, i.e., it is determined by all the partitions it preserves.
△ Less
Submitted 15 January, 2024; v1 submitted 7 June, 2023;
originally announced June 2023.
-
On sets of points in general position that lie on a cubic curve in the plane and determine lines that can be pierced by few points
Authors:
Mehdi Makhul,
Rom Pinchasi
Abstract:
Let $P$ be a set of $n$ points in general position in the plane. Let $R$ be a set of points disjoint from $P$ such that for every $x,y \in P$ the line through $x$ and $y$ contains a point in $R$. We show that if $|R| < \frac{3}{2}n$ and $P \cup R$ is contained in a cubic curve $c$ in the plane, then $P$ has a special property with respect to the natural group action on $c$. That is, $P$ is contain…
▽ More
Let $P$ be a set of $n$ points in general position in the plane. Let $R$ be a set of points disjoint from $P$ such that for every $x,y \in P$ the line through $x$ and $y$ contains a point in $R$. We show that if $|R| < \frac{3}{2}n$ and $P \cup R$ is contained in a cubic curve $c$ in the plane, then $P$ has a special property with respect to the natural group action on $c$. That is, $P$ is contained in a coset of a subgroup $H$ of $c$ of cardinality at most $|R|$.
We use the same approach to show a similar result in the case where each of $B$ and $G$ is a set of $n$ points in general position in the plane and every line through a point in $B$ and a point in $G$ passes through a point in $R$. This provides a partial answer to a problem of Karasev.
The bound $|R| < \frac{3}{2}n$ is best possible at least for part of our results. Our extremal constructions provide a counterexample to an old conjecture attributed to Jamison about point sets that determine few directions. Jamison conjectured that if $P$ is a set of $n$ points in general position in the plane that determines at most $2n-c$ distinct directions, then $P$ is contained in an affine image of the set of vertices of a regular $m$-gon. This conjecture of Jamison is strongly related to our results in the case the cubic curve $c$ is reducible and our results can be used to prove Jamison's conjecture at least when $m-n$ is in the order of magnitude of $O(\sqrt{n})$.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
Normality of the Thue-Morse function for finite fields along polynomial values
Authors:
Mehdi Makhul,
Arne Winterhof
Abstract:
Let ${\mathbb F}_q$ be the finite field of $q$ elements, where $q=p^r$ is a power of the prime $p$, and $\left(β_1, β_2, \dots, β_r \right)$ be an ordered basis of ${\mathbb F}_q$ over ${\mathbb F}_p$. For $$ξ=\sum_{i=1}^rx_iβ_i, \quad \quad x_i\in{\mathbb F}_p,$$ we define the Thue-Morse or sum-of-digits function $T(ξ)$ on ${\mathbb F}_q$ by \[ T(ξ)=\sum_{i=1}^{r}x_i.%,\quad ξ=x_1β_1+\cdots +x_rβ…
▽ More
Let ${\mathbb F}_q$ be the finite field of $q$ elements, where $q=p^r$ is a power of the prime $p$, and $\left(β_1, β_2, \dots, β_r \right)$ be an ordered basis of ${\mathbb F}_q$ over ${\mathbb F}_p$. For $$ξ=\sum_{i=1}^rx_iβ_i, \quad \quad x_i\in{\mathbb F}_p,$$ we define the Thue-Morse or sum-of-digits function $T(ξ)$ on ${\mathbb F}_q$ by \[ T(ξ)=\sum_{i=1}^{r}x_i.%,\quad ξ=x_1β_1+\cdots +x_rβ_r\in {\mathbb F}_q. \] For a given pattern length $s$ with $1\le s\le q$, a subset ${\cal A}=\{α_1,\ldots,α_s\}\subset {\mathbb F}_q$, a polynomial $f(X)\in{\mathbb F}_q[X]$ of degree $d$ and a vector $\underline{c}=(c_1,\ldots,c_s)\in{\mathbb F}_p^s$ we put \[ {\cal T}(\underline{c},{\cal A},f)=\{ξ\in{\mathbb F}_q : T(f(ξ+α_i))=c_i,~i=1,\ldots,s\}. \] In this paper we will see that under some natural conditions, the size of~${\cal T}(\underline{c},{\cal A},f)$ is asymptotically the same for all~$\underline{c}$ and ${\cal A}$ in both cases, $p\rightarrow \infty$ and $r\rightarrow \infty$, respectively. More precisely, we have \[ \left||{\cal T}(\underline{c},{\cal A},f)|-p^{r-s}\right|\le (d-1)q^{1/2}\] under certain conditions on $d,q$ and $s$. For monomials of large degree we improve this bound as well as we find conditions on $d,q$ and $s$ for which this bound is not true. In particular, if $1\le d<p$ we have the dichotomy that the bound is valid if $s\le d$ and fails for some $\underline{c}$ and ${\cal A}$ if $s\ge d+1$. The case $s=1$ was studied before by Dartyge and Sárközy.
△ Less
Submitted 23 June, 2021;
originally announced June 2021.
-
The Elekes-Szabó Problem and the Uniformity Conjecture
Authors:
Mehdi Makhul,
Oliver Roche-Newton,
Sophie Stevens,
Audie Warren
Abstract:
In this paper we give a conditional improvement to the Elekes-Szabó problem over the rationals, assuming the Uniformity Conjecture. Our main result states that for $F\in \mathbb{Q}[x,y,z]$ belonging to a particular family of polynomials, and any finite sets $A, B, C \subset \mathbb Q$ with $|A|=|B|=|C|=n$, we have
\[
|Z(F) \cap (A\times B \times C)| \ll n^{2-\frac{1}{s}}.
\]
The value of t…
▽ More
In this paper we give a conditional improvement to the Elekes-Szabó problem over the rationals, assuming the Uniformity Conjecture. Our main result states that for $F\in \mathbb{Q}[x,y,z]$ belonging to a particular family of polynomials, and any finite sets $A, B, C \subset \mathbb Q$ with $|A|=|B|=|C|=n$, we have
\[
|Z(F) \cap (A\times B \times C)| \ll n^{2-\frac{1}{s}}.
\]
The value of the integer $s$ is dependent on the polynomial $F$, but is always bounded by $s \leq 5$, and so even in the worst applicable case this gives a quantitative improvement on a bound of Raz, Sharir and de Zeeuw (arXiv:1504.05012).
We give several applications to problems in discrete geometry and arithmetic combinatorics. For instance, for any set $P \subset \mathbb Q^2$ and any two points $p_1,p_2 \in \mathbb Q^2$, we prove that at least one of the $p_i$ satisfies the bound
\[
| \{ \| p_i - p \| : p \in P \}| \gg |P|^{3/5},
\]
where $\| \cdot \|$ denotes Euclidean distance. This gives a conditional improvement to a result of Sharir and Solymosi (arXiv:1308.0814).
△ Less
Submitted 19 October, 2020; v1 submitted 28 September, 2020;
originally announced September 2020.
-
No perfect triangle is isosceles
Authors:
Mehdi Makhul
Abstract:
A perfect triangle is a triangle with rational sides, medians, and area. In this article, we use a similar strategy due to Pocklington to show that if $Δ$ is a perfect triangle, then it cannot be an isosceles triangle. It gives a partial answer to a question of Richard Guy, who asked whether any perfect triangles exist. No example has been found to date. It is widely believed that such a triangle…
▽ More
A perfect triangle is a triangle with rational sides, medians, and area. In this article, we use a similar strategy due to Pocklington to show that if $Δ$ is a perfect triangle, then it cannot be an isosceles triangle. It gives a partial answer to a question of Richard Guy, who asked whether any perfect triangles exist. No example has been found to date. It is widely believed that such a triangle does not exist.
△ Less
Submitted 11 December, 2020; v1 submitted 1 September, 2020;
originally announced September 2020.
-
The Spherical Kakeya Problem in Finite Fields
Authors:
Mehdi Makhul,
Audie Warren,
Arne Winterhof
Abstract:
We study subsets of the $n$-dimensional vector space over the finite field $\mathbb{F}_q$, for odd $q$, which contain either a sphere for each radius or a sphere for each first coordinate of the center. We call such sets radii spherical Kakeya sets and center spherical Kakeya sets, respectively.
For $n\ge 4$ we prove a general lower bound on the size of any set containing $q-1$ different spheres…
▽ More
We study subsets of the $n$-dimensional vector space over the finite field $\mathbb{F}_q$, for odd $q$, which contain either a sphere for each radius or a sphere for each first coordinate of the center. We call such sets radii spherical Kakeya sets and center spherical Kakeya sets, respectively.
For $n\ge 4$ we prove a general lower bound on the size of any set containing $q-1$ different spheres which applies to both kinds of spherical Kakeya sets. We provide constructions which meet the main terms of this lower bound.
We also give a construction showing that we cannot get a lower bound of order of magnitude~$q^n$ if we take lower dimensional objects such as circles in $\mathbb{F}_q^3$ instead of spheres, showing that there are significant differences to the line Kakeya problem.
Finally, we study the case of dimension $n=1$ which is different and equivalent to the study of sum and difference sets that cover $\mathbb{F}_q$.
△ Less
Submitted 2 April, 2020;
originally announced April 2020.
-
On the number of perfect triangles with a fixed angle
Authors:
Mehdi Makhul
Abstract:
Richard Guy asked the following question: can we find a triangle with rational sides, medians, and area? Such a triangle is called a \emph{perfect triangle} and no example has been found to date. It is widely believed that such a triangle does not exist. Here we use the setup of Solymosi and de Zeeuw about rational distance sets contained in an algebraic curve, to show that for any angle $0<θ< π$,…
▽ More
Richard Guy asked the following question: can we find a triangle with rational sides, medians, and area? Such a triangle is called a \emph{perfect triangle} and no example has been found to date. It is widely believed that such a triangle does not exist. Here we use the setup of Solymosi and de Zeeuw about rational distance sets contained in an algebraic curve, to show that for any angle $0<θ< π$, the number of perfect triangles with an angle $θ$ is finite. A \emph{rational median set} $S$ is a set of points in the plane such that for every three non collinear points $p_1,p_2,p_3$ in $S$ all medians of the triangle with vertices at $p_i$'s have rational length. The second result of this paper is that no irreducible algebraic curve defined over $\mathbb{R}$ contains an infinite rational median set.
△ Less
Submitted 15 October, 2019;
originally announced October 2019.
-
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.
-
An application of Bertini Theorem
Authors:
Mehdi Makhul,
Josef Schicho
Abstract:
Given an irreducible variety $X$ over a finite field, the density of hypersurfaces of varying degree $d$ intersecting $X$ in an irreducible subvariety is $1$, by a result of Charles and Poonen. In this note, we analyse the situation fixing $d=1$ and extend the base field instead of the degree $d$. We compute the probability that a random linear subspace of the right dimension intersects $X$ in a g…
▽ More
Given an irreducible variety $X$ over a finite field, the density of hypersurfaces of varying degree $d$ intersecting $X$ in an irreducible subvariety is $1$, by a result of Charles and Poonen. In this note, we analyse the situation fixing $d=1$ and extend the base field instead of the degree $d$. We compute the probability that a random linear subspace of the right dimension intersects $X$ in a given number of points.
△ Less
Submitted 10 February, 2020; v1 submitted 13 September, 2018;
originally announced September 2018.
-
A family of four-variable expanders with quadratic growth
Authors:
Mehdi Makhul
Abstract:
We prove that if $g(x,y)$ is a polynomial of constant degree $d$ that $y_2-y_1$ does not divide $g(x_1,y_1)-g(x_2,y_2)$, then for any finite set $A \subset \mathbb{R}$ \[ |X| \gg_d |A|^2, \quad \text{where} \ X:=\left\{\frac{g(a_1,b_1)-g(a_2,b_2)}{b_2-b_1} :\, a_1,a_2,b_1,b_2 \in A \right\}. \] We will see this bound is also tight for some polynomial $g(x,y)$.
We prove that if $g(x,y)$ is a polynomial of constant degree $d$ that $y_2-y_1$ does not divide $g(x_1,y_1)-g(x_2,y_2)$, then for any finite set $A \subset \mathbb{R}$ \[ |X| \gg_d |A|^2, \quad \text{where} \ X:=\left\{\frac{g(a_1,b_1)-g(a_2,b_2)}{b_2-b_1} :\, a_1,a_2,b_1,b_2 \in A \right\}. \] We will see this bound is also tight for some polynomial $g(x,y)$.
△ Less
Submitted 11 May, 2018;
originally announced May 2018.
-
Probabilities of incidence between lines and a plane curve over finite fields
Authors:
Mehdi Makhul,
Josef Schicho,
Matteo Gallet
Abstract:
We study the probability for a random line to intersect a given plane curve, defined over a finite field, in a given number of points defined over the same field. In particular, we focus on the limits of these probabilities under successive finite field extensions. Supposing absolute irreducibility for the curve, we show how a variant of Chebotarev density theorem for function fields can be used t…
▽ More
We study the probability for a random line to intersect a given plane curve, defined over a finite field, in a given number of points defined over the same field. In particular, we focus on the limits of these probabilities under successive finite field extensions. Supposing absolute irreducibility for the curve, we show how a variant of Chebotarev density theorem for function fields can be used to prove the existence of these limits, and to compute them under a mildly stronger condition, known as simple tangency. Partial results have already appeared in the literature, and we propose this work as an introduction to the use of Chebotarev theorem in the context of incidence geometry. Finally, Veronese maps allow us to compute similar probabilities of intersection between a given curve and random curves of given degree.
△ Less
Submitted 29 April, 2021; v1 submitted 16 November, 2017;
originally announced November 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.
