Squarefree numbers in short intervals: explicit and formalized

Imagina la recta numérica como una autopista infinita y resplandeciente que se extiende hacia el horizonte. En esta carretera, algunos números son "libres de cuadrados", lo que significa que están construidos a partir de bloques de construcción únicos que nunca se repiten. Piensa en ellos como un conjunto de piezas de LEGO donde no hay dos piezas del mismo color; no puedes construir una torre cuadrada perfecta con ellas. Los matemáticos saben desde hace tiempo que si observas un tramo enorme de esta autopista, estos números especiales aparecen con un ritmo predecible, aproximadamente 6 de cada 10 lugares. Pero, ¿qué sucede si haces zoom y observas un tramo muy corto y diminuto de la carretera? ¿Mantienen estos números libres de cuadrados su ritmo, o se vuelven caóticos e impredecibles? Esta es la cuestión de los "números libres de cuadrados en intervalos cortos". Es un rompecabezas en el campo de la teoría de números, una rama de las matemáticas que estudia los patrones ocultos de los números enteros. Resolverlo ayuda a comprender la estructura fundamental de las matemáticas, de forma muy similar a comprender cómo un solo ladrillo encaja en un muro masivo.

En este artículo, Mayank Pandey aborda este rompecabezas tomando un resultado matemático conocido y haciéndolo "explícito" y "formalizado". Anteriormente, existía un resultado que demostraba que estos números se comportan bien en intervalos cortos, pero dependía de una herramienta poderosa y compleja (que involucra "nilsecuencias" y el trabajo de Green y Tao) que actuaba como una caja negra: decía que la respuesta estaba ahí, pero no proporcionaba los números específicos necesarios para calcularla. El trabajo de Pandey es como desarmar esa caja negra, medir cada engranaje y resorte en su interior, y anotar sus dimensiones exactas. Él demuestra que si eliges un punto de partida $X$ que es al menos tan grande como $e^{1027/\varepsilon^2}$ (un número asombrosamente grande) y observas un intervalo de longitud $H = X^{1/5 - 2/90935 + \varepsilon}$, la cantidad de números libres de cuadrados que encuentres será muy cercana a la cantidad esperada. Específicamente, se garantiza que la diferencia entre el recuento real y el recuento esperado no será mayor que $10450 \varepsilon H X^{-\varepsilon/1025}$. Esta es una promesa concreta y calculable, siempre que el intervalo no sea demasiado corto y el número de partida sea lo suficientemente grande.

Para lograr esto, Pandey tuvo que navegar por un paisaje complicado de "términos de error", que son los pequeños bamboleos en el recuento. Él divide el problema en diferentes zonas. En algunas zonas, los bamboleos son fáciles de domar utilizando técnicas estándar, como restar diferencias repetidamente para suavizar los bultos. En otras zonas, más difíciles, los bamboleos son obstinados. En el artículo original, estas zonas obstinadas eran manejadas por la herramienta de "caja negra" mencionada anteriormente. Pandey, sin embargo, decidió realizar el trabajo pesado manualmente. Trata las expresiones matemáticas como un nudo enredado de cuerdas. En lugar de usar un truco de magia para desatarlo, tira cuidadosamente de cuerdas específicas (usando un método llamado "diferenciación de van der Corput") para aflojar el nudo. Demuestra que, aunque las cuerdas parecen desordenadas, no se traban de una manera que arruine el patrón. Al dividir el problema en casos más pequeños y revisarlos uno por uno, demuestra que los "bamboleos" son lo suficientemente pequeños como para ser ignorados para su rango específico.

El artículo también hace una elección deliberada de simplificar la explicación en aras de la claridad. Si bien el código computacional (formalizado en Lean 4) contiene una versión de las matemáticas ligeramente más optimizada y precisa, la nota escrita presenta una versión "más tosca" que es más fácil de seguir. Es como mostrarle a un estudiante un mapa simplificado de una ciudad para enseñarle las rutas principales, en lugar de entregarle una imagen satelital con cada callejón marcado. El autor señala que esta simplificación debilita ligeramente el exponente final, pero el hallazgo central sigue siendo sólido: el patrón de los números libres de cuadrados se mantiene incluso en intervalos muy cortos, y ahora tenemos los números exactos para probarlo. El trabajo es una prueba rigurosa, no una conjetura o una simulación, confirmando que la estructura matemática es tan ordenada como esperábamos, incluso cuando la miramos a través de un microscopio.