68
$\begingroup$

For $r > 0$, let $L(r) = \# \{ (x,y) \in \mathbb{Z}^2 \ | \ x^2 + y^2 \leq r^2\}$ be the number of lattice points lying on or inside the standard circle of radius $r$. It is easy to see that $L(r) \sim \pi r^2$ as $r \rightarrow \infty$. The Gauss circle problem is to give the best possible error bounds: put

$E(r) = |L(r) - \pi r^2|$.

Gauss himself gave the elementary bound $E(r) = O(r)$. In 1916 Hardy and Landau showed that it is not the case that $E(r) = O(r^{\frac{1}{2}})$. It is now believed that this is "almost" true: i.e.:

Gauss Circle Conjecture: For every $\epsilon > 0$, $E(r) = O_{\epsilon}(r^{\frac{1}{2}+\epsilon})$.

So far as I know the best published result is a 1993 theorem of Huxley, who shows one may take $\epsilon > \frac{19}{146}$.

(For a little more information, see here, Wayback Machine.)

In early 2007 I was teaching an elementary number theory class when I noticed that Cappell and Shaneson had uploaded a preprint to the arxiv claiming to prove the Gauss Circle Conjecture:

https://arxiv.org/abs/math/0702613

Two more versions were uploaded, the last in July of 2007.

It is now a little more than three years later, and so far as I know the paper has neither been published nor retracted. This seems like a strange state of affairs for an important classical problem. Can someone say what the status of the Gauss Circle Problem is today? Is the argument of Cappell and Shaneson correct? Or is there a known flaw?

$\endgroup$
13
  • 2
    $\begingroup$ Cappell's Wikipedia page says that the paper "is still being vetted by experts." This was originally mentioned on 29 April 2008, but it has not been changed since. $\endgroup$ Mar 23, 2010 at 2:31
  • 6
    $\begingroup$ I've sent an email to Cappell. I took a few courses from him in the nineties and I think he'll remember me. $\endgroup$ Mar 23, 2010 at 2:58
  • 2
    $\begingroup$ I'll talk to Shaneson about it and forward the link. $\endgroup$ Mar 23, 2010 at 15:52
  • 1
    $\begingroup$ Bruce Berndt gave a talk last week at Gainesville that gave history and current status, perhaps not from exactly the same viewpoint as yours of course. See math.ufl.edu/~fgarvan/antc-program/2009-10/mar-focused-week/… $\endgroup$
    – Will Jagy
    Apr 1, 2010 at 4:50
  • 9
    $\begingroup$ Today's arXiv posting by Shaneson arxiv.org/pdf/1409.2446.pdf indicates that he and Cappell were unable to find an ``error-free version" of their announced proof. $\endgroup$
    – Lucia
    Sep 9, 2014 at 15:55

3 Answers 3

21
$\begingroup$

When Cappell visited UWM a few months ago, one of my colleagues asked him about the status of the paper. The answer was that it is "still in works", which in plain English, probably, means "having severe problems with some remote hope to fix them". The point is that it contains no idea that hadn't been well-known to experts before it appeared, just an enormous amount of "brute forcing" (which, by the way, makes it very hard to read). Sometimes you can succeed by being just more persistent than others but it doesn't seem to be the case here. The consensus is that the existing methods have already been brought to their extreme and to proceed some fresh idea is required.

$\endgroup$
5
  • $\begingroup$ Thanks for this answer. What is UWM? $\endgroup$ Apr 10, 2010 at 16:49
  • 1
    $\begingroup$ University of Wisconsin-Madison $\endgroup$
    – fedja
    Apr 10, 2010 at 18:04
  • 1
    $\begingroup$ Thanks. Google thought "UWM" stood for University of Wisconsin-Milwaukee. $\endgroup$ Apr 10, 2010 at 21:41
  • 1
    $\begingroup$ I think that is a normal convention. Unfortunately, UW is acknowledged by all reasonable people to denote the University of Washington. $\endgroup$
    – Ben Webster
    Jan 27, 2011 at 6:17
  • 3
    $\begingroup$ That really depends on whether you are a West coaster or a Midwesterner but I always love to be classified into the same category as the Cheshire Cat. :) $\endgroup$
    – fedja
    Jan 27, 2011 at 11:25
16
$\begingroup$

This recent arxiv posting by Shaneson claims that one may take $\epsilon > 1153/9750$, improving on Huxley's bound. It also includes the passage

In 2007 Cappell and the author posted a paper on the arXiv claiming to obtain the estimate [in my notation -- PLC] $O(r^{1/2+\epsilon})$. Unfortunately we have not been able to produce an error free version. The present paper shares with that paper the Proposition in section 5 and there is also something there akin to what immediately follows the Proposition.

I guess that's that.

$\endgroup$
2
  • 1
    $\begingroup$ See the latest update on the page arxiv.org/abs/math/0702613. $\endgroup$
    – KConrad
    Sep 18, 2014 at 12:59
  • $\begingroup$ @KConrad: it says: "This paper has been withdrawn as the authors have not succeeded producing an error free version" $\endgroup$
    – jfs
    Nov 1, 2017 at 14:23
5
$\begingroup$

Back in 2007 or so, at a tea I heard a noted expert in the field pooh-poohing it (for instance, sign errors in the Stokes analogue), and he seemed not to want to read any more re-hashes (he had seen more than one from these authors, who seemed to keep changing the argument). This expert is one of those they thank. It was unclear whether he thought their whole idea (to the extent the Intro explained this) was even capable of working. I do not know its submission status.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.