Skip to content

Mathematical Mischief Night

October 30, 2012

Real implications from a fake-paper prank?

Composite of src1, src2

Marcie Rathke was not among the speakers whose talks I heard at the Algorithms Workshop at St. John’s College, Oxford University, two weeks ago. She is “famous” for her recent paper, “Independent, Negative, Canonically Turing Arrows of Equations and Problems in Applied Formal PDE,” which was just accepted by the journal Advances in Pure Mathematics. Her paper could have been presented at the Oxford workshop since solving PDE’s is a vital algorithmic task, Oxford is known for formal approaches, and this was part of Oxford’s observance of the Turing Centennial. But it was not.

Today, October 30th, the eve of Halloween, is often called “Mischief Night.” It is a night when many children play tricks before they receive their treats on the next night—Halloween. Thus today is a good time to think about tricks and possible treats in the world of mathematics and theory.

Mischief Night And Turing Arrows

Ken has strong ties to Oxford, and was excited to discover that Mischief Night—which his New Jersey neighborhood called “Cabbage Night”—connects to St. John’s College. The earliest reference given by Wikipedia traces it to the college—in 1790. This is a story related by the college fellows about a headmaster supporting a school play that included

“an Ode to Fun which praises children’s tricks on Mischief Night in most approving terms.

Whether the college today would have approved staging a talk by “Marcie Rathke” is dubious, because her paper is entirely fake. It is a “trick” not a “treat.” The paper is a fake, a fraud, and complete nonsense—is there incomplete nonsense?

The paper was generated by Mathgen, a web applet that creates papers in a “structuredly random” fashion.

Ken and I are disappointed, as the topic of “Turing Arrows” sounds cool and important. Surely there is room for a creative genius—a human genius—to conceptualize and develop it. Arrows suggest relational order theories of the kind proposed by the cosmologist Lee Smolin, which are a system of

“knots and networks [such that] the geometry of space arises out of [a] fundamental quantum level which is made up of an interwoven network [of] processes.”

Per theories by fellow cosmologist Max Tegmark, those processes would be Turing-computable. This would align the Turing Arrows programme with Alan Sokal’s pioneering work on transformative approaches to quantum gravity.

SCIgen and Real Gen?

Mathgen is an offshoot of SCIgen, which calls itself “An Automatic CS Paper Generator.” The program was written and is maintained by MIT graduate students Jeremy Stribling, Max Krohn, and Dan Aguayo. Their program aims

“to maximize amusement, rather than coherence.”

The applet is easy to use: just enter some author names—yours or others’—and click go. Ken did this with our names, and to quote Queen Victoria,

We are not amused.

Or rather, we are bemused, because what we got looks suspiciously good. Here are the title and abstract of the auto-generated paper:

Both of us have done real research related to constructive number theory, and we have talked about Ryan and Virginia Williams’ approach to matrix product using triangles. Notably, Ken and I just recently wrote a post on polytope approaches to factoring which of course relates to the Sieve of Eratosthenes.

So we wonder, does Mathgen read Gödel’s Lost Letter? More to the point, could we soon build a program that devours mathematical texts the way Google Translate does with massive data? We have blogged before about how far the methodology of IBM’s “Watson” might be adapted to do mathematics. We see some easy improvements the SCIgen people can make, such as assuring that quantities are defined or at least introduced before they are used. With the same level of research input as Watson, how scary-plausible could Mathgen become?

Skolem and Golem

The logician Thoralf Skolem lent his name to “Skolemization”, which remains an essential process in automated theorem proving today. He also developed primitive recursive arithmetic, and his Wikipedia bio goes so far as to say that if his work is interpreted with a certain hindsight,

“Skolem can be seen as an unwitting pioneer of theoretical computer science.”

All of this raises the spectre of the “golemization” of mathematics. The Golem is an “an animated anthropomorphic being, created entirely from inanimate matter.” Kurt Gödel supposedly killed off David Hilbert’s programme to automate mathematics, but in later life he was not so sure. A project at Oxford titled ALEPH for “A Learning Engine for Proposing Hypotheses” draws from the Golem story.

I have been thinking more about Skolem’s Problem from the wonderful talk by Joël Ouaknine, and have shared some further thoughts with him about solutions in special cases. Now I wonder, can we automate the creation of an exhaustive list of special cases that can be researched by computer, at least in the manner of PolyMath?

Skolem Cases

We are working on the general Skolem problem and have made some progress. For example, we believe we can handle some special cases—more in the near future.

Define the class of numbers {N_c} to be those positive numbers {n} of the form {n=p^k \ell } where {p} is a prime and both {k} and {\ell} are less than {c}. Possibly we can allow {c} to grow slowly with {n}, not just be fixed.

Theorem 1 Let {\lambda_1,\dots,\lambda_m} be algebraic numbers, let {c>0}, and let {a_1(n),\dots,a_m(n)} be polynomials in {n} with integer coefficients. Then we can decide whether or not there is an {n} so that

\displaystyle  \sum_{k=1}^{m} a_k(n) \lambda_{m}^{n} = 0

for {n} in {N_c}.

We will discuss this and more soon. The proofs use properties in algebraic number theory that are computational. We hope it will be a real treat and not a trick.

Open Problems

Can we solve more cases of Skolem’s Problem? Can we automate them? Are we any closer to a mathematical “Golem,” at least for Skolem?

Incidentally, talks at the workshop are now online, and ditto talks from the Princeton Turing Centennial Celebration, which we covered last May.

Finally, happy Halloween and enjoy your treats. All the best to those affected by Hurricane Sandy as well—it has postponed Halloween in many communities.

About these ads
3 Comments leave one →
  1. October 30, 2012 10:10 pm

    Incidentally that paper was on my first and only try of Mathgen. No cherry-picking. Though of course a selection-effect: if the “Lipton-Regan paper” hadn’t been germane, it wouldn’t have been in the post. And no, I will not post the full PDF of the paper—unlike “Marcie Rathke” we do have reputations to protect. :-)

  2. Gil Kalai permalink
    October 31, 2012 7:49 am

    Are there indeed Eratosthenes polytopes?

  3. John Sidles permalink
    October 31, 2012 1:21 pm

    LOL … This particular GLL essay mathematically immanentizes the eschaton that David Deutsch foresaw in his Fabric of Reality (1997)

    In the future, all explanations will be understood against the backdrop of universality, and every new idea will automatically tend to illuminate not just a particular subject, but, to varying degrees, all subjects.

    Supposing that nowadays random mathematical ideas are experienced as genuinely illuminating — as Ken and Dick and Gil have demonstrated! :)  — then we may safely reckon that a modern-day mathematical eschaton has arrived!

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s


Get every new post delivered to your Inbox.

Join 1,223 other followers