Ergodic Schrodinger operators on the Bethe lattice and a modified Thouless formula

Dit artikel presenteert een gewijzigde Thouless-formule die de toestandsdichtheid van ergodische Schrödingervergelijkingen op het Bethe-rooster relateert aan de Lyapunov-exponent via een restterm die alleen verdwijnt wanneer de connectiviteit één is, en bespreekt tevens de rol van automorfismegroepen en een niet-commutatieve ergodische stelling.

De kern

De Bethe-Lattis: Een Boom die te groot wordt voor zijn eigen formule

Stel je voor dat je een wiskundige formule hebt die al eeuwenlang perfect werkt voor een heel specifiek type land: een rechte, oneindige weg (in de wiskunde noemen we dit $\mathbb{Z}$). Deze formule, de Thouless-formule, vertelt je hoe elektriciteit (of golven) zich gedraagt in een materiaal met willekeurige storingen. Het is als een perfecte navigatie-app voor een rechte weg.

De auteurs van dit artikel, Hislop en Marx, kijken nu naar een heel ander landschap: de Bethe-lattis.

• De Analogie: Denk aan de Bethe-lattis niet als een weg, maar als een oneindige boom (een Cayley-boom).
• In het midden zit een stam (de wortel).
• Vanuit die stam groeien er $k+1$ takken.
• Vanuit elke nieuwe tak groeien er weer $k$ nieuwe takken, en zo verder, tot in het oneindige.

Dit landschap is heel anders dan de rechte weg. Op een rechte weg heb je maar twee buren (links en rechts). Op deze boom heb je er veel meer, en het landschap groeit exponentieel uit elkaar. Hoe verder je loopt, hoe meer "ruimte" er om je heen is.

Het Probleem: De oude formule werkt niet meer

De wetenschappers wilden weten: werkt die oude, bekende Thouless-formule ook voor deze boom?
Het antwoord is: Nee, niet helemaal.

Wanneer je de formule toepast op de boom, krijg je een extra stukje dat niet weggaat. Het is alsof je probeert een kaart te gebruiken voor een rechte weg, maar je staat in een doolhof van takken. De kaart geeft je de juiste richting, maar vergeet een belangrijk detail: de ruis die ontstaat doordat de boom zo breed wordt.

Dit extra stukje noemen ze de "Restterm" (of remainder term).

• Op de rechte weg ($k=1$): De restterm is nul. De oude formule werkt perfect.
• Op de boom ($k \geq 2$): De restterm is niet nul. Hij blijft bestaan, zelfs als je oneindig ver loopt.

Waarom is die restterm er? (De "Buren" van je pad)

Laten we kijken waarom dit gebeurt, met een simpele metafoor:

Stel je loopt een pad door een bos.

1. Op de rechte weg: Je pad wordt alleen beïnvloed door de twee buren aan het begin en het einde van je stukje pad. Als je heel lang loopt, worden deze twee buren verwaarloosbaar klein in vergelijking met de totale lengte van je pad. De "storing" verdwijnt.
2. Op de Bethe-boom: Je loopt een pad, maar aan elk punt op je pad zijn er andere takken die eruit groeien.
   • Als je op punt A loopt, heb je niet alleen buren voor en achter je, maar ook $k-1$ buren die "naast" je pad groeien.
   • Naarmate je pad langer wordt, wordt het aantal van deze "bijburen" enorm groot.
   • De invloed van deze buren op je pad verdwijnt niet. Ze blijven een gemiddelde druk uitoefenen.

Die Restterm in de formule is precies die gemeten druk van al die extra takken die aan je pad "plakken". Het is de prijs die je betaalt voor de hyperbolische (uitdijende) geometrie van de boom.

De Kern van het Onderzoek

De auteurs hebben drie belangrijke dingen gedaan:

1. De Kaart van de Boom: Ze hebben een nieuwe manier bedacht om de boom te labelen en te beschrijven. Ze gebruiken een soort "verschuivingen" (automorfismen) om te laten zien hoe je van de wortel naar elke tak kunt gaan. Dit is lastig omdat de bewegingen op een boom niet commuteren (volgorde maakt uit: eerst links dan rechts is anders dan eerst rechts dan links).
2. De Groene Functie (De Golf): Ze kijken naar hoe golven zich voortplanten door de boom. Ze bewijzen dat je de oneindige boom kunt benaderen door steeds grotere stukken van de boom te nemen, mits je die stukken net iets groter maakt dan het pad zelf (om de "oppervlakte-effecten" te compenseren).
3. De Nieuwe Formule: Ze leiden de Gewijzigde Thouless-formule af:
   $$\text{Lyapunov-exponent} = \text{Oude Formule} + \text{Restterm}$$
   De Lyapunov-exponent is een maatstaf voor hoe snel een golf uitdooft (of "lokaliseert") in het materiaal.
   • Ze bewijzen dat de Restterm echt bestaat en niet nul is voor bomen met $k \geq 2$.
   • Ze berekenen zelfs exact hoe groot deze term is voor een "vrije" boom (zonder willekeurige storingen) en laten zien dat hij varieert afhankelijk van de energie van de golf.

Waarom is dit belangrijk?

In de natuurkunde en wiskunde is de Bethe-lattis een "testveld". Omdat het zo'n simpele structuur heeft (geen lussen, alleen takken), gebruiken wetenschappers het om complexe theorieën over willekeurige systemen te testen voordat ze die toepassen op echte, ingewikkelde materialen.

De ontdekking dat de oude formule een extra term nodig heeft, betekent dat we onze intuïtie over hoe golven zich gedragen in uitdijende ruimtes moeten aanpassen. Het laat zien dat in een hyperbolische ruimte (zoals deze boom), de "omgeving" altijd een blijvende invloed heeft op het pad, in tegenstelling tot de platte wereld van de rechte lijn.

Kort samengevat:
De auteurs hebben bewezen dat de bekende wiskundige regels voor rechte wegen niet zomaar op bomen van toepassing zijn. Op een boom blijft er altijd een "echo" van de omgeving hangen, en ze hebben de exacte formule gevonden om die echo te meten.

Technische samenvatting

1. Probleemstelling en Context

Het artikel onderzoekt ergodische Schrödinger-operatoren op de Bethe-lattice (ook wel de oneindige Cayley-boom genoemd) met connectiviteit $\kappa \geq 2$. De Bethe-lattice is een reguliere boomstructuur waarbij elke vertex verbonden is met $\kappa + 1$ buren.

Het centrale probleem is het vinden van een relatie tussen de Lyapunov-exponent $L(z)$ (die de exponentiële verval van de Green-functie beschrijft) en de dichtheid van toestanden (density of states, DOS) voor deze systemen.

• Op de standaard rooster $\mathbb{Z}$ (wat overeenkomt met $\kappa = 1$) is de Thouless-formule bekend: de Lyapunov-exponent is gelijk aan de integraal van $\log|z-E|$ over de DOS.
• Op de Bethe-lattice ($\kappa \geq 2$) vertoont de geometrie hyperbolische eigenschappen: het oppervlak groeit exponentieel met het volume. Dit leidt tot fundamenteel ander spectraal gedrag vergeleken met $\mathbb{Z}$, zoals het behoud van een continu spectrum bij zwakke wanorde (in tegenstelling tot volledige lokalisatie op $\mathbb{Z}$).
• De auteurs stellen de vraag of de standaard Thouless-formule ook op de Bethe-lattice geldt, en zo niet, hoe deze dan moet worden aangepast.

2. Methodologie

De auteurs gebruiken een combinatie van grafentheorie, ergodische theorie en spectrale analyse van Schrödinger-operatoren. De belangrijkste methodologische pijlers zijn:

• Automorfismen en Generaliseerde Verschuivingen:
  De auteurs definiëren een familie van grafautomorfismen $\{\tau_x\}_{x \in V}$ die de wortel van de boom naar een willekeurige vertex $x$ verplaatsen. Deze worden gegenereerd door twee elementaire transformaties: een "generaliseerde translatie" ($\tau_1$) en een "generaliseerde rotatie" ($\tau_2$).

  • Cruciaal is dat deze transformaties niet-commutatief zijn. Dit onderscheidt de Bethe-lattice van $\mathbb{Z}$ en vereist een zorgvuldige behandeling van paden en ergodische limieten.
  • Ze corrigeren eerdere representaties van Acosta en Klein door een expliciete, unieke representatie van vertices te geven als producten van deze niet-commutatieve operatoren.

• Green-functie Expansies:
  Ze maken gebruik van twee expansies voor de resolvent (Green-functie):

  1. De Random Walk (RW)-expansie: Sommatie over alle wandelingen.
  2. De Self-Avoiding Walk (SAW)-expansie: Sommatie over paden die geen vertex twee keer bezoeken. Op een boom is de SAW-expansie bijzonder krachtig omdat er tussen twee punten slechts één pad bestaat.

• Ergodische Stelling voor Niet-Commutatieve Systemen:
  Ze bewijzen dat de Lyapunov-exponent kan worden uitgedrukt als een limiet van logaritmen van Green-functie-elementen langs oneindige paden. Vanwege de niet-commutatieve aard van de verschuivingen kunnen ze niet direct de standaard meervoudige ergodische stelling toepassen; ze definiëren daarom "macroscopisch representatieve paden" (MRP) waarvoor de ergodische limiet wel bestaat.

• Vergelijking Oneindig vs. Eindig Volume:
  Een kernresultaat is een stelling (Theorem 2.7) die de resolvent van de oneindige volume-operator benadert door die van eindige volume-restricties. Vanwege de hyperbolische geometrie (waarbij de oppervlakte/volume-ratio niet naar nul gaat) moeten ze het eindige volume "opblazen" met een groeiende functie $e(L)$ om de convergentie te garanderen.

3. Belangrijkste Bijdragen en Resultaten

A. De Gewijzigde Thouless-formule

Het hoofdbewijs (Theorem 4.1) levert een gewijzigde Thouless-formule op voor de Bethe-lattice:
$$L(z) = \int_{\Sigma} \log|z - E| \, dn_V(E) + R(z)$$
Waarbij:

• $L(z)$ de Lyapunov-exponent is.
• De integraal de "Thouless-achtige" term is (gebaseerd op de DOS $dn_V$).
• $R(z)$ een niet-triviale restterm is die specifiek is voor $\kappa \geq 2$.

B. De Restterm $R(z)$

De auteurs tonen aan dat $R(z)$ niet nul is voor $\kappa \geq 2$.

• Fysische interpretatie: Op $\mathbb{Z}$ ($\kappa=1$) wordt een pad alleen gekoppeld aan zijn omgeving via de twee eindpunten. Bij het middelen over de lengte van het pad verdwijnt deze bijdrage. Op de Bethe-lattice ($\kappa \geq 2$) is elk intern punt van een pad verbonden met $\kappa - 1$ extra bomen. Deze "interne koppelingen" dragen bij aan de gemiddelde energie en verdwijnen niet in de limiet.
• Schatting: Ze bewijzen dat $|R(z)| \leq C(z)(\kappa - 1)$.
• Explicit Berekening: Voor de vrije Laplaciaan ($\Delta_B$) berekenen ze $R(z)$ expliciet en tonen ze aan dat deze afhangt van $z$ binnen het spectrum $[-2\sqrt{\kappa}, 2\sqrt{\kappa}]$.

C. Correctie van Bestaande Literatuur

Ze corrigeren een fout in de representatie van vertices door Acosta en Klein [7], die aannamen dat vertices als commutatieve producten konden worden geschreven. De auteurs tonen aan dat de niet-commutatieve structuur essentieel is voor de correcte definitie van ergodische operatoren op de boom.

4. Significatie en Impact

1. Fundamenteel Spectraal Verschil: Het artikel bevestigt en kwantificeert het fundamentele verschil tussen Schrödinger-operatoren op $\mathbb{Z}$ en op de Bethe-lattice. De aanwezigheid van de restterm $R(z)$ verklaart waarom de directe generalisatie van de Thouless-formule faalt in hyperbolische geometrieën.
2. Rol van Geometrie: Het werk illustreert hoe de "oppervlakte-effecten" in hyperbolische ruimten (waar het oppervlak even groot is als het volume) leiden tot nieuwe fysieke fenomenen die niet voorkomen in eendimensionale of Euclidische roosters.
3. Technische Vooruitgang: De ontwikkeling van een methode om de Lyapunov-exponent te relateren aan de DOS via niet-commutatieve ergodische stellingen en de benutting van SAW-expansies biedt een krachtig gereedschap voor toekomstig onderzoek naar willekeurige operatoren op bomen en andere hyperbolische structuren.
4. Toepassing op Lokalisatie: Hoewel het artikel zich richt op de relatie tussen Lyapunov-exponent en DOS, is dit een cruciale stap voor het begrijpen van de overgang tussen gelokaliseerde en gedelokaliseerde toestanden in willekeurige systemen op bomen, een onderwerp van groot belang in de fysica van gecondenseerde materie.

Samenvattend biedt dit artikel een rigoureuze wiskundige onderbouwing voor een gewijzigde Thouless-formule, waarbij de niet-triviale restterm het directe gevolg is van de unieke, expansieve geometrie van de Bethe-lattice.