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

Resumo Técnico: Crescimento da Medida de Mahler e Entropia Algébrica em Dinâmicas com Propriedade Laurent

1. Problema e Contexto

O artigo investiga a relação entre diferentes medidas de crescimento de complexidade em sistemas dinâmicos discretos e álgebras de cluster. O foco principal está em sistemas que possuem a propriedade Laurent, onde as iterações de um mapa racional geram polinômios Laurent (polinômios com expoentes inteiros positivos e negativos) com coeficientes inteiros.

O problema central é comparar a Entropia Algébrica ($E$), definida pelo crescimento exponencial do grau dos polinômios racionais iterados, com o crescimento da Medida de Mahler Logarítmica ($m(P)$). A medida de Mahler, originalmente definida para polinômios, quantifica o "tamanho" geométrico ou aritmético de um polinômio através de uma integral sobre um toro complexo.

A questão fundamental abordada é: O crescimento da medida de Mahler coincide com a entropia algébrica? O autor propõe que, para sistemas com a propriedade Laurent, a taxa de crescimento da medida de Mahler fornece uma noção natural de entropia que é numericamente mais tratável do que o cálculo exato de graus ou alturas de números racionais.

2. Metodologia

O autor emprega uma abordagem combinatória, analítica e numérica:

• Definição de Entropia de Mahler ($E_M$): Para um mapa $\phi$ com a propriedade Laurent, define-se a entropia de Mahler como o limite da taxa de crescimento da medida de Mahler máxima dos componentes da iteração $n$-ésima:
  $$E_M(\phi) = \lim_{n \to \infty} \frac{\log m(\phi^n(x))}{n}$$
• Comparação Teórica: O artigo estabelece uma conexão teórica entre a entropia de Mahler, a entropia algébrica ($E$) e a entropia diofantina ($E_H$), baseada na positividade dos coeficientes dos polinômios Laurent gerados por álgebras de cluster.
• Cálculos Exatos: Utiliza-se a fórmula de Jensen e integrais envolvendo a função dilogaritma de Bloch-Wigner ($D(z)$) para calcular medidas de Mahler exatas para polinômios específicos de baixa ordem.
• Simulações Numéricas: Para casos onde soluções exatas são difíceis, o autor utiliza métodos de Monte Carlo e somas de Riemann sobre o toro $T^N$ para aproximar a medida de Mahler. Pontos equidistribuídos (raízes da unidade ou geradores pseudoaleatórios) são usados para avaliar os polinômios iterados.
• Análise Assintótica: Estuda-se o comportamento assintótico das medidas de Mahler para famílias de recorrências geradas por álgebras de cluster de posto 2, recorrências de ordem superior (como números de Markoff) e a recorrência Somos-4.

3. Principais Contribuições

1. Conjectura Principal (Conjectura 1.7): O autor formula a conjectura de que, para álgebras de cluster e mapas derivados delas (com periodicidade), a entropia algébrica e a entropia de Mahler coincidem ($E = E_M$).
2. Proposição de Limites (Proposição 1.9): Demonstra-se que, para mapas de tipo recorrência em álgebras de cluster, a entropia de Mahler é limitada superiormente pela entropia diofantina calculada em uma órbita específica (inicializada com 1s). Se o crescimento for exponencial, as entropias coincidem.
3. Vantagem Computacional: O artigo destaca que o cálculo da entropia de Mahler via aproximação numérica (ponto flutuante) é significativamente mais eficiente do que o cálculo exato de graus de polinômios racionais ou alturas de números racionais, que sofrem de crescimento explosivo de tamanho de dados.
4. Fórmulas Exatas para Álgebras de Posto 2:
   • Para o caso $r=1$ (tipo finito $A_2$), a entropia é zero.
   • Para $r=2$ (tipo afim $\tilde{A}_1$), prova-se que o crescimento da medida de Mahler é linear, resultando em entropia zero, com uma constante de crescimento explícita dada por uma integral sobre o toro.
   • Para $r \geq 3$, demonstra-se numericamente que o crescimento é exponencial e coincide com a entropia algébrica.

4. Resultados Específicos

• Famílias de Posto 2 ($x_{n+2}x_n = x_{n+1}^r + 1$):

  • Para $r=1, 2$, o sistema é integrável e $E = E_M = 0$. O crescimento da medida de Mahler é linear para $r=2$.
  • Para $r \geq 3$, o sistema é não-integrável. Os cálculos numéricos para $r=3, 4, 5$ mostram que a inclinação do gráfico de $\log m(x_n)$ vs. $n$ coincide com precisão de até 9 casas decimais com o valor teórico da entropia algébrica $E = \log(\frac{r + \sqrt{r^2-4}}{2})$.
  • Foram obtidas fórmulas exatas para $m(x_4)$ e $m(x_5)$ em termos da função dilogaritma de Bloch-Wigner.

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

  • Associada a uma álgebra de cluster de posto 3.
  • A entropia algébrica é conhecida como $E = \log(\frac{1+\sqrt{5}}{2})$.
  • O cálculo numérico da medida de Mahler para a sequência gerada confirma que $E_M \approx 0.4812118249$, coincidindo com $E$ até a 9ª casa decimal.

• Recorrência Somos-4 ($x_{n+4}x_n = x_{n+3}x_{n+1} + x_{n+2}^2$):

  • Este é um caso de entropia algébrica zero ($E=0$), pois o crescimento do grau é quadrático (não exponencial).
  • Os resultados numéricos mostram que a medida de Mahler cresce quadraticamente ($m(x_n) \sim Cn^2$), confirmando que $E_M = 0$.
  • O artigo conecta este crescimento quadrático à solução analítica da recorrência em termos da função sigma de Weierstrass em curvas elípticas.

5. Significado e Conclusões

O trabalho estabelece a Entropia de Mahler como uma ferramenta robusta e computacionalmente viável para detectar integrabilidade e medir a complexidade em sistemas dinâmicos com a propriedade Laurent.

• Validação da Conjectura: Os resultados fornecem forte evidência numérica e analítica para a conjectura de que $E = E_M$ em álgebras de cluster.
• Conexões Profundas: O artigo reforça as conexões entre teoria de números (medida de Mahler, equações de Pell), geometria algébrica (álgebras de cluster, variedades de Calabi-Yau implícitas) e sistemas integráveis.
• Fenômeno Dilogarítmico: Observa-se que as medidas de Mahler exatas calculadas são expressas em termos da dilogaritma de Bloch-Wigner com argumentos algébricos, sugerindo uma ligação profunda com volumes de poliedros hiperbólicos e a teoria de Teichmüller, embora uma explicação completa ainda seja um problema em aberto.

Em suma, o artigo sugere que, para uma vasta classe de sistemas não lineares integráveis e não integráveis, o crescimento da "complexidade aritmética" (medida de Mahler) espelha perfeitamente o crescimento da "complexidade algébrica" (grau), oferecendo um novo método para classificar e estudar a dinâmica de tais sistemas.