El cuadrado mágico de Khajuraho es un hipercubo
Las simetrías de un objeto ancestral formidable : el Chautisa Yantra
Piste noire Le 12 novembre 2020Le 12 novembre 2020
Article original : Le carré magique de Kharujaho est un hypercube Voir les commentaires
Lire l'article en


El cuadrado panmágico grabado en un templo de Khajuraho en la India y estudiado por Nārāyaṇa Paṇḍita en el siglo XIV guarda preciosamente un secreto : su grupo de simetrías es isomorfo al del hipercubo, el análogo tetradimensional del cubo tradicional.
UN OBJETO ANCESTRAL FORMIDABLE
La localidad de Khajuraho en el centro de la India, declarada patrimonio mundial por al UNESCO en 1986, es famosa por sus templos con decoraciones que mezclan motivos divinos y eróticos (o, mejor dicho, tántricos). En el pórtico del templo de Parshwanath destaca un sorprendente grabado que data al menos del siglo XII : se trata de un tablero de números que comprende las cifras $1,2, ..., 16$ (escritas en sánscrito).
Estas aparecen dispuestas de tal manera que ciertas propiedades ’’(pan)mágicas’’ son satisfechas : en cada ilustración, los números de las casillas del mismo color suman exactamente $34$.
Este tablero, comúnmente llamado Chautisa Yantra, ya ha sido el objeto de dos artículos en Paisajes Matemáticos. Por una parte, en este, Gautami Bhowmik aborda el estudio (que data del siglo XIV) del célebre matemático Nārāyaṇa Paṇḍita sobre sus propiedades combinatorias y su relación con el movimiento de un caballo de ajedrez. Por otra parte, en este, analizo las configuraciones más generales posibles de este tipo (con números no necesariamente consecutivos) a través del álgebra lineal. Mi objetivo ahora es introducir otro elemento para la discusión y comprensión de este maravilloso objeto : su grupo de simetrías. Esto se inspira del siguiente principio universal :
¿UN GRUPO ASOCIADO ?
Recordemos de este artículo que un tablero panmágico $4 \times 4$ es un cuadrado llenado con $16$ números de modo que las sumas a lo largo de las filas, las columnas y las diagonales (incluyendo las quebradas) son todas iguales. La ’’fórmula general’’ para un tablero satisfaciendo estas propiedades es la siguiente :
$a$ | $b$ | $c$ | $d$ |
$\frac{b+c+d-a}{2}+k$ | $\frac{a-b+c+d}{2}-k$ | $\frac{a+b-c+d}{2}+k$ | $\frac{a+b+c-d}{2}-k$ |
$\frac{a+b-c+d}{2}$ | $\frac{a+b+c-d}{2}$ | $\frac{b+c+d-a}{2}$ | $\frac{a-b+c+d}{2}$ |
$c-k$ | $d+k$ | $a-k$ | $b+k$ |
Se verifica rápidamente que en un tablero de este tipo, las 52 combinaciones coloreadas más arriba dan todas la misma suma (cuyo valor es $a+b+c+d$). En otras palabras, las $16$ igualdades iniciales ($4$ filas, $4$ columnas, $8$ diagonales) implican otras $36$.
Consideremos las permutaciones de las casillas que transforman cualquier tablero panmágico en otro tablero panmágico. Por ejemplo, este es el caso para una rotación de $90º$, pues las filas se transforman en columnas y viceversa, mientras que las diagonales descendentes se intercambian con las ascendentes. Como todas las sumas asociadas eran originalmente iguales, lo siguen siendo tras el movimiento. Así, un cuadrado panmágico sometido a este movimiento origina un nuevo tablero panmágico.
Las transformaciones panmágicas forman evidentemente un grupo : es el grupo panmágico. ¿Cuántas de estas hay ? ¿Qué estructura tiene este grupo ? Responderemos a estas preguntas tras un detallado análisis.
Además de rotaciones, es fácil imaginar otras transformaciones ’’panmágicas’’, como las reflexiones respecto a los ejes vertical y horizontal, o respecto a las diagonales. Pero estas no son las únicas. Por ejemplo, se constata observando las fórmulas de arriba que la permutación ilustrada a continuación también es panmágica :
Se trata de una involución, esto es, una permutación de orden $2$ (lo cual significa que al aplicarla dos veces devuelve todo a su posición original). Para sorprenderse un poco más, aquí hay ilustraciones de otras tres transformaciones panmágicas bastante menos evidentes. Para ellas, los órdenes [1] son respectivamente $3$, $6$ y $8$. Un bonito ejercicio es aplicarlas al Chautisa Yantra para obtener otros tableros con las mismas propiedades panmágicas.
LAS SIMETRÍAS DEL CUADRADO DE LO SHU
Determinar la estructura del grupo panmágico no es fácil. Para elaborar una estrategia de ataque, consideremos un caso más sencillo : el de los cuadrados mágicos $3\times 3$. Se trata de tableros llenados con números de modo que la suma a lo largo de las filas, columnas y las dos diagonales son iguales (esta vez, no consideramos las diagonales quebradas). Nuevamente, copiamos desde aquí la fórmula general :
$\ell -m$ | $\ell +m+n$ | $\ell -n$ |
$\ell +m-n$ | $\ell$ | $\ell -m+n$ |
$\ell +n$ | $\ell -m-n$ | $\ell +m$ |
Claramente, las ocho simetrías a las que aludimos anteriormente (cuatro rotaciones -una de ellas trivial- y cuatro reflexiones) transforman una configuración mágica en otra. ¿Habrá otra permutación con esta propiedad ? La respuesta es negativa. En efecto, toda transformación de este tipo debe llevar el tablero de abajo (llamado cuadrado de Lo Shu) en otro cuadrado mágico con entradas $1,2,\ldots,9$.
$4$ | $9$ | $2$ |
$3$ | $5$ | $7$ |
$8$ | $1$ | $6$ |
Sin embargo, se constata rápidamente con las fórmulas de arriba que hay solamente 8 cuadrados con estas características. Son los listados abajo, obtenidos con las asignaciones correspondientes de $m$ y $n$ (observe que, necesariamente, $\ell = 5$).
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Por lo tanto, el ’’grupo mágico’’ (para tableros $3\times 3$) consta de $8$ elementos. Ciertamente, ya lo reconociste : se trata del famoso grupo diedral $D_4$, que coincide con el grupo de simetrías de un cuadrado.
LAS SIMETRÍAS DEL CHAUTISA YANTRA
Para calcular el grupo panmágico procederemos de manera análoga. Primeramente, buscaremos enumerar todos los cuadrados panmágicos que utilizan las cifras $1,2,\ldots, 16$, para luego fabricar suficientes transformaciones panmágicas de modo de obtenerlos todos a partir del Chautisa Yantra por medio de ellas. Como veremos, repensar la geometría del ’’cuadrado’’ se revelará fundamental. La conclusión final será la siguiente : así como el grupo mágico es isomorfo al de las simetrías del cuadrado, el grupo panmágico es isomorfo al grupo de las simetrías del hipercubo.
¡Continuemos !
Una nueva geometría
Para comenzar, observemos cuáles son las combinaciones involucradas en las sumas que toman el mismo valor en cualquier cuadrado panmágico.
¿Hay algún patrón común en ellas ? La respuesta es un contundente SÍ, pero para detectarlo, es necesario reinterpretar las cosas geométricamente. La clave es pensar en una geometría natural para el cuadriculado $4 \times 4$ : aquella en que la distancia entre dos posiciones es la cantidad mínima de bordes de casillas que se atraviesa al recorrer un camino que va de una a otra y que usa solo trazos horizontales o verticales. Atención : cuando un camino horizontal sale por la derecha o izquierda, pensamos que entra por el otro lado a la altura de la casilla correspondiente ; del mismo modo, si sale hacia abajo o arriba, pensamos que reaparece por el lado opuesto.
La relevancia de esta nueva geometría asociada a la ’’distancia de caminos’’ (a la que nos referiremos simplemente por ’’Distancia’’ en lo que sigue) queda de manifiesto en el siguiente enunciado.
Afirmación
Toda permutación de las casillas que preserva la Distancia es panmágica.
La prueba de esto aparece al desplegar el enlace de abajo. Para impregnarse de ella, es un buen ejercicio verificar que las cuatro permutaciones de arriba preservan la Distancia, es decir, envían dos casillas a una Distancia dada en dos casillas situadas a la misma Distancia. En contrapartida, la permutación ilustrada abajo NO preserva la Distancia.
Las $384$ versiones diferentes del Chautisa Yantra
Tal como se describe aquí, Nārāyaṇa Paṇḍita probó en su libro Gaṇitakaumudī que existen exactamente $384$ cuadrados panmágicos en los que intervienen cada uno de los números $1,2, \ldots, 16$, y dio dos algoritmos combinatorios para fabricarlos todos (uno de estos utiliza los movimientos de un caballo de ajedrez). Veremos a continuación que la Distancia permite dar otra prueba de este teorema, muchísimo más sencilla, basada en la fórmula general obtenida más arriba. Ella permitirá también ir preparándonos poco a poco hasta ver surgir el otro objeto matemático principal de este artículo : el hipercubo.
Teorema (Nārāyaṇa Paṇḍita)
Existen $384$ cuadrados panmágicos que usan cada una de las entradas $1,2, \ldots, 16$.
La demostración puede ser desplegada más abajo. De ella retenemos dos aspectos fundamentales.
Un algoritmo para fabricar todos los cuadrados panmágicos (con $1,2,\ldots,16$) : Coloque el $1$ en cualquier posición. Luego, elija tres de las cuatro posiciones a distancia $1$ de esta, y coloque allí los números $15,14$ y $12$. Finalmente, complete el tablero de modo que sea panmágico usando cada número $1,2,\ldots, 16$ exactamente una vez (hay solo una manera de hacerlo).
Conteo a partir del algoritmo : Asumiendo la validez del algoritmo anterior, podemos responder a la pregunta fundamental : ¿cuántos cuadrados panmágicos con las cifras $1,2,\ldots,16$ hay ? Por una parte, para colocar el $1$, tenemos $16$ casillas diferentes. Por otra parte, para colocar el $15$, $14$ y $12$, hay $24$ combinaciones en total : para colocar el $15$ hay $4$ posibilidades ; una vez colocado, quedan $3$ posibilidades para el $14$, y luego $2$ posibilidades para el $12$ (en total, esto da las $4\times 3 \times 2 = 24$ posibilidades anunciadas). De acuerdo al algoritmo descrito más arriba, esto nos indica que hay $16 \times 24 = 384$ cuadrados panmágicos con entradas $1,2,\ldots,16$.
Finalmente, ¡el hipercubo !
En nuestra discusión ha resultado esencial la geometría heredada de la Distancia. ¿Hay una manera más concreta de visualizar el objeto matemático subyacente ? Ciertamente : consideremos la ilustración de abajo, en que cada casilla está indexada por cuatro números iguales a 0 ó 1 cada uno. Observe que los índices de una fila a la contigua son los mismos, excepto por una entrada, que cambia por la otra. Lo mismo sucede de una columna a otra contigua. De esta forma, la Distancia entre dos casillas no es nada más que la cantidad de dígitos diferentes entre los índices de esas dos casillas. Por ejemplo, los índices de dos casillas opuestas son completamente diferentes de una a la otra : las cuatro cifras han cambiado.
El objeto que estamos considerando se identifica entonces con el conjunto de índices, que no es otra cosa que el producto $\{ 0,1 \}^4$. Aún cuesta visualizar este objeto, pero si modificamos el exponente $4$ por otro menor, entonces todo queda más claro :
Así, el conjunto $\{ 0,1 \}^4$ no es otra cosa que el conjunto de vértices del objeto que debiese seguir en la lista que comienza con el intervalo, el cuadrado y el cubo. Dicho objeto recibe el nombre de hipercubo (o teseracto). Si bien se trata de un cuerpo de dimensión $4$, podemos ’’proyectarlo’’ a la dimensión $3$ para luego visualizarlo en una pantalla de dimensión $2$ de esta manera [2] :
Observa que cada vértice se conecta a través de una arista con otros cuatro vértices (sus ’’vecinos’’), de la misma forma que en el tablero cada casilla está a Distancia $1$ de otras cuatro casillas [3]. En fin, tras familiarizarte un poco con esta estructura, pronto reconocerás que la lista de $13$ hipercubos con vértices coloreados de abajo se corresponde con la lista de $13$ tableros $4\times 4$ coloreados de más arriba (en los seis primeros aparecen pintadas del mismo color las configuraciones del tipo $(1,1,2)$, en los tres del medio las del tipo $(2,2,4)$, y en los cuatro restantes las del tipo $(1,3,4)$).
Las simetrías del hipercubo : Es fácil describir las simetrías del intervalo, del cuadrado y del cubo. Para el hipercubo el asunto se complica ligeramente debido a nuestra pérdida de intuición geométrica (pues la geometría que vemos no es la geometría inherente de la dimensión $4$). Sin embargo, podemos razonar por analogía. Para crear una simetría debemos :
- Escogido un vértice, debemos decidir a cuál de los vértices lo enviamos. Evidentemente, tenemos $16$ opciones para esto.
- Luego, debemos decidir qué hacer con los cuatro vecinos del inicial : estos deben ser enviados en vecinos del vértice imagen. Alternativamente, tenemos que enviar las $4$ aristas que nacen del primero en las $4$ aristas que surgen del segundo. Evidentemente, hay $4 \times 3 \times 2 \times 1 = 24$ maneras de hacer esta distribución.
No es difícil convencerse de que, una vez hechas estas elecciones, la simetría queda completamente determinada (es decir, hay una única manera de ’’extender’’ la asignación a los vértices restantes). Como consecuencia, tenemos exactamente $16 \times 24 = 384$ simetrías del hipercubo.
RESUMEN :
- toda simetría del hipercubo es panmágica cuando la vemos como permutación de las casillas (esto corresponde a la Afirmación de más arriba) ;
- el hipercubo tiene 384 simetrías ;
- aplicadas al Chautisa Yantra, estas simetrías generan $384$ tableros panmágicos con entradas (todas distintas) $1,2,\ldots, 16$ ;
- como existen exactamente $384$ tableros panmágicos con entradas (todas distintas) $1,2,\ldots, 16$ (teorema de Nārāyaṇa), no hay más permutaciones panmágicas.
Concluimos entonces que :
PASADO Y FUTURO DEL ASUNTO
El teorema presentado en este artículo debiera ser atribuido a B. Rosser y R. J. Walker, si bien ellos no lo formulan de esta manera en su artículo de 1938 [4]. De hecho, en los comentarios de su artículo, ellos mencionan que H. Coxeter les habría señalado que, muy probablemente, el grupo que estaban considerando es el mismo grupo de las simetrías del hipercubo (no hay mención alguna al hypercubo en la parte central del artículo). La prueba presentada aquí (así como la del teorema de Nārāyaṇa) es novedosa, si bien otra demostración puede ser hallada en un artículo de 1997 de W. Müller [5].
Las configuraciones mágicas o panmágicas existen para cualquier tablero $n \times n$, y se puede definir de manera análoga los grupos mágicos [6] y panmágicos (y otros grupos relacionados [7]). Lamentablemente, el escaso conocimiento de los cuadrados mágicos en dimensión superior hace imposible determinar sus grupos de simetrías usando la estrategia anterior. Por ejemplo, la siguiente pregunta me parece ampliamente abierta (e interesante) :
¿Son (no) solubles los grupos panmágicos de dimensión alta ? [8]
Para cerrar, un teorema tomado del artículo de Müller, para el cual ignoro si se puede dar una versión/demostración más geométrica. Observe que la presencia de $S_5$ en el grupo en cuestión implica que este no es soluble.
Teorema
El grupo panmágico de tableros $5 \times 5$ es isomorfo al producto semidirecto $\mathbb{Z}_2 \ltimes (S_5 \times S_5)$.
Para jugar : Al igual que con el Chautisa Yantra, usted puede tomar su cuadrado panmágico $5 \times 5$ preferido y divertirse aplicándole simetrías. Mi tablero preferido es este [10] :
1 | 15 | 22 | 18 | 9 |
23 | 19 | 6 | 5 | 12 |
10 | 2 | 13 | 24 | 16 |
14 | 21 | 20 | 7 | 3 |
17 | 8 | 4 | 11 | 25 |
y una simetría que me agrada mucho es esta :
¡Disfruta ! ¡Hay 28800 cuadrados panmágicos esperándote !
Muchas gracias a Giancarlo Lucchini por una indicación precisa sobre las simetrías del hipercubo y una corrección, así como a Álvaro Liendo, Étienne Ghys y Michele Triestino por sus observaciones y a los relectores amic y Baptiste por sus correcciones.
Notes
[1] La descripción algebraica del grupo panmágico implica que los órdenes de sus elementos no triviales pueden ser iguales a $2, 3, 4, 6$ y $8$. Un ejemplo de elemento de orden $4$ es la permutación cíclica de filas ilustrada a continuación.
[2] Para familiarizarte un poco con esta idea de la dimensión puedes disfrutar mirando esta película notable.
[3] Otra imagen de un hipercubo puede ser hallada en este sitio. una intervención artística basada en este objeto en honor a Roberto Matta está ubicada a un costado del Planetario de la Universidad de Santiago de Chile. En fin, como todo objeto matemático, el hipercubo admite variaciones, por ejemplo ligadas a su geometría. En este hermoso video descubrirás un poco de esta faceta.
[4] B. Rosser & R. J. Walker. On the transformation group for diabolic magic squares of order four. Bull. Amer. Math. Soc. 44 (1938), 416-420.
[5] W. Müller. Group actions on magic squares. Sém. Lothar. Combin. 39 (1997), Art. B39b, 14pp.
[6] Hay otro cuadrado famoso $4\times 4$ de entradas $1,2,\ldots,16$ que es mágico pero no panmágico. Se trata de aquel ilustrado por Albrecht Dürer en su grabado Melencolia I, el cual ya ha sido abordado en este artículo. Allí se puede apreciar una pequeña discusión sobre las simetrías correspondientes. La conclusión es clara : puesto que este cuadrado tiene menos propiedades mágicas que el de Khajuraho (ejercicio : hallar las combinaciones que dejan de funcionar...), nos quedan menos simetrías. En nuestro lenguaje, el punto es que el grupo mágico $4 \times 4$ es ’’pequeño’’, pues se reduce simplemente al grupo diedral $D_4$.
¿Por qué Dürer no fabricó un cuadrado panmágico ? La razón es simple : él quiso colocar las cifras $14$ y $15$ una junto a otra de modo de conformar el número $1514$, que corresponde al año de su creación. Sin embargo, en la prueba del teorema de Nārāyaṇa vimos que, en un cuadrado panmágico de entradas $1,2,\ldots,16$, el $14$ y el $15$ deben ser vecinos del $1$ y, por tanto, no pueden ser vecinos entre sí.
[7] De hecho, se puede definir grupos análogos para configuraciones mágicas de números que no sean necesariamente cuadradas.
[8] Un problema aún más desafiante es el de la solubilidad de la imagen de este grupo al actuar sobre el espacio de los cuadrados panmágicos $n \times n$ llenados con cada cifra $1,2,\ldots,n^2$ (en caso de que existan). A partir de $n=8$, la respuesta a ambos problemas se vuelve difusa...
[9] Vea este video para una bonita aplicación de esta fórmula en honor al poeta y matemático Nicanor Parra :
[10] Este cuadrado panmágico tiene la propiedad suplementaria de que las entradas en posiciones simétricas respecto al centro suman siempre $26$, que es el doble de la entrada central (igual a $13$). Este tablero proviene del mundo islámico, donde su simetría central representa ’’la circulación de todo en torno a Allah’’.
Partager cet article
Pour citer cet article :
— «El cuadrado mágico de Khajuraho es un hipercubo» — Images des Mathématiques, CNRS, 2020
Laisser un commentaire
Actualités des maths
-
20 janvier 2023Le vote électronique - les défis du secret et de la transparence (Nancy, 26/1)
-
17 novembre 2022Du café aux mathématiques : conférence de Hugo Duminil-Copin (Nancy et streaming, 24/11)
-
16 septembre 2022Modélisation et simulation numérique d’instruments de musique (Nancy & streaming, 22/9)
-
11 mai 2022Printemps des cimetières
-
3 mai 2022Comment les mathématiques se sont historiquement installées dans l’analyse économique (streaming, 5/5)
-
1er avril 2022Prix D’Alembert 2022 attribué à Jean-Michel Blanquer
Commentaire sur l'article