The M öbius Disjointness Conjecture on infinite-dimensional torus

Dit artikel bewijst dat de conjectuur van Sarnak over de disjunctie van de Möbiusfunctie geldt voor een specifiek niet-regular, distaal dynamisch systeem gedefinieerd op de oneindig-dimensionale torus.

De kern

De Muur van de Willekeur: Hoe Wiskundigen een Eeuwigoude Raadsel Oplossen

Stel je voor dat je een gigantisch, oneindig groot wiel hebt. Dit wiel is niet gemaakt van rubber, maar van oneindig veel lagen, net als een onuitputtelijke lasagne. Elke laag is een cirkel (een torus). Dit is wat wiskundigen het "oneindig dimensionale torus" noemen.

Op dit wiel lopen er kleine figuren rond. Ze bewegen volgens een heel specifiek, maar ingewikkeld ritme. Soms stappen ze een stukje op de eerste laag, en dat beïnvloedt hoe ze op de tweede, derde en tienduizendste laag bewegen. Het is alsof je een poppetje op een reusachtig, gelaagd speelgoed beweegt: als je de eerste schakel draait, draaien alle andere schakels mee, maar op een manier die door een onzichtbare, wiskundige wet wordt bepaald.

Het Grote Raadsel: De Mobius-Fluisteraar

Nu komt er een mysterieuze gast bij die we de "Mobius-Fluisteraar" noemen (in het echt is dit de Mobius-functie, een getalreeks uit de getaltheorie die te maken heeft met priemgetallen). Deze fluisteraar probeert een patroon te vinden in de beweging van onze figuren op het wiel.

De grote vraag is: Kan de Mobius-Fluisteraar een voorspelbaar patroon vinden in deze beweging?

De wiskundige Sarnak stelde jaren geleden een hypothese op: "Nee, dat kan niet." Hij zei dat als de beweging op het wiel "chaotisch" genoeg is (maar niet volledig willekeurig, zoals een dobbelsteen, maar eerder een geordende chaos), de Mobius-Fluisteraar er nooit een patroon in kan vinden. De beweging en de getallen van de fluisteraar zijn "disjoint" (gescheiden). Ze praten niet met elkaar.

De Uitdaging: Een Nieuw, Ingewikkeld Wiel

In het verleden hebben wiskundigen bewezen dat dit waar is voor simpele wielen (zoals een gewone cirkel of een tweedimensionale bol). Maar wat gebeurt er als het wiel oneindig veel lagen heeft en de beweging heel complex is?

De auteurs van dit artikel (Liu, Ma en Wang) hebben gekeken naar een heel specifiek type beweging op dit oneindige wiel. Ze noemen het een "schuine product" (skew product).

• De analogie: Stel je voor dat je een trap hebt met oneindig veel treden. Als je op trede 1 een stap zet, beweegt trede 2 mee, maar dan een beetje verschoven. Als je op trede 2 een stap zet, beweegt trede 3 mee, maar dan verschoven op basis van waar trede 1 was. Het is een kettingreactie van bewegingen die door een gladder, soepeler ritme (een functie genaamd h) wordt gestuurd.

De Oplossing: Twee Manieren om de Muur te Doorbreken

De auteurs bewijzen dat de Mobius-Fluisteraar inderdaad niets kan vinden in deze complexe beweging. Ze gebruiken hiervoor twee verschillende "wapens" (wiskundige methoden) om dit te bewijzen:

1. De "Rigiditeit"-methode (Stijfheid):
   Stel je voor dat je de beweging van het wiel heel langzaam bekijkt. Op bepaalde momenten (bijvoorbeeld na 100 stappen, dan na 1000 stappen) komt het wiel bijna precies terug op de plek waar het begon. Het wiel is "stijf" of "rigide".
   De auteurs tonen aan dat dit wiel op een heel specifieke manier stijf is: het komt terug met een snelheid die je kunt voorspellen (een "polynomiale snelheid"). Omdat het wiel zo regelmatig terugkomt, kan de Mobius-Fluisteraar geen verborgen patronen vinden die met de priemgetallen te maken hebben. Het is alsof je een danser bekijkt die elke keer op exact hetzelfde moment een sprong maakt; er is geen ruimte voor verrassingen die met getallen te maken hebben.

2. De "Complexiteit"-methode (De Maatstaf van Verwarring):
   Hier kijken ze naar hoe "verward" het wiel is. Als je het wiel in stukjes verdeelt en probeert te voorspellen waar de figuren na een lange tijd zullen zijn, hoe moeilijk wordt dat dan?
   De auteurs bewijzen dat de "maatstaf van verwarring" (de meetcomplexiteit) extreem laag blijft. Het wiel is niet zo willekeurig als een dobbelsteen, maar ook niet zo simpel als een klok. Het zit precies op die punt waar de beweging zo soepel is dat de Mobius-Fluisteraar er geen grip op krijgt. Het is alsof je probeert een spoor te vinden in een sneeuwveld dat continu wordt opgewarmd en weer glad wordt; er blijft geen spoor achter.

Waarom is dit belangrijk?

Dit is een doorbraak omdat het bewijst dat zelfs in een systeem dat oneindig complex is (oneindig veel lagen) en waarbij de beweging soms onvoorspelbaar lijkt (geen gemiddelde beweging bestaat), de fundamentele wetten van de getallen (de priemgetallen) nog steeds hun eigen, onafhankelijke wereld hebben.

Kort samengevat:
De auteurs hebben laten zien dat je, zelfs als je een onmetelijk complex dansspel op een oneindig wiel bekijkt, de mysterieuze getallenreeks van de priemgetallen er nooit in kunt vangen. Ze zijn te ver uit elkaar. De beweging is te soepel en te gestructureerd, en de getallen zijn te willekeurig. Ze kunnen niet met elkaar praten.

Dit is een mooie overwinning voor de wiskunde, omdat het twee grote gebieden (getaltheorie en dynamische systemen) weer dichter bij elkaar brengt, zelfs in de meest extreme en oneindige scenario's.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "The Möbius Disjointness Conjecture on Infinite-Dimensional Torus" van Qingyang Liu, Jing Ma en Hongbo Wang, geschreven in het Nederlands.

1. Probleemstelling en Context

Het artikel adresseert de Möbius-disjunctieconjectuur van Peter Sarnak. Deze conjectuur stelt dat de Möbius-functie $\mu(n)$ lineair disjunct is van elke dynamische stelsel $(X, T)$ met nul topologische entropie. Formeel betekent dit dat voor elke continue functie $f \in C(X)$ en elk punt $x \in X$:
$$\lim_{N \to \infty} \frac{1}{N} \sum_{n \le N} \mu(n) f(T^n x) = 0.$$

De auteurs richten zich specifiek op een complexe klasse van dynamische systemen: oneindig-dimensionale tori ($\mathbb{T}^\omega$). Het onderzochte systeem is een skew-product (schuine product) $T: \mathbb{T}^\omega \to \mathbb{T}^\omega$ gedefinieerd door:
$$T(x_1, x_2, \dots, x_k, \dots) = (x_1 + \alpha, x_2 + h(x_1), \dots, x_k + h(x_1 + (k-2)\beta), \dots)$$
waarbij:

• $\alpha \in \mathbb{R}$ en $\beta \in \mathbb{R} \setminus \mathbb{Q}$ (irrationaal).
• $h: \mathbb{R} \to \mathbb{R}$ een $1$-periodieke functie is met$C^{1+\varepsilon}$-gladheid.

Dit systeem is distaal (afstand tussen punten blijft onder iteratie niet willekeurig klein), maar het is irregulier in de zin dat de Birkhoff-gemiddelden niet bestaan voor alle $x$. Eerdere resultaten (zoals door Liu en Sarnak) hadden de conjectuur bewezen voor 2-dimensionale tori ($\mathbb{T}^2$) en specifieke oneindig-dimensionale gevallen met sterke restricties op $h$ of $\alpha$. De uitdaging hier is om de conjectuur te bewijzen voor een zeer algemene klasse van $h$ (alleen $C^{1+\varepsilon}$ vereist, geen analytische voorwaarden) en voor alle $\alpha$ (zowel rationaal als irrationaal).

2. Methodologie

De auteurs hanteren een tweeledige aanpak die afhankelijk is van de aard van $\alpha$:

A. Het Irrationale Geval ($\alpha \in \mathbb{R} \setminus \mathbb{Q}$)

Voor dit geval gebruiken de auteurs twee onafhankelijke dynamische criteria die beide de Möbius-disjunctie impliceren:

1. Polynomial Rate Rigidity (PR-rigiditeit):

   • Gebaseerd op werk van Kanigowski, Lemanczyk en Radziwill.
   • De auteurs bewijzen dat het systeem een "polynomial rate of rigidity" bezit. Dit betekent dat er een rij $r_n \to \infty$ bestaat zodanig dat de iteraties $T^{r_n}$ het systeem willekeurig dicht bij de identiteit brengen, met een snelheid die polynomiaal afneemt.
   • Ze gebruiken continuïteitsbenadering en Fourier-analyse op de oneindig-dimensionale torus. Een cruciale stap is het selecteren van een rij $r_n$ gebaseerd op de noemers $q_n$ van de kettingbreukbenaderingen van $\alpha$. Ze gebruiken lemmata over exponentiële sommen en de eigenschappen van $\|q\alpha\|$ om te tonen dat de $L^2$-afstand tussen $f \circ T^{r_n}$ en $f$ snel genoeg daalt.

2. Sub-polynoom Maatcomplexiteit (voor $C^\infty$-gladheid):

   • Gebaseerd op werk van Huang, Wang en Ye.
   • Voor het geval $h$ oneindig glad is ($C^\infty$), bewijzen de auteurs dat de maatcomplexiteit van het systeem sub-polynoom is.
   • Ze gebruiken een conjugatie-methode. Afhankelijk van of een bepaalde verzameling $M$ (gerelateerd aan de Fourier-coëfficiënten van $h$ en de benaderingen van $\alpha$) eindig of oneindig is, construeren ze een meetbaar isomorfisme naar een systeem dat louter een rotatie is (of een systeem met discrete spectrum).
   • Omdat rotaties op compacte groepen een beperkte (en dus sub-polynoom) maatcomplexiteit hebben, volgt de eigenschap voor het oorspronkelijke systeem.

B. Het Rationale Geval ($\alpha \in \mathbb{Q}$)

• Als $\alpha$ rationaal is, reduceert het probleem tot een klassiek probleem in de analytische getaltheorie.
• De auteurs gebruiken een stelling van Davenport over exponentiële sommen met de Möbius-functie.
• Ze tonen aan dat de som $\sum \mu(n) e(P(n))$ (waar $P(n)$ een polynoom is) voldoende snel naar nul convergeert, ongeacht de specifieke structuur van de skew-product componenten, omdat de dynamica periodiek wordt.

3. Belangrijkste Bijdragen en Resultaten

Het hoofdstukresultaat is Stelling 1.1:

De Möbius-disjunctieconjectuur geldt voor het oneindig-dimensionale skew-product $(\mathbb{T}^\omega, T)$ zoals hierboven gedefinieerd, voor alle $\alpha \in \mathbb{R}$ en voor elke $1$-periodieke functie$h$die **$C^{1+\varepsilon}$-glad** is.

Specifieke doorbraken:

• Verzwakking van de gladheidsvoorwaarde: Eerdere resultaten vereisten vaak analytische functies of $C^\infty$-gladheid. Dit artikel bewijst de conjectuur al bij $C^{1+\varepsilon}$, wat een aanzienlijke verbetering is in de regelmaat van de functie $h$.
• Algemene geldigheid voor $\alpha$: Het bewijs dekt zowel rationele als irrationale $\alpha$ zonder Diophantische restricties (zoals "good approximation" voorwaarden).
• Dubbele bewijsvoering voor irrationale $\alpha$: Voor het irrationale geval bieden ze twee verschillende bewijzen (via rigiditeit en via maatcomplexiteit), wat de robuustheid van het resultaat onderstreept.
• Uitbreiding van Furstenberg's irreguliere stromen: Het resultaat omvat en generaliseert eerdere werken over "Furstenberg's irregular flows" (waar specifieke technische voorwaarden aan de Fourier-coëfficiënten van $h$ stonden).

4. Significatie en Impact

• Verbinding tussen Getaltheorie en Dynamica: Het artikel versterkt de link tussen de distributie van priemgetallen (via de Möbius-functie) en de ergodische theorie van oneindig-dimensionale systemen.
• Technische Vooruitgang: De methode om rigiditeit en maatcomplexiteit toe te passen op oneindig-dimensionale tori met lage regelmaat ($C^{1+\varepsilon}$) opent nieuwe wegen voor het analyseren van andere complexe, niet-lineaire dynamische systemen.
• Volledigheid: Het sluit een belangrijk gat in de literatuur door de conjectuur te bevestigen voor een breed scala aan skew-producten zonder de strenge eisen die eerder noodzakelijk leken.

Kortom, dit werk levert een fundamentele bijdrage aan de Sarnak-conjectuur door te bewijzen dat zelfs in de complexe setting van oneindig-dimensionale, irreguliere tori, de Möbius-functie geen correlatie vertoont met de dynamica van het systeem, zolang de systeemfunctie voldoende glad is.