On $k$-th power Diophantine triples of the form $\{a^k, b, c\}$
In this paper, we prove that there are no $k$-th power Diophantine triples of the form $\{a^k,b,c\}$ for $k\geq 3$ and $1<a^k<b<c$.
arXiv subjects
Publications and source records attributed to Clemens Fuchs.
In this paper, we prove that there are no $k$-th power Diophantine triples of the form $\{a^k,b,c\}$ for $k\geq 3$ and $1<a^k<b<c$.
In 1982, Schlickewei and Van der Poorten claimed that any multi-recurrence sequence has, essentially, maximal possible growth rate. Fourty years later, Fuchs and Heintze provided a non-effective proof of this statement. In this paper, we prove a quantitative version of that result by giving an explicit upper bound for the maximal possible growth rate of a multi-recurrence. Moreover, we also give a function field analogue of the result, answering a question posed by Fuchs and Heintze when proving a bound on the growth of multi-recurrences in number fields.
In this paper we provide a complete proof for a bound on the growth of multi-recurrences which are defined over a number field. The proven bound was already stated by van der Poorten and Schlickewei forty years ago.
Let $ \mathbb{Q}\mathcal{E}_{\mathbb{Z}} $ be the set of power sums whose characteristic roots belong to $ \mathbb{Z} $ and whose coefficients belong to $ \mathbb{Q} $, i.e. $ G : \mathbb{N} \rightarrow \mathbb{Q} $ satisfies \begin{equation*} G(n) = G_n = b_1 c_1^n + \cdots + b_h c_h^n \end{equation*} with $ c_1,\ldots,c_h \in \mathbb{Z} $ and $ b_1,\ldots,b_h \in \mathbb{Q} $. Furthermore, let $ f \in \mathbb{Q}[x,y] $ be absolutely irreducible and $ \alpha : \mathbb{N} \rightarrow \overline{\mathbb{Q}} $ be a solution $ y $ of $ f(G_n,y) = 0 $, i.e. $ f(G_n,\alpha(n)) = 0 $ identically in $ n $. Then we will prove under suitable assumptions a lower bound, valid for all but finitely many positive integers $ n $, for the approximation error if $ \alpha(n) $ is approximated by rational numbers with bounded denominator. After that we will also consider the case that $ \alpha $ is a solution of \begin{equation*} f(G_n^{(0)}, \ldots, G_n^{(d)},y) = 0, \end{equation*} i.e. defined by using more than one power sum and a polynomial $ f $ satisfying some suitable conditions. This extends results of Bugeaud, Corvaja, Luca, Scremin and Zannier.
We consider Diophantine equations of the shape $ f(x) = g(y) $, where the polynomials $ f $ and $ g $ are elements of power sums. Using a finiteness criterion of Bilu and Tichy, we will prove that under suitable assumptions infinitely many rational solutions $ (x,y) $ with a bounded denominator are only possible in trivial cases.
Let $ K $ be a number field, $ S $ a finite set of places of $ K $, and $ \mathcal{O}_S $ be the ring of $ S $-integers. Moreover, let $$ G_n^{(0)} Z^d + \cdots + G_n^{(d-1)} Z + G_n^{(d)} $$ be a polynomial in $ Z $ having simple linear recurrences of integers evaluated at $ n $ as coefficients. Assuming some technical conditions we give a description of the zeros $ (n,z) \in \mathbb{N} \times \mathcal{O}_S $ of the above polynomial. We also give a result in the spirit of Hilbert irreducibility for such polynomials.
In this paper, we consider a variant of Pillai's problem over function fields $ F $ in one variable over $ \mathbb{C} $. For given simple linear recurrence sequences $ G_n $ and $ H_m $, defined over $ F $ and satisfying some weak conditions, we will prove that the equation $ G_n - H_m = f $ has only finitely many solutions $ (n,m) \in \mathbb{N}^2 $ for any non-zero $ f \in F $, which can be effectively bounded. Furthermore, we prove that under suitable assumptions there are only finitely many effectively computable $ f $ with more than one representation of the form $ G_n - H_m $.
Let $ (G_n)_{n=0}^{\infty} $ be a polynomial power sum, i.e. a simple linear recurrence sequence of complex polynomials with power sum representation $ G_n = f_1\alpha_1^n + \cdots + f_k\alpha_k^n $ and polynomial characteristic roots $ \alpha_1,\ldots,\alpha_k $. For a fixed polynomial $ p $, we consider triples $ (a,b,c) $ of pairwise distinct non-zero polynomials such that $ ab+p, ac+p, bc+p $ are elements of $ (G_n)_{n=0}^{\infty} $. We will prove that under a suitable dominant root condition there are only finitely many such triples if neither $ f_1 $ nor $ f_1 \alpha_1 $ is a perfect square.
Let $ (G_n)_{n=0}^{\infty} $ be a non-degenerate linear recurrence sequence with power sum representation $ G_n = a_1(n) \alpha_1^n + \cdots + a_t(n) \alpha_t^n $. In this paper we will prove a function field analogue of the well known result that in the number field case, under some non-restrictive conditions, for $ n $ large enough the inequality $ \vert G_n\vert \geq \left( \max_{j=1,\ldots,t} \vert \alpha_j\vert \right)^{n(1-\varepsilon)} $ holds true.
We are interested in solutions of a norm form equation that takes values in a given multi-recurrence. We show that among the solutions there are only finitely many values in each component which lie in the given multi-recurrence unless the recurrence is of precisely described exceptional shape. This gives a variant of the question on arithmetic progressions in the solution set of norm form equations.
We prove that a non-degenerate simple linear recurrence sequence $ (G_n(x))_{n=0}^{\infty} $ of polynomials satisfying some further conditions cannot contain arbitrary large powers of polynomials if the order of the sequence is at least two. In other words we will show that for $ m $ large enough there is no polynomial $ h(x) $ of degree $ \geq 2 $ such that $ (h(x))^m $ is an element of $ (G_n(x))_{n=0}^{\infty} $. The bound for $ m $ depends here only on the sequence $ (G_n(x))_{n=0}^{\infty} $. In the binary case we prove even more. We show that then there is a bound $ C $ on the index $ n $ of the sequence $ (G_n(x))_{n=0}^{\infty} $ such that only elements with index $ n \leq C $ can be a proper power.
We show that there are only finitely many triples of integers $ 0 < a < b < c $ such that the product of any two of them is the value of a given polynomial with integer coefficients evaluated at an $ S $-unit that is also a positive integer. The proof is based on a result of Corvaja and Zannier and thus is ultimately a consequence of the Schmidt subspace theorem.
Let $(G_n(x))_{n=0}^\infty$ be a $d$-th order linear recurrence sequence having polynomial characteristic roots, one of which has degree strictly greater than the others. Moreover, let $m\geq 2$ be a given integer. We ask for $n\in\mathbb{N}$ such that the equation $G_n(x)=g\circ h$ is satisfied for a polynomial $g\in\mathbb{C}[x]$ with deg$g=m$ and some polynomial $h\in\mathbb{C}[x]$ with deg$h>1$. We prove that for all but finitely many $n$ these decompositions can be described in "finite terms" coming from a generic decomposition parameterized by an algebraic variety. All data in this description will be shown to be effectively computable.
The study of Diophantine triples taking values in linear recurrence sequences is a variant of a problem going back to Diophantus of Alexandria which has been studied quite a lot in the past. The main questions are, as usual, about existence or finiteness of Diophantine triples in such sequences. Whilst the case of binary recurrence sequences is almost completely solved, not much was known about recurrence sequences of larger order, except for very specialized generalizations of the Fibonacci sequence. Now, we will prove that any linear recurrence sequence with the Pisot property contains only finitely many Diophantine triples, whenever the order is large and a few more not very restrictive conditions are met.
We study elements of second order linear recurrence sequences $(G_n)_{n= 0}^{\infty}$ of polynomials in $\mathbb{C}[x]$ which are decomposable, i.e. representable as $G_n=g\circ h$ for some $g, h\in \mathbb{C}[x]$ satisfying $\operatorname{deg}g,\operatorname{deg}h>1$. Under certain assumptions, and provided that $h$ is not of particular type, we show that $\operatorname{deg}g$ may be bounded by a constant independent of $n$, depending only on the sequence.
We show that if $k\ge 2$ is an integer and $(F_n^{(k)})_{n\ge 0}$ is the sequence of $k$-generalized Fibonacci numbers, then there are only finitely many triples of positive integers $1<a<b<c$ such that $ab+1,~ac+1,~bc+1$ are all members of $\{F_n^{(k)}: n\ge 1\}$. This generalizes a previous result (cf. arXiv:1508.07760) where the statement for $k=3$ was proved. The result is ineffective since it is based on Schmidt's subspace theorem.
We highlight some of the most important cornerstones of the long standing and very fruitful collaboration of the Austrian Diophantine Number Theory research group and the Number Theory and Cryptography School of Debrecen. However, we do not plan to be complete in any sense but give some interesting data and selected results that we find particularly nice. At the end we focus on two topics in more details, namely a problem that origins from a conjecture of R\'enyi and Erd\H{o}s (on the number of terms of the square of a polynomial) and another one that origins from a question of Zelinsky (on the unit sum number problem), which will be presented in turn. This paper evolved from a plenary invited talk that the authors gave at the Joint Austrian-Hungarian Mathematical Conference 2015, August 25-27, 2015 in Gy\H{o}r (Hungary).
Diophantine triples taking values in recurrence sequences have recently been studied quite a lot. In particular the question was raised whether or not there are finitely many Diophantine triples in the Tribonacci sequence. We answer this question here in the affirmative. We prove that there are only finitely many triples of integers $1\le u<v<w$ such that $uv+1,uw+1,vw+1$ are Tribonacci numbers. The proof depends on the Subspace theorem.