# Writing 33 as a Sum of Cubes

*Cracking a Diophantine problem for 42 too*

Andrew Booker is a mathematician at the University of Bristol, who works in analytic number theory. For example he has a paper extending a result of Alan Turing on the Riemann zeta function. Yes our Turing.

Today Ken and I will talk about his successful search for a solution to a 64 year old problem.

He was inspired by a video on the search problem authored by Tim Browning and Brady Haran. The question was to find a solution to

Booker found

The search was for all possible solutions with bounded by . Note that this is expensive, and is not even close to polynomial time in the number of bits. But it is feasible today thanks to modern technology:

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

Before we turn to our discussion, note that Booker’s paper on extending Turing is really a result on proof checking. Turing had great intuition, terrible that we lost him so early. He, Turing, essentially proved the first result ever on how to efficiently check a computation. Booker says:

Turing introduced a method for certifying the completeness of a purported list of zeros of that is guaranteed to work (when the list is in fact complete). Turing’s method has remained a small but essential ingredient in all subsequent verifications of RH and its many generalizations.

That is checking the zeroes of the Riemann zeta function .

Speaking of checking, when I was drafting this I initially had the wrong solution:

which is **wrong**. Can you quickly see why this cannot be right? Answer at the end.

## The Press

The press love Booker’s result. Not the one on the zeta function, the one on the number .

Part of the excitement is caused by the number . In complexity theory we rarely see explicit numbers—more likely to see expressions like

and worse.

The press seem to like the numerology of . The number is quite neat:

- The atomic number of arsenic.
- It is the code for international direct-dial phone calls to France.
- It is Kareem Abdul-Jabbar’s old jersey number.
- And more

Most important is the connection with Rolling-Rock beer:

The press from *Newsweek* and other sites talked about Booker’s solution. See here and here. And here at the *Quanta* magazine with a great diagram:

One said:

To crunch the numbers, he then used a cluster of powerful computers – 512 central processing unit (CPU) cores at the same time – known as Blue Crystal Phase 3. When he returned to his office one morning after dropping his children off at school, he spotted the solution on his screen. “I jumped for joy,” he recalled.

Another reported,

Booker said: “This one’s right at the boundary between what we know how to prove and what we suspect might be undecidable.”

I hope we will get the same coverage for our big results.

## More Press

The press love Booker’s result. Not the one on the zeta function, the one on the number . This search was jointly led by Andrew Sutherland of MIT.

Part of the excitement is caused by the number . In complexity theory we rarely see explicit numbers—more likely to see expressions like

and worse.

The press seem to like the numerology of . The number is quite neat:

- The atomic number of molybdenum.
- It was the code for international direct-dial phone calls to Czechoslovakia, until the “velvet divorce” split the codes into and .
- It was Jackie Robinson’s old jersey number. Major League Baseball retired the number for all teams. The last player allowed to wear it was Mariano Rivera of the Yankees, himself a Hall-of-Famer, except that all players on all teams wear it on April 15. Rivera is nicknamed “Mo” which is the symbol for molybdenum—are we the first to notice this coincidence?
- And more

Most important is the connection with *The Hitchhiker’s Guide to the Galaxy*:

The press from *New Scientist* and other sites talked about Booker’s solution. See here and here. But here the *Quanta* magazine seems not to have mentioned the number at all in over three months:

One said:

Of course, it wasn’t simple. The pair had to go large, so they enlisted the aid of the Charity Engine, an initiative that spans the globe, harnessing unused computing power from over 500,000 home PCs to act as a sort of “planetary supercomputer.”It took over a million hours of computing time, but the two mathematicians found their solution:

Another reported:

Booker said: “I feel relieved … we might find what we’re looking for with a few months of searching, or it might be that the solution isn’t found for another century.”

I hope we will get the same coverage for our big results.

## Less Press

Booker and Sutherland also discovered that

This is the next-largest solution after and . Weird. And the first solution not to duplicate a number. And it uses two numbers that agree to markedly more decimal places than those in the above solutions for and . Weirder.

## Smart Search

Booker wanted to search for a solution to

Actually his main interest was in , but his method is general. How does one do this for bounded by . The obvious method is: Try all numbers below .

This is too expensive and requires time. Too much, even with a cluster of fast processors.

An improvement is to try all in the range and then check that is cube. This runs in time. Still too much.

A key insight is to re-write the equation as

Then we note that must be a divisor of . Since there are few such divisors, we can improve the time greatly. For the divisors of some simple algebra and the quadratic formula shows that

and

This shows that the search is now reduced to . Still too much, but close to doable. The next trick is to avoid the factoring step. See Booker’s paper for the rest of the search description.

I like the progression of time bounds from

## Open Problems

Can one beat ? Could there be an algorithm that runs in for some ? Can any of our tricks apply here? A possible observation: Booker is clever but he writes that the methods use not

time, but that they use

time. Maybe we can help in some manner. What do you think? The next unsolved number, , awaits.

§

*Answer to the question on checking*: Take the numbers modulo .

becomes

[Typo fixed]

In regard to fair credit, fairly given, remember that 42 was one of Deacon Dodgson’s favorite numbers. Abstracted by Disney, it plays daily as, “Rule 42, the Queen always wins!” The specific reference is,

“It’s the oldest rule in the book,” said the King.

“Then it ought to be Number One,” said Alice.

I considered also mentioning that there are 42 Laws of Cricket—a number that has been conserved even with the advent of digital review. On this matter I would speak with some authority. 🙂 But the “33” post was drafted before we saw 42 had been solved too, and we decided to conserve the parallel between the two “Press” sections as much as possible to be funny.

Did you mean $B^{1+\epsilon}$ (not $B^\epsilon$) in the last equation?

Dear Clement Canonne:

Yes of course…thanks very much all fix

Best

Dick

Could we use this as the basis of an encryption system, I choose three large random cubes and find their sum, publish the sum as a public key and the large cubes as a private key?

One more missing fact since the ancient times :

http://vixra.org/abs/1909.0638

About the answer to the question on checking, obviously the computation modulo 10 is the usual technique, but in this case it’s quite easy to check that the formula states that

33 = A^3 + B^3 – C^3 with A and B way larger than C (need to count digits to make sure), so the number on the right should be much larger than 33.