Capturing the Atiyah-Patodi-Singer index from the lattice

De auteurs presenteren een formulering van de Atiyah-Patodi-Singer-index voor Dirac-operatoren op een rooster die, door gebruik te maken van de spectrale stroom van domeinmuur-fermionen, de continue index correct benadert voor gebieden met compacte randen.

De kern

De Lat, de Muur en de Index: Een Verhaal over Wiskunde en Deeltjes

Stel je voor dat je een enorme, perfecte wereld probeert te begrijpen. In de natuurkunde noemen we dit de "continuümwereld": een gladde, oneindig fijne ruimte waar deeltjes zich bewegen volgens de regels van de quantummechanica. Maar computers kunnen niet met oneindig fijne dingen werken. Ze hebben een rooster nodig, een soort schaakbord of pixelnetwerk, om de wereld in stukjes te hakken. Dit noemen we een rooster (lattice).

Het probleem is dat wanneer je de wereld zo in stukjes hakkt, je vaak belangrijke eigenschappen kwijtraakt. Het is alsof je een prachtige, vloeiende melodie probeert te spelen op een instrument dat alleen maar "tik-tik-tik" kan maken. Je wilt de muziek horen, maar je krijgt alleen ruis.

De auteurs van dit paper (Aoki, Fujita, et al.) hebben een slimme manier bedacht om toch de "echte" wiskundige waarheid uit die ruwe, digitale stukjes te halen. Ze focussen op iets dat de Atiyah-Patodi-Singer (APS) index heet.

Wat is die "Index" eigenlijk?

Laten we die index vergelijken met een teller voor deeltjes.
Stel je een kamer voor met een deur (de rand van je wereld). De index vertelt je hoeveel deeltjes er "vastzitten" in die kamer of hoeveel er door de deur "lekken". In de echte, gladde wereld is dit een vast getal dat je kunt berekenen. Maar op je digitale rooster is het heel lastig om die deur correct te simuleren, omdat de regels voor die deur (de "randvoorwaarde") heel ingewikkeld en niet-lokaal zijn. Het is alsof je zegt: "De deur mag alleen open als er ergens anders in het hele huis een lamp brandt." Dat is moeilijk te programmeren op een simpel rooster.

De Oplossing: De "Muur" (Domain Wall)

In plaats van te proberen die moeilijke deur direct te programmeren, gebruiken de auteurs een slim trucje uit de natuurkunde: de Domain Wall Fermion (of "Muur-fermion").

Stel je voor dat je niet één kamer hebt, maar twee kamers die tegen elkaar aanliggen: een kamer links ($X_-$) en een kamer rechts ($X_+$). Tussen hen ligt een muur.

• In de linkerkamer geven we de deeltjes een positieve lading.
• In de rechterkamer geven we ze een negatieve lading.

Op de muur zelf gebeurt er iets magisch. De deeltjes "voelen" de verandering van lading en hopen zich daar op. Ze worden als het ware "gevangen" in de muur. Deze gevangen deeltjes gedragen zich precies zoals de deeltjes die je zou willen zien bij die moeilijke deur in de oorspronkelijke theorie.

De grote ontdekking in dit paper is: Het tellen van deze muur-deeltjes geeft precies hetzelfde antwoord als het tellen van de deeltjes bij de moeilijke deur.

De Uitdaging: Van Ruw naar Glad

De auteurs doen twee dingen:

1. Ze bouwen dit systeem op een ruw, digitaal rooster (de computer).
2. Ze bewijzen wiskundig dat als je de roostergroottes (de "pixels") steeds kleiner maakt, het antwoord van het rooster exact overeenkomt met het antwoord van de gladde, echte wereld.

Ze gebruiken een soort brug (een wiskundig hulpmiddel genaamd "interpolator") om de ruwe digitale deeltjes en de gladde echte deeltjes met elkaar te vergelijken. Ze tonen aan dat als je de pixels klein genoeg maakt, de brug zo sterk is dat er geen verschil meer is tussen de digitale simulatie en de echte natuurkunde.

Waarom is dit belangrijk?

Dit is een doorbraak voor twee redenen:

1. Betrouwbaarheid: Het bewijst dat we complexe natuurkundige fenomenen (zoals de "anomalieën" die belangrijk zijn voor de veiligheid van deeltjes) veilig kunnen simuleren op computers, zelfs als de randen van ons simulatiegebied gekromd of complex zijn.
2. Topologie: Het laat zien dat bepaalde diepe wiskundige eigenschappen (topologie) niet verdwijnen als je de wereld in pixels hakt, zolang je maar de juiste "muur" gebruikt.

Samenvattend in een Metafoor

Stel je voor dat je de vorm van een berg wilt meten, maar je hebt alleen een pixelbeeldscherm.

• De oude manier: Probeer de berg op het scherm te tekenen. De randen worden vaak lelijk en onnauwkeurig, en je kunt de exacte hoogte niet bepalen.
• De nieuwe manier (deze paper): Je bouwt twee bergen tegen elkaar aan met een kloof ertussen. Je laat water stromen dat alleen in de kloof blijft hangen. Door te tellen hoeveel water in de kloof zit, weet je precies hoe hoog de oorspronkelijke berg is, zelfs als je het scherm heel grof maakt. En als je het scherm fijner maakt, blijft het antwoord hetzelfde.

De auteurs hebben bewezen dat deze "water-in-de-kloof-methode" (de muur-fermion) werkt op elk willekeurig klein rooster en dat het antwoord perfect overeenkomt met de wiskundige waarheid van de gladde wereld. Dit opent de deur voor nog betere simulaties van het heelal op onze computers.

Technische samenvatting

Titel: Het vastleggen van de Atiyah–Patodi–Singer-index vanuit het rooster

Auteurs: Shoto Aoki, Hajime Fujita, Hidenori Fukaya, Mikio Furuta, Shinichiroh Matsuo, Tetsuya Onogi, en Satoshi Yamaguchi.

---

1. Het Probleem

De auteurs adresseren een fundamentele uitdaging in de roostergauge-theorie (lattice gauge theory): het numeriek en wiskundig correct definiëren van de Atiyah–Patodi–Singer (APS) index voor Dirac-operatoren op variëteiten met een rand.

Hoewel de Atiyah-Singer-index (voor gesloten variëteiten) succesvol is geformuleerd op roosters (bijvoorbeeld via de overlap Dirac-operator), is de APS-index voor variëteiten met een rand veel moeilijker te implementeren vanwege twee hoofdzaken:

1. Niet-lokale randvoorwaarde: De APS-randvoorwaarde is globaal en niet-lokaal, wat het moeilijk maakt om deze direct op een discreet rooster op te leggen.
2. Afhankelijkheid van de metriek: In tegenstelling tot de topologische Atiyah-Singer-index, hangt de APS-index af van de metriek en verbindingen in de buurt van de rand. Dit vereist een zorgvuldige controle van deze afhankelijkheden bij discretisatie.

2. Methodologie

De kern van de aanpak is het benutten van een wiskundige relatie tussen de APS-index en de spectrale stroming (spectral flow) van domain-wall fermion Dirac-operatoren.

• Domain-wall Fermionen: In plaats van een randvoorwaarde op te leggen, wordt de oorspronkelijke variëteit $X_+$ met rand $Y$ "gesloten" door deze te verbinden met een andere variëteit $X_-$ die dezelfde rand deelt. Er wordt een massaterm geïntroduceerd die van teken verandert aan weerszijden van de "muur" (domain-wall) $Y$. De niet-triviale geometrische informatie wordt dan geëxtraheerd uit de $X_+$-subruimte.
• Generalisatie: De auteurs generaliseren de bestaande theorie (die vaak een product-metriek nabij de rand vereist) naar gevallen zonder productstructuur nabij de rand. Ze gebruiken de "canonieke" randoperator ($B_c$) om de index te definiëren.
• K-theorie Formuleren: Om zowel continue (onbegrensde) als rooster (begrensde) operatoren op gelijke voet te behandelen, ontwikkelen de auteurs een zelfstandige formulering van K-groepen en KO-groepen. Ze gebruiken de Riesz-topologie voor onbegrensde self-adjoint operatoren en bewijzen dat deze isomorf is met de standaard formulering voor begrensde operatoren.
• Finite Element Interpolator: Een cruciaal technisch hulpmiddel is de constructie van een "finite element interpolator" ($\iota_a$) die functies op het rooster koppelt aan functies in de continue ruimte. Dit stelt hen in staat om een gecombineerde operator te definiëren die zowel de continue als de rooster Dirac-operator bevat.

3. Belangrijkste Bijdragen

1. Generalisatie van de Spectrale Stroming: Bewijs dat de relatie tussen de APS-index en de spectrale stroming van domain-wall fermionen geldt, zelfs wanneer de rand geen productstructuur heeft (Stelling 4).
2. Rigoureuze K-theorie voor Onbegrensde Operatoren: Een uitgebreide wiskundige uitwerking van K-groepen die onbegrensde Dirac-operatoren (continuüm) en begrensde operatoren (rooster) simultaan behandelen, met een bewijs van isomorfie tussen de Riesz- en de begrensde formulering (Stelling 24).
3. De Hoofdstelling (Stelling 31 & 33): Het bewijs dat voor voldoende kleine roosterafstanden ($a$), de spectrale stroming van de rooster Dirac-operator exact overeenkomt met die van de continue Dirac-operator.
   • Dit wordt bereikt door aan te tonen dat een gecombineerde operator $D^{cmb}_a$ (die continuüm en rooster koppelt) invertibel is op een specifiek pad in de parameter-ruimte.
   • Hierdoor is de spectrale stroming van het rooster-systeem een goed gedefinieerd element van $K_1(I, \partial I)$ en gelijk aan de continue APS-index.
4. Mod-two APS Index: Uitbreiding van de theorie naar reële, skew-symmetrische Dirac-operatoren, wat leidt tot een formulering van de mod-two APS-index (gerelateerd aan $KO$-groepen en $\mathbb{Z}_2$-anomalieën).

4. Resultaten

• Exacte Overeenstemming: Voor een vlakke torus $X = T^d$ met een roosterbenadering, geldt voor kleine $a$:
  $$\text{sf}[D - m\kappa_t \gamma] = \text{sf}[\hat{D}_{\text{Wilson}} - m\hat{\kappa}_t \gamma]$$
  Waarbij de linkerkant de continue APS-index vertegenwoordigt en de rechterkant de rooster-berekening.
• Robuustheid: De formulering is robuust genoeg om uitbreidingen te accommoderen voor systemen met extra symmetrieën (zoals tijd-omkering of lading-conjugatie), wat essentieel is voor de studie van topologische fasen.
• Numerieke Toepasbaarheid: Omdat de spectrale stroming van een eindige matrix (het rooster) berekend kan worden, biedt dit een methode om de APS-index numeriek te berekenen zonder de complexe niet-lokale APS-randvoorwaarde direct op te leggen.

5. Significatie

Dit werk biedt de eerste wiskundig rigoureuze formulering van de Atiyah–Patodi–Singer-index op een rooster.

• Fysica: Het is van groot belang voor het begrijpen van de bulk-boundary correspondentie van fermion-anomalieën in symmetrie-beschermd topologische fasen (SPT-fasen). Het biedt een methode om deze anomalieën direct te simuleren in rooster-gauge-theorieën.
• Wiskunde: Het overbrugt de kloof tussen de analyse van onbegrensde operatoren in de continue wereld en de lineaire algebra van begrensde operatoren op eindige roosters, binnen het raamwerk van K-theorie.
• Toekomst: Hoewel het huidige werk beperkt is tot een vlakke torus, suggereert de auteurs dat de methode potentieel uitbreidbaar is naar gekromde variëteiten, hoewel dit verdere onderzoek vereist.

Kortom, de auteurs hebben een brug geslagen tussen abstracte topologische indextheorie en praktische rooster-simulaties, waardoor het mogelijk wordt om complexe rand-effecten in kwantumveldentheorieën nauwkeurig te modelleren.