A proper Euler magic matrix of order 6

En el vasto paisaje de las matemáticas, existe una fascinación particular con las cuadrículas de números que obedecen reglas estrictas y ocultas. Imagine una tabla cuadrada llena de números enteros. Si suma los números de cualquier fila, cualquier columna o a lo largo de cualquiera de las dos diagonales principales, el total es siempre el mismo. Esto es un cuadrado mágico, un rompecabezas que ha intrigado a pensadores durante siglos. Pero los matemáticos a menudo van más allá, preguntándose qué sucede si los números dentro del cuadrado no son solo enteros cualesquiera, sino cuadrados perfectos mismos —números como uno, cuatro, nueve o dieciséis. Aún más desafiante es un tipo específico de cuadrícula donde las filas y columnas no solo están equilibradas en su suma, sino que también son matemáticamente independientes entre sí, lo que significa que no se traslapan de una manera que cree redundancia. Esta combinación de requisitos crea un objeto raro y difícil conocido como matriz mágica de Euler. Durante mucho tiempo, los matemáticos supieron que estas cuadrículas existían para ciertos tamaños, como cuatro por cuatro y ocho por ocho, pero un tamaño específico en el medio seguía siendo un misterio. La pregunta era simple pero obstinada: ¿podría construirse tal cuadrícula con seis filas y seis columnas?

Un investigador llamado Sanjit Singh Mehat ha respondido ahora a esa pregunta con un sí definitivo. En un estudio reciente, Mehat construyó el primer ejemplo conocido de una matriz mágica de Euler propia de orden seis. Para entender la importancia, uno debe observar las estrictas condiciones requeridas. La cuadrícula debe contener treinta y seis números enteros. Cuando estos números se elevan al cuadrado, la suma de los seis números de cada una de las seis filas debe ser igual a un total específico. El mismo total debe aparecer en cada columna. Además, la suma de los seis números al cuadrado que recorren desde la esquina superior izquierda hasta la inferior derecha debe coincidir con ese total, y la suma de los seis números al cuadrado que recorren desde la esquina superior derecha hasta la inferior izquierda también debe coincidir. Finalmente, y quizás lo más importante, la cuadrícula se considera "propia" solo si los valores absolutos de los treinta y seis números son completamente diferentes entre sí. No dos números pueden tener el mismo tamaño, incluso si uno es positivo y el otro es negativo.

Durante décadas, la existencia de tal cuadrícula para un diseño de seis por seis fue desconocida. Trabajos previos habían resuelto los casos para cuadrículas más pequeñas, demostrando que una versión de tres por tres era imposible, y confirmando que versiones para tamaños uno, dos, cuatro, cinco y ocho existían. El caso de seis por seis era la pieza faltante más pequeña del rompecabezas. El trabajo de Mehat llena este vacío presentando dos ejemplos distintos y concretos de estas cuadrículas. El primer ejemplo utiliza un total de suma específica de 18,500 para las entradas al cuadrado. El segundo ejemplo, encontrado independientemente, utiliza un total de suma diferente de 43,290. Ambas matrices están llenas de enteros que, cuando se elevan al cuadrado y se suman de acuerdo con las reglas, dan lugar a estos totales exactos. El investigador verificó que en ambos casos las filas y columnas son matemáticamente independientes, las sumas de las diagonales son correctas y cada uno de los números en la cuadrícula tiene una magnitud única.

El camino para encontrar estas cuadrículas no fue una cuestión de simple ensayo y error. El espacio de búsqueda es tan vasto que comprobar cada posibilidad a mano o con métodos computacionales estándar sería imposible. Mehat desarrolló un método especializado para estrechar la búsqueda. En lugar de intentar construir la cuadrícula completa de una vez, el enfoque consistió en generar bloques de construcción más pequeños y combinarlos de maneras que satisficieran primero las reglas de filas y columnas. Una vez que se encontraba una cuadrícula candidata que cumplía con esos requisitos básicos, el investigador luego buscaba una disposición específica de las filas y columnas que también satisficiera las reglas de las diagonales. Esta estrategia resultó efectiva, permitiendo el descubrimiento de los dos ejemplos en cuestión de minutos tras ejecutar el programa de búsqueda. El estudio también estableció un límite inferior matemático para la suma total en tal cuadrícula, demostrando que la suma de las entradas al cuadrado debe ser al menos de 2,485, un límite que ayudó a guiar la búsqueda.

Para asegurar que los resultados estuvieran más allá de toda duda, los hallazgos fueron sometidos a una verificación riguroosa. Los cálculos fueron comprobados utilizando aritmética de enteros exactos, un método que no deja lugar a errores de redondeo. Un programa separado, escrito de forma independiente, confirmó los resultados, y toda la prueba también fue verificada por un sistema informático diseñado para comprobar la lógica matemática. Este proceso de triple verificación confirma que las cuadrículas son reales y que cumplen con cada condición requerida. El trabajo no depende de teorías compleas o supuestos no probados; se basa en la exhibición explícita de los números mismos. Cualquier persona con una calculadora puede verificar que las filas, columnas y diagonales de las cuadrículas proporcionadas suman correctamente y que ningún par de números comparte el mismo tamaño.

Este descubrimiento resuelve una pregunta específica y de larga data en el campo de la matemática combinatoria. Si bien la existencia de cuadrados mágicos hechos de cuadrados ya era conocida para cuadrículas de seis por seis, esos resultados anteriores no garantizaban la estricta independencia de filas y columnas requerida para una matriz mágica de Euler. El trabajo de Mehat demuestra que tal estructura es, de hecho, posible, añadiendo el número seis a la lista de tamaños donde estas cuadrículas especiales pueden construirse. El estudio proporciona los números reales para dos tales cuadrículas, ofreciendo una solución concreta a un problema que había permanecido abierto. Se erige como un ejemplo claro de cómo los métodos computacionales modernos, cuando son guiados por estrategias matemáticas ingeniosas, pueden resolver problemas que han eludido a los investigadores durante años, convirtiendo una posibilidad teórica en una realidad tangible.