Distinct Types of Parent Hamiltonians for Quantum States: Insights from the $W$ State as a Quantum Many-Body Scar

Dit artikel formaliseert drie onderscheidende typen ouder-Hamiltonianen voor kwantumtoestanden aan de hand van de $W$-toestand als voorbeeld van een Quantum Many-Body Scar, en leidt hieruit algemene resultaten af over de relatie tussen localiteit, dynamische eigenschappen en de aard van de kwantumtoestand.

De kern

Stel je voor dat je een heel complexe machine bouwt, bijvoorbeeld een enorme, ingewikkelde horloge. In de quantumwereld noemen we zo'n machine een Hamiltoniaan (een soort energieregelaar). De vraag die natuurkundigen vaak stellen is: "Hoe bouw ik een machine die precies zo'n specifieke, mooie toestand van de wereld (een quantumstaat) als zijn 'rusttoestand' of 'standaardinstelling' heeft?"

De auteurs van dit paper, Lei Gioia, Sanjay Moudgalya en Olexei Motrunich, kijken naar een iets andere vraag. Ze zeggen: "Oké, laten we niet alleen kijken naar de rusttoestand, maar naar elke mogelijke toestand die de machine kan aannemen. Soms zijn deze toestanden heel speciaal: ze gedragen zich als 'ongestoorde gasten' in een chaotische machine. In de wetenschap noemen we dit Quantum Many-Body Scars (of kortweg 'Scars'). Het zijn als het ware de enige mensen in een drukke feestzaal die niet dansen, maar gewoon rustig blijven staan, terwijl iedereen om hen heen gek wordt."

Om deze speciale 'Scars' te begrijpen, hebben de auteurs een nieuwe manier bedacht om de machines (de Hamiltonianen) in te delen. Ze zeggen: "Niet alle machines die deze 'Scars' kunnen maken, zijn hetzelfde. Ze zijn als drie verschillende soorten bakkers die allemaal een perfecte taart kunnen maken, maar op heel verschillende manieren."

Hier is de uitleg van hun drie soorten, met simpele analogieën:

1. Het Speciale Voorbeeld: De "W"-toestand

Om hun theorie te testen, gebruiken ze een heel bekend voorbeeld uit de quantumwereld: de W-toestand.

• De Analogie: Stel je hebt een rij van $N$ mensen. Iedereen slaapt (toestand $|0\rangle$). De W-toestand is een situatie waarin precies één persoon wakker is, maar niemand weet wie. Iedereen heeft evenveel kans om die ene wakker persoon te zijn. Het is een perfecte superpositie van "Iemand is wakker".
• Dit is een heel kwetsbare, maar interessante toestand. De auteurs willen weten: "Welke machines kunnen deze 'wakke-één-persoon'-toestand perfect behouden?"

2. De Drie Soorten Machines (Hamiltonianen)

De auteurs ontdekken dat er drie fundamenteel verschillende manieren zijn om zo'n machine te bouwen:

Type I: De "Standaard-Bakker" (Frustratievrij)

• Hoe het werkt: Deze machine is opgebouwd uit heel veel kleine, lokale regels. Elke regel zegt: "Als je hier kijkt, moet de toestand perfect kloppen." Als je aan elke kleine regel voldoet, voldoet je automatisch aan de hele machine.
• De Analogie: Stel je een muur van bakstenen. Elke steen moet perfect passen in zijn gat. Als elke steen perfect past, is de hele muur perfect. Er is geen "frustratie" of conflict tussen de regels.
• Gedrag: Als je een stukje van de muur (een "druppel" van de W-toestand) in de lucht gooit, blijft het daar hangen of lost het heel langzaam op, alsof het in water oplost (diffusie). Het beweegt niet snel.

Type II: De "Magische Bakker" (Niet-Hermietisch)

• Hoe het werkt: Deze machine kan de W-toestand ook perfect maken, maar je kunt hem niet beschrijven met die simpele, lokale regels van Type I. Je hebt "magische" regels nodig die niet symmetrisch werken (in de wiskunde: niet-Hermietisch).
• De Analogie: Stel je een magische machine die een taart maakt, maar je kunt de recepten niet opdelen in simpele stappen. Je moet de hele machine als één groot, complex geheel zien. Of nog beter: het is alsof je een bal rolt over een oppervlak dat eruitziet als een glijbaan. De bal glijdt niet langzaam weg; hij schiet er met hoge snelheid vandoor.
• Gedrag: Als je diezelfde "druppel" W-toestand in deze machine gooit, gebeurt er iets heel anders: de druppel schiet als een raket door de machine (ballistische beweging). Hij beweegt in één richting, alsof er een windstoot is die hem duwt. Dit is een heel duidelijk verschil met Type I!

Type III: De "Onmogelijke Bakker" (Lifting Operators)

• Hoe het werkt: Deze machines kunnen de W-toestand ook maken, maar ze zijn zo groot en complex dat je ze nooit kunt opbreken in kleine, lokale stukjes, zelfs niet met die magische regels van Type II. Ze zijn "te groot" voor de lokale regels.
• De Analogie: Stel je een machine die de hele wereld moet regelen om één persoon wakker te houden. Je kunt die machine niet opdelen in kleine onderdelen die alleen naar hun directe buren kijken. Het is een globale regeling die overal tegelijkertijd gebeurt.
• Gedrag: Deze machines zijn vaak verantwoordelijk voor het feit dat de W-toestand en de "slapende" toestand ($|0\rangle$) verschillende energieën hebben. Ze zorgen voor de scheiding tussen de twee.

3. Waarom is dit belangrijk?

De auteurs laten zien dat deze drie soorten machines niet alleen theoretisch verschillen, maar ook heel anders gedragen in de echte wereld:

• Type I is saai en traag (diffusie).
• Type II is dynamisch en snel (ballistische beweging).
• Type III zorgt voor de fundamentele structuur van de energie.

Ze ontdekken ook iets verrassends: als je een machine hebt die de W-toestand als een "Scar" (een speciale, stabiele toestand) heeft, dan moet die machine automatisch ook de volledig slapende toestand ($|0\rangle$) als een stabiele toestand hebben. Je kunt ze niet van elkaar scheiden zonder de regels van de machine te breken.

Conclusie voor de leek

Dit paper is als een nieuwe handleiding voor het bouwen van quantum-machines. Voorheen dachten wetenschappers dat er maar één manier was om een machine te bouwen die een specifieke toestand kon maken. Nu weten we dat er drie fundamenteel verschillende manieren zijn, en dat deze keuze bepaalt of je machine een trage, diffuserende toestand heeft of een snelle, schietende toestand.

Het helpt ons om beter te begrijpen waarom sommige quantum-systemen (zoals die in nieuwe quantumcomputers) soms "vastzitten" in speciale toestanden en niet snel warm worden (thermaliseren). Het is een stap naar het beter begrijpen en misschien zelfs het "ontwerpen" van quantummaterialen met precies de eigenschappen die we willen.

Kortom: Niet alle machines die een taart kunnen bakken, zijn hetzelfde. Sommige bakken traag en rustig, andere schieten de taart door de kamer, en weer andere zijn zo complex dat je ze niet eens in stukjes kunt snijden.

Technische samenvatting

Probleemstelling

Het construeren van "ouder-Hamiltonianen" (parent Hamiltonians) die een specifieke kwantumtoestand als grondtoestand hebben, is een klassiek probleem in de kwantum-veeldeeltjesfysica. Echter, recente ontdekkingen van Quantum Many-Body Scars (QMBS) hebben de interesse gewekt in Hamiltonianen waarbij interessante toestanden niet noodzakelijk de grondtoestand zijn, maar willekeurige eigen toestanden in het spectrum.

De bestaande literatuur (bijv. Moudgalya en Motrunich, 2024) heeft een classificatie van Hamiltonianen op basis van algebraïsche structuren (commutant-algebra's) voorgesteld, maar deze benadering heeft beperkingen:

1. Ze vereist vaak degeneratie van de QMBS-toestanden.
2. Ze is afhankelijk van specifieke algebraïsche generatoren en is minder toepasbaar op niet-degenererende toestanden.
3. Er is een gebrek aan een systematisch begrip van de lokale structuur van deze Hamiltonianen, vooral voor toestanden die niet als grondtoestand fungeren.

Het doel van dit werk is om een algemene, algebra-vrije classificatie te ontwikkelen voor de set van alle lokaal begrenste (finite-range) parent Hamiltonianen die een gegeven set van toestanden als exacte eigen toestanden hebben, ongeacht of ze de grondtoestand zijn.

Methodologie

De auteurs gebruiken een combinatie van analytische afleidingen, operator-basis-expansies en dynamische simulaties, met de W-toestand als primair voorbeeld.

1. Definitie van Operator-types:
   De auteurs definiëren drie distincte types van parent Hamiltonianen ($H$) voor een set toestanden $\{|\psi_n\rangle\}$, gebaseerd op hoe $H$ kan worden ontbonden in strikt lokale termen:

   • Type I: $H$ kan worden geschreven als een som van Hermitische strikt lokale termen die individueel de toestanden als eigen toestanden hebben (vaak frustratie-vrij).
   • Type II: $H$ kan worden geschreven als een som van niet-Hermitische strikt lokale termen die de toestanden als eigen toestanden hebben, maar niet als een som van Hermitische termen.
   • Type III: $H$ kan niet worden geschreven als een som van strikt lokale termen (Hermitisch of niet-Hermitisch) die de toestanden als eigen toestanden hebben. Dit type omvat vaak "lifting operators" die de energie van de scar-toestand scheiden van andere toestanden.

2. Analyse van de W-toestand:
   De W-toestand op een keten van $N$ qubits wordt gedefinieerd als $|W\rangle = \frac{1}{\sqrt{N}} \sum_j s^\dagger_j |\bar{0}\rangle$. De auteurs construeren een complete basis van operator-strings (gebaseerd op harde-core boson creatie/annihilatie operatoren) en leiden strikte voorwaarden af voor de coëfficiënten van een uitgebreide lokale operator $G$ zodat $G|W\rangle = \lambda |W\rangle$.

3. Truncatie-methode en Theorema's:
   Ze introduceren een methode om Hamiltonianen te "trunceren" tot een subgebied $\Lambda$ van het systeem. Ze bewijzen dat het type van de Hamiltonian (I, II of III) direct correleert met de aard van de randwerking (boundary action) van deze getruncede operator op de scar-toestand.

Belangrijkste Bijdragen en Resultaten

1. Classificatie voor de W-toestand

De auteurs leiden de meest algemene vorm af van een uitgebreide lokale Hermitische Hamiltonian $H$ waarvoor $|W\rangle$ een eigen toestand is:
$$H = \Omega \mathbb{1} + \omega \hat{N}_{tot} + t H_{ImHop} + \sum_X h_X$$
Waarbij:

• $\hat{N}_{tot}$ het totale deeltjesaantal is.
• $H_{ImHop}$ een term is met zuiver imaginaire hopping (Dzyaloshinskii-Moriya interactie).
• $h_X$ termen zijn die zowel $|W\rangle$ als de vacuümtoestand $|\bar{0}\rangle$ annihileren.

Uit deze structuur leiden ze af:

• Type I: De termen $h_X$ en de reële hopping-term ($H_{ReHop}$) vormen Type I Hamiltonianen.
• Type II: De term $H_{ImHop}$ is een Type II Hamiltonian. Het kan worden geschreven als een som van strikt lokale niet-Hermitische termen die $|W\rangle$ annihileren, maar niet als een som van Hermitische termen.
• Type III: De term $\hat{N}_{tot}$ is een Type III Hamiltonian. Het kan niet worden ontbonden in strikt lokale termen (Hermitisch of niet) die $|W\rangle$ als eigen toestand hebben, omdat het de energie van $|W\rangle$ en $|\bar{0}\rangle$ scheidt zonder lokale annihilatie.

2. Asymptotische Scars

Het werk toont het bestaan van asymptotische scars aan: toestanden die niet exacte eigen toestanden zijn, maar een energievibratie (variance) hebben die verdwijnt in de thermodynamische limiet.

• De toestanden $|W_q\rangle$ (gemoduleerde W-toestanden) en $|W^p\rangle$ (Dicke-toestanden met $p$ deeltjes) blijken asymptotische scars te zijn.
• Hun levensduur schaalt als $O(N)$ voor $|W_q\rangle$ en $O(\sqrt{N})$ voor $|W^2\rangle$.

3. Dynamische Signatures

De auteurs onderscheiden Type I en Type II Hamiltonianen via dynamisch gedrag van een "W-druppel" (een domein van de W-toestand in een vacuüm):

• Type I ($H_{ReHop}$): De druppel ondergaat diffusieve smelting aan de randen. De deeltjesdichtheid verspreidt zich traag ($\sim \sqrt{t}$) en er is geen netto stroming.
• Type II ($H_{ImHop}$): De druppel ondergaat ballistische beweging (chiraal transport) met een snelheid evenredig met de hopping, gecombineerd met sub-diffusieve smelting aan de randen. Dit leidt tot een duidelijk onderscheid in de tijdsontwikkeling van de overlap met de initiële toestand.

4. Algemene Stellingen voor Kort-afstands-verstrengelde (SRE) toestanden

De auteurs generaliseren hun bevindingen naar andere toestanden:

• Producttoestanden en QCA: Voor producttoestanden en toestanden gegenereerd door Quantum Cellular Automata (QCA) bestaan er geen Type II of Type III parent Hamiltonianen; alleen Type I is mogelijk.
• Matrix Product States (MPS): Voor injectieve MPS met een continue on-site symmetrie, is de symmetriegenerator een parent Hamiltonian.
  • Als de transfermatrix van de MPS vol-rang is en de toestand niet lokaal symmetrisch is, is de generator Type II (zoals bij de AKLT-grondtoestand).
  • Als de transfermatrix niet vol-rang is (zoals bij de bosonische SSH-keten), kan de generator Type I zijn.
• Koppeling met Verstrengeling: Het bestaan van een Type III parent Hamiltonian impliceert dat de toestand lang-afstands-verstrengeld (Long-Range Entangled) is. Omdat $\hat{N}_{tot}$ een Type III operator is voor de W-toestand, volgt hieruit dat de W-toestand noodzakelijk lang-afstands-verstrengeld is.

Significantie

Dit werk biedt een fundamenteel nieuw perspectief op de structuur van kwantum-veeldeeltjessystemen met QMBS:

1. Unificatie en Generalisatie: Het lost de beperkingen van eerdere algebraïsche classificaties op door een classificatie te bieden die werkt voor niet-degenererende toestanden en onafhankelijk is van specifieke algebra-generatoren.
2. Dynamisch Voorspellend Vermogen: Het koppelt de abstracte classificatie (Type I vs. II) direct aan meetbare dynamische fenomenen (diffusie vs. ballistische beweging), wat experimentele detectie van QMBS-types mogelijk maakt.
3. Verband met Verstrengeling: Het vestigt een direct verband tussen het type parent Hamiltonian en de aard van de verstrengeling van de toestand (SRE vs. LRE).
4. Toekomstige Richtingen: Het opent de deur voor het systematisch classificeren van parent Hamiltonianen voor complexere structuren zoals torens van toestanden (towers of states) en niet-hermitische systemen, en biedt een raamwerk voor het ontwerpen van Hamiltonianen met specifieke dynamische eigenschappen.

Samenvattend transformeert dit onderzoek het begrip van "parent Hamiltonians" van een puur statisch constructie-probleem naar een dynamisch en structureel classificatiesysteem dat diepe inzichten biedt in de aard van kwantumverstrengeling en niet-thermisch gedrag.