A Long Exact Sequence in Symmetry Breaking: order parameter constraints, defect anomaly-matching, and higher Berry phases

Dit artikel introduceert de "symmetry breaking long exact sequence" (SBLES), een wiskundig raamwerk dat defecten in symmetriebrekingfasen classificeert via 't Hooft-anomalieën en hogere Berry-fasen, en zo een nieuwe computatietool biedt voor het categoriseren van symmetrie-geschermde topologische fasen.

De kern

Stel je voor dat je een grote, complexe machine bouwt: een quantum-systeem. Deze machine heeft bepaalde regels, of symmetrieën. Denk aan symmetrie als een manier waarop je de machine kunt draaien, spiegelen of veranderen zonder dat het eruitziet alsof er iets is veranderd.

Soms willen we deze machine "breken". We willen een knop indrukken of een veld aanleggen waardoor de symmetrie verdwijnt en de machine een nieuwe, stabiele toestand (een gebroken fase) aannemt. Dit is vergelijkbaar met water dat bevriest tot ijs: de vloeibare water-moleculen waren overal gelijk (symmetrisch), maar in ijs vormen ze een vast rooster.

Dit papier van Arun Debray en zijn collega's gaat over wat er gebeurt op de randen en in de kernen van deze breukpunten.

1. De "Gaten" in de Machine (Defecten)

Wanneer je een symmetrie breekt, ontstaan er vaak rare plekken in het materiaal. Denk aan:

• Domeinwanden: De grens tussen twee gebieden waar het ijs in verschillende richtingen groeit.
• Vortexen: Een draaikolk in een superfluïdum (een vloeistof zonder wrijving).
• Hedgehogs: Een punt waar alle magnetische naaldjes naar buiten wijzen, zoals een stekelige egel.

Op deze rare plekken (de defecten) gebeurt er iets magisch: er ontstaan gaten in de energie. Normaal gesproken is het materiaal een "isolator" (geen stroom), maar precies op deze breukpunten kunnen deeltjes zich vrij bewegen. Ze zijn gapless (zonder energiekloof).

2. De Onzichtbare Wacht (Anomalieën)

Waarom kunnen deze deeltjes niet verdwijnen? Waarom zijn ze zo hardnekkig?
Het papier legt uit dat dit komt door een anomalie. In de wereld van de quantumfysica is een anomalie een soort "onoplosbare rekenfout" in de regels van de natuur. Het is alsof de wetten van de natuur zeggen: "Je kunt deze symmetrie niet volledig vergeten; er blijft een spoor achter."

Dit spoor is een topologische bescherming. Het is als een onzichtbare wacht die zegt: "Je mag deze deeltjes op de defecten niet weghalen, tenzij je de hele machine (het bulk-materiaal) vernietigt."

3. De Grote Rekenmachine (De Lange Exacte Rij)

De auteurs hebben een wiskundig gereedschap bedacht om dit allemaal te voorspellen. Ze noemen het de "Symmetry Breaking Long Exact Sequence" (SBLES).

Laten we dit vergelijken met een drie-staps detective-verhaal om te begrijpen wat er gebeurt als je een symmetrie breekt:

• Stap 1: De Obstructie (Residual Family Anomaly)

  • Vraag: Kunnen we de symmetrie breken zonder dat er ergens een gat in de machine ontstaat?
  • Het antwoord: Soms niet! De auteurs laten zien dat er een "residuele anomalie" is. Dit is als een trappetje dat je niet kunt weglaten. Als je probeert de symmetrie te breken, dwingt de natuur je om ergens een gat te laten. Als dit gat niet weg kan, betekent dit dat je geen lokale defecten (zoals een vortex) kunt hebben zonder dat er iets vreemds gebeurt. Het is een obstakel.

• Stap 2: De Reconstructie (Defect Anomaly Matching)

  • Vraag: Stel, we hebben een defect (een vortex). Wat zegt dit defect ons over de hele machine?
  • Het antwoord: Als je kijkt naar de rare deeltjes in het hart van de vortex, kun je precies terugrekenen wat de "anomalie" van de hele machine was. Het is alsof je naar een vingerprint kijkt en precies weet wie de dader is. De anomalie van het defect moet matchen met de anomalie van de rest van het systeem. Dit is de "anomaly matching".

• Stap 3: De Vage Herinnering (Index Map & Berry Phase)

  • Vraag: Kunnen we precies zeggen wat voor soort deeltjes er in het defect zitten?
  • Het antwoord: Soms is het antwoord niet eenduidig. Er kunnen verschillende soorten deeltjes zijn die allemaal hetzelfde doen. De auteurs gebruiken een concept genaamd de "Higher Berry Phase".
  • Analogie: Stel je voor dat je een kompas hebt dat je rond een berg draait. Als je terugkomt, wijst de naald misschien niet meer naar het noorden, maar een beetje naar het oosten. Die draaiing is de "Berry fase". In dit papier gebruiken ze dit om te tellen hoeveel "lading" of "spin" er in het defect zit, zelfs als de deeltjes met elkaar interageren. Het helpt om de ambiguïteit (de verwarring) op te lossen.

4. Waarom is dit belangrijk?

Vroeger was het heel moeilijk om te voorspellen welke exotische toestanden van materie (zoals topologische isolatoren) mogelijk zijn. Je moest enorme, ingewikkelde berekeningen doen.

Dit papier biedt een nieuwe rekenmethode. Door deze "Lange Exacte Rij" te gebruiken, kunnen wetenschappers:

1. Voorspellen of een bepaald materiaal stabiel is.
2. Zeggen of er magische deeltjes (zoals Majorana-deeltjes, die belangrijk zijn voor kwantumcomputers) in de kern van een vortex moeten zitten.
3. De "rekenfouten" (anomalieën) van complexe systemen oplossen door ze op te breken in kleinere, begrijpelijkere stukjes.

Samenvatting in één zin

Dit papier laat zien dat wanneer je de regels van de natuur (symmetrieën) in een quantummateriaal breekt, de natuur altijd een "boete" (anomalie) eist die zich manifesteert als onuitwisbare deeltjes op de breuklijnen, en ze hebben een nieuwe wiskundige formule bedacht om precies te voorspellen welke deeltjes dat zijn.

Het is als het ontdekken van de wetten van een spel waarbij je, als je probeert een regel te breken, altijd een verborgen speler op het veld ziet verschijnen die je niet kunt weghalen.

Technische samenvatting

Titel: Een Lange Exacte Sequentie in Symmetriebreking: Orderparameter-beperkingen, Defect-Anomalie-Matching en Hogere Berry-fasen

Auteurs: Arun Debray et al.
Datum: 10 mei 2024

---

1. Probleemstelling

In de afgelopen twee decennia heeft de ontdekking van topologische isolatoren en andere gecondenseerde materie-systemen met een bulk-boundary-correspondentie (anomalie-inflow) ons begrip van symmetrieën en 't Hooft-anomalieën in veel-deeltjessystemen revolutionair veranderd. Echter, er bestond tot nu toe geen algemene theorie die de volgende aspecten van symmetriebreking volledig beschreef:

• De aanwezigheid van lokaliseerde gaploze excitaties (zoals Majorana-zero modes) in de kernen van defecten (domeinwanden, vortices, hedgehogs) in een symmetriegebroken fase.
• De obstructie voor het bestaan van een lokaal defect in een symmetriegebroken fase.
• De relatie tussen de anomalie van het defect en de anomalie van de gebroken symmetrie in de bulk.

Voorgaande werken (zoals [HKT20a]) boden een formule voor anomalie-matching, maar lieten twee cruciale problemen onopgelost:

1. Niet alle anomalieën zijn consistent met het bestaan van lokale defecten in een symmetriegebroken fase.
2. Zelfs wanneer een defect bestaat, wordt de anomalie ervan niet uniek bepaald door de matching-formule; er is sprake van ambiguïteit.

2. Methodologie

De auteurs ontwikkelen een wiskundig raamwerk gebaseerd op de theorie van invertibele veldtheorieën (Invertible Field Theories - IFTs) en cobordisme-theorie. De kern van hun aanpak is de constructie van een Lange Exacte Sequentie (Long Exact Sequence), genaamd de Symmetry Breaking Long Exact Sequence (SBLES).

De methode combineert de volgende concepten:

• Anomalie-inflow: Anomalieën in $D$ dimensies worden gezien als randen van invertibele veldtheorieën in $D+1$ dimensies (SPT-fasen).
• Familiën van theorieën: Het beschouwen van theorieën die afhangen van een parameterruimte (orderparameter), wat leidt tot het concept van familie-anomalieën en hogere Berry-fasen.
• G-equivariante families: Het analyseren van hoe symmetrieën werken op de parameterruimte van de orderparameter.
• Cobordisme: Het gebruik van de SPT-cobordisme-conjectuur om anomalieën te classificeren via bordismegroepen ($\Omega^D_{G,s,\eta}$).

De SBLES verbindt drie specifieke afbeeldingen (maps) tussen groepen van invertibele theorieën:

1. Res$_\rho$ (Residuele familie-anomalie): Meet de obstakels voor het gapen van de theorie na symmetriebreking.
2. Def$_\rho$ (Defect-anomalie map): Reconstructeert de bulk-anomalie vanuit de anomalie van een lokaal defect.
3. Ind$_\rho$ (Index map): Beschrijft de anomalie van een defect binnen een anomalievrije familie en kwantificeert de ambiguïteit.

3. Belangrijkste Bijdragen en Resultaten

A. De Symmetry Breaking Long Exact Sequence (SBLES)

De auteurs definiëren de volgende exacte sequentie voor een symmetriegroep $G$, een representatie $\rho$ (waarvan de orderparameter transformeert), en een dimensie $D$:

$$\dots \to \Omega^{D+1-k}_{G,s,\eta+\rho} \xrightarrow{\text{Def}_\rho} \Omega^{D+1}_{G,s,\eta} \xrightarrow{\text{Res}_\rho} \Omega^{D+1}_{G,s,\eta}(S(\rho)) \xrightarrow{\text{Ind}_\rho} \Omega^{D-k+1}_{G,s,\eta+\rho} \to \dots$$

Waarbij:

• $\Omega^{D+1}_{G,s,\eta}$: De groep van anomalieën van $G$-symmetrische theorieën in $D$ ruimtetijd-dimensies.
• $\Omega^{D+1}_{G,s,\eta}(S(\rho))$: De groep van anomalieën van $G$-equivariante families, geparametriseerd door de eenheidssfeer $S(\rho)$ van de orderparameter.

De exactheid van de sequentie impliceert:

• De kern van $\text{Res}_\rho$ is het beeld van $\text{Def}_\rho$.
• De kern van $\text{Def}_\rho$ is het beeld van $\text{Ind}_\rho$.
• De kern van $\text{Ind}_\rho$ is het beeld van $\text{Res}_\rho$.

B. De drie maps in detail

1. Res$_\rho$ (Obstructie voor lokale defecten):

   • Deze map meet de "residuele familie-anomalie". Als $\text{Res}_\rho(\omega) \neq 0$ voor een bulk-anomalie $\omega$, dan kan de theorie niet lokaal gapped worden door de symmetrie te breken met een veld in representatie $\rho$.
   • Dit betekent dat er geen lokaal defect (zoals een vortex of domeinwand) kan bestaan zonder dat er ergens in de parameterruimte een gaploze modus optreedt.
   • Dit generaliseert het idee dat een ongebroken subgroep $H$ nog steeds anomaal kan zijn, maar toont ook subtiele obstructies aan die zelfs bestaan als alle subgroepen anomaal-vrij zijn (verwant aan hogere Berry-fasen).

2. Def$_\rho$ (Anomalie-matching):

   • Als $\text{Res}_\rho(\omega) = 0$, bestaat er een lokaal $\rho$-defect. De map $\text{Def}_\rho$ reconstructeert de bulk-anomalie $\omega$ vanuit de anomalie $\alpha$ van de geïnduceerde gaploze modes op het defect.
   • Dit lost het probleem op van hoe de bulk-anomalie wordt "gedragen" door het defect. Het is een generalisatie van de Smith-homomorfisme uit eerdere werken.

3. Ind$_\rho$ (Ambiguïteit en Index):

   • De map $\text{Def}_\rho$ is niet altijd injectief. Er kunnen meerdere defect-anomalieën $\alpha$ corresponderen met dezelfde bulk-anomalie $\omega$.
   • $\text{Ind}_\rho$ beschrijft deze ambiguïteit. Het berekent de anomalie van een defect dat ontstaat in een anomalievrije $G$-equivariante familie (waar $\omega=0$).
   • Dit is een generalisatie van de Callias indexstelling naar interactieve systemen en koppelt de winding van de orderparameter aan de anomalie van de geïnduceerde zero modes.

C. Toepassingen en Voorbeelden

De auteurs illustreren de kracht van de SBLES met diverse voorbeelden uit de deeltjesfysica en gecondenseerde materie:

• 2+1D Majorana fermionen: Analyse van tijd-reversie symmetriebreking. Ze tonen aan dat een enkele Majorana niet gapped kan worden door twee T-odd operatoren (residuele familie-anomalie), wat leidt tot een specifieke structuur in de fase-diagrammen.
• Adjoint QCD (SU(2)): Berekening van de residuele familie-anomalie voor chiral symmetriebreking, wat leidt tot een niet-triviale familie-anomalie die overeenkomt met bekende resultaten over vacuümhoeken.
• p+ip superfluida: De index map verklaart waarom vortices in een p+ip superfluid Majorana zero modes dragen en hoe dit gerelateerd is aan de Thouless-pump.
• Verschillende symmetriegroepen: Systematische classificatie van anomalieën voor $U(1)$, $\mathbb{Z}/2$, $\mathbb{Z}/3$, $\mathbb{Z}/4$, en $SU(2)$ symmetriebreking voor zowel bosonen als fermionen. De SBLES biedt een efficiëntere manier om deze classificaties te berekenen dan traditionele spectrale-sequentie-methoden.

4. Significantie en Toekomstperspectief

• Nieuw Rekenhulpmiddel: De SBLES fungeert als een krachtig computatie-instrument. Het stelt onderzoekers in staat om classificaties van anomalieën voor complexe symmetriegroepen te berekenen door deze te reduceren tot lagere dimensies, vaak zonder ingewikkelde spectrale-sequentieberekeningen.
• Verbinding met LSM-theorema's: De auteurs zien een sterke link tussen hun defect-anomalie map en de Lieb-Schultz-Mattis (LSM) theorema's. De reconstructie van de bulk-anomalie vanuit de defect-anomalie kan worden gezien als een punt-groep LSM-theorema.
• Hogere Berry-fasen: Het werk ontwikkelt de theorie van hogere Berry-fasen en bulk-boundary-correspondentie verder, en biedt een interactieve versie van de Callias indexstelling.
• Fase-diagrammen: De concepten van residuele familie-anomalie bieden nieuwe voorspellingen voor de structuur van fase-diagrammen in kwantumveldentheorieën, met name rondom punten waar symmetrie wordt gebroken.
• Wiskundige Fundamenten: De wiskundige onderbouwing (gebaseerd op de Smith-fibersequentie van invertibele veldtheorieën) wordt verder uitgewerkt in een begeleidend paper [DDK+24].

Conclusie:
Dit artikel biedt een unificerende en wiskundig rigoureuze beschrijving van hoe anomalieën zich manifesteren in symmetriegebroken fasen. Door de relatie tussen bulk-anomalieën, defect-anomalieën en de obstructie voor lokale defecten te formaliseren via een lange exacte sequentie, biedt het een dieper inzicht in de topologische structuur van kwantumfasen en opent het nieuwe wegen voor het classificeren van Symmetrie-Geschermde Topologische (SPT) fasen.