Or: Being Dismissive of Experimental Mathematics (and/or Small Universities) is Just as Bad as Being Dismissive of Women

Written: Jan. 22, 2018

One of the hardest parts of combinatorics is
Ramsey theory, nicely covered by the Graham-Rotschild-Spencer
classic and the more recent book by Landman and Robertson. We have no clue what R(5) is, and
possibly never will (at any rate, we will [most probably] never know the value of R(6)).
Also the gap between the proved upper bound for R(n) and the proved lower bound is huge!
(roughly 4^{n} and sqrt(2)^{n} respectively). Hence we desperately need new
ideas and new methodologies, that will increase our *knowledge* , not necessarily by
rigorous proofs.

A fairly recent breakthrough by mathematician Aaron Robertson,
statistician William Cipolli, and undergraduate student Maria Dascalu, does just that. The paper
speaks for itself, and I hope that you will read it. While non-rigorous, it is more *certain* than many
believed-to-be-proved results in mathematics, that often contain (as yet undetected) both minor and major gaps.

Aaron gave a great talk about it in the recent JMM in San Diego, and I was *shocked* when he told me,
that after he submitted it to the Proc. of the National Academy of Science (PNAS),
it was *immediately* rejected, without being sent for review.
A form letter, signed by the (at the time) editor-in-chief, Inder Verma, stated that "the expert that served
as an editor" decided that it is of "insufficient general interest" and should go to a specialized journal.
Unfortunately, he did not specify the name of that "expert editor", but the website of PNAS only lists
three mathematical editors: Ken Ribet, Rob Kirby, and Srinivasa Varadhan. When I asked
Ken Ribet to reconsider the poor decision, he first stated that "he never saw it",
so unless
Professor Verma was mistaken, this narrows down the culprits to either Kirby or Varadhan.

Whoever made this decision, made a very poor one. It shows the dismissive attitude of traditional mathematicians towards experimental and innovative mathematics. It is just as bad as a dismissive attitude towards women and minorities. I also have another conjecture. They saw "Colgate University" and immediately dismissed it as of "insufficient general interest", in other words they were dismissive of small universities. Finally, I was also disappointed at Ron Graham, who politely stated that the "final decision" is by the editors (e.g. Ken Ribet) and there is nothing he can do. Since members of the NAS are allowed to submit papers, he should have tried to over-rule the poor editorial decision.

Ken Ribet, in the above-mentioned email, stated that
"the editorial process is very noisy", so the best thing to do, according to him, when a paper gets rejected, rather
than to try and appeal it, is to try another journal. While this sounds like sound advice, I must say that
the "noise" is not exactly symmetric, it is a very *biased* noise.

Luckily, nowadays we have arxiv.org, so being accepted by a "real" journal is not that important. The future will decide that this work is more interesting and more significant that most of the mathematical articles that did get accepted by the PNAS.

Doron Zeilberger's Opinion's Table of Content