Cracking the problem with 33

TL;DR

This paper explores solutions to the equation x^3 + y^3 + z^3 = k for small k, successfully finding the first known solution for k=33, inspired by a popular number theory video.

Contribution

It presents the first known solution for the specific case of k=33 in the sum of three cubes problem.

Findings

First known solution for k=33

Methodology for finding solutions to sum of three cubes

Insight into the difficulty of solving for specific k values

Abstract

Inspired by the Numberphile video "The uncracked problem with 33" by Tim Browning and Brady Haran, we investigate solutions to $x^3+y^3+z^3=k$ for a few small values of $k$. We find the first known solution for $k=33$.

Equations

$$k=x^3+y^3+z^3.$$

$$33,42,114,165,390,579,627,633,732,795,906,921,975.$$

$$\max \{|x|,|y|,|z|\}>\sqrt[3]{2}\min \{|x|,|y|,|z|\}.$$

$$k-z^3=x^3+y^3=(x+y)(x^2-xy+y^2).$$

$$\frac{|k-z^3|}{d}$$

$$=|x|(2|x|-d)+(d-|x|{)}^2=3x^2-3d|x|+d^2,$$

$$\{x,y\}=\left\{\frac{1}{2}\mathrm{sgn}(k-z^3)\left(d\pm \sqrt{\frac{4|k-z^3|-d^3}{3d}}\right)\right\}.$$

$$\mathrm{sgn}z=-\mathrm{sgn}(k-z^3)=-\mathrm{sgn}(x^3+y^3)=-\mathrm{sgn}x.$$

$$|x{|}^3-|y{|}^3-|z{|}^3=-k\mathrm{sgn}z.$$

$$-k\mathrm{sgn}z$$

$$=3\alpha (\alpha +2)(|y|-|z|)z^2+3\alpha (|y|-|z|{)}^2|z|$$

$$\ge 3\alpha (\alpha +2)|y-z|z^2.$$

$$d=|x|-|y|\equiv |z|(\mathrm{mod}3).$$

$$\frac{d}{\sqrt[3]{2}-1}<|z|\le B,\mathrm{sgn}z=ϵ\left(\frac{d}{3}\right),z^3\equiv k(\mathrm{mod}d),$$

$$3d\left(4ϵ\left(\frac{d}{3}\right)(z^3-k)-d^3\right)=\square .$$

$$\sum _{d\le \alpha B}{r}_d(k){\ll }_{k}B.$$

$$Y^2=X^3-2(6d{)}^3\left(d^3+4ϵ\left(\frac{d}{3}\right)k\right).$$

$$\frac{\Delta }{3d}$$

$$\equiv 4[\delta +3(|z|-\delta )]-[\delta +3(d-\delta )]-4ϵ\delta k=3(4|z|-d)-\delta [18+4(ϵk-3)]$$

$$\equiv 3(4|z|-d)-d[18+4(ϵk-3)]=12|z|-9d-4ϵdk$$

$$\equiv 3|z|-4ϵdk.$$

$$z=ϵ\delta |z|\equiv \frac{4\delta dk}{3}\equiv \frac{4(2-d^2)k}{3}(\mathrm{mod}9).$$

$$\Delta=3\bigl{(}4p^{s+t}uv-p^{4s}u^{4}\bigr{)}.$$

$$0<s\le t={\mathrm{ord}}_p(z^3-k)={\mathrm{ord}}_{p}k<3s.$$

$$\left(\frac{\Delta }{p}\right)=\left(\frac{3d}{p}\right)\left(\frac{|z{|}^3-c}{p}\right)\in \{0,1\},$$

$$\frac{M}{2^{\omega (M/(M,d))}}\prod _{p\mid \frac{M}{(M,d)}}\left(1+O\left(\frac{1}{\sqrt{p}}\right)\right)=\frac{M}{2^{\omega (M/(M,d))}}{e}^{O(\sqrt{P}/\log P)},$$

$$\sum _{\mathrm{lcm}(d,18)\le \frac{\alpha B}{M}}$$

$${\ll }_{k}B\log M+\frac{e^{O(\sqrt{P}/\log P)}}{2^{\omega (M)}}\sum _{g\mid M}\frac{2^{\omega (g)}{r}_g(k)}{g}\sum _{d^{\prime }\le \frac{\alpha B}{9gM}}\frac{r_{d^{\prime }}(k)\alpha B}{d^{\prime }}$$

$${\ll }_{k}B\log M+B\log B\frac{e^{O(\sqrt{P}/\log P)}}{2^{\omega (M)}}\prod _{p\mid M}\left(1+\frac{2r_p(k)}{p}\right)$$

$$\ll BP+\frac{B\log B}{2^{(1+o(1))P/\log P}}\ll B(\log \log B)(\log \log \log B).$$

$$33=8866128975287528^3+(-8778405442862239{)}^3+(-2736111468807040{)}^3.$$

$$z\equiv 4\left(\frac{d}{3}\right)d+3\bigl{(}d^{2}-1\bigr{)}\pmod{162}.$$

Full text

This work was carried out using the computational facilities of the Advanced Computing Research Centre, University of Bristol, http://www.bris.ac.uk/acrc/. The author was partially supported by EPSRC Grant EP/K034383/1. No data were created in the course of this study.

1. Introduction

Let $k$ be a positive integer with $k\not\equiv\pm 4\pmod{9}$. Then Heath-Brown [HB92] has conjectured that there are infinitely many triples $(x,y,z)\in\mathbb{Z}^{3}$ such that

[TABLE]

Various numerical investigations of (1) have been carried out, beginning as early as 1954 [MW55]; see [BPTYJ07] for a thorough account of the history of these investigations up to 2000. The computations performed since that time have been dominated by an algorithm due to Elkies [Elk00]. The latest that we are aware of is the paper of Huisman [Hui16] (based on the implementation by Elsenhans and Jahnel [EJ09]), which determined all solutions to (1) with $k<1000$ and $\max\{|x|,|y|,|z|\}\leq 10^{15}$. In particular, Huisman reports that solutions are known for all but 13 values of $k<1000$:

[TABLE]

Elkies’ algorithm works by finding rational points near the Fermat curve $X^{3}+Y^{3}=1$ using lattice basis reduction; it is well suited to finding solutions for many values of $k$ simultaneously. In this paper we describe a different approach that is more efficient when $k$ is fixed. It has the advantage of provably finding all solutions with a bound on the smallest coordinate, rather than the largest as in Elkies’ algorithm. This always yields a nontrivial expansion of the search range since, apart from finitely many exceptions that can be accounted for separately, one has

[TABLE]

Moreover, empirically it is often the case that one of the variables is much smaller than the other two, so we expect the gain to be even greater in practice.

Our strategy is similar to some earlier approaches (see especially [HBLtR93], [Bre95], [KTS97] and [BPTYJ07]), and is based on the observation that in any solution, $k-z^{3}=x^{3}+y^{3}$ has $x+y$ as a factor. Our main contribution over the earlier investigations is to note that with some time-space tradeoffs, the running time is very nearly linear in the height bound, and it is quite practical when implemented on modern 64-bit computers.

In more detail, suppose that $(x,y,z)$ is a solution to (1), and assume without loss of generality that $|x|\geq|y|\geq|z|$. Then we have

[TABLE]

If $k-z^{3}=0$ then $y=-x$, and every value of $x$ yields a solution. Otherwise, setting $d=|x+y|=|x|+y\operatorname{sgn}{x}$, we see that $d$ divides $|k-z^{3}|$, and

[TABLE]

so that

[TABLE]

Thus, given a candidate value for $z$, there is an effective procedure to find all corresponding values of $x$ and $y$, by running through all divisors of $|k-z^{3}|$. Already this basic algorithm finds all solutions with $\min\{|x|,|y|,|z|\}\leq B$ in time $O(B^{1+\varepsilon})$, assuming standard heuristics for the time complexity of integer factorization. In the next section we explain how to avoid factoring and achieve the same ends more efficiently.

Acknowledgements

I thank Roger Heath-Brown for helpful comments and suggestions.

2. Methodology

For ease of presentation, we will assume that $k\equiv\pm 3\pmod{9}$; note that this holds for all $k$ in (2). Since the basic algorithm described above is reasonable for finding small solutions, we will assume henceforth that $|z|>\sqrt{k}$. Also, if we specialize (1) to solutions with $y=z$, then we get the Thue equation $x^{3}+2y^{3}=k$, which is efficiently solvable. Using the Thue solver in PARI/GP [The18], we verify that no such solutions exist for the $k$ in (2). Hence we may further assume that $y\neq z$.

Since $|z|>\sqrt{k}\geq\sqrt[3]{k}$, we have

[TABLE]

Likewise, since $x^{3}+z^{3}=k-y^{3}$ and $|y|\geq|z|$, we have $\operatorname{sgn}{y}=-\operatorname{sgn}{x}=\operatorname{sgn}{z}$. Multiplying both sides of (1) by $-\operatorname{sgn}{z}$, we thus obtain

[TABLE]

Set $\alpha=\sqrt[3]{2}-1$, and recall that $d=|x+y|=|x|-|y|$. If $d\geq\alpha|z|$ then

[TABLE]

Since $3\alpha(\alpha+2)>1$, this is incompatible with our assumptions that $y\neq z$ and $|z|>\sqrt{k}$. Thus we must have $0<d<\alpha|z|$.

Next, reducing (4) modulo $3$ and recalling our assumption that $k\equiv\pm 3\pmod{9}$, we see that

[TABLE]

Let $\epsilon\in\{\pm 1\}$ be so that $k\equiv 3\epsilon\pmod{9}$. Then, since every cube is congruent to [math] or $\pm 1\pmod{9}$, we must have $x\equiv y\equiv z\equiv\epsilon\pmod{3}$, so that $\operatorname{sgn}{z}=\epsilon\left(\frac{|z|}{3}\right)=\epsilon\left(\frac{d}{3}\right)$. In view of (3), we get a solution to (1) if and only if $d\mid z^{3}-k$ and $3d(4|z^{3}-k|-d^{3})=3d(4\epsilon\left(\frac{d}{3}\right)(z^{3}-k)-d^{3})$ is a square.

In summary, to find all solutions to (1) with $|x|\geq|y|\geq|z|>\sqrt{k}$, $y\neq z$ and $|z|\leq B$, it suffices to solve the following system for each $d\in\mathbb{Z}\cap(0,\alpha B)$ coprime to $3$:

[TABLE]

Our approach to solving this is straightforward: we work through the values of $d$ recursively by their prime factorizations, and apply the Chinese remainder theorem to reduce the solution of $z^{3}\equiv k\pmod{d}$ to the case of prime power modulus, to which standard algorithms apply. Let $r_{d}(k)=\#\{z\pmod{d}:z^{3}\equiv k\pmod{d}\}$ denote the number of cube roots of $k$ modulo $d$. By standard analytic estimates, since $k$ is not a cube, we have

[TABLE]

Heuristically, computing the solutions of $z^{3}\equiv k\pmod{p}$ for all primes $p\leq\alpha B$ can be done with $O(B)$ arithmetic operations on integers in $[0,\alpha B]$; see e.g. the algorithm described in [NZM91, §2.9, Exercise 8]. Assuming this, one can see that with Montgomery’s batch inversion trick [Mon87, §10.3.1], the remaining effort to determine the roots of $z^{3}\equiv k\pmod{d}$ for all positive integers $d\leq\alpha B$ can again be carried out with $O(B)$ arithmetic operations.

Thus, we can work out all $z$ satisfying the first line of (5), as a union of arithmetic progressions, in linear time. To detect solutions to the final line, it is crucial to have a quick method of determining whether $\Delta:=3d\left(4\epsilon\!\left(\frac{d}{3}\right)(z^{3}-k)-d^{3}\right)$ is a square. We first note that for fixed $d$ this condition reduces to finding an integral point on an elliptic curve; specifically, writing $X=12d|z|$ and $Y=(6d)^{2}|x-y|$, from (3) we see that $(X,Y)$ lies on the Mordell curve

[TABLE]

Thus, for fixed $d$ there are at most finitely many solutions, and they can be effectively bounded. For some small values of $d$ it is practical to find all the integral points on (6) and check whether any yield solutions to (1). For instance, using the integral point functionality in Magma [BCFS18, §128.2.8], we verified that there are no solutions for $k$ as in (2) and $d\leq 40$, except possibly for $(k,d)\in\{(579,29),(579,34),(975,22)\}$.

Next we note that some congruence and divisibility constraints come for free:

Lemma**.**

Let $z$ be a solution to (5), let $p$ be a prime number, and set $s=\operatorname{ord}_{p}{d}$, $t=\operatorname{ord}_{p}(z^{3}-k)$. Then:

1. (i)

$z\equiv\frac{4}{3}k(2-d^{2})+9(k+d)\pmod{18}$; 2. (ii)

if $p\equiv 2\pmod{3}$ then $t\leq 3s$; 3. (iii)

if $t\leq 3s$ then $s\equiv t\pmod{2}$; 4. (iv)

if $\operatorname{ord}_{p}{k}\in\{1,2\}$ then $s\in\{0,\operatorname{ord}_{p}{k}\}$.

Proof.

Let $\Delta=3d\left(4\epsilon\!\left(\frac{d}{3}\right)(z^{3}-k)-d^{3}\right)$. Writing $\delta=\left(\frac{d}{3}\right)$, we have $|z|\equiv d\equiv\delta\pmod{3}$. Observing that $(\delta+3n)^{3}\equiv\delta+9n\pmod{27}$, modulo $27$ we have

[TABLE]

This vanishes modulo $9$, so in order for $\Delta$ to be a square, it must vanish mod $27$ as well. Hence

[TABLE]

Reducing (1) modulo $2$ we see that $z\equiv k+d\pmod{2}$, and this yields (i).

Next set $u=p^{-s}d$ and $v=p^{-t}\epsilon\delta(z^{3}-k)$, so that

[TABLE]

If $3s<t$ then $p^{-4s}\Delta\equiv-3u^{4}\pmod{4p}$, but this is impossible when $p\equiv 2\pmod{3}$, since $-3$ is not a square modulo $4p$. Hence we must have $t\leq 3s$ in that case.

Next suppose that $t\leq 3s$. We consider the following cases, which cover all possibilities:

• •

If $p=3$ then $s=t=0$, so $s\equiv t\pmod{2}$.

• •

If $p\neq 3$ and $3s>t+2\operatorname{ord}_{p}{2}$ then $\operatorname{ord}_{p}\Delta=s+t+2\operatorname{ord}_{p}2$, so $s\equiv t\pmod{2}$.

• •

If $3s\in\{t,t+2\}$ then $s\equiv t\pmod{2}$.

• •

If $p=2$ and $3s=t+1$ then 2^{-4s}\Delta=3\bigl{(}2uv-u^{4}\bigr{)}\equiv 3\pmod{4}, which is impossible.

Thus, in any case we conclude that $s\equiv t\pmod{2}$.

Finally, suppose that $p\mid k$ and $p^{3}\nmid k$. If $s=0$ then there is nothing to prove, so assume otherwise. Since $d\mid{z^{3}-k}$, we must have $p\mid z$, whence

[TABLE]

By part (iii) it follows that $s\equiv\operatorname{ord}_{p}{k}\pmod{2}$, and thus $s=\operatorname{ord}_{p}{k}$. ∎

Thus, once the residue class of $z\pmod{d}$ is fixed, its residue modulo $\operatorname{lcm}(d,18)$ is determined. Note also that conditions (ii) and (iii) are efficient to test for $p=2$.

However, even with these optimizations there are $\gg B\log{B}$ pairs $d,z$ satisfying the first line of (5) and conclusions (i) and (iv) of the lemma. To achieve better than $O(B\log{B})$ running time therefore requires eliminating some values of $z$ from the start. We accomplish this with a standard time-space tradeoff. To be precise, set $P=3(\log\log{B})(\log\log\log{B})$, and let $M=\prod_{5\leq p\leq P}p$ be the product of primes in the interval $[5,P]$. By the prime number theorem, we have $\log{M}=(1+o(1))P$. If $\Delta$ is a square, then for any prime $p\mid M$ we have

[TABLE]

where $c\equiv\epsilon\left(\frac{d}{3}\right)k+\frac{d^{3}}{4}\pmod{M}$. When $\operatorname{lcm}(d,18)\leq\alpha B/M$, we first compute this function for every residue class $|z|\pmod{M}$, and select only those residues for which (7) holds for every $p\mid M$. By Hasse’s bound, the number of permissible residues is at most

[TABLE]

and thus the total number of $z$ values to consider is at most

[TABLE]

For the $z$ that are not eliminated in this way, we follow a similar strategy with a few other auxiliary moduli $M^{\prime}$ composed of larger primes, in order to accelerate the square testing. We precompute tables of cubes modulo $M^{\prime}$ and Legendre symbols modulo $p\mid M^{\prime}$, so that testing (7) is reduced to table lookups. Only when all of these tests pass do we compute $\Delta$ in multi-precision arithmetic [Gt16] and apply a general square test, and this happens for a vanishingly small proportion of candidate values. In fact we expect the number of Legendre tests to be bounded on average, so in total, finding all solutions with $|z|\leq B$ should require no more than O_{k}\bigl{(}B(\log\log{B})(\log\log\log{B})\bigr{)} table lookups and arithmetic operations on integers in $[0,B]$.

Thus, when $B$ fits within the machine word size, we expect the running time to be nearly linear, and this is what we observe in practice for $B<2^{64}$.

3. Implementation

We implemented the above algorithm in C, with a few inline assembly routines for Montgomery arithmetic [Mon85] written by Ben Buhrow [Buh19], and Kim Walisch’s primesieve library [Wal19] for enumerating prime numbers.

The algorithm is naturally split between values of $d$ with a prime factor exceeding $\sqrt{\alpha B}$ and those that are $\sqrt{\alpha B}$-smooth. The former set of $d$ consumes more than two-thirds of the running time, but is more easily parallelized. We ran this part on the massively parallel cluster Bluecrystal Phase 3 at the Advanced Computing Research Centre, University of Bristol. For the smooth $d$ we used a separate small cluster of 32- and 64-core nodes.

We searched for solutions to (1) for $k\in\{33,42\}$ and $\min\{|x|,|y|,|z|\}\leq 10^{16}$, and found the following:

[TABLE]

We also searched for solutions for $k=3$, addressing a question of Mordell [Mor53, §6]. In this case, Cassels [Cas85] observed that cubic reciprocity forces the additional constraint $x\equiv y\equiv z\pmod{9}$, and it follows that part (i) of the lemma can be upgraded to a congruence modulo $162$:

[TABLE]

Despite this added efficiency, we found no solutions, beyond the known single-digit solutions, with $\min\{|x|,|y|,|z|\}\leq 10^{16}$.

The total computation used approximately 23 core-years over one month of real time.