Teoría de números y la aritmética de la recurrencia

Traducción automática del original en inglés, todavía sin revisar. Leer el original.

Los tres primeros ensayos trataban sobre un solo motor: la iteración. Una regla se aplica una y otra vez, y aparecen objetos invariantes. Puntos fijos. Atractores. Conjuntos invariantes. Medidas invariantes. Leyes de escala. Ninguno de esos sistemas sabía nada sobre sí mismo. El mapa logístico no contiene su propia fórmula. Es una regla que se hace girar, y nosotros miramos lo que ese giro dejaba atrás.

Este ensayo sigue tratando sobre ese motor, pero lo sigue hasta un lugar que al principio parece un tema completamente distinto: la teoría de números.

La razón por la que la teoría de números tiene que entrar es simple una vez que la decís en voz alta. En el momento en que un sistema se repite en el tiempo, aparecen los enteros. Un ciclo. Dos ciclos. Tres. “Volvé después de $q$ pasos.” “Alineate después de $p$ vueltas de un oscilador y $q$ vueltas de otro.” Repetir es contar, y contar es aritmética. Así que apenas nos tomamos en serio la trayectoria individual, preguntándonos si vuelve, qué tan cerca vuelve y con qué frecuencia, estamos haciendo teoría de números, lo quisiéramos o no.

Ese es todo el contenido de este ensayo. Que un movimiento sea estable puede reducirse a si una sola razón es racional y, si es irracional, qué tan irracional es. Al final, que una frecuencia sea “difícil de aproximar por fracciones” va a ser la diferencia entre una estructura que sobrevive a una perturbación y una que se desintegra.

Hay además un segundo papel, más profundo, para la aritmética esperando en el otro extremo. Los mismos enteros que cuentan retornos también pueden usarse para codificar cosas: fórmulas, programas, demostraciones. Cuando eso pasa, un sistema puede empezar a actuar sobre descripciones de sí mismo, y la serie cambia de motor. Pero eso es el próximo ensayo. Acá, la aritmética sigue siendo el reloj y la regla de medir de la dinámica, todavía no un lenguaje en el que un sistema habla de sí mismo.

#El vocabulario mínimo

Una frecuencia es una tasa de rotación u oscilación: cuántas vueltas o ciclos completos ocurren por unidad de tiempo. La aguja de un reloj tiene una frecuencia. Un planeta que orbita el sol tiene una. Un péndulo tiene una.

Dos frecuencias son conmensurables si su razón es un número racional, como $2/3$ o $7/4$. Son inconmensurables si su razón es irracional, como $\sqrt{2}$ o la razón áurea. Esta distinción va a terminar decidiendo si dos movimientos repetitivos vuelven alguna vez a alinearse exactamente.

Una resonancia ocurre cuando combinaciones enteras de frecuencias casi se cancelan:

$$k\cdot\omega\approx 0.$$

No dejes que la notación esconda la imagen. $\omega$ es una lista de frecuencias, $k$ es una lista de números enteros, y el producto escalar pregunta: ¿hay una receta chica de números enteros que haga que estas frecuencias casi se cancelen? Cuando la respuesta es sí, un empujoncito dado al ritmo justo puede acumularse en vez de promediarse hasta desaparecer. Un chico en una hamaca lo aprende con el cuerpo: empujá a la frecuencia justa y los empujoncitos se acumulan en un arco grande.

Para una primera intuición desde el álgebra lineal, pensá en resolver un sistema de ecuaciones y encontrarte con un denominador que es casi cero. La respuesta explota. Las casi resonancias son exactamente los lugares donde los denominadores de la teoría de perturbaciones se vuelven casi cero, y entonces las correcciones explotan. Más adelante lo vamos a hacer preciso.

La aproximación diofántica (Diophantine approximation) es la parte de la teoría de números que pregunta qué tan bien se puede aproximar un número irracional por fracciones $p/q$. Este es el corazón técnico del ensayo. Las frecuencias casi racionales crean casi retornos, los casi retornos crean casi resonancias, y las casi resonancias deciden la estabilidad. Así que “¿qué tan cerca está este número de una fracción?” no es aritmética ociosa. Es el parámetro de control.

#Dos motores, y por qué este llega a la aritmética

Antes de seguir, unas palabras sobre dónde se ubica este ensayo, porque la serie está por cambiar de carácter.

La tesis de la serie nunca fue que el caos, los fractales, las leyes de potencia, las oraciones de Gödel y los tipos recursivos sean en secreto el mismo objeto. No lo son. Viven en mundos matemáticos distintos. La tesis es más acotada y más defendible: dos mecanismos emparentados siguen forzando la aparición de objetos invariantes.

El primer mecanismo es la iteración. Tomá una regla,

$$x\mapsto f(x),$$

y aplicala una y otra vez. Eso solo alcanza para producir todo lo de los tres primeros ensayos: puntos fijos, atractores, ciclos, bifurcaciones, caos, fractales, medidas invariantes y escalamiento con leyes de potencia. El sistema nunca se representa a sí mismo. Simplemente se lo hace girar.

El segundo mecanismo es la autorreferencia (self-reference): un sistema se vuelve lo bastante rico como para representar sus propias reglas, y después actuar sobre esas representaciones. Ese es el mundo de la numeración de Gödel, las máquinas de Turing, los quines y los tipos recursivos. Es el tema del próximo ensayo, no de este.

Este ensayo es el puente entre ellos, y la teoría de números es la clave del arco de ese puente. Esta es la razón. La teoría de números cumple dos papeles completamente distintos según qué motor estés haciendo andar.

Papel de la aritmética	Qué hace la aritmética	Motor
Cronometrista	cuenta retornos, períodos, casi retornos	iteración
Filtro de estabilidad	controla los denominadores chicos en la teoría de perturbaciones	iteración
Sustrato de codificación	convierte fórmulas y demostraciones en números	autorreferencia
Medio de autorreferencia	permite que los enunciados hablen de sus propios códigos	autorreferencia

Las dos filas de arriba son este ensayo. Los enteros cuentan cómo vuelve un movimiento repetido, y qué tan irracional es una frecuencia decide si una estructura sobrevive a una perturbación. Las dos filas de abajo son el próximo ensayo, donde los mismos enteros dejan de ser un reloj y se vuelven un alfabeto. Mantener separados estos papeles es el hábito más útil para leer el resto de la serie. El mismo tema, la teoría de números, articula las dos mitades porque puede hacer los dos trabajos.

Un punto fijo, solo, suele ser una ecuación aburrida. La matemática cobra vida cuando preguntás cómo se llega a él, cómo se rompe ante un cambio chico y si la misma forma reaparece un nivel más arriba. Ese es el espíritu de todo lo que sigue.

#Por qué aparece de golpe la teoría de números

Al principio, la teoría de números parece no tener nada que ver con la dinámica. Pero sí tiene.

La teoría de números es el estudio de los enteros y de las estructuras construidas a partir de ellos: divisibilidad, primos, congruencias, números racionales, números irracionales, y qué tan bien unos pueden aproximarse por los otros. Eso suena lejos de bolitas rodando y de intervalos que se pliegan. Pero acordate de la observación con la que empezamos: en el instante en que un sistema se repite, entran los enteros. Un retorno. Dos retornos. Un movimiento que se cierra después de $q$ pasos. Dos osciladores que se vuelven a alinear después de $p$ vueltas de uno y $q$ del otro. Repetir es contar, y contar es la puerta.

La pregunta básica que necesitamos es la más simple que puede hacerse la teoría de números:

¿Qué tan cerca está un número real de una fracción?

Eso es la aproximación diofántica, llamada así por Diofanto. Vamos a ver que controla si un movimiento repetitivo vuelve cerca de donde empezó, y cómo cae una perturbación chica cuando lo hace.

#Un círculo es el lugar más simple donde vive la repetición

Para ver entrar a la aritmética, tomá el sistema repetitivo más limpio posible: un punto que salta alrededor de un círculo una cantidad fija en cada paso.

$$\theta_{n+1}=\theta_n+\omega \pmod 1.$$

Leé $\theta$ como una posición en la esfera de un reloj, salvo que el reloj está normalizado para que $0$ y $1$ sean el mismo punto, así como las 12 y las 0 horas son el mismo lugar. Cada paso suma $\omega$ y, cuando el total pasa de $1$, vuelve a dar la vuelta. El número $\omega$ es el número de rotación: cuánto avanzás por paso alrededor del círculo. La expresión $\pmod 1$ solo significa “quedate con la parte fraccionaria”, porque dar la vuelta completa te devuelve al mismo lugar.

Esta es la versión de un paso de cada reloj, órbita y oscilación del ensayo. Todo lo demás es esto con más dimensiones.

Ahora hacé la única pregunta interesante: ¿el punto vuelve alguna vez exactamente a donde empezó?

Caso uno: una rotación racional. Supongamos que

$$\omega=\frac{p}{q},$$

una fracción irreducible. Entonces después de $q$ pasos,

$$\theta_q=\theta_0+q\cdot\frac{p}{q}=\theta_0+p\equiv \theta_0 \pmod 1.$$

El $+p$ es un número entero de vueltas completas, que el $\pmod 1$ borra. Así que el punto cae exactamente de nuevo en su inicio. La órbita es periódica, y su período es el denominador $q$. Rotación racional significa recurrencia exacta. El denominador te dice literalmente cuántos pasos lleva el ciclo.

Caso dos: una rotación irracional. Supongamos que $\omega$ es irracional. Entonces la órbita nunca vuelve exactamente, porque $q\omega$ nunca es un número entero para ningún $q$, así que $\theta_q$ nunca es exactamente $\theta_0$. Pero pasa algo más sutil: la órbita se acerca arbitrariamente a cada punto del círculo. Con suficientes pasos, va a pasar tan cerca como quieras de cualquier objetivo. Los matemáticos dicen que la órbita es densa. Nunca se repite y, sin embargo, termina visitando todo el círculo.

Así que ya, a partir de una línea de aritmética, tenemos tres regímenes:

1. rotación racional: recurrencia exacta,
2. rotación irracional: no hay recurrencia exacta, pero la órbita llena el círculo,
3. rotación irracional bien aproximable: no hay recurrencia exacta, pero sí casi retornos muy cercanos.

El tercer régimen es donde está la acción de verdad, y es el que necesita la aproximación diofántica para describirse. A la dinámica muchas veces no le importa si un movimiento vuelve exactamente. Le importa si vuelve lo bastante cerca, lo bastante seguido, como para que un empujoncito repetido se acumule. Esa es una pregunta sobre qué tan bien se puede aproximar $\omega$ por fracciones.

#Medir “qué tan cerca de una fracción”

Para un $\omega$ irracional, la cantidad precisa es

$$|q\omega-p|,$$

y la pregunta es qué tan chica puede hacerse eligiendo enteros $p$ y $q$. Mide la distancia entre $\omega$ y la fracción más cercana $p/q$, porque dividiendo por $q$ queda

$$\left|\omega-\frac{p}{q}\right|=\frac{|q\omega-p|}{q}.$$

¿Por qué importa dinámicamente este número? Porque si $|q\omega-p|$ es diminuto, entonces después de $q$ rotaciones el punto está muy cerca de su inicio:

$$\theta_q=\theta_0+q\omega\approx \theta_0+p\equiv\theta_0\pmod 1.$$

Eso es un casi período. El movimiento no se cierra, pero casi, y “casi” puede alcanzar. Si algún forzamiento externo chico empuja al sistema una vez por rotación, entonces en un casi período los empujones llegan casi en la misma fase una y otra vez, todos empujando casi en la misma dirección. A lo largo de muchos casi retornos, esos empujones alineados se acumulan. Esa acumulación es lo que significa “resonancia”, escrito en el lenguaje de la aritmética. Una frecuencia que admite muy buenas aproximaciones racionales es una frecuencia que resuena con facilidad.

#Fracciones continuas: la regla correcta para medir la irracionalidad

Para hablar de qué tan bien se puede aproximar un número, necesitamos la herramienta correcta. Esa herramienta es la fracción continua (continued fraction).

Todo número irracional tiene un desarrollo único en fracción continua, que se escribe en forma compacta como

$$\omega=[a_0;a_1,a_2,a_3,\ldots],$$

y que se despliega en una torre anidada de fracciones,

$$\omega=a_0+\cfrac{1}{a_1+\cfrac{1}{a_2+\cfrac{1}{a_3+\cdots}}}.$$

Los números enteros $a_0,a_1,a_2,\ldots$ se llaman cocientes parciales. Si cortás la torre antes, obtenés una fracción llamada convergente (o reducida), y las convergentes son, en un sentido preciso, las mejores posibles aproximaciones racionales de $\omega$ para su tamaño de denominador. Son las fracciones que elegiría un relojero.

El dato crucial es que el tamaño de los cocientes parciales te dice qué tan aproximable es el número. Un cociente parcial grande significa que hay disponible una aproximación inusualmente buena, porque implica que la siguiente convergente casi no cambia el valor mientras achica bruscamente el error. Un número con cocientes parciales grandes es fácil de aproximar por fracciones, y por eso resuena con facilidad.

Dos ejemplos lo hacen concreto:

$$\sqrt{2}=[1;2,2,2,\ldots],\qquad \varphi=[1;1,1,1,\ldots].$$

La razón áurea $\varphi=(1+\sqrt 5)/2$ tiene los cocientes parciales más chicos posibles, todos unos, para siempre. Como los cocientes parciales grandes son los que producen aproximaciones racionales excepcionalmente buenas, tener todos unos significa que la razón áurea nunca ofrece una. Es, en un sentido preciso y demostrable, el número irracional más difícil de aproximar por fracciones. La frase poética es que es “el número más irracional”. El contenido concreto es que $|q\varphi-p|$ se niega a achicarse demasiado rápido a medida que crece $q$.

Esto no es una curiosidad; es la razón por la que funciona la filotaxis. La cabeza de un girasol o la roseta de un aloe ubican cada semilla u hoja nueva a un ángulo fijo de rotación respecto de la anterior. Si ese ángulo es una fracción racional de una vuelta completa, las semillas se alinean en unos pocos rayos radiales y desperdician espacio. El ángulo áureo es una fracción $1/\varphi^2$ de una vuelta completa, unos $137.5^\circ$, o equivalentemente el giro complementario $1/\varphi$ módulo una rotación completa. Es la rotación que nunca deja que las semillas se alineen, así que se acomodan sin dirección preferida y sin huecos. La filotaxis es el mapa de rotación del círculo corriendo en una flor, que elige el número de rotación más irracional para el empaquetamiento más parejo. El mismo hecho que hace que la razón áurea llene parejo la cabeza de un girasol va a hacer, en un momento, que una órbita particular del sistema solar sea la más robusta.

#Simulación: pequeños divisores

Abrí esta simulación en Explorar →

El gráfico muestra

$$|q\omega-p|$$

con $p$ elegido como el entero más cercano a $q\omega$, recorriendo muchos denominadores $q$. Compará la razón áurea con un número construido a propósito para tener una aproximación racional muy buena:

import numpy as np
import matplotlib.pyplot as plt

phi = (1 + np.sqrt(5)) / 2
easy = np.sqrt(2) + 1 / 10_000
qs = np.arange(1, 400)

def small_divisors(omega):
    ps = np.round(qs * omega)
    return np.abs(qs * omega - ps)

plt.semilogy(qs, small_divisors(phi), label="golden ratio")
plt.semilogy(qs, small_divisors(easy), label="easier approximation")
plt.xlabel("q")
plt.ylabel("|qω - p|")
plt.legend()

Lo que tendrías que ver: los números irracionales no son intercambiables. Algunos producen denominadores que bajan peligrosamente; la razón áurea mantiene la distancia. En un momento, esos denominadores chicos van a ser exactamente donde se rompe la estabilidad.

#La regla de medir es ella misma un sistema dinámico

Acá hay un rulo que vuelve a los ensayos anteriores y que es demasiado lindo para saltearlo. Las fracciones continuas no se producen a mano. Salen de un sistema dinámico, el mapa de Gauss (Gauss map):

$$G(x)=\left{\frac{1}{x}\right},$$

donde ${\cdot}$ significa “tomá la parte fraccionaria”. Metés un número entre $0$ y $1$, tomás su recíproco, tirás la parte entera y repetís. Cada aplicación despega el siguiente cociente parcial de la fracción continua. La herramienta que usamos para medir la irracionalidad es ella misma una regla que se itera.

Y como los mapas caóticos del segundo ensayo, el mapa de Gauss tiene una medida invariante, la medida de Gauss:

$$d\mu(x)=\frac{1}{\log 2}\frac{dx}{1+x}.$$

Esta es la distribución que queda sin cambios cuando empujás una densidad entera de números iniciales a través de $G$ una vez, exactamente el tipo de objeto invariante que el ensayo sobre leyes de potencia presentó como punto fijo del operador que hace avanzar las distribuciones. Así que las fracciones continuas atan juntas la recurrencia, el caos, las medidas invariantes y la aritmética en un solo mapa chiquito. El instrumento que construimos para estudiar la escalera resulta ser otro peldaño de ella.

#Simulación: mapa de Gauss

Abrí esta simulación en Explorar →

#De una frecuencia a muchas: la teoría KAM

Hasta ahora hubo un solo número de rotación en un solo círculo. Los sistemas mecánicos reales, un planeta tironeado por varios otros, un conjunto de péndulos acoplados, un asteroide entre Júpiter y el sol, tienen varias frecuencias a la vez. La pregunta por la recurrencia pasa a ser la pregunta de si todas esas frecuencias vuelven a alinearse, y ahí vive el resultado más profundo de este ensayo: la teoría KAM, llamada así por Kolmogorov, Arnold y Moser.

Para llegar ahí, necesitamos un poco del lenguaje natural de la mecánica.

Los sistemas de la mecánica clásica suelen escribirse en forma hamiltoniana, una contabilidad que conserva la energía, inventada justamente para estos problemas. Su estado vive en el espacio de fases, que registra no solo dónde están las cosas sino qué tan rápido se mueven. Para una partícula en una dimensión, el espacio de fases tiene dos coordenadas,

$$q=\text{position},\qquad p=\text{momentum},$$

y para muchas partes en movimiento tiene muchos pares así. Un punto del espacio de fases es una foto completa: posiciones y momentos juntos.

Un sistema hamiltoniano se llama integrable cuando se puede resolver de manera lo bastante limpia como para que su movimiento quede sobre una superficie suave llamada toro invariante (invariant torus). Un toro tiene la forma de la superficie de una dona, y en más dimensiones es el producto de varios círculos. El sentido del nombre es que el movimiento sobre él es cuasiperiódico: el sistema da vueltas alrededor de la dona con varias frecuencias a la vez, como varias agujas de reloj independientes girando a ritmos inconmensurables, sin repetirse nunca del todo pero sin salirse nunca de la superficie.

La rotación del círculo de antes es la versión con un solo reloj. La versión en el toro es

$$\theta_{n+1}=\theta_n+\omega \pmod 1,\qquad \theta=(\theta_1,\ldots,\theta_d),\quad \omega=(\omega_1,\ldots,\omega_d).$$

Cada componente es un ángulo en un círculo; cada paso los hace avanzar a todos. Si las frecuencias tienen relaciones racionales entre sí, la órbita termina cerrándose sobre un lazo de menor dimensión. Si no, da vueltas de forma cuasiperiódica y llena el toro, la versión con muchos relojes de la órbita densa en un solo círculo.

#La pregunta que responde KAM

Los sistemas integrables son raros y especiales. Los sistemas reales son sistemas integrables más una perturbación chica: los planetas trazarían elipses perfectas si solo sintieran al sol, pero también se tironean levemente entre sí. La pregunta natural es si los hermosos toros invariantes sobreviven a ese tirón, o si la perturbación más chica los desgarra y deja que el sistema deambule libremente, lo que a escala de tiempo astronómica significaría que el sistema solar no es estable.

La respuesta de la teoría KAM es extraña y precisa: depende de la aritmética. Los toros cuyas frecuencias son “suficientemente irracionales” sobreviven a una perturbación chica. Los toros cuyas frecuencias están cerca de una resonancia se destruyen primero. La estabilidad no se ordena por energía ni por tamaño sino por qué tan bien un vector de frecuencias puede aproximarse con relaciones enteras.

Para esta sección, tené en mente una imagen: un toro es una pista suave en el espacio de fases, y KAM pregunta si esa pista sobrevive cuando al sistema le dan un empujoncito. La aritmética entra porque los empujoncitos repetidos son inofensivos cuando llegan desfasados, pero peligrosos cuando siguen llegando casi sincronizados.

Una resonancia entre varias frecuencias es la versión multidimensional del casi período. Ocurre cuando

$$k\cdot \omega \approx 0$$

para algún vector de enteros $k$ que no sea todo ceros. Escrito en dos dimensiones,

$$k_1\omega_1+k_2\omega_2\approx 0,$$

lo que dice que una frecuencia es casi un múltiplo entero de la otra; los dos relojes casi se vuelven a trabar. El producto escalar $k\cdot\omega$ es la generalización a muchas frecuencias de la cantidad $q\omega-p$ del círculo. Exactamente cero es una resonancia exacta; casi cero es una casi resonancia.

#Por qué la casi resonancia es peligrosa: los pequeños divisores

Este es el mecanismo, y el núcleo técnico de todo el ensayo, así que conviene ir despacio.

Cuando los físicos quieren entender un sistema levemente perturbado, intentan “cambiar de coordenadas” para hacer desaparecer la perturbación, una pieza de Fourier a la vez. Una pieza típica de la perturbación se ve como una onda alrededor del toro,

$$a_k, e^{i k\cdot\theta},$$

y el cambio de coordenadas que la cancela sale con esta pinta:

$$\frac{a_k}{i,k\cdot\omega}, e^{i k\cdot\theta}.$$

Los detalles exactos varían según el sistema, pero la forma es robusta y es todo lo que necesitamos: la corrección tiene $k\cdot\omega$ en el denominador. Ahora leé los tres casos.

Si $k\cdot\omega$ está cómodamente lejos de cero, la corrección es chica y controlada. La perturbación puede absorberse.

Si $k\cdot\omega$ es diminuto, la corrección es enorme, porque estamos dividiendo por un número casi cero. Una perturbación chica produce una respuesta grande.

Si $k\cdot\omega$ es exactamente cero, la corrección es infinita. La perturbación está en resonancia perfecta con el movimiento y no puede eliminarse con ningún cambio chico de coordenadas.

Este es el problema de los pequeños divisores (small-divisor problem), y es la misma aritmética que encontramos en el círculo, ahora con algo en juego. Ahí, que $|q\omega-p|$ fuera chico significaba un casi período. Acá, que $|k\cdot\omega|$ sea chico significa una casi resonancia por la que la teoría de perturbaciones divide. La supervivencia de una estructura geométrica, un toro invariante entero en el espacio de fases, se reduce a si estos denominadores pueden mantenerse lejos de cero.

La analogía de ingeniería es la resonancia en un puente o en un circuito. Una entrada diminuta no es peligrosa por sí misma; se vuelve peligrosa cuando el timing coincide de modo que la respuesta se suma en lugar de cancelarse. KAM es la versión geométrica, en muchas dimensiones, de ese problema de timing.

#La condición diofántica

Entonces KAM necesita frecuencias cuyos pequeños divisores se mantengan controlados. El requisito preciso es una condición diofántica:

$$|k\cdot \omega| \geq \frac{\gamma}{|k|^\tau}\quad\text{for all nonzero integer vectors }k.$$

En palabras: las resonancias pueden acercarse a cero a medida que el vector entero $k$ crece, pero no demasiado rápido. Las constantes $\gamma$ y $\tau$ miden qué tan tercamente irracional es el vector de frecuencias. Esta desigualdad no es decorativa. Es la promesa que impide que los denominadores del cambio de coordenadas colapsen, que es exactamente lo que KAM necesita para demostrar que un toro sobrevive.

¿Qué frecuencias la cumplen mejor? Las máximamente irracionales. En dos dimensiones, el toro más robusto de todos es aquel cuya razón de frecuencias es la razón áurea,

$$\varphi=\frac{1+\sqrt 5}{2}=[1;1,1,1,\ldots].$$

Su fracción continua de puros unos la convierte en el número más difícil de aproximar por racionales, lo que hace que sus pequeños divisores sean los más grandes, lo que hace que su toro sea el último en romperse. El toro áureo es robusto no porque el oro sea místico sino porque la aritmética de $\varphi$ es el peor caso posible para la resonancia. Es el mismo hecho que acomodaba las semillas del girasol; acá estabiliza una órbita.

#Cómo se ve el espacio de fases que sobrevive

KAM no promete una separación limpia entre “todo estable” y “todo caótico”. Promete una mezcla, y la mezcla tiene un esqueleto aritmético. Los toros suficientemente irracionales sobreviven como barreras suaves. Los toros cerca de resonancias se disuelven, y alrededor de cada resonancia aparecen islas y capas caóticas delgadas. Entre ellas, los toros diofánticos que sobreviven funcionan como paredes que las trayectorias no pueden cruzar. Hechos aritméticos discretos, qué razones están cerca de ser racionales y cuáles son tercamente irracionales, tallan estructura geométrica continua en el espacio de fases. Es uno de los enunciados más hermosos de la física matemática: una propiedad de teoría de números de una frecuencia decide una propiedad geométrica de un flujo. Los anillos de Saturno hacen visible lo mismo desde un telescopio en el patio. La oscura División de Cassini de la foto al principio de este ensayo es una banda barrida casi por completo porque las partículas que orbitaran ahí caerían en una resonancia 2:1 con la luna Mimas, el mismo empujoncito llegando casi en la misma fase órbita tras órbita hasta que se acumula.

Hay una forma estándar de escribir el planteo. Partí de un sistema integrable en coordenadas de acción-ángulo, donde el movimiento sin perturbar es pura rotación,

$$\dot{\theta}=\omega(I),\qquad \dot{I}=0,$$

así que los ángulos giran a frecuencias $\omega$ y las acciones $I$ quedan fijas, clavando el movimiento a un toro. Ahora sumá una perturbación chica,

$$H(I,\theta)=H_0(I)+\epsilon H_1(I,\theta).$$

Eliminarla orden por orden produce exactamente los denominadores de pequeños divisores $k\cdot\omega$ descriptos arriba. Donde esos denominadores se mantienen grandes, el desarrollo converge y el toro sobrevive, apenas doblado. Donde se anulan, el desarrollo se rompe y el toro se destruye.

Hay acá un principio que llega mucho más allá de la mecánica celeste: lo que sobrevive a una perturbación repetida muchas veces se mantiene desfasado respecto de ella. La resonancia, que las cosas se alineen, es un camino a la catástrofe; negarse a alinearse es un camino a la robustez. La misma forma reaparece en cualquier lugar donde un sistema tiene que sobrevivir a golpes repetidos. Un girasol evita los rayos desperdiciados dándole a cada semilla un giro irracional. Una cartera sobrevive a un crash teniendo posiciones que no se mueven todas juntas. Un sistema financiero sobrevive a un shock cuando sus instituciones usan modelos de riesgo distintos, y explota cuando usan el mismo y se desapalancan al unísono, la falla por monocultivo que cierra la serie hermana. La diversificación, la biodiversidad y un toro KAM que sobrevive no son el mismo mecanismo, pero comparten una forma defensiva: evitá la alineación, y un shock que se amplificaría al unísono llega disperso.

#KAM como enunciado de punto fijo

Esto se conecta con la columna vertebral de la serie; es otra historia de punto fijo con ropa poco familiar.

KAM no dice que los toros viejos se quedan sin cambios. Dice que muchos de ellos se deforman en toros cercanos, y pregunta si existe un cambio de coordenadas que lleve el movimiento perturbado de vuelta a una rotación cuasiperiódica limpia sobre el toro deformado. En lenguaje de punto fijo, estás despejando un objeto invariante: un mapa $K$ que embebe un toro abstracto en el espacio de fases real de modo que correr la dinámica física coincida con simplemente rotar el toro abstracto. Esquemáticamente,

$$\text{flow}\circ K = K\circ \text{rotation}_\omega.$$

Leelo así: embebés el toro y después dejás fluir, y obtenés el mismo resultado que rotando primero y embebiendo después. La incógnita $K$ no es un número, y ni siquiera un punto. Es una superficie geométrica entera que la dinámica deja invariante. KAM es la pregunta de si esa superficie invariante sobrevive a la perturbación, y la respuesta la decide la aritmética de $\omega$.

La conclusión es modesta pero importante: KAM no le pide a un estudiante que memorice un teorema. Muestra que la estabilidad puede depender de la aritmética. Dos sistemas pueden verse físicamente parecidos, pero el que tiene frecuencias que evitan relaciones casi enteras puede conservar un toro invariante suave mientras el resonante se rompe en islas y caos.

La novena lección:

La teoría de números da forma al espacio de fases porque la aritmética controla la resonancia.

#El puente: de la no ergodicidad a la recurrencia

¿Por qué la teoría de números pertenece acá, justo después del ensayo anterior sobre la no ergodicidad, y no como un desvío?

Ese ensayo terminó con una advertencia: un promedio de conjunto (ensemble) puede ser el objeto equivocado cuando el camino vivido es una sola trayectoria a través del tiempo. En el instante en que la trayectoria individual pasa a ser lo que te importa, la recurrencia se vuelve la pregunta. ¿El camino vuelve cerca de donde empezó? ¿Revisita una región lo bastante seguido como para que los promedios se asienten? ¿Se pierde regiones enteras? ¿Un forzamiento periódico chico sigue golpeando al sistema casi en la misma fase?

Estas son primero preguntas de tiempo. Se vuelven preguntas de teoría de números en el momento en que el movimiento es rotacional, oscilatorio o cuasiperiódico, porque entonces “volver cerca del inicio” se traduce directamente en aritmética. Para la rotación del círculo,

$$\theta_n=\theta_0+n\omega \pmod 1,$$

un casi retorno significa $\theta_n\approx\theta_0$, que después de restar $\theta_0$ se convierte en $n\omega\approx p$ para algún entero $p$, es decir,

$$|n\omega-p|\approx 0.$$

Así que la pregunta del camino vivido, “¿esta trayectoria vuelve cerca de donde empezó?”, es la misma pregunta que “¿qué tan bien se puede aproximar $\omega$ por racionales?”. Esa es la razón concreta por la que la recurrencia arrastra a la aritmética a la escalera. Una razón racional da un cierre exacto tarde o temprano. Una razón irracional no da cierre, pero la irracionalidad no es una sola cosa: algunos irracionales son fáciles de aproximar y resuenan enseguida, mientras que otros, con la razón áurea a la cabeza, resisten. Esa diferencia controla la casi recurrencia; la casi recurrencia controla la resonancia; la resonancia controla la estabilidad.

Así que la cadena es ajustada. Una vez que el tiempo importa, importa el movimiento repetido. Una vez que importa el movimiento repetido, la pregunta es si los ciclos se alinean, casi se alinean o nunca se alinean, y esa pregunta es aritmética. El vector entero $k$ no es notación decorativa. Es el contador que lleva la cuenta de cada manera posible en que las frecuencias podrían volver a alinearse.

#La aritmética como bisagra

Este es el punto donde la serie está por cambiar de motor, y la teoría de números es la bisagra sobre la que gira.

Todo lo anterior usó la aritmética de una sola manera: como cronometrista y filtro de estabilidad de la dinámica. Los enteros cuentan retornos. Las fracciones describen razones de frecuencias. Las fracciones continuas miden la casi resonancia. Las desigualdades diofánticas deciden qué estructuras sobreviven a una perturbación. En todos los casos, la aritmética se quedó afuera del sistema, una regla que poníamos al lado del movimiento para medirlo.

Pero la aritmética se puede usar de una segunda manera, y la diferencia es todo el giro de la serie.

Papel de la aritmética	Qué hace la aritmética	Ejemplo
Cronometrista	cuenta retornos, períodos, resonancias	$q\omega\approx p$
Filtro de estabilidad	controla los denominadores chicos	$\lvert k\cdot\omega\rvert\geq\gamma/\lvert k\rvert^\tau$
Sustrato de codificación	convierte la sintaxis en números	numeración de Gödel
Medio de autorreferencia	permite que los enunciados se refieran a sus propios códigos	el lema diagonal

Las dos primeras filas son este ensayo, el motor de la iteración. Las dos filas de abajo son el próximo ensayo, el motor de la autorreferencia, y se apoyan en una sola idea nueva: los mismos enteros que cuentan vueltas alrededor de un reloj también pueden contar símbolos dentro de una fórmula. Un enunciado, una demostración, un programa es solo una cadena finita de símbolos, y una cadena finita de símbolos se puede empaquetar en un solo entero. Una vez hecho eso, la aritmética deja de ser una regla que ponemos al lado del sistema y se vuelve un lenguaje con el que el sistema puede hablar de sí mismo. Los números pueden codificar enunciados sobre números. A una regla se le puede dar de comer su propia descripción.

Ese es el umbral de la clausura representacional (representational closure), y es donde los objetos invariantes de la iteración, atractores y toros, dejan paso a una familia nueva: oraciones de Gödel, problemas de la parada, quines, el combinador Y y tipos recursivos. La misma pregunta de punto fijo se traslada, pero el motor que la impulsa es otro.

Ya seguimos el motor de la iteración hasta donde llega, desde un número atraído hacia $1$ hasta un toro invariante sostenido por la razón áurea. El próximo ensayo hace girar la bisagra: deja que la aritmética codifique sintaxis, y mira cómo la autorreferencia se vuelve el segundo motor que fabrica puntos fijos.

#Lecturas recomendadas

Para la teoría de números dentro de la dinámica:

1. Andrey Kolmogorov, On conservation of conditionally periodic motions for a small change in Hamilton’s function (1954). La nota original de KAM, la K de KAM.
2. Vladimir Arnold, Mathematical Methods of Classical Mechanics. La vía canónica de entrada a la mecánica hamiltoniana, las variables de acción-ángulo y el problema de los pequeños divisores.
3. Jurgen Moser, Stable and Random Motions in Dynamical Systems. Un tratamiento clásico de las ideas de KAM y de la supervivencia de los toros invariantes.
4. Hendrik Broer y Floris Takens, Dynamical Systems and Chaos. Útil para conectar toros invariantes, resonancia y condiciones diofánticas con las bifurcaciones.
5. A. Ya. Khinchin, Continued Fractions. El clásico breve sobre fracciones continuas, convergentes y qué tan bien se pueden aproximar los números por racionales.
6. G. H. Hardy y E. M. Wright, An Introduction to the Theory of Numbers. Contexto sobre la aproximación diofántica y el papel especial de la razón áurea.