Qué era la conjetura de rearreglo

En 1971, Ronald Graham — uno de los matemáticos más prolíficos del siglo XX y, curiosamente, ex presidente de la International Jugglers' Association — planteó una pregunta que era trivial de formular, pero lo suficientemente testaruda como para mantener a la comunidad matemática en silencio durante más de medio siglo. La pregunta: dado un conjunto arbitrario de números enteros distintos y no nulos, ¿siempre sería posible reordenarlos de manera que la suma acumulada parcial nunca se repitiera?

En lenguaje más preciso, para cualquier primo p y cualquier subconjunto S de los elementos no nulos del grupo cíclico ℤₚ, ¿existe una ordenación de los elementos de S tal que todas las sumas parciales s₁, s₁+s₂, s₁+s₂+s₃, etc. sean distintas entre sí? Graham conjeturó que sí. La intuición detrás era que, incluso bajo restricciones rígidas de aritmética modular, debería haber flexibilidad suficiente para construir arreglos válidos — así como es posible llenar un tablero de sudoku o un cuadrado latino a pesar de las reglas apretadas.

El problema se enraizó en el campo de la combinatória aditiva, un área que trata con estructuras simétricas en grupos finitos y que conecta teoría de números, álgebra combinatória y análisis asintótico. A lo largo de las décadas, matemáticos resolvieron casos particulares — conjuntos pequeños, conjuntos grandes — pero la brecha entre ellos permaneció abierta como un cañón que nadie podía atravesar. Durante más de veinte años, el problema entró en un hiato casi absoluto. Recién en los últimos años es que una nueva generación de investigadores volvió a las bolas.

La prueba en cuatro actos

Lo que hizo la resolución tan extraordinaria fue la necesidad de combinar cuatro enfoques diferentes, cada uno lidiando con un régimen distinto de tamaño de conjunto. La prueba no es un único artículo — es un edificio construido en cuatro partes por al menos seis autores diferentes.

El primer paso vino con conjuntos pequeños. Noah Kravitz, de la Universidad de Oxford, junto con Liana Bedert y David Kravitz, establecieron que la conjetura vale para conjuntos con hasta exp((log p)^(1/4)) elementos. En 2022, Alp Müyesser — entonces aún estudiante de posgrado — se dio cuenta de que la prueba que había acabado de escribir sobre un problema diferente también se aplicaba al caso intermedio de conjuntos grandes, aquellos que contienen casi todos los números posibles hasta p. Junto con su orientador, Alexey Pokrovskiy, de la University College London, Müyesser abordó ese régimen: empezar con una ordenación aleatoria ya llevaba la mayor parte del camino.

En 2025, Bedert, Bucić, Kravitz, Montgomery y Müyesser rellenaron el espacio entre conjuntos grandes e intermedios. Restaba el caso medio — aquel que Noga Alon, de la Universidad de Princeton, llamó el más embarazoso: "No sabíamos cómo abordar ese tamaño de conjunto. Nuestros métodos no funcionaban allí, y había razones claras de por qué no funcionarían."

La revolución llegó en febrero de 2026. Lisa Sauermann, de la Universidad de Bonn, y Huy Tuan Pham, de la Universidad de Chicago, publicaron en arXiv un artículo de 27 páginas que cerraba la última brecha. Los dos eran amigos desde 2015, cuando se conocieron en Stanford — Sauermann como doctoranda y Pham como estudiante de grado. Cuando una conferencia en Alemania en el otoño de 2025 les dio la chance de compartir una pizarra de nuevo, pasaron tres días conversando sobre el problema. Al final, tenían un plan.

La estrategia central giraba en torno a un concepto llamado "anti-concentración": en vez de intentar construir manualmente la ordenación perfecta, mostraron que, partiendo de una ordenación aleatoria y aplicando ajustes probabilísticos cuidadosos, era posible evitar los valores problemáticos — aquellos que harían una suma parcial colisionar con una ya visitada — en una proporción suficientemente grande de casos para garantizar, por conteo probabilístico, que al menos un arreglo válido debía existir.

"Es el poder de la colaboración, el poder de la nueva generación, el poder de los métodos probabilísticos", resumió Noga Alon. La prueba entera muestra que, incluso dentro de las restricciones estrictas de la aritmética modular, existen estructuras hermosas que siempre surgen cuando se permite la flexibilidad del azar.

Qué revela la prueba

La conjetura de rearranjo no tiene aplicaciones prácticas directas — no es el tipo de resultado que aparecerá en el diseño de una computadora o en la optimización de una red. Su valor es puramente estructural: responde a una pregunta sobre la existencia de patrones en sistemas aparentemente restringidos.

Pero lo que hace el caso de Graham verdaderamente fascinante es la historia detrás de él. Graham era uno de los pocos matemáticos de élite que también era malabarista profesional. Presidió la International Jugglers' Association y, como muchos malabaristas, conocía el lenguaje de los "patterns": los diagramas en forma de ampolla que describen secuencias de lanzamientos. Cuando formuló su conjetura, es plausible que haya pensado en los patrones de malabarismo — la idea de que, dado un conjunto de movimientos (o números), siempre existe una secuencia válida en la que cada punto intermedio es único.

Clint McCullough, de la Georgia Southern University, uno de los autores que contribuyeron al caso intermedio, capturó bien el espíritu del resultado: "Encontrar un buen problema es un arte. Creo que Ron estaría extremadamente feliz de ver el problema resuelto."

Huy Tuan Pham, a su vez, tiene una trayectoria que quizás ilustre el propio tema de la conjetura. Es vietnamita, se graduó de la Escuela Secundaria para Talentos Especiales de la Universidad Nacional de Ho Chi Minh City y ganó dos medallas de oro en la Olimpiada Internacional de Matemática (2013 y 2014). Hoy, como investigador en la Universidad de Chicago, él y Sauermann probaron que, dado un conjunto de números, siempre es posible encontrar una ordenación — una metáfora casi poética de que la perseverancia, la colaboración y un toque de aleatoriedad pueden resolver incluso el problema más testarudo.

Y si quieres usar este resultado para coreografiar una rutina real de malabarismo, estás fuera de suerte: para corresponder a un primo p lo bastante grande para cubrir todos los casos de la conjetura, la secuencia sería muy, muy larga. Pero la prueba confirma algo que Graham intuía en 1971: incluso dentro de reglas apretadas, siempre cabe flexibilidad. Siempre cabe una manera de organizar las piezas.

Lo que observar es si el método de anti-concentración — que une ordenación aleatoria y ajustes probabilísticos — podrá ser adaptado para atacar otras conjeturas de combinatória aditiva que aún resisten. El propio Kravitz admitió, citando el método final, que "no tuvo valor de intentar" — un reconocimiento de cuán profundo era el abismo y de cuán alto fue el salto. Hay muchos problemas similares esperando por esa combinación de coraje, colaboración y un poco de suerte.

Fuentes: Wired, Quanta Magazine, VnExpress International

✓ Fuentes independientes cruzadas y verificadas antes de la publicación