Related papers: Efficient resolution of Thue-Mahler equations
Mahler equations relate evaluations of the same function $f$ at iterated $b$th powers of the variable. They arise in particular in the study of automatic sequences and in the complexity analysis of divide-and-conquer algorithms. Recently,…
In this paper we completely solve the family of parametrised Thue equations \[ X(X-F_n Y)(X-2^n Y)-Y^3=\pm 1, \] where $F_n$ is the $n$-th Fibonacci number. In particular, for any integer $n\geq 3$ the Thue equation has only the trivial…
Let $1<c<\frac{1787}{1502}$ and $N$ be a sufficiently large real number. In this paper, it is proved that for any arbitrarily large number $E>0$ and for almost all real $R \in (N,2N]$, the Diophantine inequality…
We consider and completely solve the parametrized family of Thue equations \begin{eqnarray*}X(X-Y)(X+Y)(X-\lambda Y)+Y^4=\xi,\end{eqnarray*} where the solutions $x,y$ come from the ring $\mathbb{C}[T]$, the parameter…
We revisit a work by R. Okazaki and prove that for every cubic binary form F(x, y) with large enough discriminant, the Thue equation |F(x, y)| = 1 has at most 7 solutions in integers x and y.
In this paper, we determine the primitive solutions of the Diophantine equation $(x-d)^2+x^2+(x+d)^2=y^n$ when $n\geq 2$ and $d=p^b$, $p$ a prime and $p\leq 10^4$. The main ingredients are the characterization of primitive divisors on…
We solve Diophantine equations of the type $ a \, (x^3 \!+ \! y^3 \!+ \! z^3 ) = (x \! + \! y \! + \! z)^3$, where $x,y,z$ are integer variables, and the coefficient $a\neq 0$ is rational. We show that there are infinite families of such…
Let $c$ be a square-free positive integer and $p$ a prime satisfying $p\nmid c$. Let $h(-c)$ denote the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{-c})$. In this paper, we consider the Diophantine equation…
Let $F$ be an irreducible binary form attached to a number field $K$ of degree $\geq 3$. Let $\epsilon\not\in \{-1, 1\}$ be a totally real unit of $K$. By twisting $F$ with the powers $\epsilon^a$ of $\epsilon$, ($a\in{\mathbf Z}$), we…
In this paper we completely solve a simple quartic family of Thue equations over $\mathbb{C}(T)$. Specifically, we apply the ABC-Theorem to find all solutions $(x,y) \in \mathbb{C}[T] \times \mathbb{C}[T]$ to the set of Thue equations…
We consider discrete best approximation problems in the setting of tropical algebra, which is concerned with the theory and application of algebraic systems with idempotent operations. Given a set of input--output pairs of an unknown…
Let $A,B,C,D$ be rational numbers such that $ABC \neq 0$, and let $n_1>n_2>n_3>0$ be positive integers. We solve the equation $$ Ax^{n_1}+Bx^{n_2}+Cx^{n_3}+D = f(g(x)),$$ in $f,g \in \mathbb{Q}[x]$. In sequel we use Bilu-Tichy method to…
In this paper we present a new method of solving the classical diophantine equation $A^4+B^4=C^4+D^4$. Two methods of solving this equation, given by Euler, yield parametric solutions given by polynomials of degrees 7 and 13. Several other…
In this paper, we study nonlinear differential equations of Tumura-Clunie type, $ f^n + P(z, f) = h, $ where \( n \geq 2 \) is an integer, \( P(z, f) \) is a differential polynomial in \( f \) of degree \( \gamma_P \leq n - 1 \) with small…
Let $u_n$ be a fixed non-degenerate binary recurrence sequence with positive discriminant, $w$ a fixed non-zero integer and $p_1,p_2,\dots,p_s$ fixed, distinct prime numbers. In this paper we consider the Diophantine equation $u_n+u_m=w…
The standard procedure for computing scalar multi-loop Feynman integrals consists in reducing them to a basis of so-called master integrals, derive differential equations in the external invariants satisfied by the latter and, finally, try…
Let $t$ be any imaginary quadratic integer with $|t|\geq 100$. We prove that the inequality \[ |F_t(X,Y)| = | X^4 - t X^3 Y - 6 X^2 Y^2 + t X Y^3 + Y^4 | \leq 1 \] has only trivial solutions $(x,y)$ in integers of the same imaginary…
A large family of linear, usually overdetermined, systems of partial differential equations that admit a multiplication of solutions, i.e, a bi-linear and commutative mapping on the solution space, is studied. This family of PDE's contains…
For the linear partial differential equation $P(\partial_x,\partial_t)u=f(x,t)$, where $x\in\mathbb{R}^n,\;t\in\mathbb{R}^1$, with $P(\partial_x,\partial_t)$ is $\prod^m_{i=1}(\frac{\partial}{\partial{t}}-a_iP(\partial_x))$ or…
We show how the theory of linear forms in two logarithms allows one to get effective irrationality measures for $n$-th roots of rational numbers ${a \over b}$, when $a$ is very close to $b$. We give a $p$-adic analogue of this result under…