Disentangling anomaly-free symmetries of quantum spin chains

In de microscopische wereld van kwantummaterialen zitten atomen en elektronen niet simpelweg stil; ze bestaan in een staat van constante, ingewikkelde verbondenheid die bekend staat als verstrengeling. Dit fenomeen stelt deeltjes in staat om elkaar instantaan over afstanden te beïnvloeden, waardoor een web van relaties ontstaat dat het gedrag van het materiaal bepaalt. Decennialang hebben natuurkundigen begrepen dat bepaalde patronen van deze verstrengeling zo rigide zijn dat ze niet ongedaan kunnen worden gemaakt zonder de fundamentele regels van het systeem te breken. Deze rigide patronen worden vaak anomalieën genoemd. Wanneer een materiaal een anomalie bezit, wordt het gedwongen op specifieke manieren te reageren: het kan geleidend blijven en nooit in een rustige, isolerende staat terechtkomen, of het kan zijn eigen symmetrie breken om stabiliteit te vinden. Deze beperkingen fungeren als een natuurwet die voorkomt dat het systeem eenvoudig en saai wordt. Echter, als een systeem deze anomalieën mist, was de heersende overtuiging dat het mogelijk zou moeten zijn om de complexe verbindingen te ontwarren en een eenvoudige, rechtlijnige structuur eronder te onthullen.

Een nieuwe studie door onderzoekers van het Institute for Advanced Studies en de Universiteit van Chicago bevestigt deze intuïtie met wiskundige zekerheid. Het team richtte zich op eendimensionale ketens van kwantumspins, wat in essentie kleine magneten zijn die in een lijn zijn gerangschikt. Ze onderzochten symmetrieën, wat regels zijn die beschrijven hoe het systeem er hetzelfde uitziet na een transformatie, zoals roteren of flippen. De onderzoekers bewezen dat elke symmetrie in een dergelijke keten die geen anomalie draagt, volledig ontward kan worden. Dit betekent dat door een laag van onzichtbare, helpende deeltjes aan het systeem toe te voegen en een specifieke reeks operaties uit te voeren, de complexe, verspreide symmetrie getransformeerd kan worden naar een eenvoudige, lokale symmetrie waarbij elk deeltje onafhankelijk handelt. Deze bevinding lost een langlopende vraag in het vakgebied op, door aan te tonen dat het enige wat een kwantumsysteem verhindert om eenvoudig te zijn, de aanwezigheid van een anomalie is.

Om de betekenis van dit werk te begrijpen, moet men eerst het concept van deze symmetrieën en de aard van lokaliteit vatten. In een typisch kwantumsysteem kan een symmetrie-operatie op de gehele keten tegelijkertijd inwerken, of het kan een complexe dans van interacties tussen naburige deeltjes inhouden. Als een symmetrie "on-site" is, betekent dit dat de operatie onafhankelijk op elk punt in de keten plaatsvindt, zoals het omdraaien van een schakelaar bij elke gloeilamp zonder de andere aan te raken. Als de symmetrie "anomaal" is, is zij diep verweven in het weefsel van de verstrengeling van het systeem, waardoor het onmogelijk is om de delen te scheiden. De onderzoekers toonden aan dat als een symmetrie vrij is van deze anomalie, zij niet werkelijk fundamenteel is; het is slechts een complexe versie van een eenvoudige symmetrie die is verhuld door de manier waarop de deeltjes verstrengeld zijn.

Het team bereikte dit door een specifiek wiskundig instrument te construeren dat zij een 'disentangler' (ontwarreerder) noemen. Stel je een lange lijn van kwantumbits voor, of qubits, die de basisunits van kwantuminformatie zijn. De onderzoekers begonnen met een symmetrie die op een complexe, niet-lokale manier over deze lijn werkte. Vervolgens introduceerden ze een tweede set deeltjes, genaamd ancilla's, die fungeren als een tijdelijke, inerte werkruimte. Deze ancilla's interageren niet met het oorspronkelijke systeem op een manier die de fysieke eigenschappen verandert; ze worden simpelweg toegevoegd om extra ruimte te bieden om te manoeuvreren. Door een quantumcircuit met een eindige diepte toe te passen — een reeks operaties die slechts een beperkte afstand bereikt — waren de onderzoekers in staat de verstrengeling te herordenen. Dit proces verplaatst effectief de complexiteit van de symmetrie van de oorspronkelijke deeltjes naar de ancilla's, waardoor het oorspronkelijke systeem achterblijft met een symmetrie die lokaal en eenvoudig werkt.

Het bewijs steunt op een slim gebruik van wat bekend staat als Gauss-wet operators. In de natuurkunde relateert de wet van Gauss de stroom van een veld aan de ladingen binnen een regio. In deze kwantumcontext gebruikten de onderzoekers deze operators om te volgen hoe symmetrie-defecten, of imperfecties in de symmetrie, zich langs de keten bewegen en samensmelten. Ze toonden aan dat voor elke symmetrie zonder een anomalie, deze defecten op een manier samengevoegd kunnen worden die de complexiteit opheft. Het resultaat is een transformatie die een globale, verstrengelde symmetrie omzet in een lokale, ontwarreerde symmetrie. Dit is niet slechts een theoretische mogelijkheid; de onderzoekers boden een expliciet recept voor het bouwen van het circuit dat deze transformatie uitvoert.

Deze ontdekking heeft diepgaande implicaties voor ons begrip van kwantumfasen van materie. Het vestigt een duidelijke grens tussen systemen die inherent complex zijn door anomalieën en systemen die slechts schijnbaar complex zijn. Het werk bewijst het omgekeerde van een beroemd theorem bekend als het Lieb-Schultz-Mattis-theorema, dat stelt dat bepaalde symmetrieën een systeem gapless (zonder energieverschil) of wanordelijk dwingen te zijn. Het nieuwe resultaat laat zien dat als een symmetrie deze dwingende anomalie niet heeft, het systeem altijd een eenvoudige, gapped (met energieverschil) grondtoestand kan hebben. Dit betekent dat de enige reden waarom een kwantumspin-keten niet triviaal gapped kan zijn, de aanwezigheid van een anomalie is.

Verder overbrugt de studie een kloof in de verbinding tussen de rand van een materiaal en de binnenkant ervan. In de theorie van topologische fasen wordt het gedrag van de rand van een materiaal vaak bepaald door de eigenschappen van de bulk, oftewel de binnenkant, van het materiaal. De onderzoekers toonden aan dat elke anomalievrije symmetrie op de rand gerealiseerd kan worden door een eenvoudige, triviale bulk. Omgekeerd, als een symmetrie anomalieus is, moet het de rand zijn van een complexere, hoger-dimensionale topologische toestand. Door een methode te bieden om de symmetrie te ontwarren, toonde het team effectief aan hoe de bulktoestand geconstrueerd kan worden die overeenkomt met een gegeven rand-symmetrie. Dit biedt een volledige kaart van hoe symmetrieën zich gedragen in eendimensionale kwantumsystemen.

De onderzoekers adresseerden ook een veelvoorkomend misverstand dat dergelijke transformaties mogelijk zouden zijn zonder extra deeltjes toe te voegen. Ze leverden een concreet voorbeeld van een qubit-keten met een specifieke symmetrie die weliswaar anomalievrij is, maar niet ontward kan worden tenzij ancilla's worden geïntroduceerd. Dit benadrukt dat de toevoeging van deze hulpdeeltjes niet slechts een wiskundige truc is, maar een fysieke noodzaak voor de transformatie om te werken. De ancilla's fungeren als een reservoir van vrijheidsgraden die de complexiteit absorberen, waardoor het oorspronkelijke systeem in een eenvoudige staat kan komen.

Concluderend biedt dit werk een definitief antwoord op de vraag wat een kwantumsymmetrie complex maakt. Het bevestigt dat de enige obstructie voor het vereenvoudigen van een symmetrie de aanwezigheid van een anomalie is. Door een expliciete methode te construeren om elke anomalievrije symmetrie te ontwarren, hebben de onderzoekers het landschap van kwantumspin-ketens verhelderd. Hun bevindingen suggereren dat de rijke en gevarieerde gedragingen van deze systemen niet willekeurig zijn, maar strikt worden beheerst door de aanwezigheid of afwezigheid van deze topologische obstructies. Deze helderheid stelt natuurkundigen in staat om het gedrag van kwantummaterialen beter te voorspellen en nieuwe toestanden van materie te ontwerpen met specifieke, gewenste eigenschappen. De studie vormt een rigoureus bewijs dat in de kwantumwereld, als een symmetrie niet fundamenteel wordt gebroken door een anomalie, deze altijd ontward kan worden naar haar eenvoudigste vorm.