Showing 1–46 of 46 results for author: Sadek, M

On Torsion Subgroups of Elliptic Curves over Quartic, Quintic and Sextic Number Fields

Authors: Mustafa Umut Kazancıoğlu, Mohammad Sadek

Abstract: The list of all groups that can appear as torsion subgroups of elliptic curves over number fields of degree $d$, $d=4,5,6$, is not completely determined. However, the list of groups $Φ^{\infty}(d)$, $d=4,5,6$, that can be realized as torsion subgroups for infinitely many non-isomorphic elliptic curves over these fields are known. We address the question of which torsion subgroups can arise over a… ▽ More The list of all groups that can appear as torsion subgroups of elliptic curves over number fields of degree $d$, $d=4,5,6$, is not completely determined. However, the list of groups $Φ^{\infty}(d)$, $d=4,5,6$, that can be realized as torsion subgroups for infinitely many non-isomorphic elliptic curves over these fields are known. We address the question of which torsion subgroups can arise over a given number field of degree $d$. In fact, given $G\inΦ^{\infty}(d)$ and a number field $K$ of degree $d$, we give explicit criteria telling whether $G$ is realized finitely or infinitely often over $K$. We also give results on the field with the smallest absolute value of its discriminant such that there exists an elliptic curve with torsion $G$. Finally, we give examples of number fields $K$ of degree $d$, $d=4,5,6$, over which the Mordell-Weil rank of elliptic curves with prescribed torsion is bounded from above. △ Less

Submitted 2 January, 2025; v1 submitted 4 November, 2024; originally announced November 2024.

Quadratic torsion orders on Jacobian varieties

Authors: Hamide Kuru, Mohammad Sadek

Abstract: We establish the existence of hyperelliptic curves of genus $g\ge 2$ defined over $\mathbb{Q}$ whose Jacobians possess rational torsion points of order $N$ where $N=4g^2+2g-2$ or $4g^2+ 2g -4$. For $N=2g^2+7g+1$, we introduce a $1$-parameter family of hyperelliptic curves of genus $g$ over $\mathbb{Q}$ with a rational torsion point of order $N$ on their Jacobians. We establish the existence of hyperelliptic curves of genus $g\ge 2$ defined over $\mathbb{Q}$ whose Jacobians possess rational torsion points of order $N$ where $N=4g^2+2g-2$ or $4g^2+ 2g -4$. For $N=2g^2+7g+1$, we introduce a $1$-parameter family of hyperelliptic curves of genus $g$ over $\mathbb{Q}$ with a rational torsion point of order $N$ on their Jacobians. △ Less

Submitted 18 October, 2024; originally announced October 2024.

Rational torsion on hyperelliptic jacobian varieties

Authors: Hamide Kuru, Mohammad Sadek

Abstract: Fixing an integer $g\ge 2$, it was conjectured by Flynn that there exists a constant $κ$, independent of $g$, such that for every $m \le κg$, there exists a hyperelliptic curve of genus $g$ over $\Q$ with a rational $m$-torsion point on its Jacobian. Leprévost proved this conjecture with $κ=3$. In this work we prove that given an integer $N$ in the interval $[3g,4g+1]$, $g\ge 3$, satisfying certai… ▽ More Fixing an integer $g\ge 2$, it was conjectured by Flynn that there exists a constant $κ$, independent of $g$, such that for every $m \le κg$, there exists a hyperelliptic curve of genus $g$ over $\Q$ with a rational $m$-torsion point on its Jacobian. Leprévost proved this conjecture with $κ=3$. In this work we prove that given an integer $N$ in the interval $[3g,4g+1]$, $g\ge 3$, satisfying certain partition conditions, there exist infinite families of hyperelliptic Jacobian varieties with a rational torsion point of order $N$. In particular, we establish the existence of such varieties for $N=4g+1$ when $g$ is odd and for $N=4g-1$ when $g$ is even. A few explicit applications of this result produce the first known infinite examples of torsion $13$ when $g=3$, torsion $15$ when $g=4$, and torsion $17,18,21$ when $g=5$. In fact, we show that infinitely many of the latter abelian varieties are absolutely simple. △ Less

Submitted 18 October, 2024; originally announced October 2024.

Explicit construction of decomposable Jacobians

Authors: Mesut Buğday, Mohammad Sadek

Abstract: In this note we give explicit constructions of decomposable hyperelliptic Jacobian varieties over fields of characteristic $0$. These include hyperelliptic Jacobian varieties that are isogenous to a product of two absolutely simple hyperelliptic Jacobian varieties, a square of a hyperelliptic Jacobian variety, and a product of four hyperelliptic Jacobian varieties three of which are of the same di… ▽ More In this note we give explicit constructions of decomposable hyperelliptic Jacobian varieties over fields of characteristic $0$. These include hyperelliptic Jacobian varieties that are isogenous to a product of two absolutely simple hyperelliptic Jacobian varieties, a square of a hyperelliptic Jacobian variety, and a product of four hyperelliptic Jacobian varieties three of which are of the same dimension. As an application, we produce families of hyperelliptic curves with infinitely many quadratic twists having at least two rational non-Weierstrass points; and families of quadruples of hyperelliptic curves together with infinitely many square-free $d$ such that the quadratic twists of each of the curves by $d$ possess at least one rational non-Weierstrass point. △ Less

Submitted 12 October, 2024; originally announced October 2024.

Arithmetic progressions in polynomial orbits

Authors: Mohammad Sadek, Mohamed Wafik, Tuğba Yesin

Abstract: Let $f$ be a polynomial with integer coefficients whose degree is at least 2. We consider the problem of covering the orbit $\operatorname{Orb}_f(t)=\{t,f(t),f(f(t)),\cdots\}$, where $t$ is an integer, using arithmetic progressions each of which contains $t$. Fixing an integer $k\ge 2$, we prove that it is impossible to cover $\operatorname{Orb}_f(t)$ using $k$ such arithmetic progressions unless… ▽ More Let $f$ be a polynomial with integer coefficients whose degree is at least 2. We consider the problem of covering the orbit $\operatorname{Orb}_f(t)=\{t,f(t),f(f(t)),\cdots\}$, where $t$ is an integer, using arithmetic progressions each of which contains $t$. Fixing an integer $k\ge 2$, we prove that it is impossible to cover $\operatorname{Orb}_f(t)$ using $k$ such arithmetic progressions unless $\operatorname{Orb}_f(t)$ is contained in one of these progressions. In fact, we show that the relative density of terms covered by $k$ such arithmetic progressions in $\operatorname{Orb}_f(t)$ is uniformly bounded from above by a bound that depends solely on $k$. In addition, the latter relative density can be made as close as desired to $1$ by an appropriate choice of $k$ arithmetic progressions containing $t$ if $k$ is allowed to be large enough. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Extended block Hessenberg process for the evaluation of matrix functions

Authors: A. H. Bentbib, M. EL Ghomari, K. Jbilou, EL. M. Sadek

Abstract: In the present paper, we propose a block variant of the extended Hessenberg process for computing approximations of matrix functions and other problems producing large-scale matrices. Applications to the computation of a matrix function such as f(A)V, where A is an nxn large sparse matrix, V is an nxp block with p<<n, and f is a function are presented. Solving shifted linear systems with multiple… ▽ More In the present paper, we propose a block variant of the extended Hessenberg process for computing approximations of matrix functions and other problems producing large-scale matrices. Applications to the computation of a matrix function such as f(A)V, where A is an nxn large sparse matrix, V is an nxp block with p<<n, and f is a function are presented. Solving shifted linear systems with multiple right hand sides are also given. Computing approximations of these matrix problems appear in many scientific and engineering applications. Different numerical experiments are provided to show the effectiveness of the proposed method for these problems. △ Less

Submitted 6 January, 2024; originally announced January 2024.

MSC Class: 65F10; 65F30

A Dynamical Analogue of a Question of Fermat

Authors: Mohammad Sadek, Tuğba Yesin

Abstract: Given a quadratic polynomial with rational coefficients, we investigate the existence of consecutive squares in the orbit of a rational point under the iteration of the polynomial. We display three different constructions of $1$-parameter quadratic polynomials with orbits containing three consecutive squares. In addition, we show that there exists at least one polynomial of the form $x^2+c$ with a… ▽ More Given a quadratic polynomial with rational coefficients, we investigate the existence of consecutive squares in the orbit of a rational point under the iteration of the polynomial. We display three different constructions of $1$-parameter quadratic polynomials with orbits containing three consecutive squares. In addition, we show that there exists at least one polynomial of the form $x^2+c$ with a rational point whose orbit under this map contains four consecutive squares. This can be viewed as a dynamical analogue of a question of Fermat on rational squares in arithmetic progression. Finally, assuming a standard conjecture on exact periods of periodic points of quadratic polynomials over the rational field, we give necessary and sufficient conditions under which the orbit of a periodic point contains only rational squares. △ Less

Submitted 27 October, 2023; originally announced October 2023.

Divisibility of orders of reductions of elliptic curves

Authors: Antigona Pajaziti, Mohammad Sadek

Abstract: Let $E$ be an elliptic curve defined over $\mathbb Q$ and $\widetilde{E}_p$ denote the reduction of $E$ modulo a prime $p$ of good reduction for $E$. The divisibility of $|\widetilde{E}_{p}(\mathbb{F}_p)|$ by an integer $m\ge 2$ for a set of primes $p$ of density $1$ is determined by the torsion subgroups of elliptic curves that are $\mathbb Q$-isogenous to $E$. In this work, we give explicit fami… ▽ More Let $E$ be an elliptic curve defined over $\mathbb Q$ and $\widetilde{E}_p$ denote the reduction of $E$ modulo a prime $p$ of good reduction for $E$. The divisibility of $|\widetilde{E}_{p}(\mathbb{F}_p)|$ by an integer $m\ge 2$ for a set of primes $p$ of density $1$ is determined by the torsion subgroups of elliptic curves that are $\mathbb Q$-isogenous to $E$. In this work, we give explicit families of elliptic curves $E$ over $\mathbb Q$ together with integers $m_E$ such that the congruence class of $|\widetilde{E}_p(\mathbb{F}_p)|$ modulo $m_E$ can be computed explicitly. In addition, we can estimate the density of primes $p$ for which each congruence class occurs. These include elliptic curves over $\mathbb Q$ whose torsion grows over a quadratic field $K$ where $m_E$ is determined by the $K$-torsion subgroups in the $\mathbb Q$-isogeny class of $E$. We also exhibit elliptic curves over $\mathbb Q(t)$ for which the orders of the reductions of every smooth fiber modulo primes of positive density strictly less than $1$ are divisible by given small integers. △ Less

Submitted 19 March, 2025; v1 submitted 2 January, 2023; originally announced January 2023.

Comments: The article arXiv:2301.00711 has been split in two parts. The current manuscript constitutes the first part

Eventual Stability of pure polynomials over the rational field

Authors: Mohamed O Darwish, Mohammad Sadek

Abstract: A polynomial with rational coefficients is said to be pure with respect to a rational prime $p$ if its Newton polygon has one slope. In this article, we prove that the number of irreducible factors of the $n$-th iterate of a pure polynomial over the rational field $\mathbb Q$ is bounded independent of $n$. In other words, we show that pure polynomials are {\em eventually stable}. Consequently, sev… ▽ More A polynomial with rational coefficients is said to be pure with respect to a rational prime $p$ if its Newton polygon has one slope. In this article, we prove that the number of irreducible factors of the $n$-th iterate of a pure polynomial over the rational field $\mathbb Q$ is bounded independent of $n$. In other words, we show that pure polynomials are {\em eventually stable}. Consequently, several eventual stability results available in literature follow; including the eventual stability of the polynomial $x^d+c\in\mathbb{Q}[x]$, where $c\ne 0,1$, is not a reciprocal of an integer. In addition, we establish the dynamical irreducibility, i.e., the irreducibility of all iterates, of a subfamily of pure polynomials, namely Dumas polynomials with respect to a rational prime $p$ under a mild condition on the degree. This provides iterative techniques to produce irreducible polynomials in $\mathbb{Q}[x]$ by composing pure polynomials of different degrees. During the course of this work, we characterize all polynomials whose degrees are large enough that are not pure, yet they possess pure iterates. This implies the existence of polynomials whose shifts are all dynamically irreducible in $\mathbb{Z}[x]$. △ Less

Submitted 29 January, 2023; v1 submitted 20 November, 2022; originally announced November 2022.

Construction of Polynomials with prescribed divisibility conditions on the critical orbit

Authors: Mohammad Sadek, Mohamed Wafik

Abstract: We consider the family of polynomials $f_{d,c}(x)=x^d+c$ over the rational field $\Q$. Fixing integers $d, n\ge 2$, we show that the density of primes that can appear as primitive prime divisors of $f_{d,c}^n(0)$ for some $c\in\Q$ is positive. In fact, under certain assumptions, we explicitly calculate the latter density when $d=2$. Furthermore, fixing $d,n\ge 2$, we show that for a given integer… ▽ More We consider the family of polynomials $f_{d,c}(x)=x^d+c$ over the rational field $\Q$. Fixing integers $d, n\ge 2$, we show that the density of primes that can appear as primitive prime divisors of $f_{d,c}^n(0)$ for some $c\in\Q$ is positive. In fact, under certain assumptions, we explicitly calculate the latter density when $d=2$. Furthermore, fixing $d,n\ge 2$, we show that for a given integer $N>0$, there is $c\in \Q$ such that $\f^n(0)$ has at least $N$ primitive prime divisors each of which is appearing up to any predetermined power. This shows that there is no uniform upper bound on the number of primitive prime divisors in the critical orbit of $\f(x)$ that does not depend on $c$. The developed results provide a method to construct polynomials of the form $\f(x)$ for which the splitting field of the $m$-th iteration, $m\ge1$, has Galois group of maximal possible order. During the course of this work, we give explicit new results on post-critically finite polynomials $\f(x)$ over local fields. △ Less

Submitted 13 October, 2022; v1 submitted 15 September, 2022; originally announced September 2022.

Rational points on quadratic elliptic surfaces

Authors: Mohammad Sadek

Abstract: We consider elliptic surfaces whose coefficients are degree $2$ polynomials in a variable $T$. It was recently shown that for infinitely many rational values of $T$ the resulting elliptic curves have rank at least $1$. In this article, we prove that the Mordell-Weil rank of each such elliptic surface is at most $6$ over $\mathbb Q$. In fact, we show that the Mordell-Weil rank of these elliptic sur… ▽ More We consider elliptic surfaces whose coefficients are degree $2$ polynomials in a variable $T$. It was recently shown that for infinitely many rational values of $T$ the resulting elliptic curves have rank at least $1$. In this article, we prove that the Mordell-Weil rank of each such elliptic surface is at most $6$ over $\mathbb Q$. In fact, we show that the Mordell-Weil rank of these elliptic surfaces is controlled by the number of zeros of a certain polynomial over $\mathbb Q$. △ Less

Submitted 30 June, 2022; originally announced July 2022.

Simultaneous Rational Periodic Points of Degree-2 Rational Maps

Authors: Burcu Barsakçı, Mohammad Sadek

Abstract: Let $S$ be the collection of quadratic polynomial maps, and degree $2$-rational maps whose automorphism groups are isomorphic to $C_2$ defined over the rational field. Assuming standard conjectures of Poonen and Manes on the period length of a periodic point under the action of a map in $S$, we give a complete description of triples $(f_1,f_2,p)$ such that $p$ is a rational periodic point for both… ▽ More Let $S$ be the collection of quadratic polynomial maps, and degree $2$-rational maps whose automorphism groups are isomorphic to $C_2$ defined over the rational field. Assuming standard conjectures of Poonen and Manes on the period length of a periodic point under the action of a map in $S$, we give a complete description of triples $(f_1,f_2,p)$ such that $p$ is a rational periodic point for both $f_i\in S$, $i=1,2$. We also show that no more than three quadratic polynomial maps can possess a common periodic point over the rational field. In addition, under these hypotheses we show that two nonzero rational numbers $a, b $ are periodic points of the map $φ_{t_1,t_2}(z)=t_1 z + t_2/z$ for infinitely many nonzero rational pairs $(t_1, t_2)$ if and only if $a^2 = b^2$. △ Less

Submitted 7 June, 2022; originally announced June 2022.

Divisibility by 2 on quartic models of elliptic curves and rational Diophantine $D(q)$-quintuples

Authors: Mohammad Sadek, Tuğba Yesin

Abstract: Let $C$ be a smooth genus one curve described by a quartic polynomial equation over the rational field $\mathbb Q$ with $P\in C(\mathbb Q)$. We give an explicit criterion for the divisibility-by-$2$ of a rational point on the elliptic curve $(C,P)$. This provides an analogue to the classical criterion of the divisibility-by-$2$ on elliptic curves described by Weierstrass equations. We employ thi… ▽ More Let $C$ be a smooth genus one curve described by a quartic polynomial equation over the rational field $\mathbb Q$ with $P\in C(\mathbb Q)$. We give an explicit criterion for the divisibility-by-$2$ of a rational point on the elliptic curve $(C,P)$. This provides an analogue to the classical criterion of the divisibility-by-$2$ on elliptic curves described by Weierstrass equations. We employ this criterion to investigate the question of extending a rational $D(q)$-quadruple to a quintuple. We give concrete examples to which we can give an affirmative answer. One of these results implies that although the rational $ D(16t+9) $-quadruple $\{t, 16t+8,2 25t+14, 36t+20 \}$ can not be extended to a polynomial $ D(16t+9) $-quintuple using a linear polynomial, there are infinitely many rational values of $t$ for which the aforementioned rational $ D(16t+9) $-quadruple can be extended to a rational $ D(16t+9) $-quintuple. Moreover, these infinitely many values of $t$ are parametrized by the rational points on a certain elliptic curve of positive Mordell-Weil rank. △ Less

Submitted 23 May, 2022; originally announced May 2022.

MSC Class: 11G05; 11D09

Moments of Gaussian hypergeometric functions over finite fields

Authors: Ankan Pal, Bidisha Roy, Mohammad Sadek

Abstract: We prove explicit formulas for certain first and second moment sums of families of Gaussian hypergeometric functions $_{n+1}F_n$, $n\ge1$, over finite fields with $q$ elements where $q$ is an odd prime. This enables us to find an estimate for the value $_6F_5(1)$. In addition, we evaluate certain second moments of traces of the family of Clausen elliptic curves in terms of the value $_3F_2(-1)$. T… ▽ More We prove explicit formulas for certain first and second moment sums of families of Gaussian hypergeometric functions $_{n+1}F_n$, $n\ge1$, over finite fields with $q$ elements where $q$ is an odd prime. This enables us to find an estimate for the value $_6F_5(1)$. In addition, we evaluate certain second moments of traces of the family of Clausen elliptic curves in terms of the value $_3F_2(-1)$. These formulas also allow us to express the product of certain $_2F_1$ and $_{n+1}F_n$ functions in terms of finite field Appell series which generalizes current formulas for products of $_2F_1$ functions. We finally give closed form expressions for sums of Gaussian hypergeometric functions defined using different multiplicative characters. △ Less

Submitted 7 February, 2022; v1 submitted 16 November, 2021; originally announced November 2021.

Genus two curves with everywhere good reduction over quadratic fields

Authors: Andrzej Dabrowski, Mohammad Sadek

Abstract: We address the question of existence of absolutely simple abelian varieties of dimension 2 with everywhere good reduction over quadratic fields. The emphasis will be given to the construction of pairs $(K,C)$, where $K$ is a quadratic number field and $C$ is a genus $2$ curve with everywhere good reduction over $K$. We provide the first infinite sequence of pairs $(K,C)$ where $K$ is a real (compl… ▽ More We address the question of existence of absolutely simple abelian varieties of dimension 2 with everywhere good reduction over quadratic fields. The emphasis will be given to the construction of pairs $(K,C)$, where $K$ is a quadratic number field and $C$ is a genus $2$ curve with everywhere good reduction over $K$. We provide the first infinite sequence of pairs $(K,C)$ where $K$ is a real (complex) quadratic field and $C$ has everywhere good reduction over $K$. Moreover, we show that the Jacobian of $C$ is an absolutely simple abelian variety. △ Less

Submitted 9 October, 2023; v1 submitted 1 September, 2021; originally announced September 2021.

Families of polynomials of every degree with no rational preperiodic points

Authors: Mohammad Sadek

Abstract: Let $K$ be a number field. Given a polynomial $f(x)\in K[x]$ of degree $d\ge 2$, it is conjectured that the number of preperiodic points of $f$ is bounded by a uniform bound that depends only on $d$ and $[K:\mathbb Q]$. However, the only examples of parametric families of polynomials with no preperiodic points are known when $d$ is divisible by either $2$ or $3$ and $K=\mathbb Q$. In this article,… ▽ More Let $K$ be a number field. Given a polynomial $f(x)\in K[x]$ of degree $d\ge 2$, it is conjectured that the number of preperiodic points of $f$ is bounded by a uniform bound that depends only on $d$ and $[K:\mathbb Q]$. However, the only examples of parametric families of polynomials with no preperiodic points are known when $d$ is divisible by either $2$ or $3$ and $K=\mathbb Q$. In this article, given any integer $d\ge 2$, we display infinitely many parametric families of polynomials of the form $f_t(x)=x^d+c(t)$, $c(t)\in K(t)$, with no rational preperiodic points for any $t\in K$. △ Less

Submitted 19 October, 2020; originally announced October 2020.

Journal ref: Comptes Rendus Mathématique. Académie des Sciences. Paris, Volume 359 (2021), Number 2, 195-197

Rational Points in Geometric Progression on the Unit Circle

Authors: Gamze Savaş Çelik, Mohammad Sadek, Gökhan Soydan

Abstract: A sequence of rational points on an algebraic planar curve is said to form an $r$-geometric progression sequence if either the abscissae or the ordinates of these points form a geometric progression sequence with ratio $r$. In this work, we prove the existence of infinitely many rational numbers $r$ such that for each $r$ there exist infinitely many $r$-geometric progression sequences on the unit… ▽ More A sequence of rational points on an algebraic planar curve is said to form an $r$-geometric progression sequence if either the abscissae or the ordinates of these points form a geometric progression sequence with ratio $r$. In this work, we prove the existence of infinitely many rational numbers $r$ such that for each $r$ there exist infinitely many $r$-geometric progression sequences on the unit circle $x^2 + y^2 = 1$ of length at least $3$. △ Less

Submitted 8 October, 2020; originally announced October 2020.

Comments: 7 pages, accepted for publication in Publicationes Mathematicae Debrecen

MSC Class: 11G05; 14G05

Genus 2 curves with bad reduction at one odd prime

Authors: Andrzej Dabrowski, Mohammad Sadek

Abstract: In this article we consider smooth projective curves $C$ of genus two described by integral equations of the form $y^2=xh(x)$, where $h(x)\in\mathbb{Z}[x]$ is monic of degree $4$. It turns out that if $h(x)$ is reducible, then the absolute discriminant of $C$ can never be an odd prime, except when $h(x)=(x-b)g(x)$ and $g(x)$ is irreducible. In this case we obtain a complete description of such gen… ▽ More In this article we consider smooth projective curves $C$ of genus two described by integral equations of the form $y^2=xh(x)$, where $h(x)\in\mathbb{Z}[x]$ is monic of degree $4$. It turns out that if $h(x)$ is reducible, then the absolute discriminant of $C$ can never be an odd prime, except when $h(x)=(x-b)g(x)$ and $g(x)$ is irreducible. In this case we obtain a complete description of such genus $2$ curves. In fact, we prove that there are two one-parameter families $C_t^i$, $i=1,2$, of such curves such that if $C$ is a genus two curve with an odd prime absolute discriminant, then $C$ is $C_t^i$, for some $i$, and $t\in\mathbb{Z}$. Moreover, we show that $C_t^i$ has an odd prime absolute discriminant, $p$, if and only if a certain degree-$4$ irreducible polynomial $f^i(t)\in\mathbb{Z}[t]$ takes the value $p$ at $t$. Hence there are conjecturally infinitely many such curves. When $h(x)$ is irreducible, we give explicit examples of one-parameter families of genus $2$ curves $C_t$ such that $C_t$ has an odd prime absolute discriminant for conjecturally infinitely many integer values $t$. △ Less

Submitted 2 August, 2023; v1 submitted 19 March, 2020; originally announced March 2020.

Comments: Comments are very welcome!

Local and global densities for Weierstrass models of elliptic curves

Authors: J. E. Cremona, M. Sadek

Abstract: We prove local results on the $p$-adic density of elliptic curves over $\mathbb{Q}_p$ with different reduction types, together with global results on densities of elliptic curves over $\mathbb{Q}$ with specified reduction types at one or more (including infinitely many) primes. These global results include: the density of integral Weierstrass equations which are minimal models of semistable ellipt… ▽ More We prove local results on the $p$-adic density of elliptic curves over $\mathbb{Q}_p$ with different reduction types, together with global results on densities of elliptic curves over $\mathbb{Q}$ with specified reduction types at one or more (including infinitely many) primes. These global results include: the density of integral Weierstrass equations which are minimal models of semistable elliptic curves over $\mathbb{Q}$ (that is, elliptic curves with square-free conductor) is $1/ζ(2)\approx60.79\%$, the same as the density of square-free integers; the density of semistable elliptic curves over $\mathbb{Q}$ is $ζ(10)/ζ(2)\approx60.85\%$; the density of integral Weierstrass equations which have square-free discriminant is $\prod_p\left(1-\frac{2}{p^2}+\frac{1}{p^3}\right) \approx 42.89\%$, which is the same (except for a different factor at the prime $2$) as the density of monic integral cubic polynomials with square-free discriminant (and agrees with a previous result of Baier and Browning for short Weierstrass equations); and the density of elliptic curves over $\mathbb{Q}$ with square-free minimal discriminant is $ζ(10)\prod_p\left(1-\frac{2}{p^2}+\frac{1}{p^3}\right)\approx42.93\%$. The local results derive from a detailed analysis of Tate's Algorithm, while the global ones are obtained through the use of the Ekedahl Sieve, as developed by Poonen, Stoll, and Bhargava. △ Less

Submitted 18 October, 2021; v1 submitted 18 March, 2020; originally announced March 2020.

Comments: 32 pages. Revised with minor corrections after refereeing; now includes SageMath Jupyter notebooks to verify some algebraic computations

MSC Class: 11G07; 11G05

Strong rational Diophantine D(q)-triples

Authors: Andrej Dujella, Matteo Paganin, Mohammad Sadek

Abstract: We show that for infinitely many square-free integers q there exist infinitely many triples of rational numbers {a, b, c} such that a^2 + q, b^2 + q, c^2 + q, ab + q, ac + q and bc + q are squares of rational numbers. We show that for infinitely many square-free integers q there exist infinitely many triples of rational numbers {a, b, c} such that a^2 + q, b^2 + q, c^2 + q, ab + q, ac + q and bc + q are squares of rational numbers. △ Less

Submitted 15 January, 2020; originally announced January 2020.

Comments: 8 pages

MSC Class: 11D09; 11G05

Journal ref: Indag. Math. (N.S.) 31 (2020), 505-511

Rational sequences on different models of elliptic curves

Authors: Gamze Savaş ÇELİK, Mohammad Sadek, Gökhan Soydan

Abstract: Given a set $S$ of elements in a number field $k$, we discuss the existence of planar algebraic curves over $k$ which possess rational points whose $x$-coordinates are exactly the elements of $S$. If the size $|S|$ of $S$ is either $4,5$, or $6$, we exhibit infinite families of (twisted) Edwards curves and (general) Huff curves for which the elements of $S$ are realized as the $x$-coordinates of r… ▽ More Given a set $S$ of elements in a number field $k$, we discuss the existence of planar algebraic curves over $k$ which possess rational points whose $x$-coordinates are exactly the elements of $S$. If the size $|S|$ of $S$ is either $4,5$, or $6$, we exhibit infinite families of (twisted) Edwards curves and (general) Huff curves for which the elements of $S$ are realized as the $x$-coordinates of rational points on these curves. This generalizes earlier work on progressions of certain types on some algebraic curves. △ Less

Submitted 17 March, 2019; originally announced March 2019.

Comments: 9 pages, accepted for publication

MSC Class: 11D25; 11G05; 14G05

Journal ref: Glasnik Matematicki, Volume 54, Number 1 (2019), 53-64

On quadratic progression sequences on smooth plane curves

Authors: Eslam Badr, Mohammad Sadek

Abstract: We study the arithmetic (geometric) progressions in the $x$-coordinates of quadratic points on smooth projective planar curves defined over a number field $k$. Unless the curve is hyperelliptic, we prove that these progressions must be finite. We, moreover, show that the arithmetic gonality of the curve determines the infinitude of these progressions in the set of $\overline{k}$-points with field… ▽ More We study the arithmetic (geometric) progressions in the $x$-coordinates of quadratic points on smooth projective planar curves defined over a number field $k$. Unless the curve is hyperelliptic, we prove that these progressions must be finite. We, moreover, show that the arithmetic gonality of the curve determines the infinitude of these progressions in the set of $\overline{k}$-points with field of definition of degree at most $n$, $n\ge 3$. △ Less

Submitted 24 February, 2019; originally announced February 2019.

Journal ref: Journal of Number Theory, Volume 213 (2020), 445--452

Evaluation of Gaussian hypergeometric series using Huff's models of elliptic curves

Authors: Mohammad Sadek, Nermine El-Sissi, Arman Shamsi Zargar, Naser Zamani

Abstract: A Huff curve over a field $K$ is an elliptic curve defined by the equation $ax(y^2-1)=by(x^2-1)$ where $a,b\in K$ are such that $a^2\ne b^2$. In a similar fashion, a general Huff curve over $K$ is described by the equation $x(ay^2-1)=y(bx^2-1)$ where $a,b\in K$ are such that $ab(a-b)\ne 0$. In this note we express the number of rational points on these curves over a finite field $\mathbb{F}_q$ of… ▽ More A Huff curve over a field $K$ is an elliptic curve defined by the equation $ax(y^2-1)=by(x^2-1)$ where $a,b\in K$ are such that $a^2\ne b^2$. In a similar fashion, a general Huff curve over $K$ is described by the equation $x(ay^2-1)=y(bx^2-1)$ where $a,b\in K$ are such that $ab(a-b)\ne 0$. In this note we express the number of rational points on these curves over a finite field $\mathbb{F}_q$ of odd characteristic in terms of Gaussian hypergeometric series $\displaystyle {_2F_1}(λ):={_2F_1}\left(\begin{matrix} φ&φ& ε\end{matrix}\Big| λ\right)$ where $φ$ and $ε$ are the quadratic and trivial characters over $\mathbb{F}_q$, respectively. Consequently, we exhibit the number of rational points on the elliptic curves $y^2=x(x+a)(x+b)$ over $\mathbb{F}_q$ in terms of ${_2F_1}(λ)$. This generalizes earlier known formulas for Legendre, Clausen and Edwards curves. Furthermore, using these expressions we display several transformations of ${_2F_1}$. Finally, we present the exact value of $_2F_1(λ)$ for different $λ$'s over a prime field $\mathbb{F}_p$ extending previous results of Greene and Ono. △ Less

Submitted 22 May, 2018; originally announced May 2018.

Journal ref: The Ramanujan Journal, Volume 48, Number 2 (2019), 357--368

On rational periodic points of $x^d+c$

Authors: Mohammad Sadek

Abstract: We consider the polynomials $\displaystyle f(x)=x^d+c$, where $d\ge 2$ and $c\in\mathbb Q$. It is conjectured that if $d=2$, then $f$ has no rational periodic point of exact period $N\ge 4$. In this note, fixing some integer $d\ge 2$, we show that the density of such polynomials with a rational periodic point of any period among all polynomials $f(x)=x^d+c$, $c\in\Q$, is zero. Furthermore, we esta… ▽ More We consider the polynomials $\displaystyle f(x)=x^d+c$, where $d\ge 2$ and $c\in\mathbb Q$. It is conjectured that if $d=2$, then $f$ has no rational periodic point of exact period $N\ge 4$. In this note, fixing some integer $d\ge 2$, we show that the density of such polynomials with a rational periodic point of any period among all polynomials $f(x)=x^d+c$, $c\in\Q$, is zero. Furthermore, we establish the connection between polynomials $f$ with periodic points and two arithmetic sequences. This yields necessary conditions that must be satisfied by $c$ and $d$ in order for the polynomial $f$ to possess a rational periodic point of exact period $N$, and a lower bound on the number of primitive prime divisors in the critical orbit of $f$ when such a rational periodic point exists. The note also introduces new results on the irreducibility of iterates of $f$. △ Less

Submitted 25 April, 2018; originally announced April 2018.

Comments: Comments and suggestions are very welcome

Sequences of consecutive squares on quartic elliptic curves

Authors: Mohammad Sadek, Mohamed Kamel

Abstract: Let $C: y^2=ax^4+bx^2+c$, be an elliptic curve defined over $\mathbb Q$. A set of rational points $(x_i,y_i) \in C(\mathbb Q)$, $i=1,2,\cdots,$ is said to be a sequence of consecutive squares if $x_i= (u + i)^2$, $i=1,2,\cdots$, for some $u\in \mathbb Q$. Using ideas of Mestre, we construct infinitely many elliptic curves $C$ with sequences of consecutive squares of length at least $6$. It turns o… ▽ More Let $C: y^2=ax^4+bx^2+c$, be an elliptic curve defined over $\mathbb Q$. A set of rational points $(x_i,y_i) \in C(\mathbb Q)$, $i=1,2,\cdots,$ is said to be a sequence of consecutive squares if $x_i= (u + i)^2$, $i=1,2,\cdots$, for some $u\in \mathbb Q$. Using ideas of Mestre, we construct infinitely many elliptic curves $C$ with sequences of consecutive squares of length at least $6$. It turns out that these 6 rational points are independent. We then strengthen this result by proving that for a fixed $6$-term sequence of consecutive squares, there are infinitely many elliptic curves $C$ with the latter sequence forming the $x$-coordinates of six rational points in $C(\mathbb Q)$. △ Less

Submitted 6 March, 2018; originally announced March 2018.

Journal ref: Functiones et Approximatio Commentarii Mathematici, Volume 60, Number 2 (2019), 245--252

On large $F$-Diophantine sets

Authors: Mohammad Sadek, Nermine El-Sissi

Abstract: Let $F\in\mathbb{Z}[x,y]$ and $m\ge2$ be an integer. A set $A\subset \mathbb{Z}$ is called an $(F,m)$-Diophantine set if $F(a,b)$ is a perfect $m$-power for any $a,b\in A$ where $a\ne b$. If $F$ is a bivariate polynomial for which there exist infinite $(F,m)$-Diophantine sets, then there is a complete qualitative characterization of all such polynomials $F$. Otherwise, various finiteness results a… ▽ More Let $F\in\mathbb{Z}[x,y]$ and $m\ge2$ be an integer. A set $A\subset \mathbb{Z}$ is called an $(F,m)$-Diophantine set if $F(a,b)$ is a perfect $m$-power for any $a,b\in A$ where $a\ne b$. If $F$ is a bivariate polynomial for which there exist infinite $(F,m)$-Diophantine sets, then there is a complete qualitative characterization of all such polynomials $F$. Otherwise, various finiteness results are known. We prove that given a finite set of distinct integers $ S$ of size $n$, there are infinitely many bivariate polynomials $F$ such that $ S$ is an $(F,2)$-Diophantine set. In addition, we show that the degree of $F$ can be as small as $\displaystyle 4\lfloor n/3\rfloor$. △ Less

Submitted 28 August, 2017; originally announced August 2017.

Journal ref: Monatshefte für Mathematik, Volume 186, number 4 (2018), 703-710

Counting elliptic curves with bad reduction over a prescribed set of primes

Authors: Mohammad Sadek

Abstract: Let $p\ge5$ be a prime and $T$ a Kodaira type of the special fiber of an elliptic curve. We estimate the number of elliptic curves over $\mathbb Q$ up to height $X$ with Kodaira type $T$ at $p$. This enables us find the proportion of elliptic curves over $\mathbb Q$, when ordered by height, with Kodaira type $T$ at a prime $p\ge5$ inside the set of all elliptic curves. This proportion is a rationa… ▽ More Let $p\ge5$ be a prime and $T$ a Kodaira type of the special fiber of an elliptic curve. We estimate the number of elliptic curves over $\mathbb Q$ up to height $X$ with Kodaira type $T$ at $p$. This enables us find the proportion of elliptic curves over $\mathbb Q$, when ordered by height, with Kodaira type $T$ at a prime $p\ge5$ inside the set of all elliptic curves. This proportion is a rational function in $p$. For instance, we show that $\displaystyle\frac{p^8(p-1)}{p^9-1}$ of all elliptic curves with bad reduction at $p$ are of multiplicative reduction. Furthermore, we prove that the prime-to-$6$ part of the conductors of a majority ($=ζ(10)/ζ(2)\approx 0.6$) of elliptic curves are squarefree, where $ζ$ is the Riemann-zeta function. △ Less

Submitted 23 March, 2020; v1 submitted 6 April, 2017; originally announced April 2017.

Comments: This paper is superceded by a newer paper, entitled "Local and global densities for Weierstrass models of elliptic curves" arXiv:2003.08454 (by J. E. Cremona and M. Sadek)

On rational triangles via algebraic curves

Authors: Mohammad Sadek, Farida shahata

Abstract: A rational triangle is a triangle with rational side lengths. We consider three different families of rational triangles having a fixed side and whose vertices are rational points in the plane. We display a one-to-one correspondence between each family and the set of rational points of an algebraic curve. These algebraic curves are: a curve of genus 0, an elliptic curve, and a genus 3 curve. We st… ▽ More A rational triangle is a triangle with rational side lengths. We consider three different families of rational triangles having a fixed side and whose vertices are rational points in the plane. We display a one-to-one correspondence between each family and the set of rational points of an algebraic curve. These algebraic curves are: a curve of genus 0, an elliptic curve, and a genus 3 curve. We study the set of rational points on each of these curves and describe some of its rational points explicitly. △ Less

Submitted 25 October, 2016; originally announced October 2016.

Journal ref: Rocky Mountain Journal of Mathematics, Volume 48, Number 1 (2018), 325-343

High rank quadratic twists of pairs of elliptic curves

Authors: Mohammad Sadek, Mohamed Alaa

Abstract: Given a pair of elliptic curves $E_1$ and $E_2$ over the rational field $\mathbb Q$ whose $j$-invariants are not simultaneously 0 or 1728, Kuwata and Wang proved the existence of infinitely many square-free rationals $d$ such that the $d$-quadratic twists of $E_1$ and $E_2$ are both of positive rank. We construct infinite families of pairs of elliptic curves $E_1$ and $E_2$ over $\mathbb Q$ such t… ▽ More Given a pair of elliptic curves $E_1$ and $E_2$ over the rational field $\mathbb Q$ whose $j$-invariants are not simultaneously 0 or 1728, Kuwata and Wang proved the existence of infinitely many square-free rationals $d$ such that the $d$-quadratic twists of $E_1$ and $E_2$ are both of positive rank. We construct infinite families of pairs of elliptic curves $E_1$ and $E_2$ over $\mathbb Q$ such that for each pair there exist infinitely many square-free rationals $d$ for which the $d$-quadratic twists of $E_1$ and $E_2$ are both of rank at least 2. △ Less

Submitted 25 October, 2016; originally announced October 2016.

Journal ref: Journal of Number Theory, Volume 174 (2017), 436--444

On dependence of rational points on elliptic curves

Authors: Mohammad Sadek

Abstract: Let $E$ be an elliptic curve defined over $\mathbb Q$. Let $Γ$ be a subgroup of $E(\mathbb Q)$ and $P\in E(\mathbb Q)$. In [1], it was proved that if $E$ has no nontrivial rational torsion points, then $P\inΓ$ if and only if $P\in Γ$ mod $p$ for finitely many primes $p$. In this note, assuming the General Riemann Hypothesis, we provide an explicit upper bound on these primes when $E$ does not have… ▽ More Let $E$ be an elliptic curve defined over $\mathbb Q$. Let $Γ$ be a subgroup of $E(\mathbb Q)$ and $P\in E(\mathbb Q)$. In [1], it was proved that if $E$ has no nontrivial rational torsion points, then $P\inΓ$ if and only if $P\in Γ$ mod $p$ for finitely many primes $p$. In this note, assuming the General Riemann Hypothesis, we provide an explicit upper bound on these primes when $E$ does not have complex multiplication and either $E$ is a semistable curve or $E$ has no exceptional prime. △ Less

Submitted 10 May, 2016; originally announced May 2016.

Journal ref: C. R. Math. Rep. Acad. Sci. Canada, Volume 38, Number 2 (2016), 75-84

On sequences of consecutive squares on elliptic curves

Authors: Mohamed Kamel, Mohammad Sadek

Abstract: Let $C$ be an elliptic curve defined over $\mathbb Q$ by the equation $y^2=x^3+Ax+B$ where $A,B\in\mathbb Q$. A sequence of rational points $(x_i,y_i)\in C(\mathbb Q),\,i=1,2,\ldots,$ is said to form a sequence of consecutive squares on $C$ if the sequence of $x$-coordinates, $x_i,i=1,2,\ldots$, consists of consecutive squares. We produce an infinite family of elliptic curves $C$ with a $5$-term s… ▽ More Let $C$ be an elliptic curve defined over $\mathbb Q$ by the equation $y^2=x^3+Ax+B$ where $A,B\in\mathbb Q$. A sequence of rational points $(x_i,y_i)\in C(\mathbb Q),\,i=1,2,\ldots,$ is said to form a sequence of consecutive squares on $C$ if the sequence of $x$-coordinates, $x_i,i=1,2,\ldots$, consists of consecutive squares. We produce an infinite family of elliptic curves $C$ with a $5$-term sequence of consecutive squares. Furthermore, this sequence consists of five independent rational points in $C(\mathbb Q)$. In particular, the rank $r$ of $C(\mathbb Q)$ satisfies $r\ge 5$. △ Less

Submitted 18 February, 2016; originally announced February 2016.

Journal ref: Glasnik Matematicki Series III, Volume 52, Number 1 (2017), 45--52

On geometric progressions on hyperelliptic curves

Authors: Mohamed Alaa, Mohammad Sadek

Abstract: Let $C$ be a hyperelliptic curve over $\mathbb Q$ described by $y^2=a_0x^n+a_1x^{n-1}+\ldots+a_n$, $a_i\in\mathbb Q$. The points $P_{i}=(x_{i},y_{i})\in C(\mathbb{Q})$, $i=1,2,...,k,$ are said to be in a geometric progression of length $k$ if the rational numbers $x_{i}$, $i=1,2,...,k,$ form a geometric progression sequence in $\mathbb Q$, i.e., $x_i=pt^{i}$ for some $p,t\in\mathbb Q$. In this pap… ▽ More Let $C$ be a hyperelliptic curve over $\mathbb Q$ described by $y^2=a_0x^n+a_1x^{n-1}+\ldots+a_n$, $a_i\in\mathbb Q$. The points $P_{i}=(x_{i},y_{i})\in C(\mathbb{Q})$, $i=1,2,...,k,$ are said to be in a geometric progression of length $k$ if the rational numbers $x_{i}$, $i=1,2,...,k,$ form a geometric progression sequence in $\mathbb Q$, i.e., $x_i=pt^{i}$ for some $p,t\in\mathbb Q$. In this paper we prove the existence of an infinite family of hyperelliptic curves on which there is a sequence of rational points in a geometric progression of length at least eight. △ Less

Submitted 18 February, 2016; originally announced February 2016.

Journal ref: Journal of Integer Sequences, Volume 19 (2016), Article 16.6.3

Minimal regular models of quadratic twists of genus two curves

Authors: Mohammad Sadek

Abstract: Let $K$ be a complete discrete valuation field with ring of integers $R$ and residue field $k$ of characteristic $p>2$. We assume moreover that $k$ is algebraically closed. Let $C$ be a smooth projective geometrically connected curve of genus $2$. If $K(\sqrt{D})/K$ is a quadratic field extension of $K$ with associated character $χ$, then $C^χ$ will denote the quadratic twist of $C$ by $χ$. Given… ▽ More Let $K$ be a complete discrete valuation field with ring of integers $R$ and residue field $k$ of characteristic $p>2$. We assume moreover that $k$ is algebraically closed. Let $C$ be a smooth projective geometrically connected curve of genus $2$. If $K(\sqrt{D})/K$ is a quadratic field extension of $K$ with associated character $χ$, then $C^χ$ will denote the quadratic twist of $C$ by $χ$. Given the minimal regular model $\mathcal X$ of $C$ over $R$, we determine the minimal regular model of the quadratic twist $C^χ$. This is accomplished by obtaining the stable model $\mathcal{C}^χ$ of $C^χ$ from the stable model $\mathcal{C}$ of $C$ via analyzing the Igusa and affine invariants of the curves $C$ and $C^χ$, and calculating the degrees of singularity of the singular points of $\mathcal{C}^χ$. △ Less

Submitted 15 December, 2017; v1 submitted 7 November, 2015; originally announced November 2015.

Journal ref: Acta Arithmetica, Volume 183, Number 4 (2018), 317--337

Character Sums, Gaussian Hypergeometric Series, and a Family of Hyperelliptic Curves

Authors: Mohammad Sadek

Abstract: We study the character sums \[φ_{(m,n)}(a,b)=\sum_{x\in\mathbb{F}_q}φ\left(x(x^{m}+a)(x^{n}+b)\right),\textrm{ and, } ψ_{(m,n)}(a,b)=\sum_{x\in\mathbb{F}_q}φ\left((x^{m}+a)(x^{n}+b)\right)\] where $φ$ is the quadratic character defined over $\mathbb{F}_q$. These sums are expressed in terms of Gaussian hypergeometric series over $\mathbb{F}_q$. Then we use these expressions to exhibit the number of… ▽ More We study the character sums \[φ_{(m,n)}(a,b)=\sum_{x\in\mathbb{F}_q}φ\left(x(x^{m}+a)(x^{n}+b)\right),\textrm{ and, } ψ_{(m,n)}(a,b)=\sum_{x\in\mathbb{F}_q}φ\left((x^{m}+a)(x^{n}+b)\right)\] where $φ$ is the quadratic character defined over $\mathbb{F}_q$. These sums are expressed in terms of Gaussian hypergeometric series over $\mathbb{F}_q$. Then we use these expressions to exhibit the number of $\mathbb{F}_q$-rational points on families of hyperelliptic curves and their Jacobian varieties. △ Less

Submitted 8 December, 2015; v1 submitted 3 July, 2015; originally announced July 2015.

Journal ref: Int. J. Number Theory 12 (2016), no. 8, 2173-2187

New hypergeometric connection formulae between Fibonacci and Chebyshev polynomials

Authors: W. M. Abd-Elhameed, Y. H. Youssri, N. El-Sissi, M. Sadek

Abstract: We establish new connection formulae between Fibonacci polynomials and Chebyshev polynomials of the first and second kinds. These formulae are expressed in terms of certain values of hypergeometric functions of the type 2F1. Consequently, we obtain some new expressions for the celebrated Fibonacci numbers and their derivatives sequences. Moreover, we evaluate some definite integrals involving prod… ▽ More We establish new connection formulae between Fibonacci polynomials and Chebyshev polynomials of the first and second kinds. These formulae are expressed in terms of certain values of hypergeometric functions of the type 2F1. Consequently, we obtain some new expressions for the celebrated Fibonacci numbers and their derivatives sequences. Moreover, we evaluate some definite integrals involving products of Fibonacci and Chebyshev polynomials. △ Less

Submitted 25 May, 2015; originally announced May 2015.

Journal ref: The Ramanujan Journal, Volume 42, Number 2 (2017), 347-361

Edwards Curves and Gaussian Hypergeometric Series

Authors: Mohammad Sadek, Nermine El-Sissi

Abstract: Let $E$ be an elliptic curve described by either an Edwards model or a twisted Edwards model over $\mathbb{F}_p$, namely, $E$ is defined by one of the following equations $x^2+y^2=a^2(1+x^2y^2),\, a^5-a\not\equiv 0$ mod $p$, or, $ax^2+y^2=1+dx^2y^2,\,ad(a-d)\not\equiv0$ mod $p$, respectively. We express the number of rational points of $E$ over $\mathbb{F}_p$ using the Gaussian hypergeometric seri… ▽ More Let $E$ be an elliptic curve described by either an Edwards model or a twisted Edwards model over $\mathbb{F}_p$, namely, $E$ is defined by one of the following equations $x^2+y^2=a^2(1+x^2y^2),\, a^5-a\not\equiv 0$ mod $p$, or, $ax^2+y^2=1+dx^2y^2,\,ad(a-d)\not\equiv0$ mod $p$, respectively. We express the number of rational points of $E$ over $\mathbb{F}_p$ using the Gaussian hypergeometric series $\displaystyle {_2F_1}\left(\begin{matrix} φ&φ {} & ε \end{matrix}\Big| x\right)$ where $ε$ and $φ$ are the trivial and quadratic characters over $\mathbb{F}_p$ respectively. This enables us to evaluate $|E(\mathbb{F}_p)|$ for some elliptic curves $E$, and prove the existence of isogenies between $E$ and Legendre elliptic curves over $\mathbb{F}_p$. △ Less

Submitted 14 January, 2015; originally announced January 2015.

Journal ref: Journal de théorie des nombres de Bordeaux, 28 no. 1 (2016), p. 115-124

Periodic continued fractions and elliptic curves over quadratic fields

Authors: Mohammad Sadek

Abstract: Let $f(x)$ be a square free quartic polynomial defined over a quadratic field $K$ such that its leading coefficient is a square. If the continued fraction expansion of $\displaystyle \sqrt{f(x)}$ is periodic, then its period $n$ lies in the set \[\{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,17,18,22,26,30,34\}.\] We write explicitly all such polynomials for which the period $n$ occurs over $K$ but not ov… ▽ More Let $f(x)$ be a square free quartic polynomial defined over a quadratic field $K$ such that its leading coefficient is a square. If the continued fraction expansion of $\displaystyle \sqrt{f(x)}$ is periodic, then its period $n$ lies in the set \[\{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,17,18,22,26,30,34\}.\] We write explicitly all such polynomials for which the period $n$ occurs over $K$ but not over $\Q$ and $\displaystyle n\not\in\{ 13,15,17\}$. Moreover we give necessary and sufficient conditions for the existence of such continued fraction expansions with period $13, 15$ or $17$ over $K$. △ Less

Submitted 25 November, 2014; v1 submitted 22 November, 2014; originally announced November 2014.

Comments: Comments are welcome

Journal ref: Journal of Symbolic Computation, Volume 76 (2016), 200-218

On genus one curves of degree 5 with square-free discriminant

Authors: Tom Fisher, Mohammad Sadek

Abstract: We study genus one curves of degree 5 defined by Pfaffians. We give new formulae for the invariants, and prove the equivalence of two different definitions of minimality. As an application we show that transformations between models with square-free discriminant are necessarily integral. This result is used by Bhargava and Shankar in their work on the average ranks of elliptic curves. We study genus one curves of degree 5 defined by Pfaffians. We give new formulae for the invariants, and prove the equivalence of two different definitions of minimality. As an application we show that transformations between models with square-free discriminant are necessarily integral. This result is used by Bhargava and Shankar in their work on the average ranks of elliptic curves. △ Less

Submitted 26 June, 2014; originally announced June 2014.

Comments: 25 pages

MSC Class: 11G07; 11G05; 14H25

Journal ref: Journal of the Ramanujan Mathematical Society, Volume 31, Number 4 (2016), 359--383

Formal Groups and Invariant Differentials of Elliptic Curves

Authors: Mohammad Sadek

Abstract: In this paper, we find a power series expansion of the invariant differential $ω_E$ of an elliptic curve $E$ defined over $\mathbb{Q}$, where $E$ is described by certain families of Weierstrass equations. In addition, we introduce several congruence relations satisfied by the trace of the Frobenius endomorphism of $E$. In this paper, we find a power series expansion of the invariant differential $ω_E$ of an elliptic curve $E$ defined over $\mathbb{Q}$, where $E$ is described by certain families of Weierstrass equations. In addition, we introduce several congruence relations satisfied by the trace of the Frobenius endomorphism of $E$. △ Less

Submitted 14 March, 2015; v1 submitted 26 March, 2013; originally announced March 2013.

Comments: 10 pages

Journal ref: Bulletin of the Australian Mathematical Society 92 (2015) 44-51

Partitions with equal products and elliptic curves

Authors: Mohammad Sadek, Nermine El-Sissi

Abstract: Let $a,b,c$ be distinct positive integers. Set $M=a+b+c$ and $N=abc$. We give an explicit description of the Mordell-Weil group of the elliptic curve $\displaystyle E_{(M,N)}:y^2-Mxy-Ny=x^3$ over $\Q$. In particular we determine the torsion subgroup of $E_{(M,N)}(\Q)$ and show that its rank is positive. Furthermore there are infinitely many positive integers $M$ that can be written in $n$ differen… ▽ More Let $a,b,c$ be distinct positive integers. Set $M=a+b+c$ and $N=abc$. We give an explicit description of the Mordell-Weil group of the elliptic curve $\displaystyle E_{(M,N)}:y^2-Mxy-Ny=x^3$ over $\Q$. In particular we determine the torsion subgroup of $E_{(M,N)}(\Q)$ and show that its rank is positive. Furthermore there are infinitely many positive integers $M$ that can be written in $n$ different ways, $n\in\{2,3\}$, as the sum of three distinct positive integers with the same product $N$ and $E_{(M,N)}(\Q)$ has rank at least $n$. △ Less

Submitted 5 April, 2013; v1 submitted 26 March, 2013; originally announced March 2013.

Comments: 10 pages

Journal ref: Osaka J. Math., Volume 52, Number 2, 2015, 515-525

On elliptic curves whose conductor is a product of two prime powers

Authors: Mohammad Sadek

Abstract: We find all elliptic curves defined over $\mathbb{Q}$ that have a rational point of order $N$, $N\ge 4$, and whose conductor is of the form $p^aq^b$, where p, q are two distinct primes, a, b are two positive integers. In particular, we prove that Szpiro's conjecture holds for these elliptic curves. We find all elliptic curves defined over $\mathbb{Q}$ that have a rational point of order $N$, $N\ge 4$, and whose conductor is of the form $p^aq^b$, where p, q are two distinct primes, a, b are two positive integers. In particular, we prove that Szpiro's conjecture holds for these elliptic curves. △ Less

Submitted 14 October, 2012; v1 submitted 16 June, 2012; originally announced June 2012.

Comments: 18 pages

Journal ref: Math. Comp. 83 (2014), 447-460

On the Diophantine equation cy^l=(x^p-1)/(x-1)

Authors: Mohammad Sadek

Abstract: Let p, c be distinct odd primes, and l \ge 2 an integer. We find sufficient conditions for the Diophantine equation cy^l=(x^p-1)/(x-1) not to have integer solutions Let p, c be distinct odd primes, and l \ge 2 an integer. We find sufficient conditions for the Diophantine equation cy^l=(x^p-1)/(x-1) not to have integer solutions △ Less

Submitted 3 June, 2012; originally announced June 2012.

Comments: 7 pages

Journal ref: Publ. Math. Debrecen, 2013, volume 82, Number 2, pp. 373-378

Visualizing elements of order four in the Shafarevich-Tate group of an elliptic curve

Authors: Mohammad Sadek

Abstract: Let E be an elliptic curve defined over a number field K. Let h be an element of order 4 in the Shafarevich-Tate group of E. We prove that h is visible in infinitely many abelian surfaces up to isomorphism. This is to say that there are infinitely many abelian surfaces J such that E\hookrightarrow J and h lies in the kernel of the natural map H^1(K,E)\rightarrow H^1(K,J). Let E be an elliptic curve defined over a number field K. Let h be an element of order 4 in the Shafarevich-Tate group of E. We prove that h is visible in infinitely many abelian surfaces up to isomorphism. This is to say that there are infinitely many abelian surfaces J such that E\hookrightarrow J and h lies in the kernel of the natural map H^1(K,E)\rightarrow H^1(K,J). △ Less

Submitted 1 March, 2011; v1 submitted 15 February, 2011; originally announced February 2011.

Comments: This paper has been drawn by the author due to an error in the proof of Theorem 4.1

On Quadratic Twists of Hyperelliptic Curves

Authors: Mohammad Sadek

Abstract: Let C be a hyperelliptic curve of good reduction defined over a discrete valuation field K with algebraically closed residue field k. Assume moreover that char k \ne 2. Given d \in K^*\K^*2, we introduce an explicit description of the minimal regular model of the quadratic twist of C by d. As an application, we show that if C/Q is a nonsingular hyperelliptic curve given by y^2 = f(x) with f an irr… ▽ More Let C be a hyperelliptic curve of good reduction defined over a discrete valuation field K with algebraically closed residue field k. Assume moreover that char k \ne 2. Given d \in K^*\K^*2, we introduce an explicit description of the minimal regular model of the quadratic twist of C by d. As an application, we show that if C/Q is a nonsingular hyperelliptic curve given by y^2 = f(x) with f an irreducible polynomial, there exists a positive density family of prime quadratic twists of C which are not everywhere locally soluble. △ Less

Submitted 3 June, 2012; v1 submitted 4 October, 2010; originally announced October 2010.

Comments: 10 pages

Journal ref: Rocky Mountain Journal of Mathematics, Volume 44, Number 3, (2014), 1015-1026

Counting Models of Genus One Curves

Authors: Mohammad Sadek

Abstract: Let C be a soluble smooth genus one curve over a Henselian discrete valuation field. There is a unique minimal Weierstrass equation defining C up to isomorphism. In this paper we consider genus one equations of degree n defining C, namely a (generalised) binary quartic when n = 2, a ternary cubic when n = 3, and a pair of quaternary quadrics when n = 4. In general, minimal genus one equations of… ▽ More Let C be a soluble smooth genus one curve over a Henselian discrete valuation field. There is a unique minimal Weierstrass equation defining C up to isomorphism. In this paper we consider genus one equations of degree n defining C, namely a (generalised) binary quartic when n = 2, a ternary cubic when n = 3, and a pair of quaternary quadrics when n = 4. In general, minimal genus one equations of degree n are not unique up to isomorphism. We explain how the number of minimal genus one equations of degree n varies according to the Kodaira symbol of the Jacobian of C. Then we count these equations up to isomorphism over a number field of class number 1. △ Less

Submitted 2 February, 2010; originally announced February 2010.

Comments: 22 pages

Journal ref: Mathematical Proceedings of the Cambridge Philosophical Society, 2011, volume 150, issue 03, pp. 399-417

Minimal Genus One Curves

Authors: Mohammad Sadek

Abstract: In this paper we consider genus one equations of degree n, namely a (generalised) binary quartic when n = 2, a ternary cubic when n = 3, and a pair of quaternary quadrics when n = 4. A new definition for the minimality of genus one equations of degree n is introduced. The advantage of this definition is that it does not depend on invariant theory of genus one curves. We prove that this definitio… ▽ More In this paper we consider genus one equations of degree n, namely a (generalised) binary quartic when n = 2, a ternary cubic when n = 3, and a pair of quaternary quadrics when n = 4. A new definition for the minimality of genus one equations of degree n is introduced. The advantage of this definition is that it does not depend on invariant theory of genus one curves. We prove that this definition coincides with the classical definition of minimality when n <= 4. As an application, we give a new proof for the existence of global minimal genus one equations over number fields of class number 1. △ Less

Submitted 2 February, 2010; originally announced February 2010.

Comments: 16 pages, 1 table

Journal ref: Funct. Approx. Comment. Math. Volume 46, Number 1 (2012), 117-131