Biangular lines with angles arccos(1/5) and arccos(3/5)

Imagina que estás de pie en el centro de una habitación gigante e invisible. Sostienes un palo largo y delgado que apunta desde tu mano hacia la pared. Ahora, imagina que tienes un montón de estos palos, todos partiendo de tu mano, apuntando en diferentes direcciones. En el mundo de las matemáticas, esto se llama un "sistema de líneas". Por lo general, a los matemáticos les encanta cuando todo es perfectamente igual. Si tienes un conjunto de palos donde cada par forma exactamente el mismo ángulo, eso se llama "líneas equiangulares", y es un poco como un móvil perfectamente equilibrado colgando del techo.

Pero la vida rara vez es tan perfecta. A veces, quieres saber qué sucede si permites dos ángulos diferentes en lugar de solo uno. Este es el mundo de las "líneas biangulares". Es como un baile donde los compañeros solo pueden dar pasos juntos en dos ángulos específicos: tal vez una inclinación amplia y perezosa o un giro agudo y rápido. La pregunta que se hacen los matemáticos es: "¿Cuántos bailarines podemos meter en esta habitación antes de que empiecen a chocar entre sí?". Cuanto más grande es la habitación (mayor es la dimensión), más bailarines crees que puedes meter, pero las reglas de la geometría son estrictas. Hay un límite para cuántos palos puedes empaquetar sin romper la regla de los "dos ángulos".

Este artículo es una historia de detectives sobre la búsqueda del número absoluto máximo de estos palos en habitaciones de tamaños específicos, desde la dimensión 7 hasta la dimensión 10, e incluso echando un vistazo a la dimensión 15. Los autores, Paul Tricot, están investigando un tipo muy específico de danza: una donde los ángulos entre los palos están fijados en dos valores muy precisos, determinados por 1/5 y 3/5. No están simplemente adivinando; están utilizando un truco ingenioso que conecta estos palos danzantes con "redes integrales" (integral lattices). Piensa en una red como una cuadrícula gigante de puntos invisibles, como los puntos en un papel de cuadrícula que se extiende hasta el infinito. Los autores descubrieron que, si organizas tus palos de la manera correcta, se alinean perfectamente con las "raíces" (vectores especiales) de estas redes. Al usar esta conexión, pueden probar exactamente cuántos palos caben en la habitación y demostrar que las disposiciones conocidas son las mejores posibles.

El Gran Concurso de Empaquetado de Palos

El artículo se centra en un rompecabezas específico: en un espacio de 7 dimensiones (que es difícil de visualizar, así que imagina una habitación con 7 direcciones diferentes en las que puedes moverte), ¿cuál es el número máximo de líneas que puedes trazar a través del centro si cada par de líneas debe encontrarse en un ángulo de $\arccos(1/5)$ o $\arccos(3/5)$?

Antes de este artículo, los matemáticos conocían algunos números grandes. Para las dimensiones 7 a 20, los grupos más grandes conocidos de líneas tenían tamaños como 72, 126, 240, etcétera. Estos fueron construidos usando un método ingenioso que involucra redes de raíces especiales (específicamente $E_6$, $E_7$ y $E_8$). Pero nadie sabía con certeza si estos eran los grupos más grandes, o si alguien podría meter unos cuantos palos más siendo aún más ingenioso.

El artículo de Tricot dice: "Vamos a ver si podemos hacerlo mejor". Y la respuesta, para las dimensiones 7, 8 y 9, es un rotundo no.

Aquí está lo que el artículo realmente encontró, desglosado por tamaño de habitación:

• Dimensión 7: El artículo demuestra que el número máximo de líneas es exactamente 72. Si intentas meter 73, la geometría se rompe. La única forma de obtener 72 es usar la disposición específica construida a partir de la red $E_6$. Es la única solución.
• Dimensión 8: El límite es de 126 líneas. Nuevamente, el artículo demuestra que no se pueden meter más. La única forma de alcanzar este número es utilizando la disposición derivada de la red $E_7$.
• Dimensión 9: El límite es de 240 líneas. La prueba muestra que la disposición de la red $E_8$ es la ganadora única. No puedes meter una línea número 241.
• Dimensión 10: El artículo se propone clasificar los sistemas más grandes en esta dimensión también, siguiendo el mismo proceso riguroso utilizado para las dimensiones inferiores. Sin embargo, el texto proporcionado del artículo se corta antes de que se complete la prueba final para la dimensión 10, dejando ese límite específico como un trabajo en progreso dentro de este documento.

Los autores no solo adivinaron estos números; utilizaron una mezcla de deducción lógica y búsquedas computacionales para descartar todas las demás posibilidades. Demostraron que si asumes que existe un grupo más grande de líneas, eventualmente te encuentras con una contradicción matemática, como intentar meter un cubo en un agujero redondo, pero el agujero está hecho de pura matemática.

La Pista del "Triángulo Especial"

¿Cómo probaron esto? Utilizaron una herramienta de detective llamada "triángulo especial". Imagina tres palos en tu mano. Si dos de ellos se inclinan en el ángulo "ancho" ($\arccos(3/5)$) y el tercero se inclina en el ángulo "agudo" ($\arccos(-1/5)$, que es el opuesto del ángulo ancho), forman un triángulo especial.

El artículo demuestra que en cualquier grupo grande de estas líneas (72 o más), debes tener estos triángulos especiales. Una vez que sabes que existen, la matemática se vuelve muy rígida. Los autores demostraron que, si tienes estos triángulos, todo el grupo de líneas se ve obligado a alinearse con una red específica. Una vez que obligaron a las líneas a alinearse con la red, pudieron usar programas de computadora para verificar cada forma posible de organizar los palos en esa red. Las computadoras revisaron millones de combinaciones y encontraron que, en cada caso, no podías obtener más que los números conocidos (72, 126, 240).

Un Nuevo Descubrimiento en la Dimensión 15

Aunque la tarea principal era probar los límites para las dimensiones 7 a 9 (y comenzar con la 10), el artículo también tuvo una sorpresa divertida. En la dimensión 15, los autores construyeron un nuevo sistema de 456 líneas. Esto coincide con el tamaño del mejor sistema conocido encontrado por otros matemáticos (Ganzhinov y Szöllősi), pero este artículo proporciona una nueva forma de construirlo. Es como encontrar una receta nueva, ligeramente diferente, que hace exactamente el mismo pastel delicioso. Esto confirma que 456 es un candidato muy fuerte para ser el máximo en la dimensión 15, aunque el artículo no afirma haber probado que sea el límite absoluto (ese es un trabajo más difícil para dimensiones más altas).

La Conclusión

Este artículo es una victoria para la certeza. Para las dimensiones 7, 8 y 9, ahora conocemos el número máximo exacto de líneas que pueden bailar al ritmo de los ángulos $\arccos(1/5)$ y $\arccos(3/5)$. Los números son 72, 126 y 240. El artículo demuestra que las disposiciones que ya conocíamos no son solo buenas, sino que son las únicas formas de alcanzar estos máximos.

Los autores utilizaron la conexión entre estas líneas y las redes integrales (las cuadrículas invisibles) como un superpoder. Al convertir el problema de "encajar palos" en un problema de "encajar puntos en una cuadrícula", pudieron usar computadoras para revisar cada posibilidad y demostrar que nadie puede hacerlo mejor. Es un recordatorio de que en el vasto y abstracto mundo de la geometría de alta dimensión, a veces los patrones más hermosos son también los únicos que encajan.