Growth of Mahler measure and algebraic entropy of dynamics with the Laurent property

A continuación presento un resumen técnico detallado del artículo "Growth of Mahler measure and algebraic entropy of dynamics with the Laurent property" (Crecimiento de la medida de Mahler y entropía algebraica de dinámicas con la propiedad de Laurent), escrito por Andrew N. W. Hone.

1. Planteamiento del Problema

El artículo aborda la cuestión de cómo medir el crecimiento de la complejidad en sistemas dinámicos discretos, específicamente aquellos que poseen la propiedad de Laurent (donde las iteraciones son polinomios de Laurent con coeficientes enteros) y en álgebras de clúster.

Existen varias nociones de entropía para cuantificar este crecimiento:

• Entropía Algebraica ($E$): Se define en términos del crecimiento del grado de las funciones racionales que componen la iteración ($\lim \frac{\log \deg \phi^n}{n}$). Su cálculo exacto es computacionalmente costoso porque requiere calcular iteraciones exactas de funciones racionales, donde los grados crecen exponencialmente en sistemas caóticos.
• Entropía Diofántica ($E_H$): Mide el crecimiento de la altura (máximo de numeradores y denominadores) a lo largo de una órbita numérica. Aunque más fácil de calcular numéricamente que $E$, sigue requiriendo aritmética exacta de números racionales de gran tamaño.

El problema central es establecer una relación rigurosa entre estas entropías y la medida de Mahler, una herramienta analítica y aritmética clásica. La medida de Mahler de un polinomio $P$, denotada $m(P)$, es la integral del logaritmo del módulo de $P$ sobre el toro $N$-dimensional.

2. Metodología

El autor propone y estudia una nueva noción de entropía: la Entropía de Mahler ($E_M$).

• Definición: Para un mapa $\phi$ con propiedad de Laurent, $E_M(\phi) = \lim_{n \to \infty} \frac{\log m(\phi^n(x))}{n}$, donde $m(\phi^n(x))$ es la medida de Mahler máxima de los componentes de la $n$-ésima iteración.
• Enfoque Computacional: A diferencia de $E$ y $E_H$, que requieren aritmética exacta, $E_M$ se puede aproximar numéricamente de manera muy eficiente utilizando aritmética de punto flotante. Esto se logra evaluando la integral de la medida de Mahler mediante sumas de Riemann (muestreo de puntos equidistribuidos en el toro, como raíces de la unidad o métodos Monte Carlo) sobre las iteraciones del sistema.
• Análisis Teórico: Se estudian familias específicas de recurrencias generadas por álgebras de clúster de rango 2, la recurrencia de Markoff y la recurrencia Somos-4. Se utilizan herramientas como:
  • La fórmula de Jensen para reducir integrales multidimensionales a unidimensionales.
  • La función Dilogaritmica de Bloch-Wigner ($D(z)$) y el Dilogaritmio clásico ($Li_2$).
  • Dinámica tropical para analizar el crecimiento de los vectores de grado ($d$-vectors).
  • Soluciones analíticas en términos de funciones elípticas (función sigma de Weierstrass) para el caso Somos-4.

3. Contribuciones Clave

1. Conjetura Principal (Conjetura 1.7): El autor formula la conjetura de que, para álgebras de clúster y mapas con propiedad de Laurent derivados de ellos, la entropía algebraica coincide con la entropía de Mahler ($E = E_M$).
2. Proposición 1.9: Se demuestra que para mapas de clúster, la entropía de Mahler está acotada superiormente por la entropía diofántica evaluada en la órbita de datos iniciales $(1, \dots, 1)$, es decir, $E_M \leq E_H(1)$. Bajo ciertas condiciones de crecimiento asintótico, se demuestra que $E_M = E_H(1) = E$.
3. Ventaja Computacional: Se destaca que el cálculo de $E_M$ es significativamente más rápido y menos propenso a errores de precisión que el cálculo de $E$ o $E_H$, ya que evita el manejo de números racionales de gran tamaño.
4. Fórmulas Asintóticas Exactas: Se derivan fórmulas precisas para el comportamiento asintótico de la medida de Mahler en casos específicos, conectándolas con constantes geométricas y aritméticas.

4. Resultados Principales

El artículo presenta evidencia sólida para la conjetura a través de varios casos de estudio:

• Familias de Rango 2 ($x_{n+2}x_n = x_{n+1}^r + 1$):

  • Para $r=1, 2$ (tipos finitos y afines), el crecimiento es lineal o nulo, y $E = E_M = 0$.
  • Para $r \geq 3$, el crecimiento es exponencial. Se calculan numéricamente las medidas de Mahler para $r=3, 4, 5$. Los resultados numéricos coinciden con una precisión de hasta 9 decimales con los valores teóricos de la entropía algebraica $E = \log(\frac{r + \sqrt{r^2-4}}{2})$.
  • Se prueba teóricamente que para $r=2$, la medida crece linealmente: $m(x_n) \approx C^* n$, donde $C^*$ es una integral sobre el toro que coincide con la entropía.

• Recurrencia de Markoff ($x_{n+3}x_n = x_{n+2}^2 + x_{n+1}^2$):

  • Esta recurrencia está relacionada con el álgebra de clúster de tipo $\tilde{A}_1$ (quiver de Kronecker).
  • Se demuestra que la entropía algebraica es $E = \log(\frac{1+\sqrt{5}}{2})$.
  • Los cálculos numéricos de la medida de Mahler muestran un crecimiento lineal con una pendiente que coincide con $E$ hasta la novena cifra decimal.

• Recurrencia Somos-4:

  • Este es un caso de entropía algebraica cero ($E=0$) debido a un crecimiento cuadrático de los grados (relacionado con la adición de puntos en curvas elípticas).
  • Se demuestra numéricamente y se conjetura analíticamente que la medida de Mahler crece cuadráticamente: $m(x_n) \approx C n^2$.
  • Esto implica que $E_M = \lim \frac{\log(C n^2)}{n} = 0$, confirmando la coincidencia con la entropía algebraica.
  • Se conecta el término dominante con una integral de la función sigma de Weierstrass sobre un toro.

5. Significado e Implicaciones

• Herramienta Numérica Potente: El artículo establece la entropía de Mahler como una herramienta superior para estimar la entropía algebraica en sistemas complejos, permitiendo explorar dinámicas que serían computacionalmente intratables con métodos de grado o altura exactos.
• Conexiones Profundas: Los resultados sugieren una conexión profunda entre la teoría de números (medida de Mahler, funciones L, volúmenes de poliedros hiperbólicos), la teoría de sistemas integrables (propiedad de Laurent, confinamiento de singularidades) y la teoría de álgebras de clúster.
• Evidencia para la Conjetura: Aunque la conjetura $E = E_M$ no está probada en general, la coincidencia numérica y analítica en casos no triviales (crecimiento exponencial, lineal y cuadrático) proporciona una evidencia muy fuerte de que la medida de Mahler captura la esencia del crecimiento de la complejidad en estos sistemas.
• Futuro: El trabajo sugiere que entender el comportamiento asintótico de la medida de Mahler a través de versiones "tropicales" de las dinámicas podría ser la clave para una demostración general de la conjetura. Además, la aparición constante del dilogaritmo de Bloch-Wigner sugiere vínculos con la teoría de Teichmüller y la geometría hiperbólica.

En resumen, el artículo propone un cambio de paradigma en el estudio de la complejidad de sistemas dinámicos discretos, utilizando la medida de Mahler como un proxy eficiente y teóricamente rico para la entropía algebraica.