Current browse context:
math.NT
Change to browse by:
References & Citations
Mathematics > Number Theory
Title: Further results on Hilbert's Tenth Problem
(Submitted on 12 Apr 2017 (v1), last revised 28 Jan 2021 (this version, v7))
Abstract: Hilbert's Tenth Problem (HTP) asks for an algorithm to test whether an arbitrary polynomial Diophantine equation with integer coefficients has solutions over the ring $\mathbb Z$ of the integers. This was finally solved by Matiyasevich negatively in 1970. In this paper we obtain some further results on HTP over $\mathbb Z$. We prove that there is no algorithm to determine for any $P(z_1,\ldots,z_9)\in\mathbb Z[z_1,\ldots,z_9]$ whether the equation $P(z_1,\ldots,z_9)=0$ has integral solutions with $z_9\ge0$. Consequently, there is no algorithm to test whether an arbitrary polynomial Diophantine equation $P(z_1,\ldots,z_{11})=0$ (with integer coefficients) in 11 unknowns has integral solutions, which provides the best record on the original HTP over $\mathbb Z$. We also prove that there is no algorithm to test for any $P(z_1,\ldots,z_{17})\in\mathbb Z[z_1,\ldots,z_{17}]$ whether $P(z_1^2,\ldots,z_{17}^2)=0$ has integral solutions, and that there is a polynomial $Q(z_1,\ldots,z_{20})\in\mathbb Z[z_1,\ldots,z_{20}]$ such that $$\{Q(z_1^2,\ldots,z_{20}^2):\ z_1,\ldots,z_{20}\in\mathbb Z\}\cap\{0,1,2,\ldots\}$$ coincides with the set of all primes.
Submission history
From: Zhi-Wei Sun [view email][v1] Wed, 12 Apr 2017 15:54:06 GMT (21kb)
[v2] Thu, 13 Apr 2017 16:47:26 GMT (21kb)
[v3] Thu, 27 Apr 2017 16:34:12 GMT (21kb)
[v4] Fri, 14 Feb 2020 17:51:21 GMT (21kb)
[v5] Thu, 3 Dec 2020 01:55:01 GMT (22kb)
[v6] Wed, 30 Dec 2020 16:20:13 GMT (22kb)
[v7] Thu, 28 Jan 2021 16:29:00 GMT (22kb)
Link back to: arXiv, form interface, contact.