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

Titel: Groei van de Mahler-maat en algebraïsche entropie van dynamica met de Laurent-eigenschap

1. Probleemstelling en Doel

Het artikel onderzoekt de relatie tussen verschillende maatstaven voor complexiteitsgroei in discrete dynamische systemen, specifiek die systemen die de Laurent-eigenschap bezitten (waarbij iteraties Laurent-polynomen met gehele coëfficiënten genereren) en in cluster-algebra's.

De centrale vraag is of de Mahler-entropie ($E_M$), gedefinieerd als de groeisnelheid van de logaritmische Mahler-maat van de iteraties, overeenkomt met de algebraïsche entropie ($E$), die wordt gedefinieerd op basis van de groeisnelheid van de graad van de rationale functies.

• Algebraïsche entropie ($E$): $E = \lim_{n \to \infty} \frac{\log(\deg \phi^n)}{n}$. Deze is moeilijk te berekenen omdat het exacte berekeningen van rationale functies vereist, waarbij de graad exponentieel kan groeien.
• Diophantische entropie ($E_H$): Gebaseerd op de groei van de hoogte (logarithmische hoogte) van punten langs een orbit.
• Mahler-entropie ($E_M$): $E_M = \lim_{n \to \infty} \frac{\log m(\phi^n(x))}{n}$, waarbij $m(P)$ de logaritmische Mahler-maat is.

De hoofdhypothese (Conjecture 1.7): Voor cluster-algebra's en dynamische systemen met de Laurent-eigenschap (afgeleid van cluster-mutaties met periodiciteit), geldt dat de algebraïsche entropie en de Mahler-entropie samenvallen: $E = E_M$.

2. Methodologie

De auteur hanteert een combinatie van analytische theorie, exacte berekeningen en numerieke simulaties:

1. Definitie van Entropie:

   • De Mahler-maat $m(P)$ voor een Laurent-polynoom $P$ wordt gedefinieerd als de integraal van $\log|P|$ over de $N$-torus $T^N$ met betrekking tot de Haar-maat.
   • Voor systemen met de Laurent-eigenschap wordt $E_M$ berekend door de maximale Mahler-maat van de componenten van de iteraties te volgen.

2. Numerieke Benadering:

   • In plaats van exacte arithmetiek (zoals bij het berekenen van graadgroei of Diophantische entropie), wordt de Mahler-maat benaderd via Riemann-sommen (Monte Carlo-methode of regelmatige roosters van wortels van eenheid op de torus).
   • Dit maakt berekeningen veel sneller en minder gevoelig voor computergrenzen dan het handhaven van exacte rationale uitdrukkingen.

3. Analytische Tools:

   • Gebruik van Jensen's formule voor exacte berekeningen van de Mahler-maat van polynomen in één variabele.
   • Relaties met de Bloch-Wigner dilogarithme $D(z)$ en de klassieke dilogarithme $Li_2(z)$.
   • Analyse van d-vectoren (tropical dynamics) om de graadgroei te koppelen aan de Mahler-groei.
   • Gebruik van analytische oplossingen voor integrabele systemen (bijv. Weierstrass sigma-functies voor Somos-4).

4. Specifieke Gevallen:
   De methode wordt getest op drie families van systemen:

   • Rank 2 cluster-algebra's met uitwisselingsmatrices $B = \begin{pmatrix} 0 & r \\ -r & 0 \end{pmatrix}$.
   • De Markoff-recurrente relatie (gerelateerd aan $x_{n+3}x_n = x_{n+2}^2 + x_{n+1}^2$).
   • De Somos-4 recurrente relatie.

3. Belangrijkste Bijdragen en Resultaten

A. De Conjecture en Propositie 1.9

De auteur formuleert de conjecture dat $E = E_M$. Een belangrijke theoretische bijdrage is Propositie 1.9, die een ongelijkheid bewijst: $E_M \leq E_H(\mathbf{1})$ (waarbij $\mathbf{1}$ de startwaarde $(1, \dots, 1)$ is).

• Dit volgt uit de positiviteit van cluster-variabelen (Laurent-polynomen met positieve coëfficiënten).
• Als de graad en de Mahler-maat asymptotisch exponentieel groeien met dezelfde basis $\lambda$, dan blijken ook de Diophantische entropie en de Mahler-entropie gelijk te zijn aan $\log \lambda$.

B. Rank 2 Cluster-Algebra's (Figuur 1 & 2)

Voor de recurrente relatie $x_{n+2}x_n = x_{n+1}^r + 1$:

• Geval $r=1, 2$: De systemen zijn integrabel ($E=0$). De Mahler-maat groeit lineair met $n$. Voor $r=2$ wordt een exacte formule voor de lineaire groeifactor $C^*$ afgeleid (Figuur 1).
  • Resultaat: $E_M = 0$, wat overeenkomt met $E=0$.
• Geval $r \geq 3$: De systemen zijn niet-integrabel met positieve algebraïsche entropie $E = \log(\frac{r+\sqrt{r^2-4}}{2})$.
  • Numerieke resultaten voor $r=3, 4, 5$ tonen exponentiële groei van de Mahler-maat.
  • De geschatte helling van $\log m(x_n)$ versus $n$ komt extreem nauw overeen met de exacte waarde van $E$ (bijv. voor $r=3$ is het verschil slechts in het 9e decimaal). Dit levert sterk numeriek bewijs voor de conjecture.

C. Markoff-getallen Recurrente Relatie (Figuur 3)

Voor de recurrente relatie die Markoff-drietallen genereert ($x_{n+3}x_n = x_{n+2}^2 + x_{n+1}^2$):

• De algebraïsche entropie is $E = \log(\frac{1+\sqrt{5}}{2}) \approx 0.4812$.
• Door een variabeletransformatie wordt het probleem gereduceerd tot een 2-dimensionale integraal.
• Numerieke berekeningen van de Mahler-maat leveren een groeisnelheid op die tot op het 9e decimaal overeenkomt met de algebraïsche entropie.

D. Somos-4 Recurrente Relatie (Figuur 4)

Voor de Somos-4 relatie ($x_{n+4}x_n = x_{n+3}x_{n+1} + x_{n+2}^2$):

• Dit systeem heeft algebraïsche entropie $E=0$ (de graad groeit kwadratisch, niet exponentieel).
• De Mahler-maat $m(x_n)$ toont een kwadratische groei ($m(x_n) \sim C n^2$), wat impliceert dat $E_M = 0$.
• Dit wordt onderbouwd door een analytische oplossing met de Weierstrass sigma-functie, waarbij de groei van de Mahler-maat wordt gerelateerd aan de groei van de graad op een elliptische kromme.

4. Significatie en Conclusies

1. Efficiëntie: De Mahler-entropie biedt een krachtig, numeriek efficiënt alternatief voor het berekenen van algebraïsche entropie. Waar het berekenen van exacte rationale functies (voor $E$) of Diophantische hoogtes (voor $E_H$) snel onhaalbaar wordt door exponentiële groei van de grootte van de getallen, kan de Mahler-maat snel worden benaderd met drijvende-kommaberekeningen.
2. Verificatie van de Conjecture: Het artikel levert overtuigend numeriek en analytisch bewijs dat voor een breed scala aan systemen met de Laurent-eigenschap (integrabel en niet-integrabel), de Mahler-entropie exact overeenkomt met de algebraïsche entropie.
3. Wiskundige Diepgang: De resultaten suggereren een diepere connectie tussen de groei van Mahler-maten en de "tropical" dynamica (d-vectoren) van cluster-algebra's. De auteur speculeert dat de Mahler-maat asymptotisch voldoet aan een tropical versie van de oorspronkelijke dynamische vergelijking.
4. Verband met andere gebieden: De exacte waarden van de Mahler-maat blijken vaak uit te drukken in termen van de Bloch-Wigner dilogarithme met algebraïsche argumenten, wat een link legt met hyperbolische meetkunde en volumes van polyhedra.

Conclusie: Het artikel stelt dat de Mahler-entropie een natuurlijke en berekenbare maatstaf is voor complexiteit in cluster-algebra's en Laurent-dynamica, die in de praktijk samenvalt met de gevestigde algebraïsche entropie. Dit opent de deur voor het analyseren van complexere systemen die anders te zwaar zouden zijn voor exacte berekening.