Nontrivially fillable gaps in published proofs of major theorems

Question

Prelude: In 1998, Robert Solovay wrote an email to John Nash to communicate an error that he detected in the proof of the Nash embedding theorem, as presented in Nash's well-known paper "The Imbedding Problem for Riemannian Manifolds" (Annals of Math, 1956), and to offer a nontrivial fix for the problem, as detailed in this erratum note prepared by John Nash. This topic is also discussed in this MO question.

Of course, any mathematician who has been around long enough knows of many published proofs with significant gaps, some provably irreparable, and some perhaps authored by himself or herself. What makes the above situation striking--and discomforting to many of us--is the combination of the following three factors:

(1) The theorem whose proof is found faulty is a major result that was published in 1950 or after, in a readily accessible source to experts in the field . (I chose the 1950 lower bound as a way of focusing on the somewhat recent past).

(2) The gap detected is filled with a nontrivial fix that is publicly available and consented to by experts in the field (so we are not talking about gaps easily filled, or about gaps alleged by pseudomathematicians, or about false publicly accepted theorems, as discussed in this MO question).

(3) There is an interlude of 30 years or more between the publication of the proof and the detection of the gap (I chose 30 years since it is approximately the age difference between consecutive generations, even though the interlude is 42 years in the case of the Nash embedding theorem).

Question to fellow mathematicians: what is the most dramatic instance you know of where all of the three above factors are present?

Answer 1

In 1970, I. N. Baker published a proof of a basic result in holomorphic dynamics:

a transcendental entire function cannot have more than one completely invariant domain.

A completely invariant domain is an open connected set $D$ such that $f(z)\in D$ if and only if $z\in D$.

Baker "proved" a more general statement that: there cannot be two disjoint domains whose preimages are connected.

The "proof" was a simple topological argument which occupied less than one page. Since then this result has been used and generalized by extending his simple argument. In summer 2016 I was explaining Baker's argument to Julien Duval, he was somewhat slow in understanding and kept asking questions. Few weeks later he found a gap in the proof. It also took him some time to convince me that there is a gap indeed. Specialists were informed.

Half a year later an amazing counterexample has been constructed in https://arxiv.org/abs/1801.06359 by Lasse Rempe-Gillen and David Sixsmith. This paper contains the full account of the story. This is a counterexample to Baker's more general statement only, not to the highlighted theorem itself, which is now an important open question.

Answer 2

In 2017 an erratum to the 1973 paper Isotopies of homeomorphisms of Riemann surfaces by Birman and Hilden appeared in Annals of Mathematics which satisfies your three criteria. That's a 43-year gap! The way Birman and Hilden tracked all papers citing theirs is admirable.

The error was found by Ghaswala, and a fix was provided by Ghaswala and Winarski in Lifting Homeomorphisms and Cyclic Branched Covers of Spheres, published the same year as the erratum.

Answer 3

A lightweight counterpart: a false argument (ascribed to Hilbert) and a false statement by Cauer in 1910s: one cannot find a center of a circle [Hilbert] or two disjoint circles [Cauer] using a ruler only. A wrong argument can be found in most popular books [e.g. Courant/Robbins, or Rademacher/Toeplitz], the error was noted just a few years ago:

Arseniy Akopyan, Roman Fedorov, Two circles and only a straightedge, Proc. AMS 147 no. 1 (2019) pp. 91-102, doi:10.1090/proc/14240, arXiv:1709.02562.

Answer 4

If a 25-year interlude will do, there is

R. F. Coleman has sent me his preprint ["Manin's proof of the Mordell conjecture'', Preprint, 1988; per bibl.] concerning my proof of Mordell's conjecture for function fields (see the paper cited in the heading). Coleman has discovered and corrected inaccuracies in my paper. Below I explain what changes should be made in the original paper in the language of that paper.

(If not, then maybe this.)

Answer 5

In 1980, Micali and Vazirani published An $O(\sqrt{|V|}\cdot |E|)$ algorithm for finding maximum matching in general graphs. I regard this as a major result in theoretical computer science. By Vazirani's own account, a complete proof of the running time claimed in the title was not provided until his 2012 arXiv preprint. That is a gap of 32 years.

However, one could object that the 1980 paper was technically just an "extended abstract" that did not claim to provide a full proof of correctness. In 1994, Vazirani published a paper claiming to give a proof (but which, as he himself acknowledged in his 2012 preprint, contained gaps and errors). So the gap is arguably "only" 18 years.

Answer 6

In 1990, Ravi Kannan wrote a paper giving an algorithm deciding $\forall \exists$ sentences of integer programs. As an intermediate claim, he "proved" the "Kannan Partition Theorem". Because his proof was unreadable to Eisenbrand and Shmonin who wanted to extend his result, they proved their own slightly weaker version of KPT. In 2017, Nguyen and Pak showed that if the KPT is true, then Short Presburger Arithmetic sentences can be decided in polynomial time, but a few months later, they showed that this is in fact hard and discovered the bug in the proof of KPT. The weaker version of Eisenbrand and Shmonin holds and is sufficient to prove Kannan's original final result.

So here the bug was fixed by Eisenbrand and Shmonin before it was discovered by Nguyen and Pak, and a (conditional) positive result was derived from it by the same authors who (a few months later) disproved it.

Answer 7

Since some answers include the results published before 1950, let me include the famous story of Hilbert's Problem on finiteness of the number of limit cycles of a polynomial vector field in the plane (Problem 16, second part). In 1923 Henri Dulac published a proof. The proof was accepted, it was published in a top journal and Dulac even obtained a prize for it. The huge gap was found in 1981, and fixed in 1992, independently by Yulii Ilyashenko and Jean Ecalle.

Answer 8

In 1979, Dobkin and Snyder published an algorithm that purported to give the largest-area triangle inscribed in a convex n-gon in O(n) time. In 2017, Keikha, Löffler, Urhausen, and van der Hoog showed that this algorithm was in fact wrong. Two different authors were quickly and independently able to fill the gap and give a correct linear-time algorithm (I was one of them). It later turned out that the gap was already filled in a 1992 paper by Chandran and Mount, where they describe a linear-time algorithm to simultaneously construct the largest inscribed and smallest circumscribed triangles. Because the 1979 algorithm was not known to be wrong at the time, the fact that it gave an O(n) algorithm for the largest inscribed triangle was not a selling point of the 1992 paper and was not emphasized.

Answer 9

I think that the formula for the Littlewood-Richardson rule (how to expand a product of Schur functions into Schur functions) qualifies. It was first claimed to be proved 1934, then an error was discovered and fixed in 1938. The first complete proof was given in 1977, and nowadays there are many different short proofs.

Answer 10

When I originally posted the question, my colleague Jim Schmerl and I had just discovered a major gap (as well as a fix for the gap) in the proof of a "classical" characterization (1975) by Barwise and Schlipf of recursively saturated models of PA (Peano arithmetic). This result of Barwise and Schlipf inaugurated the study of recursivey saturated models of PA, a topic that boasts a rich literature.

More specifically, the aforementioned Barwise-Schlipf theorem states:

Theorem. The following are equivalent for a nonstandard model $M$ of PA:

(1) $M$ is recursively saturated.

(2) There is $\mathfrak{X}$ such that $(M,\mathfrak{X})$ satisfies $\Delta^1_1$-Comprehension.

This recently published paper of Schmerl and me shows that the Barwise-Schlipf proof of $(2)\implies(1)$ has a serious gap. This problematic direction is established via an alternative argument in our paper using a coding method introduced by Kaufmann and Schmerl (1984).

For nonexperts: this recent note by John Baez on recursive saturation sings the praises of recursively saturated models of PA.

Answer 11

In this blog post Terry Tao discusses some corrections to a 2010 paper of his and Ben Green's "An arithmetic regularity lemma, an associated counting lemma, and applications". Daniel Altman found some problems with the arguments, and they can only be repaired by making additional assumptions. (This doesn't meet the 30 year gap though, although maybe it will take that long to repair the proof of the full conjecture of Gowers and Wolf which Tao and Green claimed to have resolved.)

EDIT: I think the errors may have now been fixed by Altman, see: A non-flag arithmetic regularity lemma and counting lemma.

Answer 12

In 1986, Partha Dasgupta and economic Nobel laureate Eric Maskin published a paper with an incorrect definition of symmetric games in it. The paper has over 1200 citations and I'm pretty sure it took 25 years until I pointed out on Wikipedia in 2011 that there's a problem (see the edits of this page). The problem is outlined in this with more work on the topic in this more recent draft (currently developing software though).

Answer 13

Not too long to wait to find the mistake, but the following might be interesting:

In 1905, Henri Lebesgue claimed to have proved that if B is a subset of $\mathbb{R}^2$ with the Borel property, then its projection onto a line is a Borel subset of the line.

This is false. In 1912 Souslin and Luzin defined an analytic set as the projection of a Borel set. All Borel sets are analytic, but, contrary to Lebesgue's claim, the converse is false.