Related papers: Effective results for Diophantine equations over f…

Let $\ell$ and $p$ be (not necessarily distinct) prime numbers and $F$ be a global function field of characteristic $\ell$ with field of constants $\kappa$. Assume that there exists a prime $P_\infty$ of $F$ which has degree $1$, and let…

Following a method originally due to Siegel, we establish upper bounds for the number of primitive integer solutions to inequalities of the shape $0<|F(x, y)| \leq h$, where $F(x , y) =(\alpha x + \beta y)^r -(\gamma x + \delta y)^r \in…

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…

Let $F(x,y)$ be an irreducible binary form of degree $\geq 3$ with integer coefficients and with real roots. Let $M$ be an imaginary quadratic field, with ring of integers $Z_M$. Let $K>0$. We describe an efficient method how to reduce the…

Let $F\in\mathbb{Z}[x,y]$ and $m\ge2$ be an integer. A set $A\subset \mathbb{Z}$ is called an $(F,m)$-Diophantine set if $F(a,b)$ is a perfect $m$-power for any $a,b\in A$ where $a\ne b$. If $F$ is a bivariate polynomial for which there…

We exactly determine the integral solutions to a previously untreated infinite family of cubic Thue equations of the form $F(x,y)=1$ with at least $5$ such solutions. Our approach combines elementary arguments, with lower bounds for linear…

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…

Erd\"os and Obl\'ath proved that the equation $n!\pm m!=x^p$ has only finitely many integer solutions. More general, under the ABC-conjecture, Luca showed that $P(x)=An!+Bm!$ has finitely many integer solutions for polynomials of degree…

We consider the average-case complexity of some otherwise undecidable or open Diophantine problems. More precisely, consider the following: (I) Given a polynomial f in Z[v,x,y], decide the sentence \exists v \forall x \exists y f(v,x,y)=0,…

Generalizing an argument of Matiyasevich, we illustrate a method to generate infinitely many diophantine equations whose solutions can be completely described by linear recurrences. In particular, we provide an integer-coefficient…

We first recall the connection, going back to A. Thue, between rational approximation to algebraic numbers and integer solutions of some Diophantine equations. Next we recall the equivalence between several finiteness results on various…

We study Diophantine equations of type $f(x)=g(y)$, where $f$ and $g$ are lacunary polynomials. According to a well known finiteness criterion, for a number field $K$ and nonconstant $f, g\in K[x]$, the equation $f(x)=g(y)$ has infinitely…

In this paper, we prove the existence of nontrivial unbounded domains $\Omega\subset\mathbb{R}^{n+1},n\geq1$, bifurcating from the straight cylinder $B\times\mathbb{R}$ (where $B$ is the unit ball of $\mathbb{R}^n$), such that the…

We consider the Catalan equation $x^p - y^q = 1$ in unknowns $x, y, p, q$, where $x, y$ are taken from an integral domain $A$ of characteristic $0$ that is finitely generated as a $\mathbb{Z}$-algebra and $p, q > 1$ are integers. We give…

In this paper, we use a variety of classical and new research methods for ternary exponential Diophantine equations and extensive use of computer calculations to study the conjecture of R. Scott and R. Styer which asserts that for any fixed…

Assuming a certain form of resolution of singularities, we prove a general existential Ax-Kochen/Ershov principle for tamely ramified fields in all characteristics. This specializes to well-known results in residue characteristic $0$ and…

We show that the decidability of an amplification of Hilbert's Tenth Problem in three variables implies the existence of uncomputably large integral points on certain algebraic curves. We obtain this as a corollary of a new positive…

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…

In this paper, we prove that a Thue equation F(x,y) = h, where h is an integer and F is a polynomial of degree n with integer coefficients and without repeated roots, has at most 2n^3 - 2n - 3 solutions provided that the Mordell-Weil rank…

We consider Diophantine inequalities of the kind |f(x)| \le m, where F(X) \in Z[X] is a homogeneous polynomial which can be expressed as a product of d homogeneous linear forms in n variables with complex coefficients and m\ge 1. We say…