arXiv subjects

Takafumi Miyazaki

Publications and source records attributed to Takafumi Miyazaki.

7 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↗

arXiv2025

Purely exponential Diophantine equations with four terms of consecutive bases: contribution to Skolem's conjecture

We study purely exponential Diophantine equations with four terms of consecutive bases. Notably, we prove that all solutions to the equation \[ n^x=(n+1)^y+(n+2)^z+(n+3)^w \] in positive integers $n,x,y,z$ and $w$ are given by $(n,x,y,z,w)=(2,5,1,1,2)$, $(3,3,2,1,1)$. Our proof of this result for each $n \ge 4$ provides an explicit modulus $M$ such that the corresponding equation has no solution already modulo $M$. This contributes to a classical problem posed by T. Skolem in 1930's on a local-global principle on purely exponential Diophantine equations.

math.NT↗

arXiv2025

General sharp bounds for the number of solutions to purely exponential equations with three terms

It is conjectured 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 specific cases. In this paper, we prove that for any fixed $c$ there is at most one solution to the equation, except for only finitely many pairs of $a$ and $b.$ This is regarded as a 3-variable generalization of the result of Miyazaki and Pink [T. Miyazaki and I. Pink, Number of solutions to a special type of unit equations in two unknowns, III, arXiv:2403.20037 (accepted for publication in Math. Proc. Cambridge Philos. Soc.)] which asserts that for any fixed positive integer $a$ there are only finitely many pairs of coprime positive integers $b$ and $c$ with $b>1$ such that the Pillai's type equation $a^x-b^y=c$ has more than one solution in positive integers $x$ and $y$. The proof of our result is based on a certain $p$-adic idea of Miyazaki and Pink and relies on many deep theorems on the theory of Diophantine approximation, and it also includes the complete description of solutions to some interesting system of simultaneous polynomial-exponential equations. We also discuss how effectively exceptional pairs of $a$ and $b$ on our result for each $c$ can be determined.

math.NT↗

arXiv2025

Number of solutions to a special type of unit equations in two unknowns, III

It is conjectured 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 specific cases. We develop the methods in our previous work which rely on a variety from Baker's theory and thoroughly study the conjecture for cases where $c$ is small relative to $a$ or $b$. Using restrictions derived under which there is more than one solution to the equation, we obtain a number of finiteness results on the conjecture, which in particular enables us to find some new values of $c$ being presumably infinitely many such that for each such $c$ the conjecture holds true except for only finitely many pairs of $a$ and $b$. Most importantly we prove that if $c=13$ then the equation has at most one solution, except for $(a,b)=(3,10)$ or $(10,3)$ which exactly gives two solutions. Further our study with the help of Schmidt Subspace Theorem among others brings strong contributions to the study of Pillai's type Diophantine equations, which includes a general and satisfactory result on a well-known conjecture of M. Bennett on the equation $a^x-b^y=c$ for any fixed positive integers $a,b$ and $c$ with both $a$ and $b$ greater than 1. Some conditional results are presented under the $abc$-conjecture as well.

math.NT↗

arXiv2025

Solving an infinite number of purely exponential Diophantine equations with four terms

An important unsolved problem in Diophantine number theory is to establish a general method to effectively find all solutions to any given $S$-unit equation with at least four terms. Although there are many works contributing to this problem in literature, most of which handle purely exponential Diophantine equations, it can be said that all of them only solve finitely many equations in a natural distinction. In this paper, we study infinitely many purely exponential Diophantine equations with four terms of consecutive bases. Our result states that all solutions to the equation $n^x+(n+1)^y+(n+2)^z=(n+3)^w$ in positive integers $n,x,y,z,w$ with $n \equiv 3 \pmod{4}$ are given by $(n,x,y,z,w)=(3,3,1,1,2), (3,3,3,3,3)$. The proof uses elementary congruence arguments developed in the study of ternary case, Baker's method in both rational and $p$-adic cases, and the algorithm of Bertók and Hajdu based on a variant of Skolem's conjecture on purely exponential equations.

math.NT↗

arXiv2024

Number of solutions to a special type of unit equations in two unknowns, II

This paper contributes to 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 specific cases. The fundamental result proves the conjecture under some congruence condition modulo $c$ on $a$ and $b$. As applications the conjecture is confirmed to be true if $c$ takes some small values including the Fermat primes found so far, and in particular this provides an analytic proof of the celebrated theorem of Scott [R. Scott, On the equations $p^x-b^y=c$ and $a^x+b^y=c^z$, J. Number Theory 44(1993), no.2, 153-165] solving the conjecture for $c=2$ in a purely algebraic manner. The method can be generalized for smaller modulus cases, and it turns out that the conjecture holds true for infinitely many specific values of $c$ not being perfect powers. The main novelty is to apply a special type of the $p$-adic analogue to Baker's theory on linear forms in logarithms via a certain divisibility relation arising from the existence of two hypothetical solutions to the equation. The other tools include Baker's theory in the complex case and its non-Archimedean analogue for number fields together with various elementary arguments through rational and quadratic numbers, and extensive computation.

math.NT↗

arXiv2020

Number of solutions to a special type of unit equations in two variables

For any fixed coprime positive integers $a,b$ and $c$ with $\min\{a,b,c\}>1$, we prove that the equation $a^x+b^y=c^z$ has at most two solutions in positive integers $x,y$ and $z$, except for one specific case which exactly gives three solutions. Our result is essentially sharp in the sense that there are infinitely many examples allowing the equation to have two solutions in positive integers. From the viewpoint of a well-known generalization of Fermat's equation, it is also regarded as a 3-variable generalization of the celebrated theorem of Bennett [M.A.Bennett, On some exponential equations of S.S.Pillai, Canad. J. Math. 53(2001), no.2, 897--922] which asserts that Pillai's type equation $a^x-b^y=c$ has at most two solutions in positive integers $x$ and $y$ for any fixed positive integers $a,b$ and $c$ with $\min\{a,b\}>1$.

math.NT↗