Pour $r > 0$ , dejemos que $L(r) = \# \{ (x,y) \in \mathbb{Z}^2 \ | \ x^2 + y^2 \leq r^2\}$ es el número de puntos de la red que se encuentran en o dentro del círculo estándar de radio $r$ . Es fácil ver que $L(r) \sim \pi r^2$ como $r \rightarrow \infty$ . El Problema del círculo de Gauss es dar los mejores límites de error posibles: poner
$E(r) = |L(r) - \pi r^2|$ .
El propio Gauss dio el límite elemental $E(r) = O(r)$ . En 1916 Hardy y Landau demostraron que es no el caso de que $E(r) = O(r^{\frac{1}{2}})$ . Ahora se cree que esto es "casi" cierto: es decir:
Conjetura del círculo de Gauss: Para cada $\epsilon > 0$ , $E(r) = O_{\epsilon}(r^{\frac{1}{2}+\epsilon})$ .
Hasta donde yo sé, el mejor resultado publicado es un teorema de Huxley de 1993, que demuestra que se puede tomar $\epsilon > \frac{19}{146}$ .
(Para más información, consulte aquí )
A principios de 2007 estaba dando una clase de teoría de números elemental cuando me di cuenta de que Cappell y Shaneson habían subido un preprint al arxiv afirmando que demostraban la conjetura del círculo de Gauss:
Se subieron dos versiones más, la última en julio de 2007.
Ya han pasado algo más de tres años y, por lo que sé, el artículo no se ha publicado ni se ha retractado. Parece una situación extraña para un problema clásico importante. ¿Puede alguien decir cuál es la situación actual del problema del círculo de Gauss? ¿Es correcto el argumento de Cappell y Shaneson? ¿O hay algún fallo conocido?