Preprint Article Version 1 Preserved in Portico This version is not peer-reviewed

A Hypothetical Upper Bound on the Heights of the Solutions of a Diophantine Equation with a Finite Number of Solutions

Version 1 : Received: 10 April 2018 / Approved: 10 April 2018 / Online: 10 April 2018 (09:18:13 CEST)
Version 2 : Received: 13 April 2018 / Approved: 16 April 2018 / Online: 16 April 2018 (05:12:59 CEST)

A peer-reviewed article of this Preprint also exists.

Tyszka, A. A Hypothetical Upper Bound on the Heights of the Solutions of a Diophantine Equation with a Finite Number of Solutions. Open Computer Science, Volume 8, Issue 1, Pages 109–114, Tyszka, A. A Hypothetical Upper Bound on the Heights of the Solutions of a Diophantine Equation with a Finite Number of Solutions. Open Computer Science, Volume 8, Issue 1, Pages 109–114,

Abstract

Let f ( 1 ) = 1 , and let f ( n + 1 ) = 2 2 f ( n ) for every positive integer n. We consider the following hypothesis: if a system S ⊆ {xi · xj = xk : i, j, k ∈ {1, . . . , n}} ∪ {xi + 1 = xk : i, k ∈{1, . . . , n}} has only finitely many solutions in non-negative integers x1, . . . , xn, then each such solution (x1, . . . , xn) satisfies x1, . . . , xn f (2n). We prove: (1) the hypothesisimplies that there exists an algorithm which takes as input a Diophantine equation, returns an integer, and this integer is greater than the heights of integer (non-negative integer, positive integer, rational) solutions, if the solution set is finite; (2) the hypothesis implies that there exists an algorithm for listing the Diophantine equations with infinitely many solutions in non-negative integers; (3) the hypothesis implies that the question whether or not a given Diophantine equation has only finitely many rational solutions is decidable by a single query to an oracle that decides whether or not a given Diophantine equation has a rational solution; (4) the hypothesis implies that the question whether or not a given Diophantine equation has only finitely many integer solutions is decidable by a single query to an oracle that decides whether or not a given Diophantine equation has an integer solution; (5) the hypothesis implies that if a set M N has a finite-fold Diophantine representation, then M is computable.

Keywords

computable upper bound on the heights of rational solutions; computable upper bound on the moduli of integer solutions; Diophantine equation with a finite number of solutions; finite-fold Diophantine representation; single query to an oracle that decides whether or not a given Diophantine equation has an integer solution; single query to an oracle that decides whether or not a given Diophantine equation has a rational solution

Subject

Computer Science and Mathematics, Algebra and Number Theory

Comments (0)

We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.

Leave a public comment
Send a private comment to the author(s)
* All users must log in before leaving a comment
Views 0
Downloads 0
Comments 0
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.
We use cookies on our website to ensure you get the best experience.
Read more about our cookies here.