The shuffle variant of Terai's conjecture on exponential Diophantine equations

2013 ◽  
Vol 83 (1-2) ◽  
pp. 43-62 ◽  
Author(s):  
TAKAFUMI MIYAZAKI
Keyword(s):  
Diophantine Equations ◽  
Exponential Diophantine Equations ◽  
Terai’S Conjecture

TERAI'S CONJECTURE ON EXPONENTIAL DIOPHANTINE EQUATIONS

2011 ◽  
Vol 07 (04) ◽  
pp. 981-999 ◽  
Author(s):  
TAKAFUMI MIYAZAKI
Keyword(s):  
Diophantine Equations ◽  
Exponential Diophantine Equations ◽  
Terai’S Conjecture ◽  
Positive Integers ◽  
Integral Solutions

Let a, b, c be relatively prime positive integers such that ap + bq = cr with fixed integers p, q, r ≥ 2. Terai conjectured that the equation ax + by = cz has no positive integral solutions other than (x, y, z) = (p, q, r) except for specific cases. Most known results on this conjecture concern the case where p = q = 2 and either r = 2 or odd r ≥3. In this paper, we consider the case where p = q = 2 and r > 2 is even, and partially verify Terai's conjecture.

Register machine proof of the theorem on exponential diophantine representation of enumerable sets

1984 ◽  
Vol 49 (3) ◽  
pp. 818-829 ◽  
Author(s):  
J. P. Jones ◽  
Y. V. Matijasevič
Keyword(s):  
Natural Number ◽  
Polynomial Time ◽  
Simple Proof ◽  
Diophantine Equations ◽  
Polynomial Equation ◽  
Exponential Diophantine Equations ◽  
Recursively Enumerable ◽  
Image Position ◽  
The Right ◽  
Exponential Relation

The purpose of the present paper is to give a new, simple proof of the theorem of M. Davis, H. Putnam and J. Robinson [1961], which states that every recursively enumerable relation A(a1, …, an) is exponential diophantine, i.e. can be represented in the formwhere a1 …, an, x1, …, xm range over natural numbers and R and S are functions built up from these variables and natural number constants by the operations of addition, A + B, multiplication, AB, and exponentiation, AB. We refer to the variables a1,…,an as parameters and the variables x1 …, xm as unknowns.Historically, the Davis, Putnam and Robinson theorem was one of the important steps in the eventual solution of Hilbert's tenth problem by the second author [1970], who proved that the exponential relation, a = bc, is diophantine, and hence that the right side of (1) can be replaced by a polynomial equation. But this part will not be reproved here. Readers wishing to read about the proof of that are directed to the papers of Y. Matijasevič [1971a], M. Davis [1973], Y. Matijasevič and J. Robinson [1975] or C. Smoryński [1972]. We concern ourselves here for the most part only with exponential diophantine equations until §5 where we mention a few consequences for the class NP of sets computable in nondeterministic polynomial time.

Exceptional cases of Terai’s conjecture on Diophantine equations

2011 ◽  
Author(s):  
Takafumi Miyazaki ◽  
Masaaki Amou ◽  
Masanori Katsurada
Keyword(s):  
Diophantine Equations ◽  
Terai’S Conjecture
Sign in / Sign up

Export Citation Format

Share Document