On a question of Gowers related to Littlewood's conjecture

Imagina una vasta e invisible cuadrícula que se extiende en todas las direcciones, como el suelo de un almacén gigante e infinito. En este almacén, estamos jugando a un juego de "escondite" con los números. El juego se llama aproximación diofántica, y trata sobre qué tan bien podemos aproximar números irracionales complicados (como la raíz cuadrada de 2 o Pi) utilizando fracciones simples. El objetivo es encontrar fracciones que se acerquen increíblemente a estos números complicados sin llegar nunca a aterrizar sobre ellos.

Durante décadas, los matemáticos han estado obsesionados con un rompecabezas específico llamado la Conjetura de Littlewood. Piensa en esto como una regla sobre qué tan cerca pueden estar dos números diferentes de ser "enteros" al mismo tiempo cuando los multiplicas por un número de conteo. La regla sugiere que, sin importar qué dos números elijas, si sigues multiplicándolos por 1, 2, 3, etcétera, siempre habrá un momento en el que ambos estarán extremadamente cerca de un número entero simultáneamente. Es como intentar encontrar un momento en el que dos ruedas giratorias, una con un patrón extraño y otra con un patrón extraño diferente, ambas aterricen en una marca de "cero" al mismo tiempo. La regla dice que esto sucederá, pero nadie ha podido probarlo para cada par de números todavía.

En 2009, un famoso matemático llamado Timothy Gowers tuvo una idea ingeniosa. Pensó: "¿Qué pasaría si pudiéramos probar que esta regla es cierta mostrando que no podemos empaquetar demasiados puntos en una forma específica sin que se acerquen demasiado entre sí?". Imaginó un cubo 3D y se preguntó si podríamos dispersar un cierto número de puntos dentro de él de tal manera que la "distancia" entre cualquier par de puntos fuera siempre grande. Pero aquí está el giro: la "distancia" en este juego no se mide con una regla. En cambio, se mide multiplicando las diferencias en las posiciones de los puntos a través de todas las tres dimensiones. Si tienes dos puntos, y sus diferencias son pequeñas en una dirección pero enormes en otra, el producto podría seguir siendo grande. Gowers se preguntó si había un límite para cuántos puntos podrías meter antes de que se vieran obligados a estar demasiado cerca de uno con otro según esta regla especial "hiperbólica".

Esto nos lleva al nuevo artículo de Frederik Broucke, Máté Matolcsi y Szilárd Gy. Révész. Decidieron tomar la pregunta de Gowers y construir una solución, pero no el tipo de solución que Gowers esperaba. En lugar de encontrar una manera de probar la Conjetura de Littlewood usando este método, construyeron una "trampa" matemática que muestra que el método en realidad falla.

Así es como lo hicieron: Utilizaron un concepto de la teoría de números algebraicos, que es como un código secreto oculto dentro de los números. Construyeron un tipo de cuadrícula de puntos muy específica y perfectamente organizada (llamada red o lattice) utilizando un tipo especial de campo numérico. Imagina esta cuadrícula como un conjunto de clavijas invisibles, perfectamente alineadas, que sobresalen del suelo. Los autores demostraron que, si observas la "distancia hiperbólica" entre cualquier par de estas clavijas, nunca es cero a menos que las clavijas sean exactamente el mismo punto. De hecho, demostraron que puedes organizar estos puntos de modo que todos estén lejos entre sí según la regla de distancia especial de Gowers.

¿Qué significa esto para el panorama general? Significa que el enfoque propuesto por Gowers para probar la Conjetura de Littlewood llega a un callejón sin salida. Los autores demostraron que sí puedes encontrar una gran cantidad de puntos en el cubo que satisfagan la condición de "distancia grande". Esto es lo opuesto a lo que necesitarías si quisieras usar este método para probar que existe un contraejemplo a la Conjetura de Littlewood. En términos sencillos, construyeron una estructura que demuestra que la "trampa" que Gowers preparó está llena de agujeros.

El artículo no solo dice "no funciona"; proporciona una receta explícita para construir estos puntos. Utilizaron una herramienta matemática llamada incrustación de Minkowski, que toma números de un mundo algebraico complejo y los mapea en nuestro espacio regular 3D (o de dimensiones superiores). Demostraron que, para cualquier dimensión, puedes crear una red donde el "producto de las diferencias" entre cualquier par de puntos sea siempre mayor que un número específico y diminuto. Esto demuestra que la respuesta a la pregunta de Gowers es "Sí, puedes encontrar tales puntos", lo que lamentablemente significa que esta vía específica no puede utilizarse para resolver la Conjetura de Littlewood original.

Los autores también conectaron sus hallazgos con un problema clásico del análisis de Fourier llamado el problema de Delsarte, que es como intentar empaquetar la máxima cantidad de formas que no se solapen dentro de una caja. Mostraron que su construcción de red está relacionada con la mejor manera posible de empaquetar estas formas, dándonos un número preciso para cuántos puntos podemos meter. Aunque esto no resuelve la Conjetura de Littlewood, resuelve la pregunta específica de Gowers con un "sí" definitivo y una construcción matemática clara. Es un poco como encontrar una llave que encaja perfectamente en una cerradura, solo para darte cuenta de que la cerradura abre la puerta a una habitación que ya sabíamos que estaba vacía. Las matemáticas son sólidas, la construcción es explícita y la conclusión es clara: esta estrategia en particular necesita un replanteamiento importante antes de que pueda ayudar a descifrar el código de Littlewood.