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.
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).
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.
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.
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$.
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.
A set of $m$ distinct nonzero rationals $\{a_1,a_2,\ldots,a_m\}$ such that $a_ia_j+1$ is a perfect square for all $1\leq i<j\leq m$, is called a rational Diophantine $m$-tuple. It is proved recently that there are infinitely many rational Diophantine sextuples. In this paper, we construct infinite families of rational Diophantine sextuples with special structure, namely the sextuples containing quadruples and quintuples of certain type.
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.
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$.
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.…
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…
Let $\mathrm{d}(A)$ be the asymptotic density (if it exists) of a sequence of integers $A$. For any real numbers $0\leqα\leqβ\leq 1$, we solve the question of the existence of a sequence $A$ of positive integers such that $\mathrm{d}(A)=α$ and $\mathrm{d}(A+A)=β$. More generally we study the set of $k$-tuples $(\mathrm{d}(iA))_{1\leq i\leq k}$ for $A\subset \mathbb{N}$. This leads us to introduce subsets defined by diophantine constraints inside a random set of integers known as the set of ``pseudo $s$th powers''. We consider similar problems for subsets of the circle $\mathbb{R}/\mathbb{Z}$, …
Let k\geq 2 and consider the Diophantine inequality |x_1^k-\alp_2 x_2^k-\alp_3 x_3^k| <\tet. Our goal is to find non-trivial solutions in the variables x_i, 1\leq i\leq 3, all of size about P, assuming that \tet is sufficiently large. We study this problem on average over \alp_3 and generalize previous work of Bourgain on quadratic ternary diagonal forms to general degree k.
Using the Thue-Siegel method, we obtain effective improvements on Liouville's irrationality measure for certain one-parameter families of algebraic numbers, defined by equations of the type $(t-a)Q(t)+P(t)=0$. We apply these to some corresponding Diophantine equations. We obtain bounds for the size of solutions, which depend polynomially on $a$, and bounds for the number of these solutions, which are independent of $a$ and in some cases even independent of the degree of the equation.
Is there a computable upper bound for the height of a solution of a Diophantine equation with a unique solution in positive integers?
Let B_n={x_i \cdot x_j=x_k, x_i+1=x_k: i,j,k \in {1,...,n}}. For a positive integer n, let ξ(n) denote the smallest positive integer b such that for each system S \subseteq B_n with a unique solution in positive integers x_1,...,x_n, this solution belongs to [1,b]^n. Let g(1)=1, and let g(n+1)=2^{2^{g(n)}} for every positive integer n. We conjecture that ξ(n) \leq g(2n) for every positive integer n. We prove: (1) the function ξ: N\{0}-->N\{0} is computable in the limit; (2) if a function f:N\{0}-->N\{0} has a single-fold Diophantine representation, then there exists a positive integer m such t…
Let $n$ be a non-negative integer and put $p_{n}(x)=\prod_{i=0}^{n}(x+i)$. In the first part of the paper, for given $n$, we study the existence of integer solutions of the Diophantine equation $$ y^m=p_{n}(x)+\sum_{i=1}^{k}p_{a_{i}}(x), $$ where $m\in\N_{\geq 2}$ and $a_{1}<a_{2}<\ldots <a_{k}<n$. This equation can be considered as a generalization of the Erdős-Selfridge Diophantine equation $y^m=p_{n}(x)$. We present some general finiteness results concerning the integer solutions of the above equation. In particular, if $n\geq 2$ with $a_{1}\geq 2$, then our equation has only finitely many …
A nontrivial solution of the equation A!B! = C! is a triple of positive integers (A, B, C) with A $\le$ B $\le$ C -- 2. It is conjectured that the only nontrivial solution is (6, 7, 10), and this conjecture has been checked up to C = 10 6. Several estimates on the relative size of the parameters are known, such as the one given by Erd{ö}s C -- B $\le$ 5 log log C, or the one given by Bhat and Ramachandra C --B $\le$ (1/ log 2+o(1)) log log C. We check the conjecture for B $\le$ 10 3000 and give better explicit bounds such as C -- B $\le$ log log(B+1) log 2 -- 0.8803.
