🗺 Mapa de Anosov — Mapa del Gato de Arnold y Caos Hiperbólico

El mayor exponente de Lyapunov es λ = ln((3 + √5)/2) ≈ 0,962 nats por iteración, o equivalentemente ln(φ²) donde φ = (1+√5)/2 es la razón áurea. Esto significa que la distancia entre dos puntos inicialmente cercanos crece por un factor de e≈2,6 con cada aplicación del mapa en el toro continuo (antes del plegado). En la práctica, tras unas pocas decenas de pasos en una cuadrícula de píxeles gruesa, el revoltijo es visualmente completo.

Sí — la matriz jacobiana [[1,1],[1,2]] tiene determinante 1×2 − 1×1 = 1, por lo que conserva el área (y el volumen en dimensiones superiores). Esto lo convierte en un mapa simpléctico, lo cual es importante en la mecánica hamiltoniana, y también explica por qué no se pierde información: cada píxel de la imagen revuelta corresponde exactamente a un píxel de la original.

El periodo (también llamado tiempo de recurrencia de Poincaré) para una imagen de píxeles n×n varía de una forma compleja y de tipo teoría de números. Para n=2 es 3, para n=3 es 4, para n=12 es 12 y para n=256 es 192. No existe una fórmula cerrada simple, pero el periodo es siempre finito y divide a ciertas funciones aritméticas de n. Las imágenes más grandes generalmente tardan más en recurrir, pero no de forma monótona.

Sí. El mapa del gato en 2D puede extenderse a 3D y dimensiones superiores eligiendo matrices enteras con determinante ±1 y todos los autovalores fuera del círculo unitario. Estos mapas se usan en investigación de geometría hiperbólica multidimensional y en criptografía, donde se explota la propiedad de mezcla para revolver datos. Una versión en 3D opera sobre el 3-toro y puede revolver datos volumétricos como cuadrículas de vóxeles.

La rápida mezcla del mapa del gato se ha aplicado en el cifrado de imágenes: revolver las posiciones de los píxeles usando unas pocas iteraciones produce una imagen visualmente ininteligible, y la clave es simplemente el número de iteraciones y el mapa inverso. También se ha usado como prueba de referencia para el caos cuántico — el mapa del gato cuántico se cuantiza en una matriz unitaria cuyas estadísticas de autovalores obedecen la teoría de matrices aleatorias — y para generar permutaciones pseudoaleatorias en informática.

Los autovalores de la matriz del mapa del gato son los cuadrados de la razón áurea: φ² = (3+√5)/2 ≈ 2,618 y 1/φ² ≈ 0,382. Los números de Fibonacci aparecen explícitamente en las potencias de la matriz: la entrada (1,2) de la matriz elevada a la k-ésima potencia es igual al k-ésimo número de Fibonacci. Esta profunda conexión surge porque la razón áurea es el límite de la razón entre términos sucesivos de Fibonacci.

Vladimir Arnold introdujo el mapa en su libro de texto de 1968 sobre teoría ergódica, usando la caricatura de la cara de un gato para demostrar cómo una imagen reconocible se destruye y luego se reconstruye. La elección fue pedagógicamente vívida — los ojos y bigotes del gato son claramente visibles tras cero iteraciones, se vuelven completamente desordenados tras unos pocos pasos, y luego regresan inconfundiblemente tras el periodo completo. El nombre «mapa del gato de Arnold» ha perdurado en la literatura matemática desde entonces.