Searcharxiv⌕ Search

arXiv subjects

Andrej Dujella

Publications and source records attributed to Andrej Dujella.

At least 37 records · Page 2Linked to original sources

Absolute root separation

The absolute separation of a polynomial is the minimum nonzero difference between the absolute values of its roots. In the case of polynomials with integer coefficients, it can be bounded from below in terms of the degree and the height (the maximum absolute value of the coefficients) of the polynomial. We improve the known bounds for this problem and related ones. Then we report on extensive experiments in low degrees, suggesting that the current bounds are still very pessimistic.

math.CA↗

On the largest element in D(n)-quadruples

Let $n$ be a nonzero integer. A set of nonzero integers $\{a_1,\ldots,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 consider the question, for given integer $n$ which is not a perfect square, how large and how small can be the largest element in a $D(n)$-quadruple. We construct families of $D(n)$-quadruples in which the largest element is of order of magnitude $|n|^3$, resp. $|n|^{2/5}$.

math.NT↗

Rational Diophantine sextuples containing two regular quadruples and one regular quintuple

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.

math.NT↗

There are infinitely many rational Diophantine sextuples with square denominators

A rational Diophantine m-tuple is a set of m nonzero rationals such that the product of any two of them increased by 1 is a perfect square. The first rational Diophantine quadruple was found by Diophantus, while Euler proved that there are infinitely many rational Diophantine quintuples. In 1999, Gibbs found the first example of a rational Diophantine sextuple, and in 2016 Dujella, Kazalicki, Mikić and Szikszai proved that there are infinitely many of them. In this paper, we prove that there exist infinitely many rational Diophantine sextuples such that the denominators of all the elements in the sextuples are perfect squares.

math.NT↗

Diophantine quadruples with the properties $D(n_1)$ and $D(n_2)$

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$.

math.NT↗

Elliptic curves induced by Diophantine triples

Given a Diophantine triple $\{c_1(t),c_2(t),c_3(t)\}$, the elliptic curve over Q(t) induced by this triple, i.e. $y^2=(c_1(t) x+1) (c_2(t) x+1) (c_3(t) x+1)$, can have as torsion group one of the non-cyclic groups in Mazur's theorem, i.e. Z/2Z x Z/2Z, Z/2Z x Z/4Z, Z/2Z x Z/6Z or Z/2Z x Z/8Z. In this paper we present results concerning the rank over Q(t) of these curves improving in some of the cases the previously known results.

math.NT↗

Strong Eulerian triples

We prove that there exist infinitely many rationals a, b and c with the property that a^2-1, b^2-1, c^2-1, ab-1, ac-1 and bc-1 are all perfect squares. This provides a solution to a variant of the problem studied by Diophantus and Euler.

math.NT↗

Diophantine m-tuples in finite fields and modular forms

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 Diophantine m-tuple in $\mathbb{F}_p$.

math.NT↗

A Pellian equation with primes and applications to D(-1)-quadruples

In this paper, we prove that the equation $x^2-(p^{2k+2}+1)y^2=-p^{2l+1}$, $l \in \{0,1,\dots,k\}, k \geq 0$, where $p$ is an odd prime number, is not solvable in positive integers $x$ and $y$. By combining that result with other known results on the existence of Diophantine quadruples, we are able to prove results on the extensibility of some $D(-1)$-pairs to quadruples in the ring $\mathbb{Z}[\sqrt{-t}], t>0$.

math.NT↗

Triples which are $D(n)$-sets for several $n$'s

For a nonzero integer $n$, a set of distinct nonzero integers $\{a_1,a_2,\ldots,a_m\}$ such that $a_ia_j+n$ is a perfect square for all $1\leq i<j\leq m$, is called a Diophantine $m$-tuple with the property $D(n)$ or simply $D(n)$-set. $D(1)$-sets are known as simply Diophantine $m$-tuples. Such sets were first studied by Diophantus of Alexandria, and since then by many authors. It is natural to ask if there exists a Diophantine $m$-tuple ($D(1)$-set) which is also a $D(n)$-set for some $n\neq 1$. This question was raised by Kihel and Kihel in 2001. They conjectured that there are no Diophantine triples which are also $D(n)$-sets for some $n\neq 1$. However, the conjecture does not hold, since, for example, $\{8, 21, 55\}$ is a $D(1)$ and $D(4321)$-triple, while $\{1, 8, 120\}$ is a $D(1)$ and $D(721)$-triple. We present several infinite families of Diophantine triples $\{a, b, c\}$ which are also $D(n)$-sets for two distinct $n$'s with $n\neq 1$, as well as some Diophantine triples which are also $D(n)$-sets for three distinct $n$'s with $n\neq 1$. We further consider some related questions.

math.NT↗

Root separation for reducible monic polynomials of odd degree

We study root separation of reducible monic integer polynomials of odd degree. Let h(P) be the naive height, sep(P) the minimal distance between two distinct roots of an integer polynomial P(x) and sep(P)=h(P)^{-e(P)}. Let e_r*(d)=limsup_{deg(P)=d, h(P)-> +infty} e(P), where the limsup is taken over the reducible monic integer polynomials P(x) of degree d. We prove that e_r*(d) <= d-2. We also obtain a lower bound for e_r*(d) for d odd, which improves previously known lower bounds for e_r*(d) when d = 5, 7, 9.

math.NT↗

More on Diophantine sextuples

A rational Diophantine m-tuple is a set of m nonzero rationals such that the product of any two of them increased by 1 is a perfect square. The first rational Diophantine quadruple was found by Diophantus, while Euler proved that there are infinitely many rational Diophantine quintuples. In 1999, Gibbs found the first example of a rational Diophantine sextuple, and Dujella, Kazalicki, Mikic and Szikszai recently proved that there exist infinitely many rational Diophantine sextuples. In this paper, generalizing the work of Piezas, we describe a method for generating new parametric formulas for rational Diophantine sextuples.

math.NT↗

Absolute real root separation

While the separation (the minimal nonzero distance) between roots of a polynomial is a classical topic, its absolute counterpart (the minimal nonzero distance between their absolute values) does not seem to have been studied much. We present the general context and give tight bounds for the case of real roots.

math.NT↗

On the torsion group of elliptic curves induced by Diophantine triples over quadratic fields

The possible torsion groups of elliptic curves induced by Diophantine triples over quadratic fields, which do not appear over Q, are Z/2Z x Z/10Z, Z/2Z x Z/12Z and Z/4Z x Z/4Z. In this paper, we show that all these torsion groups indeed appear over some quadratic field. Moreover, we prove that there are infinitely many Diophantine triples over quadratic fields which induce elliptic curves with these torsion groups.

math.NT↗

There are infinitely many rational Diophantine sextuples

A rational Diophantine m-tuple is a set of m nonzero rationals such that the product of any two of them increased by 1 is a perfect square. The first rational Diophantine quadruple was found by Diophantus, while Euler proved that there are infinitely many rational Diophantine quintuples. In 1999, Gibbs found the first example of a rational Diophantine sextuple. In this paper, we prove that there exist infinitely many rational Diophantine sextuples.

math.NT↗

Elliptic curves with torsion group Z/8Z or Z/2Z x Z/6Z

We show the existence of families of elliptic curves over Q whose generic rank is at least 2 for the torsion groups Z/8Z and Z/2Z x Z/6Z. Also in both cases we prove the existence of infinitely many elliptic curves, which are parameterized by the points of an elliptic curve with positive rank, with such torsion group and rank at least 3. These results represent an improvement of previous results by Campbell, Kulesz, Lecacheux, Dujella and Rabarison where families with rank at least 1 were constructed in both cases.

math.NT↗