Iterated Graph Systems (III): Alexander-Orbach conjecture on hierarchical lattices

Stel je een uitgestrekt, verstrengeld netwerk van wegen voor waarbij sommige paden open zijn en andere geblokkeerd, een landschap dat er hetzelfde uitziet, hoe ver je ook inzoomt. Dit is de wereld van kritische percolatie, een wiskundig model dat wordt gebruikt om te begrijpen hoe vloeistoffen door poreus gesteente bewegen, hoe elektriciteit door willekeurige materialen stroomt, of hoe ziekten zich door een populatie verspreiden. Op een specifiek kantelpunt, bekend als het kritieke punt, vormen deze netwerken een gigantische, oneindige cluster die één kant van de wereld met de andere verbindt. Decennialang zijn natuurkundigen gefascineerd geweest door de vraag hoe een random walker, zoals een persoon die doelloos ronddwaalt, zich over deze gigantische, grillige structuur zou bewegen. In 1982 stelden twee onderzoekers een gedurfde stelling voor: dat ongeacht hoe complex het onderliggende netwerk ook is, de manier waarop deze walker zich over de tijd verspreidt, een universele regel volgt, gekenmerkt door een specifieke waarde, drie vierde. Dit idee, bekend als de Alexander–Orbach-conjectuur, heeft standgehouden in hoogdimensionale ruimtes, maar heeft twijfel gewekt in lagere dimensies, waar de geometrie intrequer is en het pad kronkeliger is.

Een team van wiskundigen heeft nu een diepe duik genomen in deze vraag door een speciale klasse van wiskundige modellen te construeren genaamd hiërarchische roosters. Dit zijn geen platte, rasterachtige straten van een stad, maar zelfgelijke structuren die worden opgebouwd door herhaaldelijk een enkele lijn te vervangen door een complexer patroon, waardoor een fractale vorm ontstaat die zichzelf oneindig herhaalt. Door de beweging van een random walker op deze specifieke, oneindig gedetailleerde structuren te bestudelen, waren de onderzoekers in staat om exact te berekenen hoe de walker zich verspreidt. Ze ontdekten dat de universele regel voorgesteld door Alexander en Orbach faalt voor deze roosters buiten een smal gebied van mogelijke vormen. In plaats daarvan hangt de snelheid waarmee de walker diffundeert volledig af van de specifieke vorm van het rooster dat wordt gebruikt. Hoewel de onderzoekers voorbeelden konden vinden waarbij de verspreidingssnelheid heel dicht in de buurt komt van de voorspelde waarde, bewezen ze dat voor bijna elk rooster dat zij onderzochten, buiten een specifiek smal gebied, de werkelijke snelheid anders is.

De onderzoekers begonnen met het stap voor stap opbouwen van deze fractale netwerken. Ze begonnen met een eenvoudige lijn en vervingen deze door een klein, vertakkend patroon, en vervingen vervolgens elke lijn in dat patroon weer door dezelfde vertakkende vorm, opnieuw, en opnieuw. Dit proces creëert een structuur die oneindig complex is, maar toch perfect geordend. Op het kritieke punt, waar het netwerk net voldoende verbonden is om het hele systeem te overspannen, identificeerden zij de "chemische afstand", wat het werkelijke aantal stappen is dat een walker moet zetten om van de ene naar de de andere kant te komen, in plaats van de rechte afstand. Ze bestudeerden vervolgens hoe de elektrische weerstand van het netwerk groeit naarmate het groter wordt. In deze fractale werelden groeit de weerstand niet op een eenvoudige, voorspelbare manier; het groeit met een specifieke snelheid die afhangt van de geometrie van de vertakkingen.

Door de groei van de afstand te combineren met de groei van de weerstand, berekende het team de "spectrale dimensie", een getal dat beschrijft hoe een random walker de ruimte verkent. Als de Alexander–Orbach-conjectuur waar zou zijn, zou dit getal altijd precies drie vierde zijn, ongeacht de vorm van het rooster. De berekeningen onthulden echter een andere realiteit. De spectrale dimensie varieert sterk afhankelijk van de specifieke regels die worden gebruikt om het rooster te bouwen. De onderzoekers bewezen dat voor het grootste deel van deze structuren, specifiek die buiten een smal gebied van de dimensieruimte, de dimensie niet drie vierde is. Het kan hoger of lager zijn, maar het is bijna nooit die specifieke waarde.

Er is een zeer smal bereik van mogelijkheden waar de dimensie theoretisch gelijk zou kunnen zijn aan drie vierde, maar de onderzoekers konden geen enkel voorbeeld vinden van een rooster dat dit daadwerkelijk bereikt. Ze toonden aan dat men weliswaar een sequentie van roosters kan construeren waarvan de dimensies steeds dichter bij drie vierde komen, maar dat geen enkele eindige, eenvoudige regel een rooster produceert dat de waarde exact raakt. Dit suggereert dat de conjectuur, hoewel het een nuttige benadering is in sommige hoogdimensionale settings, waarschijnlijk onjuist is voor dit type zelfgelijke structuren, hoewel het bewijzen dat het faalt binnen dat smalle gebied moeilijk blijft. Het werk levert een rigoureus wiskundig bewijs dat de geometrie van het onderliggende netwerk het gedrag van de random walker dicteert, en dat er geen enkele universele waarde bestaat die dit gedrag over alle hiërarchische roosters beschrijft buiten die smalle uitzondering.

De studie bevestigde ook dat deze wiskundige objecten op een zeer consistente manier gedrag vertonen. De onderzoekers bewezen dat de groeisnelheden voor zowel afstand als weerstand stabiel en voorspelbaar zijn, waardoor ze een precieze "spectrale dimensie" kunnen definiëren voor bijna elk punt op de oneindige structuur. Ze ontdekten dat deze dimensies dicht in de verzameling liggen tussen één en twee, wat betekent dat men door de regels van het rooster aan te passen, een structuur kan creëren met een dimensie die bijna overal in dat interval ligt. Deze flexibiliteit benadrukt de rijkdom van deze fractale systemen en laat zien dat het gedrag van random walks veel gevoeliger is voor de details van de geometrie dan de oude conjectuur suggereerde.

Uiteindelijk weerlegt het artikel niet alleen een beroemd idee; het brengt het ware landschap in kaart van hoe diffusie werkt op deze complexe, zelfherhalende netwerken. Het laat zien dat het universum van deze wiskundige roosters divers is, waarbij elke vorm zijn eigen unieke signatuur heeft voor hoe een random walker zich door het netwerk beweegt. De Alexander–Orbach-waarde van drie vierde lijkt een zeldzame toevalligheid te zijn in plaats van een fundamentele natuurwet voor deze systemen. De onderzoekers hebben de deur opengehouden voor de mogelijkheid dat er op een dag een zeer specifieke, complexe regel gevonden kan worden die de exacte waarde produceert binnen het smalle resterende gebied, maar ze hebben aangetoond dat een dergelijk geval een uitzondering is en geen regel. Voor nu staat de conjectuur erbij als een prachtige, maar uiteindelijk waarschijnlijk onjuiste gok over het gedrag van random walks op hiërarchische roosters, waarbij het bewijs van de mislukking is vastgesteld voor alle gevallen behalve een smalle set.