On the smallest open Diophantine equations: beyond Hilbert's 10 problem

Question

In 2018, Zidane asked What is the smallest unsolved Diophantine equation? The suggested way to measure size of the equation is substitute 2 instead of all variables, absolute values instead of all coefficients, and evaluate.

In the Mathoverlow question Can you solve the listed smallest open Diophantine equations? I list the current smallest equations for which it is open whether there exists any integer solution at all (Hilbert's 10 problem).

However, there are some famous equations, like $x^3+y^3+z^3=3$ of size $H=2^3+2^3+2^3+3=27$, for which the Hilbert's 10 problem is trivial (in this example, $x=y=z=1$ is a solution), but the equation can hardly be classified as solved, because we do not even know whether the solution set is finite.

Here, I consider more general problem: for a given polynomial Diophantine equation, determine whether the solution set is finite, and if so, list all the solutions. This is a much better approximation of our intuition what does it mean to solve an equation, but still avoids a subtle issue what counts as an acceptable description of the solution set if it is infinite (see What does it mean to solve an equation? for some discussion of this).

Selected solved equations.

• The smallest equation that required a new idea turned out to be $y^2+z^2=x^3-2$ of size $H=18$, see Representing $x^3-2$ as a sum of two squares for the proof that it has infinitely many integer solutions.

• Equations $ y(z^2-y)=x^3+2 $ and and $ xyz=x^3+y^2-2 $ of size $H=22$ has been listed as open and then solved by Tomita, see the answer below.

Smallest open equations.

The current smallest open equations are the equations $$ y^2-yz^2+x^3-2=0 $$ and $$ xyz=x^3+y^2+2 $$ of size $H=22$. These are the only remaining open equations with $H \leq 22$.

One may also study equations of special types. For example, the current smallest open symmetric equation (that is, invariant under cyclic shift of the variables) is $$ x^2y+y^2z+z^2x=1 $$ of size $H=25$. The current smallest open equations in two variables are $$ y^3+y=x^4+x $$ and $$ y^3-y=x^4-x $$ of size $H=28$, the current smallest open 3-monomial equation is $$ x^3y^2=z^3+2 $$ of size $H=42$, while the current smallest open homogeneous equation is $$ x^4+x^3 y-y^4+y^3 z+z^4=0 $$ of size $H=80$, see Existence of rational points on some genus 3 curves.

For the listed equations, the Hilbert 10th problem is trivial, because there are some obvious small solutions. The question, for each of the listed equations, is whether the solution set is finite or infinite, and if finite, list the solutions.

The plan is to list new smallest open equations once these ones are solved. The solved equations will be moved to the "solved" section.

Answer 1

This is a partial solution. The equation

$$y(z^2-y)=x^3+2\tag{1}$$

has infinitely many integer solutions.

Since $y = 1/2z^2 \pm 1/2\sqrt{z^4-4x^3-8}$, the expression $z^4-4x^3-8$ must be a perfect square. On the other hand, substitute $x=-3n^2-2n-2$ and $z=3n+1$ to $z^4-4x^3-8$, then we get
$$z^4-4x^3-8 = (25+8n+12n^2)(1+2n+3n^2)^2,$$ where $n$ is arbitrary integer. Hence we must find integer solutions of $$v^2 = 25+8n+12n^2\tag{2}.$$ We know equation $(2)$ has infinitely many integer solutions (Gauss's theorem, Mordell's book p.57). Recursive solutions are given as follows.
\begin{align*}(v_0,n_0)&=(\pm 5,0),\\ (v_{k+1},n_{k+1}) &= (7v_k + 24n_k + 8,2v_n + 7n_k + 2).\end{align*}

             k      x     y     z
            [12],[-458, 10510, 37]  
            [12],[-458, -9141, 37]
            [172],[-89098, 26729099, 517] 
            [172],[-89098, -26461810, 517] 
            [2400],[-17284802, 71887487358, 7201]  
            [2400],[-17284802, -71835632957, 7201]
            [33432],[-3353162738, 194174947774195, 100297]  
            [33432],[-3353162738, -194164888285986, 100297]
            [465652],[-650496286618, 524648022526642094, 1396957]  
            [465652],[-650496286618, -524646071037782245, 1396957]
            [-8],[-178, 2654, 23]  
            [-8],[-178, -2125, 23]
            [-108],[-34778, 6538075, 323]  
            [-108],[-34778, -6433746, 323]
            [-1500],[-6747002, 17535455598, 4499]  
            [-1500],[-6747002, -17515214597, 4499]
            [-20888],[-1308883858, 47355417946259, 62663]  
            [-20888],[-1308883858, -47351491294690, 62663]
            [-290928],[-253916721698, 127949397813283390, 872783]  
            [-290928],[-253916721698, -127948636063118301, 872783]