How to formulate the $\mathbb{Z}_8$ topological invariant of Majorana fermion on the lattice

Dit artikel presenteert een roostervormulering van de $\mathbb{Z}_8$-waardige Arf-Brown-Kervaire-topologische invariant voor Majorana-fermionen, die via Pfaffians van de Wilson-Dirac-operator wordt afgeleid en numeriek wordt geverifieerd op diverse tweedimensionale roosters.

De kern

Stel je voor dat je een heel ingewikkeld legpuzzel probeert op te lossen, maar dan niet op een vlakke tafel, maar op een oppervlak dat zichzelf in de war brengt, zoals een Möbiusband of een Kleinfles. In de wereld van de deeltjesfysica zijn dit geen rare vormen, maar de "huiskamers" waarin bepaalde deeltjes, de zogenaamde Majorana-fermionen, wonen.

Dit artikel van Sho Araki en zijn collega's vertelt ons hoe we de "geheime code" van deze deeltjes kunnen lezen, zelfs als we ze op een computer simuleren in plaats van in een echt universum.

Hier is de uitleg in simpele taal, met wat creatieve vergelijkingen:

1. Het Probleem: De Verborgen Code

In de natuurkunde bestaan er speciale deeltjes die hun eigen antideeltje zijn (Majorana-fermionen). Als je deze deeltjes op een vreemd gevormd oppervlak (zoals een Möbiusband) plaatst, gedragen ze zich alsof ze een geheime code dragen. Deze code is een getal tussen 0 en 7 (een $Z_8$-invariant).

• De Analogie: Stel je voor dat je een touw hebt dat je om een paal wikkelt. Je kunt het touw 0 keer wikkelen, 1 keer, 2 keer, enzovoort. Maar op een Möbiusband is het mysterieuzer: als je het touw eenmaal omwikkelt en terugkomt, zit je aan de "andere kant" van het touw. De code vertelt je of het touw op een bepaalde manier "vastzit" in de structuur van het oppervlak. Deze code is cruciaal omdat hij bepaalt of het universum stabiel is of niet.

2. De Uitdaging: Computers zijn "Stapelig"

Wetenschappers gebruiken computers om deze deeltjes na te bootsen. Ze bouwen een virtueel universum op uit kleine vierkante vakjes (een rooster of "lattice").

• Het probleem: Computers zijn als een muur van bakstenen. Alles is recht en hoekig. Maar echte deeltjes bewegen in een gladde, continue wereld. Als je een Möbiusband maakt van bakstenen, krijg je rare hoeken en sprongen. De "gladde" wiskunde die in de echte wereld werkt, breekt hier vaak af.
• De oplossing: De auteurs hebben een nieuwe manier bedacht om deze bakstenenmuur zo te bouwen dat hij toch de eigenschappen van de gladde, gekke oppervlakken (zoals de Kleinfles) nabootst.

3. De Oplossing: De "Wilson-muur" en de "Domino-effecten"

De auteurs gebruiken een speciaal type computermodel genaamd Wilson-fermionen.

• De Analogie: Stel je voor dat je een muur bouwt met bakstenen die een beetje "plakkerig" zijn. Als je een deeltje (een domino) laat vallen, kan het niet zomaar door de muur glippen; het moet de juiste kant op vallen.
• De Domestie: Ze gebruiken een trucje met een "massa-term" (een soort zwaartekracht in het model). Ze maken een gebied in het midden van hun computerwereld waar de deeltjes "zwaar" zijn (ze kunnen niet bewegen) en daarbuiten "licht". De grens tussen deze twee gebieden is de Möbiusband.
• Door heel precies te kijken naar hoe deze deeltjes op de rand van die grens trillen, kunnen ze de geheime code (de $Z_8$-waarde) aflezen. Het is alsof je luistert naar het geluid van een bel om te horen of hij uit koper of uit goud is gemaakt, zonder hem open te maken.

4. De Resultaten: Van 0 tot 7

Ze hebben dit getest op verschillende vormen:

1. De Torus (Een donut): Normaal gedrag.
2. De Kleinfles: Een oppervlak waar links en rechts aan elkaar geplakt zijn, maar dan ondersteboven.
3. Het Reële Projectieve Vlak: Een nog gekker vorm.
4. De Möbiusband: Een open oppervlak met één kant.

Wat vonden ze?
Toen ze de berekeningen deden, bleek dat de "geheime code" die uit de computer kwam, precies klopte met de theorie voor de echte, gladde wereld.

• Soms was de code 0, soms 4, soms -2 (wat in hun systeem neerkomt op een ander getal).
• Het mooiste was: zelfs op een computer met bakstenen (waar de hoeken scherp zijn), kwam het antwoord uit als een perfect geheel getal. Alsof je met een ruwe hamer een perfect ronde bol slaat, en toch precies de juiste vorm krijgt.

5. Waarom is dit belangrijk?

Dit is meer dan alleen een wiskundig raadsel.

• Stabiele Universums: Deze codes vertellen ons welke toestanden van materie stabiel zijn en welke niet.
• Toekomstige Technologie: Er wordt gedacht dat deze deeltjes de sleutel kunnen zijn tot kwantumcomputers die niet snel kapot gaan (topologische kwantumcomputers). Als je begrijpt hoe deze deeltjes zich gedragen op gekke oppervlakken, kun je misschien fouten in kwantumcomputers voorkomen.
• De "Acht-voudige" classificatie: De auteurs laten zien dat er precies 8 verschillende manieren zijn waarop deze deeltjes zich kunnen gedragen op deze oppervlakken. Het is alsof er 8 verschillende "kleuren" van vacuüm bestaan die je niet in elkaar kunt over laten gaan zonder de regels van de natuur te breken.

Samenvattend

Sho Araki en zijn team hebben een brug gebouwd tussen de ruwe, digitale wereld van computers en de elegante, gladde wereld van de deeltjesfysica. Ze hebben bewezen dat je, zelfs als je de natuur in kleine vierkante blokjes verdeelt, toch de diepe, geheime codes kunt vinden die bepalen hoe het universum in elkaar zit. Ze hebben de "geest" van de Majorana-deeltjes gevangen in een computer, en die geest bleek precies te praten zoals de theoretici hadden voorspeld.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het paper "How to formulate the Z8 topological invariant of Majorana fermion on the lattice" van Sho Araki et al., vertaald en samengevat in het Nederlands.

Probleemstelling

In de kwantumveldentheorie (QFT) spelen topologische invarianten en de bijbehorende anomalieën een cruciale rol bij het begrijpen van niet-perturbatieve fenomenen zoals instantons en Symmetrie-beschermde Topologische (SPT) fasen. Hoewel de index van Dirac-operatoren (gelijk aan het topologische getal van het gaugeveld) succesvol op het rooster kan worden geformuleerd via de Ginsparg-Wilson-relatie en overlap-Dirac-operatoren, zijn er beperkingen bij generalisaties naar complexere topologische invarianten.

Specifiek bestaan er topologische invarianten met waarden in $\mathbb{Z}_8$ of $\mathbb{Z}_{16}$ (zoals de Arf-Brown-Kervaire invariant) die niet kunnen worden uitgedrukt als een simpele index van Dirac-operatoren. Deze invarianten treden op in systemen met Majorana-fermionen op niet-oriënteerbare variëteiten (zoals de Klein-fles of het reële projectieve vlak). De uitdaging ligt in het ontwikkelen van een robuuste roosterformulering voor deze invarianten, waarbij continuïteit ontbreekt en de handhaving van chirale symmetrie op niet-oriënteerbare manifolds problematisch is.

Methodologie

De auteurs stellen een nieuwe roosterformulering voor de Arf-Brown-Kervaire (ABK) invariant voor, die waarden aanneemt in $\mathbb{Z}_8$. De kern van hun aanpak omvat de volgende elementen:

1. Gebruik van Wilson-fermionen: In plaats van te vertrouwen op chirale symmetrie of de Ginsparg-Wilson-relatie, gebruiken ze massieve Wilson-Dirac-operatoren ($D_W$). Dit maakt het mogelijk om systemen op niet-oriënteerbare manifolds te simuleren zonder de complexiteit van overlap-operatoren.
2. Partitiefunctie en Pfaffian: De ABK-invariant wordt geëxtraheerd uit de complexe fase van de partitiefunctie van Majorana-fermionen. Op het rooster wordt deze partitiefunctie uitgedrukt als de Pfaffian van de matrix $C D_W(m)$, waarbij $C$ de ladingsconjugatiematrix is.
3. Realisatie van Variëteiten:
   • Gesloten variëteiten: Niet-oriënteerbare manifolds (Klein-fles, reëel projectief vlak $RP^2$) worden gerealiseerd door het "lijmen" van tegenoverliggende randen van een vierkant rooster met omgekeerde oriëntatie (orientation-reversing boundary conditions). Dit vereist specifieke randvoorwaarden voor de fermionvelden die corresponderen met verschillende $\text{Pin}^-$-structuren.
   • Open variëteiten: Voor manifolds met randen (zoals de Möbius-strook) wordt een domeinwand-massaterm ($m_{DW}$) gebruikt. Hierbij is de massa negatief binnen het gebied van de variëteit en positief daarbuiten, wat effectief een rand creëert waar de topologische eigenschappen zichtbaar worden.
4. Definitie van de Invariant: De rooster-ABK-invariant $\beta_{latt}$ wordt gedefinieerd via de fase van de verhouding tussen de partitiefunctie met massa $m$ en die met massa $|m|$ (Pauli-Villars regularisatie):
   $$\frac{\text{Pf}(C D_W(m))}{\text{Pf}(C D_W(|m|))} \propto \exp\left(i \frac{2\pi}{8} \beta_{latt}\right)$$
   De limiet wordt genomen waarbij de roosterafstand $a \to 0$ en de massa $m \to -\infty$.

Belangrijkste Bijdragen

• Formulering van de $\mathbb{Z}_8$-invariant: De auteurs presenteren een expliciete methode om de ABK-invariant op het rooster te berekenen zonder chirale symmetrie, puur gebaseerd op de Pfaffian van de Wilson-Dirac-operator.
• Omgaan met niet-oriënteerbare topologie: Ze tonen aan hoe men $\text{Pin}^-$-structuren correct kan implementeren op het rooster door reflecterende randvoorwaarden toe te passen, wat essentieel is voor niet-oriënteerbare manifolds waar de standaard overlap-operator faalt.
• Analytische en Numerieke Validatie: Ze combineren analytische berekeningen in de impulsruimte (voor de Torus en Klein-fles) met directe numerieke berekeningen van de Pfaffian voor meer complexe gevallen ($RP^2$ en de Möbius-strook).

Resultaten

De studie levert de volgende resultaten op:

1. Kwantisatie: De berekende waarde van $\beta_{latt}$ convergeert naar gehele getallen in de continuumlimiet.
2. Overeenkomst met Continuümtheorie: De resultaten voor verschillende variëteiten en $\text{Pin}^-$-structuren komen exact overeen met de theoretische voorspellingen uit de continuümtheorie:
   • Torus ($T^2$): $\beta = 4$ voor de $PP$-structuur (periodiek-periodiek), en $\beta = 0$ voor andere structuren.
   • Klein-fles ($KB$): $\beta = \mp 2$ voor de $P\pm$ structuren, en $\beta = 0$ voor $A\pm$. Numerieke tests tonen een zeer hoge precisie (fouten in de orde van $10^{-9}$bij$30 \times 30$ roosters).
   • Reëel Projectief Vlak ($RP^2$): De methode levert de correcte waarden op, zelfs op punten waar het roosternetwerk "breekt" (hoeken), wat aantoont dat de methode robuust is voor niet-vlakke geometrieën.
   • Möbius-strook: Als open variëteit gerealiseerd via domeinwand-massa, worden twee $\text{Pin}^-$-structuren gevonden met waarden $\beta = \pm 1$.
3. Numerieke Stabiliteit: De kwantisatie naar discrete integerwaarden is al stabiel bij relatief kleine roostergroottes ($N \sim 10$).

Betekenis en Toekomstperspectief

Deze werken biedt een krachtig niet-perturbatief instrument om topologische invarianten in fermionische systemen te bestuderen, zelfs in situaties waar chirale symmetrie niet behouden kan worden.

• Generalisatie: De methode kan waarschijnlijk worden uitgebreid naar andere invarianten, zoals de $\mathbb{Z}_{16}$-invariant in vier dimensies met $\text{Pin}^+$-structuren (hoewel de rekenkosten dan hoger zullen zijn).
• Interagerende Systemen: Een belangrijke toekomstige richting is het onderzoeken van de rol van deze invarianten in interagerende theorieën, met name bij systemen met acht fermionen waar de SPT-fase kan worden getraliseerd (trivialized) door interacties. Dit zou kunnen leiden tot het begrijpen van hoe fermionen op domeinwanden een massa kunnen krijgen door interacties.

Kortom, het paper slaagt erin een langdurig open probleem op te lossen: het definiëren en numeriek valideren van de $\mathbb{Z}_8$ topologische invariant voor Majorana-fermionen op een rooster, inclusief complexe niet-oriënteerbare topologieën.