# Halloween Math Style

*The top scariest possible results*

Head chopped from source |

Washington Irving was a famous writer of the early 1800’s who is best known for his short stories. *The Legend of Sleepy Hollow* was based on the folklore that each Halloween a decapitated Hessian soldier, killed in the American Revolution, rises as a ghost, a nasty ghost, who searches for his lost head.

Today is Halloween and while Ken and I are not searching for any lost heads, we do believe it is a good day to think about scary stories.

It’s Halloween—variously Allhalloween, All Hallows’ Eve, or All Saints’ Eve—and we thought we share some really scary results with you. It is the beginning of Allhallowtide, which includes All Saints’ Day on Nov. 1 and All Souls’ Day on Nov. 2.

## The Results

Here are some of the top scariest results we can imagine happening on Halloween. May they not happen—may you and we get treats, not tricks.

**A New Simple Group**

A group of physicists at CERN have been working on a string theory in 1,729 dimensions. In using higher-order amplituhedra to remove infinities, they discovered a new large symmetric structure. They noticed that the group of this structure seemed interesting. And it was. Group theorists at CalTech have verified that it is not in the current list of simple groups.

Group theorists have divided into two “groups”: those looking for where the error occurred in the current proof, and those checking which applications of the classification still are correct theorems.

**A Special Even Number**

A teen in high school for her science project studied the curious family of numbers

where and both and are primes. She gave an analytical proof that if there are infinitely many such numbers then not all of them can be the sum of two primes. The proof is not elementary but is clever and seems correct. Number theorists are of course upset because this implies that either the Twin Prime conjecture or the Goldbach conjecture is false—and the proof doesn’t tell which.

**Quasi-Gems**

An infinite sequence of integers has been found such that the polynomials defined by and recursively for ,

have at least distinct integer roots in the range . For the slight disruption this could cause see this post.

**Sam Bonwit**

SIGACT just accepted a paper in advance for the 2017 STOC conference. The sole author is named Sam Bonwit. It extends several recent FOCS papers on theoretical aspects of machine learning (ML), beginning with a short proof of a previous very difficult theorem in ML. The committee has just discovered that the paper was created completely by a deep learning algorithm, with no human intervention.

**A Complexity Result**

The class , logspace, has just been shown to be equal to . The proof seems right and of course solves the P=NP question. Besides the shock the theory community is trying to see what can be saved from the past, since many conditional theorems are now gone. A very bad *trick*.

**Nobel Less Oblige?**

A group of physicists not at CERN have been working on a non-string theory in 4 spacetime dimensions. They have proved that for any universe is which the cosmological constant Lambda is not exactly zero, spacetime explodes with the intensity of quadrillions of hydrogen bombs per cubic nanometer per nanosecond. It is a consequence of the wave-particle duality for inflation. This has led other scientists to consider revising the statistical confidence for dark energy.

## Open Problems

What are your scary results that you could imagine?

Can you please share the source of “A Special Even Number”?

It’s an October April Fool, in the spirit of the current US election. Well the idea is possible, as with all the items, and that’s the “scary” part.

Thank God! My heart missed a beat when I read that paragraph.

Prof. N J Wildberger claims to have solved Goldbach conjecture and will present the solution on November 8, 2016 at 3 pm (Sydney time). Here is the announcement: https://youtu.be/H5E2mkgxEmU

Wildberger? Oh is that not the strange guy, who does not believe the Green – Tao theorem.

I fear the his arguments for Goldbach are out of the same material

Dick+Ken,

This sounds like a real event:

“…The class {L}, logspace, has just been shown to be equal to {\oplus\mathsf{P}}. The proof seems right and of course solves the P=NP question.”,

and not a Halloween April Fool.

If really true please share some reference/hint to this result.

Thank you,

Once upon a time a demon posted over the entrance to all STEAM-academies the fearsome prophesy “Most Tensor Problems Are NP-Hard” (2013, see arXiv:0911.1393) and its grim corollary “Most Large-Dimension Sampling Algorithms, if Efficient, are Not Close in Variation Distance”.

Unexpectedly there arose a dawning hope … the quixotic knight “Sir Blessing of Dimensionality” and his faithful squire “Concentration of Measure” demonstrated that although the imposing windmills of NP-hardness and Approximate Sampling could not be overturned, they could effectively (for most purposes) be ridden around.

And so the computational monsters of NP-hardness and sampling infeasibility came be regarded as benignly irrelevant features of a friendly and fertile computational landscape! :)

What are your scary results that you could imagine?

It’s http://www.andrebarbosa.eti.br/the_cook-levin_theorem_is_false.pdf to be really true.