Let $p$ be a prime integer, $\mathbb{Z}_p$ the finite field of order $p$ and $\mathbb{Z}^{*}_{p}$ is its multiplicative cyclic group. We consider the Diophantine equation $x^n + y^n = z^n$ with $1 \leq n \leq \frac{p - 1}{2}$. Our main aim in this paper is to give optimal conditions or relationships between the exponent $n$ and the prime $p$ to determine the existence of nontrivial solutions of the diophantine equation $x^n + y^n = z^n$ with $1 \leq n \leq p -1 $, in finite fields $\mathbb{Z}_p$.
For an element $r$ of a ring $R$, a Diophantine $D(r)$ $m$-tuple is an $m$-tuple $(a_1,a_2,\ldots,a_m)$ of elements of $R$ such that for all $i,j$ with $i\neq j$, $a_ia_j+r$ is a perfect square in $R$. In this article, we compute and estimate the measures of the sets of $D(r)$ $m$-tuples in the ring $\mathbb{Z}_p$ of $p$-adic integers, as well as its residue field $\mathbb{F}_p$.
Assume a polynomial-time algorithm for factoring integers, Conjecture~\ref{conj}, $d\geq 3,$ and $q$ and $p$ are prime numbers, where $p\leq q^A$ for some $A>0$. We develop a polynomial-time algorithm in $\log(q)$ that lifts every $\mathbb{Z}/q\mathbb{Z}$ point of $S^{d-2}\subset S^{d}$ to a $\mathbb{Z}[1/p]$ point of $S^d$ with the minimum height. We implement our algorithm for $d=3 \text{ and }4$. Based on our numerical results, we formulate a conjecture which can be checked in polynomial-time and gives the optimal bound on the diophantine exponent of the $\mathbb{Z}/q\mathbb{Z}$ points of $…
In this paper, we consider elliptic curves induced by rational Diophantine quadruples, i.e. sets of four nonzero rationals such that the product of any two of them plus 1 is a perfect square. We show that for each of the groups $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/k\mathbb{Z}$ for $k = 2, 4, 6, 8$, there are infinitely many rational Diophantine quadruples with the property that the induced elliptic curve has this torsion group. We also construct curves with moderately large rank in each of these four cases.
For a prime p, a Diophantine m-tuple in $\mathbb{F}_p$ is a set of m nonzero elements of $\mathbb{F}_p$ with the property that the product of any two of its distinct elements is one less than a square. In this paper, we present formulas for the number $N^{(m)}(p)$ of Diophantine m-tuples in $\mathbb{F}_p$ for m=2,3 and 4. Fourier coefficients of certain modular forms appear in the formula for the number of Diophantine quadruples. We prove that asymptotically $N^{(m)}(p)=\frac{1}{2^{m \choose 2 }}\frac{p^m}{m!} + o(p^m)$, and also show that if $p>2^{2m-2}m^2$, then there is at least one Diophan…
We prove a sharp analogue of Minkowski's inhomogeneous approximation theorem over fields of power series $\mathbb{F}_q((T^{-1}))$. Furthermore, we study the approximation to a given point $\underline{y}$ in $\mathbb{F}_q((T^{-1}))^2$ by the $SL_2(\mathbb{F}_q[T])$-orbit of a given point $\underline{x}$ in $\mathbb{F}_q((T^{-1}))^2$.
It is an old problem in the area of Diophantine definability to determine whether $\mathbb{Q}$ is Diophantine in $\mathbb{Q}(z)$. We provide a positive answer conditional on two standard conjectures on elliptic surfaces.
In the article [PV] a general procedure to study solutions of the equations $x^4-dy^2=z^p$ was presented for negative values of $d$. The purpose of the resent article is to extend our previous results to positive values of $d$. On doing so, we give a description of the extension $\mathbb{Q}(\sqrt{d},\sqrtε)/\mathbb{Q}(\sqrt{d})$ (where $ε$ is a fundamental unit) needed to prove the existence of a Hecke character over $\mathbb{Q}(\sqrt{d})$ with prescribed local conditions. We also extend some "large image" results due to Ellenberg regarding images of Galois representations coming from $\mathbb…
In this paper we obtain three undecidable results for exponential diophantine equations over the field $\mathbb Q$ of rational numbers. For example, we prove that there is no algorithm to decide the solvability of a general exponential diophantine equation $F(x_1,\ldots,x_{8})=0$ over $\mathbb Q$ with eight unknowns.
In this paper, we define a $k$-Diophantine $m$-tuple to be a set of $m$ positive integers such that the product of any $k$ distinct positive integers is one less than a perfect square. We study these sets in finite fields $\mathbb{F}_p$ for odd prime $p$ and guarantee the existence of a $k$-Diophantine m-tuple provided $p$ is larger than some explicit lower bound. We also give a formula for the number of 3-Diophantine triples in $\mathbb{F}_p$ as well as an asymptotic formula for the number of $k$-Diophantine $k$-tuples.
We prove that for every integer $n$, there exist infinitely many $D(n)$-triples which are also $D(t)$-triples for $t\in\mathbb{Z}$ with $n\ne t$. We also prove that there are infinitely many triples with the property $D(-1)$ in $\mathbb{Z}[i]$ which are also $D(n)$-triple in $\mathbb{Z}[i]$ for two distinct $n$'s other than $n = -1$ and these triples are not equivalent to any triple with the property $D(1)$.
Let $\mathbb{Z}^{ab}$ be the ring of integers of $\mathbb{Q}^{ab}$, the maximal abelian extension of $\mathbb{Q}$. We show that there exists an algorithm to decide whether a system of equations and inequations, with integer coefficients, has a solution in $\mathbb{Z}^{ab}$ modulo every rational prime.
In this paper we show that there is no algorithm to decide whether an arbitrarily given polynomial equation $P(z_1,\ldots,z_{52})=0$ (with integer coefficients) over the Gaussian ring $\mathbb Z[i]$ is solvable.
In this article we study the equations $x^4+dy^2=z^p$ and $x^2+dy^6=z^p$ for positive square-free values of $d$. A Frey curve over $\mathbb{Q}(\sqrt{-d})$ is attached to each primitive solution, which happens to be a $\mathbb{Q}$-curve. Our main result is the construction of a Hecke character $χ$ satisfying that the Frey elliptic curve representation twisted by $χ$ extends to $\text{Gal}_\mathbb{Q}$, therefore (by Serre's conjectures) corresponds to a newform in $S_2(n,\varepsilon)$ for explicit values of $n$ and $\varepsilon$. Following some well known results and elimination techniques (toge…
Let $r, v, n$ be positive integers. This paper investigate the number of solutions $s_{r,v}(n)$ of the following infinite Diophantine equations $$ n=1^{r}\cdot |k_{1}|^{v}+2^{r}\cdot |k_{2}|^{v}+3^{r}\cdot |k_{3}|^{v}+\ldots, $$ for ${\bf k}=(k_1,k_2,k_3,\dots)\in\mathbb{Z}^{\infty}$. For each $(r,v)\in\mathbb{N}\times\{1,2\}$, a generating function and some asymptotic formulas of $s_{r,v}(n)$ are established.
We show the insolvability of the Diophantine equation $ax^d-y^2-z^2+xyz-b=0$ in $\mathbb{Z}$ for fixed $a$ and $b$ such that $a\equiv 1 \pmod {12}$ and $b=2^da-3$, where $d$ is an odd integer and is a multiple of $3$. Further, we investigate the more general family with $b=2^da-3^r$, where $r$ is a positive odd integer. As a consequence, we found an infinite family of hyperelliptic curves with trivial torsion over $\mathbb{Q}$. We conclude by providing some numerical evidence corroborating the main results.
We use a new argument to improve the error term in the asymptotic formula for the number of Diophantine $m$-tuples in finite fields, which is due to A. Dujella and M.Kazalicki (2021) and N. Mani and S. Rubinstein-Salzedo (2021).
This paper deals with the analogue of Inhomogeneous Diophantine Approximation in function fields. The inhomogeneous approximation constant of a Laurent series $θ\in\mathbb F_q\left(\left(\frac{1}{t}\right)\right)$ with respect to $γ\in\mathbb F_q\left(\left(\frac{1}{t}\right)\right)$ is defined to be $c(θ,γ)=\inf_{0\neq N\in\mathbb F_q\left[t\right]}|N|\cdot|\langle Nθ- γ\rangle|$. We show that for every $θ$ there exists $γ$ such that $c(θ,γ)\geq q^{-2}$, and find a sufficient condition on $θ$ which forces $c(θ,γ) \leq q^{-2}$ for every $γ$. Given $θ$, we prove that the set $BA_θ=\left\{γ\in\m…
Motivated by the theory of Diophantine $m$-tuples, we study rational points on quadratic twists $H^d:d y^2=(x^2+6x-18)(-x^2+2x+2)$, where $|d|$ is a prime. If we denote by $S(X)=\{ d \in \mathbb{Z}: H^d(\mathbb{Q})\ne \emptyset, |d| \textrm{ is a prime}\textrm{ and } |d| < X\},$ then, by assuming some standard conjectures about the ranks of elliptic curves in the family of quadratic twists, we prove that as $X \rightarrow \infty$ $$\frac{43}{256}+o(1)\le \frac{\#S(X)}{2π(X)}\le \frac{46}{256}+o(1).$$
Following Schmidt, Thurnheer and Bugeaud-Kristensen, we study how Dirichlet's theorem on linear forms needs to be modified when one requires that the vectors of coefficients of the linear forms make a bounded acute angle with respect to a fixed proper non-zero subspace $V$ of $\mathbb{R}^n$. Assuming that the point of $\mathbb{R}^n$ that we are approximating has linearly independent coordinates over $\mathbb{Q}$, we obtain best possible exponents of approximation which surprisingly depend only on the dimension of $V$. Our estimates are derived by reduction to a result of Thurnheer, while their…
Let $F \in \mathbb Z[x, y]$ be an irreducible binary form of degree $d \geq 7$ and content one. Let $α$ be a root of $F(x, 1)$ and assume that the field extension $\mathbb Q(α)/\mathbb Q$ is Galois. We prove that, for every sufficiently large prime power $p^k$, the number of solutions to the Diophantine equation of Thue type $$ |F(x, y)| = tp^k $$ in integers $(x, y, t)$ such that $\gcd(x, y) = 1$ and $1 \leq t \leq (p^k)^λ$ does not exceed $24$. Here $λ= λ(d)$ is a certain positive, monotonously increasing function that approaches one as $d$ tends to infinity. We also prove that, for every su…
While Roth's theorem states that the irrationality measure of all the irrational algebraic numbers is 2, and the same holds true over function fields in characteristic zero, some counter-examples were found over function fields in positive characteristic. This was put forward first by Mahler in 1949, in his fundamental paper on Diophantine approximation \cite{M}. It seems that, except for particular elements, as power series with bounded partial quotients, Roth's theorem holds. Until now, only one element, with unbounded partial quotients, discovered by Mills and Robbins \cite{MR} in 1986, has…
The problem of finding all possible extensions of a given rational diophantine quadruple to a rational diophantine quintuple is equivalent to the determination of the set of rational points on a certain curve of genus 5 that can be written as an intersection of three diagonal quadrics in $\mathbb P^4$. We discuss how one can (try to) determine the set of rational points on such a curve. We apply our approach to the original question in several cases. In particular, we show that Fermat's diophantine quadruple (1,3,8,120) can be extended to a rational diophantine quintuple in only one way, namel…
The present paper is a sequel to [Monatsh.~Math.\ {\bf 194} (2021), 523--554] in which results of that paper are generalized so that they hold in the setting of inhomogeneous Diophantine approximation. Given any integers $n \geq 2$ and $\ell \geq 1$, any ${\pmb ξ} = \left(ξ_1, \dots , ξ_\ell \right) \in \mathbb{R}^\ell$, and any homogeneous function \linebreak $f = \left(f_1, \dots , f_\ell \right): \mathbb{R}^n \to \mathbb{R}^\ell$ that satisfies a certain nonsingularity assumption, we obtain a biconditional criterion on the approximating function $ψ= \left(ψ_1, \dots , ψ_\ell \right): \mathb…
The study of finiteness or infiniteness of integer solutions of a Diophantine equation has been considered as a standard problem in the literature. In this paper, for f(x) in Z[x] monic and q1 ,...., qm in Z, we study the conditions for which the Diophantine equatio (y + q1 )(y + q2 ) .... (y + qm ) = f(x) has finitely many solutions in integers. Also assuming ABC Conjecture, we study the conditions for finiteness of integer solutions of the Diophantine equation f(x) = g(y).
