Area correlations related to lattice points in discs

Het Grote Rasterspel: Wanneer Cirkels Ontmoeten met Vierkanten

Stel je voor dat je naar een gigantische, oneindige vloer kijkt die perfect is betegeld met vierkante tegels, zoals een schaakbord dat nooit eindigt. Stel je nu voor dat je een enorme cirkel op deze vloer tekent. Terwijl de cirkel steeds groter wordt, snijdt hij door de randen van deze tegels. Sommige tegels zijn bijna volledig binnen de cirkel, sommige zijn bijna volledig buiten, maar de tegels waar de cirkel doorheen snijdt, zijn de interessante. Deze "randtegels" worden in vreemde vormen gehakt, en de hoeveelheid tegel die binnen de cirkel terechtkomt, is een fractie tussen 0 en 1.

Dit scenario bevindt zich op het snijvlak van meetkunde en getaltheorie, twee velden die vaak aanvoelen alsof ze verschillende talen spreken. De één vraagt: "Hoe ziet deze vorm eruit?" terwijl de ander vraagt: "Hoeveel gehele getallen passen erin?" Al meer dan een eeuw zijn wiskundigen gefascineerd door het "Gauss-cirkelprobleem", wat in essentie een spel is van het tellen van hoeveel roosterpunten (de hoeken van de tegels) binnen een cirkel vallen. Maar er is een twist: de fout in die telling is geen willekeurige ruis; het heeft een verborgen structuur. Recentelijk zijn onderzoekers een diepere vraag gaan stellen: als je naar de sneden van de tegels langs de rand van de cirkel kijkt, gedragen de afmetingen van die sneden zich dan als een chaotische, onvoorspelbare bende, of is er een verborgen orde? Specifiek: als je de grootte van de snede in één tegel weet, kun je dan de grootte van de snede in een tegel raden die op een aanzienlijke afstand langs de curve ligt? Dit artikel duikt in die vraag, waarbij de rand van de cirkel niet alleen als een vorm wordt behandeld, maar als een bewegend pad dat over het rooster veegt.

Het Verhaal van de Veegende Cirkel

In dit artikel nemen Matteo Bordignon en Pär Kurlberg ons mee op een reis om te zien of de "sneden" van deze rastertegels met elkaar verbonden zijn of dat ze in essentie onafhankelijk van elkaar zijn. Ze onderzoeken een specifiek idee genaamd de "vanishing area correlation conjecture" (de conjectuur van de verdwijnende areaalcorrelatie). In gewone taal suggereert deze conjectuur dat naarmate de cirkel oneindig groot wordt, de grootte van de snede in één tegel absoluut geen invloed heeft op de grootte van de snede in een andere tegel, zelfs niet als je naar tegels kijkt die op een macroscopische afstand van elkaar liggen. Specifiek bewijst het artikel dat dit waar is zolang de afstand tussen de twee tegels (gemeten in het aantal tegels langs de rand van de cirkel) ongeveer proportioneel is aan de straal van de cirkel tot de macht van een getal dat iets kleiner is dan 1. Dit is een enorme afstand, die een aanzienlijk deel van de totale omtrek van de cirkel beslaat, in plaats van slechts de directe buren. Het is als het opgooien van een munt: als je kop gooit, verandert dat de kans dat de volgende worp ook kop of munt is, zelfs als je een lange reeks worpen laat verstrijken.

De auteurs bewijzen dat dit "geen verbinding"-idee waar is. Ze laten zien dat de correlatie tussen de oppervlaktes van deze sneden inderdaad verdwijnt naarmate de cirkel enorm groot wordt. De auteurs beschrijven dit als "mixing voor de area observable" (menging voor de areaal-observabele), een chique manier om te zeggen dat het systeem zijn verleden snel vergeet wat betreft de statistieken van de oppervlaktes, ook al is het pad van de cirkel in werkelijkheid zeer voorspelbaar en ordelijk. Sterker nog, het artikel stelt expliciet dat de flow "essentieel integreerbaar" is en dat echte "mixing" (in de strikte zin van dynamische systemen) zeker niet geldt omdat de hoek van het pad van de cirkel ten opzichte van de roosterlijnen in essentie constant blijft. Ondanks deze rigide orde gedragen de specifieke oppervlaktemetingen zich echter alsof ze willekeurig en ongecorreleerd zijn over deze grote afstanden.

Om te begrijpen hoe ze dit deden, stel je de rand van de cirkel voor als een laserstraal die over de vloer veegt. De auteurs realiseerden zich dat, hoewel de straal beweegt, deze de tegels niet willekeurig raakt. De straal volgt een vloeiende curve. Echter, ze ontdekten een slimme truc: als je naar de straal over een zeer korte afstand kijkt, is de curve zo glad dat het eruitziet als een rechte lijn. Ze gebruikten een "probabilistisch model" om te doen alsof de cirkel eigenlijk een familie van rechte lijnen is met licht verschillende hoeken. Door dit te doen, konden ze aantonen dat naarmate de hoek van de lijn slechts een heel klein beetje verandert, de hoeveelheid tegel die het doorsnijdt door alle mogelijke maten van nul tot één veegt, op een volkomen willekeurige manier. Omdat de hoek zo vloeiend verandert en alle mogelijkheden dekt, wordt de specifieke grootte van de snede op één plek volledig ongerelateerd aan de grootte van de snede een aanzienlijke afstand verderop de lijn.

Het artikel berekent ook exact hoe de verdeling van deze sneden eruitziet. Ze vonden dat de maten niet gelijkmatig verspreid zijn. In plaats daarvan zijn er "singulariteiten", of pieken, aan de uiteinden. Dit betekent dat het eigenlijk vrij gebruikelijk is dat de cirkel een heel dun sliertje van een tegel afsnijdt (bijna nul oppervlakte) of een enorm stuk (bijzelf de hele tegel), en minder gebruikelijk is dat de cirkel de tegel precies in het midden doorsnijdt. Ze boden zelfs een precieze wiskundige formule voor de waarschijnlijkheid van een snede van een specifieke grootte, die complexe integralen bevat maar in essentie een curve beschrijft die in het midden inzakt en aan de randen piekt.

Een van de meest interessante delen van hun werk is hoe ze de "slechte" plekken aanpakten. In de wereld van cirkels en rasters zijn er bepaalde hoeken waar de rand van de cirkel bijna perfect parallel loopt aan de roosterlijnen (specifiek, waar de helling goed benaderd wordt door eenvoudige breuken). In deze specifieke plekken gedragen de sneden zich mogelijk niet willekeurig. De auteurs hebben deze lastige plekken niet simpelweg uit hun studie geëlimineerd; in plaats daarvan hebben ze bewezen dat deze lastige plekken zo zeldzaam zijn dat ze verwaarloosbaar zijn in aantal vergeleken met het totaal aantal tegels. Ze toonden aan dat het resultaat geldt voor de meeste intervallen, en dat de bijdrage van deze zeldzame, niet-willekeurige hoeken zo klein is dat het het algemene beeld niet verpest. Zolang je naar een groot genoeg deel van de cirkel kijkt, zijn de "slechte" plekken slechts een druppel in de oceaan, en stroomt de rest van het water volkomen vloeiend.

De auteurs keken ook naar de gemiddelde grootte van deze sneden. Ze bevestigden dat de cirkel gemiddeld genomen precies de helft van elke randtegel doorsnijdt. Dit mag eenvoudig klinken, maar het rigoureus bewijzen hiervan voor een groeiende cirkel is een belangrijke prestatie. Ze berekenden ook de "variantie", die meet hoeveel de sneden rond dat gemiddelde schommelen. Ze vonden een specifiek getal, ongeveer 0,119, dat deze variatie voor de gehele cirkel beschrijft.

Uiteindelijk bevestigt dit artikel dat, hoewel een cirkel die over een rooster beweegt een zeer ordelijk, voorspelbaar systeem is (wiskundigen noemen dit "integreerbaar"), de manier waarop het de tegels doorsnijdt over grote afstanden verrassend willekeurig lijkt. De oppervlakte van de snede in één tegel voorspelt de oppervlakte in een andere tegel op een macroscopische afstand niet. Het is een prachtig voorbeeld van hoe orde de illusie van chaos kan creëren, en hoe wiskundigen de instrumenten van de waarschijnlijkheidsleer kunnen gebruiken om het gedrag van rigide geometrische vormen te begrijpen. De auteurs hebben dit niet alleen geraden; ze hebben het bewezen met rigoureuze wiskunde, waarbij ze lieten zien dat het "geheugen" van het pad van de cirkel verdwijnt naarmate deze groter wordt, waardoor een patroon achterblijft dat even willekeurig is als een worp met de dobbelstenen.