Is there a list somewhere of which types of Diophantine equations are solvable, which types are not solvable, and which types are not known to be solvable or not? (When I say solvable, I mean that we can determine in a finite number of steps whether or not there exist solutions.) For instance, we know that linear Diophantine equations are solvable. But we know by Matiyasevich's theorem that there are some Diophantine equations that are not solvable.

I am interested in seeing what the borderline between solvable and unsolvable looks like.

@Franz: Solvability/unsolvability refers to whether there is an algorithm (in the precise sense of Turing machines) that determines the existence of integer solutions. For the equation you show, there is an obvious algorithm (telling us that there are no solutions), so this is a solvable example. I guess more accurate than saying that the equation itself is solvable, one could say that the problem associated to the equation is solvable, or words to that effect.
–
Andres CaicedoJan 14 '11 at 16:14

1 Answer
1

For a while, there was some research on improving bounds on the number of variables or degree of unsolvable Diophantine equations. Unfortunately, I never got around to cataloging the known results in any systematic way, so all I can offer is some pointers to relevant references, but I am not sure of what the current records are.

It has been known since 1970 that every recursively enumerable set $W$ has a representation of the form $$ x\in W\Leftrightarrow\exists w_1\cdots w_\nu P(x,w_1,\cdots,w_\nu)=0, $$
where $P$ is a polynomial with integer coefficients and $x,w_1,\cdots,w_\nu$ are nonnegative integers. J. Robinson and the reviewer [Acta Arith. 27 (1975), 521--553; MR0387188 (52 #8033)] showed that one can always take $\nu=13$. Later the reviewer claimed [see, for example, Logic, foundations of mathematics and computability theory (London, Ont., 1975), Part 1, 121--127, Reidel, Dordrecht, 1977; MR0485685 (58 #5508)] that it suffices to have $\nu=9$; however he never wrote anything but terse notes with limited circulation. In the paper under review the author first performs the hard work of developing and making public all the cumbersome technical details of the proof. Then he develops what is known as a universal Diophantine equation, namely, an equation $U(x,z,u,y,w_1,\cdots,w_{28})=0$ such that for any recursively enumerable set $W$ a corresponding equation $P=0$ in the representation above can be obtained from $U=0$ just by substituting particular numerical values for the parameters $z$, $u$ and $y$. While the mere existence of universal equations has also been known since 1970, the author here manages to exhibit $U$ almost explicitly in only 7 printed lines!

I haven't seen this paper, but I believe it is in Chinese. Here is the Abstract:

This paper is a survey of modern results on Hilbert's tenth problem (especially the work of J. P. Jones). It consists of six sections: 1. Hilbert's tenth problem; 2. The nine unknowns theorem; 3. Universal Diophantine equations; 4. Classification of quantifier prefixes over Diophantine equations; 5. Diophantine representations; 6. Applications of Hilbert's tenth problem. Some new results due to the author, such as the undecidability of $\exists^{11}$ over ${\mathbb Z}$, are also mentioned in the survey.

In the paper under review the authors construct an algorithm to determine whether an arbitrary quadratic equation in several variables has solutions in positive integers. In a 1972 paper, C. L. Siegel [Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. II 1972, 21-46; MR0311578 (47 #140)] constructed an algorithm to determine whether an arbitrary quadratic equation had integer solutions. The transition from integer solutions to positive integer solutions in the general context of Diophantine equations is usually done using Lagrange's theorem concerning representation of integers by the sums of four squares. Unfortunately, replacing all the variables by sums of squares clearly changes the degree of the equation, and therefore this method will be of no use if the degree of the equation is of concern.

To construct an algorithm for positive integer solutions, the authors solve a more general problem. They give a decision procedure to solve a system of quadratic equations in integers subject to finitely many specified congruences and linear inequalities. En route to constructing this algorithm, the authors also produce some interesting number-theoretic results concerning the distribution of integral points on quadric hypersurfaces at infinity.

While of independent number-theoretic interest, this paper is also a valuable contribution to our understanding of the boundary of Diophantine undecidabilty with respect to the degree of the equation. J. P. Jones [Bull. Amer. Math. Soc. (N.S.) 3 (1980), no. 2, 859-862; MR0578379 (81k:10094)] has shown that the degree of the equations with the decidable Hilbert's tenth problem for positive integer solutions has to be less than 4, and the results in this paper indicate that the only remaining question pertains to the degree 3 equations.

Reviewed by Alexandra Shlapentokh.

Let me close by mentioning that work on the tenth problem is still very active, although it has moved from just the setting of ${\mathbb Z}$ to more general number rings and beyond. A great reference is the recent book by Shlapentokh, "Hilbert's tenth problem. Diophantine classes and extensions to global fields". New Mathematical Monographs, 7. Cambridge University Press, Cambridge, 2007.

A problem about which I know nothing is whether the bounds can be improved if we just look for unsolvability (i.e., some intermediate r.e. degree) rather than universality (i.e., degree $0'$), which has been the focus so far.
–
Andres CaicedoJan 14 '11 at 16:15

1

More details about Sun's $\exists^{11}$ over $\mathbb{Z}$, as well as a brief survey about the decidability frontier when one allows alternating quantifiers, can be found in a talk by Sun from 2000: math.nju.edu.cn/~zwsun/htp.pdf
–
András SalamonMar 12 '11 at 11:31