arXiv Science⌕ Search

arXiv subjects

Robert Styer

Publications and source records attributed to Robert Styer.

12 recordsLinked to original sources
arXiv2026

Handling some Diophantine equation via Euclidean algorithm and its application to purely exponential equations

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 relatively prime positive integers $a,b$ and $c$ all greater than 1 there is at most one solution to the equation $a^x+b^y=c^z$ in positive integers $x,y$ and $z$, except for listed specific cases. Precisely, we confirm that for any fixed prime $c$ of the form $2^r \cdot 3 +1$ with some positive integer $r$ the conjecture holds true, except for only finitely many cases all of which can be effectively determined. Most importantly we prove the conjecture to be true whenever $c = 7, 13$, or $97$, giving another proof of the result of T. Miyazaki and I. Pink for $c=13$. We also contribute to the estimation of the number of positive integer solutions $(x,y)$ to the equation $a^x-b^y=c$ for any fixed positive integers $a,b$ and $c$ with both $a$ and $b$ greater than 1. Further, based on a key idea in the proofs of the above results, we present a new application of the Euclidean algorithm for polynomials to the polynomial-exponential Diophantine equation \[ X^m - X^n = q^{y_1} - q^{y_2} \] in positive integers $X, y_1$ and $y_2$, where $m$ and $n$ are given positive integers with $m>n$, and $q$ is a given prime.

math.NT↗
arXiv2024

At most one solution to $a^x + b^y = c^z$ for some ranges of $a$, $b$, $c$

We consider the number of solutions in positive integers $(x,y,z)$ for the purely exponential Diophantine equation $a^x+b^y =c^z$ (with $\gcd(a,b)=1$). Apart from a list of known exceptions, a conjecture published in 2016 claims that this equation has at most one solution in positive integers $x$, $y$, and $z$. We show that this is true for some ranges of $a$, $b$, $c$, for instance, when $1 < a,b < 3600$ and $c<10^{10}$. The conjecture also holds for small pairs $(a,b)$ independent of $c$, where $2 \le a,b \le 10$ with $\gcd(a,b)=1$. We show that the Pillai equation $a^x - b^y = r > 0$ has at most one solution (with a known list of exceptions) when $2 \le a,b \le 3600$. Finally, the primitive case of the Je\'smanowicz conjecture holds when $a \le 10^6$ or when $b \le 10^6$. This work highlights the power of some ideas of Miyazaki and Pink and the usefulness of a theorem by Scott.

math.NT↗
arXiv2024

Number of solutions to $a^x+b^y=c^z$ with $\gcd(a,b)>1$

We show that there are at most two solutions in positive integers $(x,y,z)$ to the equation $a^x+b^y=c^z$ for positive integers $a$, $b$, and $c$ all greater than one, with just one exceptional case when $\gcd(a,b)=1$, and just one exceptional infinite family of cases when $\gcd(a,b)>1$ (two solutions $(x_1,y_1,z_1)$ and $(x_2,y_2,z_2)$ are considered the same solution if $\{ a^{x_1}, b^{y_1} \} = \{ a^{x_2}, b^{y_2} \}$). The case in which $\gcd(a,b)=1$ has been handled in a series of successive results by Scott and Styer, Hu and Le, and Miyazaki and Pink, who showed that there are at most two solutions, excepting $(\{a,b\},c) = (\{3,5\},2)$, which gives three solutions. So here we treat the case $\gcd(a,b)>1$, showing that in this case there are at most two solutions, excepting $(a,b,c) = (2^u, 2^v, 2^w)$ with $\gcd(uv,w)=1$, which gives an infinite number of solutions. This generalizes work of Bennett, who proved, for both $\gcd(a,b)=1$ and $\gcd(a,b)>1$, there are at most two solutions $(y,z)$ to the equation $a + b^y = c^z$, and conjectured there are exactly eleven $(a,b,c)$ giving two solutions to this equation (assuming $b$ and $c$ are not perfect powers). For both $\gcd(a,b)=1$ and $\gcd(a,b)>1$, there are an infinite number of $(a,b,c)$ giving two solutions $(x,y,z)$ to the title equation, which are described in detail in this and a cited previous paper. In a further result, in which we no longer say that two solutions $(x_1,y_1,z_1)$ and $(x_2,y_2,z_2)$ are considered the same solution if $\{ a^{x_1}, b^{y_1} \} = \{ a^{x_2}, b^{y_2} \}$, we list all cases with more than two solutions.

math.NT↗
arXiv2022

On a conjecture concerning the number of solutions to $a^x+b^y=c^z$, II

Let $a$, $b$, $c$ be distinct primes with $a 1$ and $(a,b,c)$ is not one of the six known such triples then $(a,b,c)$ must be one of three cases. In the present paper, we eliminate two of these cases (using the special properties of certain continued fractions for one of these cases, and using a result of Dirichlet on quartic residues for the other). Then we show that the single remaining case requires severe restrictions, including the following: $a=2$, $b \equiv 1 \bmod 48$, $c \equiv 17 \mod 48$, $b > 10^9$, $c > 10^{18}$; at least one of the multiplicative orders $u_c(b)$ or $u_b(c)$ must be odd (where $u_p(n)$ is the least integer $t$ such that $n^t \equiv 1 \bmod p$); 2 must be an octic residue modulo $c$ except for one specific case; $2 \mid v_2(b-1) \le v_2(c-1)$ (where $v_2(n)$ satisfies $2^{v_2(n)} \parallel n$); there must be exactly two solutions $(x_1, y_1, z_1)$ and $(x_2, y_2, z_2)$ with $1 = z_1 < z_2$ and either $x_1 \ge 28$ or $x_2 \ge 88$. These results support a conjecture put forward in \cite{ScSt6} and improve results in \cite{LeSt}.

math.NT↗
arXiv2022

On a conjecture concerning the number of solutions to $a^x+b^y=c^z$

Let $a$, $b$, $c$ be fixed coprime positive integers with $\min\{ a,b,c \} >1$. Let $N(a,b,c)$ denote the number of positive integer solutions $(x,y,z)$ of the equation $a^x + b^y = c^z$. We show that if $(a,b,c)$ is a triple of distinct primes for which $N(a,b,c)>1$ and $(a,b,c)$ is not one of the six known such triples then, taking $a 10^{14}$. These results support a conjecture of the last two authors.

math.NT↗
arXiv2022

Number of solutions to $a^x + b^y = c^z$, A Shorter Version

For relatively prime integers $a$ and $b$ both greater than one and odd integer $c$, there are at most two solutions in positive integers $(x,y,z)$ to the equation $a^x + b^y = c^z$. There are an infinite number of $(a,b,c)$ giving exactly two solutions.

math.NT↗
arXiv2020

Two terms with known prime divisors adding to a power: REVISED with APPENDICES

Let $c$ be a positive odd integer and $R$ a set of $n$ primes coprime with $c$. We consider equations $X + Y = c^z$ in three integer unknowns $X$, $Y$, $z$, where $z > 0$, $Y > X > 0$, and the primes dividing $XY$ are precisely those in $R$. We consider $N$, the number of solutions of such an equation. Given a solution $(X, Y, z)$, let $D$ be the least positive integer such that $(XY/D)^{1/2}$ is an integer. Further, let $\omega$ be the number of distinct primes dividing $c$. Standard elementary approaches use an upper bound of $2^n$ for the number of possible $D$, and an upper bound of $2^{\omega-1}$ for the number of ideal factorizations of $c$ in the field $\ratQ(\sqrt{-D})$ which can correspond (in a standard designated way) to a solution in which $(XY/D)^{1/2} \in \intZ$, and obtain $N \le 2^{n+\omega-1}$. Here we improve this by finding an inverse proportionality relationship between a bound on the number of $D$ which can occur in solutions and a bound (independent of $D$) on the number of ideal factorizations of $c$ which can correspond to solutions for a given $D$. We obtain $N \le 2^{n-1}+1$. The bound is precise for $n<4$: there are several cases with exactly $2^{n-1} + 1$ solutions. For higher values of $n$ the bound becomes unrealistic, but is nevertheless an improvement on bounds obtained by both elementary and non-elementary methods.

math.NT↗
arXiv2011

Handling a large bound for a problem on the generalized Pillai equation $\pm r a^x \pm s b^y = c$

We consider $N$, the number of solutions $(x,y,u,v)$ to the equation $ (-1)^u r a^x + (-1)^v s b^y = c $ in nonnegative integers $x, y$ and integers $u, v \in \{0,1\}$, for given integers $a>1$, $b>1$, $c>0$, $r>0$ and $s>0$. Previous work showed that there are nine essentially distinct $(a,b,c,r,s)$ for which $N \ge 4$, except possibly for cases in which the solutions have $r$, $a$, $x$, $s$, $b$, and $y$ each bounded by $8 \cdot 10^{14}$ or $2 \cdot 10^{15}$. In this paper we show that there are no further cases with $N \ge 4$ within these bounds. We note that $N = 3$ for an infinite number of $(a,b,c,r,s)$, even if we eliminate from consideration cases which are directly derived from other cases in one of several completely designated ways. Our work differs from previous work in that we allow $x$ and $y$ to be zero and also allow choices of $(u,v)$ other than $(0,1)$.

math.NT↗
arXiv2011

The equation $|p^x \pm q^y| = c$ in nonnegative $x$, $y$

We improve earlier work on the title equation (where $p$ and $q$ are primes and $c$ is a positive integer) by allowing $x$ and $y$ to be zero as well as positive. Earlier work on the title equation showed that, with listed exceptions, there are at most two solutions in positive integers $x$ and $y$, using elementary methods. Here we show that, with listed exceptions, there are at most two solutions in nonnegative integers $x$ and $y$, but the proofs are dependent on nonelementary work of Mignotte, Bennett, Luca, and Szalay. In order to provide some of our results with purely elementary proofs, we give short elementary proofs of the results of Luca, made possible by an elementary lemma which also has an application to the familiar equation $x^2 + C = y^n$. We also give shorter simpler proofs of Szalay's results. A summary of results on the number of solutions to the generalized Pillai equation $(-1)^u r a^x + (-1)^v s b^y = c$ is also given.

math.NT↗
arXiv2011

The generalized Pillai equation $\pm r a^x \pm s b^y = c$, II

We consider $N$, the number of solutions $(x,y,u,v)$ to the equation $ (-1)^u r a^x + (-1)^v s b^y = c $ in nonnegative integers $x, y$ and integers $u, v \in \{0,1\}$, for given integers $a>1$, $b>1$, $c>0$, $r>0$ and $s>0$. When $(ra,sb)=1$, we show that $N \le 3$ except for a finite number of cases all of which satisfy $\max(a,b,r,s, x,y) < 2 \cdot 10^{15}$ for each solution; when $(a,b)>1$, we show that $N \le 3$ except for three infinite families of exceptional cases. We find several different ways to generate an infinite number of infinite families of cases giving N=3 solutions.

math.NT↗
arXiv2011

The generalized Pillai equation $\pm r a^x \pm s b^y = c$

In this paper we consider $N$, the number of solutions $(x,y,u,v)$ to the equation $ (-1)^u r a^x + (-1)^v s b^y = c$ in nonnegative integers $x, y$ and integers $u, v \in \{0,1\}$, for given integers $a>1$, $b>1$, $c>0$, $r>0$ and $s>0$. We show that $N \le 2$ when $\gcd(ra, sb) =1$ and $\min(x,y)>0$, except for a finite number of cases that can be found in a finite number of steps. For arbitrary $\gcd(ra, sb)$ and $\min(x,y) \ge 0$, we show that when $(u,v) = (0,1)$ we have $N \le 3$, with an infinite number of cases for which N=3.

math.NT↗