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 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).
A Diophantine $m$-tuple is a set of $m$ distinct integers such that the product of any two distinct elements plus one is a perfect square. It was recently proven that there is no Diophantine quintuple in positive integers. We study the same problem in the rings of integers of imaginary quadratic fields. By using a gap principle proven by Diophantine approximations, we show that $m\leqslant 42$. Our proof is relatively simple compared to the proofs of the similar results in positive integers.
Let $K$ be an imaginary quadratic field and $ \mathcal{O}_K$ be its ring of integers. A set $\{a_1, a_2, \cdots,a_m\} \subset \mathcal{O}_K\setminus\{0\}$ is called a Diophantine $m$-tuple in $\mathcal{O}_K$ with $D(-1)$ if $a_ia_j -1 = x_{ij}^2$, where $x_{ij} \in \mathcal{O}_K$ for all $i,j$ such that $1 \leq i < j \leq m$. Here we prove the non-existence of Diophantine $m$-tuples in $\mathcal{O}_K$ with $D(-1)$ for $m > 36$.
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$.
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…
For non-zero integers $n$ and $k\geq2$, a generalized Diophantine $m$-tuple with property $D_k(n)$ is a set of $m$ positive integers $S = \{a_1,a_2,\ldots, a_m\}$ such that $a_ia_j + n$ is a $k$-th power for $1\leq i< j\leq m$. Define $M_k(n):= \sup\{|S| : S$ has property $D_k(n)\}$. In a recent work, the second author, S. Kim and M. R. Murty proved that $M_k(n)$ is $O(\log n)$, for a fixed $k$, as we vary $n$. In this paper, we obtain effective upper bounds on $M_k(n)$. In particular, we show that for $k\geq 2$, $M_k(n) \leq 3\,ϕ(k)\, \log n$, if $n$ is sufficiently larger than $k$.
A set of $m$ positive integers $\{a_1, a_2, \dots , a_m\}$ is called a Diophantine $m$-tuple if $a_i a_j + 1$ is a perfect square for all $1 \le i < j \le m$. In 2004 Dujella proved that there is no Diophantine sextuple and that there are at most finitely many Diophantine quintuples. In particular, a folklore conjecture concerning Diophantine $m$-tuples states that no Diophantine quintuple exists at all. In this paper we prove this conjecture.
Let n be a nonzero integer and assume that a set S of positive integers has the property that xy+n is a perfect square whenever x and y are distinct elements of S. In this paper we find some upper bounds for the size of the set S. We prove that if |n| <= 400 then |S| <= 32, and if |n| > 400 then |S| < 267.81 log|n| (log log|n|)^2. The question whether there exists an absolute bound (independent on n) for |S| still remains open.
Given a finite set of primes $S$ and a $m$-tuple $(a_1,\dots,a_m)$ of positive, distinct integers we call the $m$-tuple $S$-Diophantine, if for each $1\leq i < j\leq m$ the quantity $a_ia_j+1$ has prime divisors coming only from the set $S$. For a given set $S$ we give a practical algorithm to find all $S$-Diophantine quadruples, provided that $|S|=3$.
Let $(a_1,\dots, a_m)$ be an $m$-tuple of positive, pairwise distinct, integers. If for all $1\leq i< j \leq m$ the prime divisors of $a_ia_j+1$ come from the same fixed set $S$, then we call the $m$-tuple $S$-Diophantine. In this note we estimate the number of $S$-Diophantine quadruples in terms of $|S|=r$.
Let $S$ denote a set of primes and let $a_1,\ldots,a_m$ be positive distinct integers. We call the $m$-tuple $(a_1,\ldots,a_m)$ an $S$-Diophantine tuple if $a_ia_j+1=s_{i,j}$ are $S$-integers for all $i\not=j$. In this paper, we show that no $S$-Diophantine quadruple (i.e~$m=4$) exists if $S=\{2,q\}$ with $q\equiv 3\; (\bmod\, 4)$ or $q<10^9$. For two arbitrary primes $p,q<10^5$ we gain the same result.
For a nonzero integer n, a set of m distinct nonzero integers {a_1,a_2,...,a_m} such that a_i a_j + n is a perfect square for all 1 <= i < j <= m, is called a D(n)-m-tuple. In this paper, by using properties of so-called regular Diophantine m-tuples and certain family of elliptic curves, we show that there are infinitely many essentially different sets consisting of perfect squares which are simultaneously D(n_1)-quadruples and D(n_2)-quadruples with distinct non-zero squares n_1 and n_2.
In this paper, we give an upper bound on the number of extensions of a triple to a quadruple for the Diophantine $m$-tuples with the property $D(4)$. We also confirm the conjecture of the uniqueness of such an extension in some special cases.
Using the theory of Diophantine m-tuples, i.e. sets with the property that the product of its any two distinct elements increased by 1 is a perfect square, we construct an elliptic curve over Q(t) of rank at least 4 with three non-trivial torsion points. By specialization, we obtain an example of elliptic curve over Q with torsion group Z/2Z * Z/2Z whose rank is equal 7.
Let Q be an infinite set of positive integers. Denote by W(Q) the set of n-tuples of real numbers simultaneously tau-well approximable by infinitely many rationals with denominators in Q but only by finitely many rationals with denominators in the complement of Q. The Hausdorff dimension of the liminf set W(Q) is computed when tau > 2 + 1/n. A p-adic analogue of the problem is also studied.
This study investigates the existence of tuples $(k, \ell, m)$ of integers such that all of $k$, $\ell$, $m$, $k+\ell$, $\ell+m$, $m+k$, $k+\ell+m$ belong to $S(α)$, where $S(α)$ is the set of all integers of the form $\lfloor αn^2 \rfloor$ for $n\geq α^{-1/2}$ and $\lfloor x\rfloor$ denotes the integer part of $x$. We show that $T(α)$, the set of all such tuples, is infinite for all $α\in (0,1)\cap \mathbb{Q}$ and for almost all $α\in (0,1)$ in the sense of the Lebesgue measure. Furthermore, we show that if there exists $α>0$ such that $T(α)$ is finite, then there is no perfect Euler brick. W…
Let $S$ be a set of primes. We call an $m$-tuple $(a_1,\ldots,a_m)$ of distinct, positive integers $S$-Diophantine, if for all $i\neq j$ the integers $s_{i,j}:=a_ia_j+1$ have only prime divisors coming from the set $S$, i.e. if all $s_{i,j}$ are $S$-units. In this paper, we show that no $S$-Diophantine quadruple (i.e.~$m=4$) exists if $S=\{3,q\}$. Furthermore we show that for all pairs of primes $(p,q)$ with $p<q$ and $p\equiv 3\mod 4$ no $\{p,q\}$-Diophantine quadruples exist, provided that $(p,q)$ is not a Wieferich prime pair.
Let $\mathfrak{p}=(\mathfrak{p}_1,...,\mathfrak{p}_r)$ be a system of $r$ polynomials with integer coefficients of degree $d$ in $n$ variables $\mathbf{x}=(x_1,...,x_n)$. For a given $r$-tuple of integers, say $\mathbf{s}$, a general local to global type statement is shown via classical Hardy-Littlewood type methods which provides sufficient conditions for the solubility of $\mathfrak{p}(\mathbf{x})=\mathbf{s}$ under the condition that each of the $x_i$'s is prime.
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).$$
For a nonzero integer $n$, a set of $m$ distinct nonzero integers $\{a_1,a_2,...,a_m\}$ such that $a_ia_j+n$ is a perfect square for all $1 \leq i < j \leq m$, is called a $D(n)$-$m$-tuple. In this paper, we show that there infinitely many essentially different quadruples which are simultaneously $D(n_1)$-quadruples and $D(n_2)$-quadruples with $n_1\neq n_2$.
The paper shows that the asymptotic density of solutions of Diophantine equations or systems of the natural numbers is 0. The author provides estimation methods and estimates number, density and probability of k- tuples $<x_1,...x_k>$ to be the solution of the algebraic equations of the first, second and higher orders in two or more variables, non-algebraic Diophantine equations and systems of Diophantine equations in the domain of the natural numbers. The estimate for the number of positive integer solutions of the second-order Diophantine equations in two, three or more variables is geometri…
A Diophantine $m$-tuple is a set $A$ of $m$ positive integers such that $ab+1$ is a perfect square for every pair $a,b$ of distinct elements of $A$. We derive an asymptotic formula for the number of Diophantine quadruples whose elements are bounded by $x$. In doing so, we extend two existing tools in ways that might be of independent interest. The Erd\H os-Turán inequality bounds the discrepancy between the number of elements of a sequence that lie in a particular interval modulo 1 and the expected number; we establish a version of this inequality where the interval is allowed to vary. We also…
A set of m distinct positive integers {a_{1},...a_{m}} is called a Diophantine m-tuple if a_{i}a_{j}+n is a square for each 1\leqi<j\leqm . The aim of this study is to show that some P_{k} sets can not be extendible to a Diophantine quadruple when k=2 and k=-3 and also to give some properties about P_{k} sets.
A Diophantine $m$-tuple is a set of $m$ distinct integers such that the product of any two distinct elements plus one is a perfect square. In this paper we study the extensibility of a Diophantine triple $\{k-1, k+1, 16k^3-4k\}$ in Gaussian integers $\mathbb{Z}[i]$ to a Diophantine quadruple. Similar one-parameter family, $\{k-1, k+1, 4k\}$, was studied in Franušić's previous paper, where it was shown that the extension to a Diophantine quadruple is unique (with an element $16k^3-4k$). The family of the triples of the same form $\{k-1, k+1, 16k^3-4k\}$ was already studied in rational integers.…
For K \subseteq C, let B_n(K)={(x_1,...,x_n) \in K^n: for each y_1,...,y_n \in K the conjunction (\forall i \in {1,...,n} (x_i=1 => y_i=1)) AND (\forall i,j,k \in {1,...,n} (x_i+x_j=x_k => y_i+y_j=y_k)) AND (\forall i,j,k \in {1,...,n} (x_i*x_j=x_k => y_i*y_j=y_k)) implies that x_1=y_1}. We claim that there is an algorithm that for every computable function f:N->N returns a positive integer m(f), for which a second algorithm accepts on the input f and any integer n>=m(f), and returns a tuple (x_1,...,x_n) \in B_n(Z) with x_1=f(n). We compute an integer tuple (x_1,...,x_{20}) for which the stat…
We study some diophantine properties of automatic real numbers and we present a method to derive irrationality measures for such numbers. As a consequence, we prove that the $b$-adic expansion of a Liouville number cannot be generated by a finite automaton, a conjecture due to Shallit.
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).
For a tuple $(θ_1,..,θ_M)$ of complex number, buliding on the approximation techniques in earlier papers of this series, this paper engages in deducing lower estimates on the transcendence degree of the field generated by $θ_1, ..., θ_M$ over the field of rational numbers from the approximability of the point $θ=(1,θ_1,...,θ_M)$ in projective space by hypersurfaces. The first given result is an new proof of an algebraic independence criterion, that was formerly proved by Laurent and Roy, and generalizes the Philippon criterion by introducing also evaluations of derivatives of global sections. …
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$.
A Diophantine $m$-tuple with elements in the field $K$ is a set of $m$ non-zero (distinct) elements of $K$ with the property that the product of any two distinct elements is one less than a square in $K$. Let $X: (x^2-1)(y^2-1)(z^2-1)=k^2,$ be a threefold. Its $K$-rational points parametrize Diophantine triples over $K$ such that the product of the elements of the triple that corresponds to the point $(x,y,z,k)\in X(K)$ is equal to $k$. We denote by $\overline{X}$ the projective closure of $X$ and for a fixed $k$ by $X_k$ a variety defined by the same equation as $X$. We prove that the variety…
Let f(1)=1, and let f(n+1)=2^{2^{f(n)}} for every positive integer n. We conjecture that if a system S \subseteq {x_i \cdot x_j=x_k: i,j,k \in {1,...,n}} \cup {x_i+1=x_k: i,k \in {1,...,n}} has only finitely many solutions in non-negative integers x_1,...,x_n, then each such solution (x_1,...,x_n) satisfies x_1,...,x_n \leq f(2n). We prove: (1) the conjecture implies that there exists an algorithm which takes as input a Diophantine equation, returns an integer, and this integer is greater than the heights of integer (non-negative integer, positive integer, rational) solutions, if the solution …
Let $q$ be a prime power. We estimate the number of tuples of degree bounded monic polynomials $(Q_1,\ldots,Q_v) \in (\mathbb{F}_q[z])^v$ that satisfy given pairwise coprimality conditions. We show how this generalises from monic polynomials in finite fields to Dedekind domains with finite norms.
Let $g\ge 2$ be an integer and $\mathcal R_g\subset \mathbb N$ be the set of repdigits in base $g$. Let $\mathcal D_g$ be the set of Diophantine triples with values in $\mathcal R_g$; that is, $\mathcal D_g$ is the set of all triples $(a,b,c)\in \mathbb N^3$ with $c<b<a$ such that $ab+1,ac+1$ and $ab+1$ lie in the set $\mathcal R_g$. In this paper, we prove effective finitness results for the set $\mathcal D_g$.
As it follows from the theory of almost periodic functions the set of integer solutions $q$ to the Kronecker system $|ω_{j} q - θ_{j}| < \varepsilon \pmod 1$, $j=1,\ldots,m$, where $1,ω_{1},\ldots,ω_{m}$ are linearly independent over $\mathbb{Q}$, is relatively dense in $\mathbb{R}$. The latter means that there is $L(\varepsilon)>0$ such that any segment of length $L(\varepsilon)$ contains at least one integer solution to the Kronecker system. We give some lower and upper non-effective (asymptotic) estimates for $L(\varepsilon)$ and, in particular, show that $L(\varepsilon) = \left(\frac{1}{\v…
The height of a rational number $p/q$ is denoted by $h(p/q)$ and equals $\text{max}(|p|,|q|)$ provided p/q is written in lowest terms. The height of a rational tuple $(x_1,...,x_n)$ is denoted by $h(x_1,...,x_n)$ and equals $\text{max}(h(x_1),...,h(x_n))$. Let $G_n={x_i+1=x_k: i,k \in {1,...,n}} \cup {x_i \cdot x_j=x_k: i,j,k \in {1,...,n}}$. Let $f(1)=1$, and let $f(n+1)=2^{(2^{(f(n))})}$ for every positive integer n. We conjecture: (1) if a system $S \subseteq G_n$ has only finitely many solutions in rationals $x_1,...,x_n$, then each such solution $(x_1,...,x_n)$ satisfies $h(x_1,...,x_n) \…
We show that the equation in the title (with $Φ_m$ the $m$th cyclotomic polynomial) has no integer solution with $n\ge 1$ in the cases $(m,p)=(15,41), (15,5581),(10,271)$. These equations arise in a recent group theoretical investigation by Z. Akhlaghi, M. Khatami and B. Khosravi.
Let E_n={x_i=1, x_i+x_j=x_k, x_i \cdot x_j=x_k: i,j,k \in {1,...,n}}. For a positive integer n, let f(n) denote the greatest finite total number of solutions of a subsystem of E_n in integers x_1,...,x_n. We prove: (1) the function f is strictly increasing, (2) if a non-decreasing function g from positive integers to positive integers satisfies f(n) \geq g(n) for any n, then a finite-fold Diophantine representation of g does not exist, (3) if the question of the title has a positive answer, then there is a computable strictly increasing function g from positive integers to positive integers su…
In this paper, we study properties of the Diophantine exponents $w_n$ and $w_n^{*}$ for Laurent series over a finite field. We prove that for an integer $n\geq 1$ and a rational number $w>2n-1$, there exist a strictly increasing sequence of positive integers $(k_j)_{j\geq 1}$ and a sequence of algebraic Laurent series $(ξ_j)_{j\geq 1}$ such that deg $ξ_j=p^{k_j}+1$ and \begin{equation} w_1(ξ_j)=w_1 ^{*}(ξ_j)=\ldots =w_n(ξ_j)=w_n ^{*}(ξ_j)=w \end{equation} for any $j\geq 1$. For each $n\geq 2$, we give explicit examples of Laurent series $ξ$ for which $w_n(ξ)$ and $w_n^{*}(ξ)$ are different.
