One-Particle Density Matrix Framework for Mode-Shell Correspondence: Characterizing Topology in Amorphous Higher-Order Topological Insulators

Technische Samenvatting: Een raamwerk van de één-deeltjes dichtheidsmatrix voor de mode-shell correspondentie in amorfe hoger-orde topologische isolatoren

Probleemstelling
De karakterisering van topologische fasen, met name hoger-orde topologische isolatoren (HOTI's), rust traditioneel op Hamiltonians en momentumruimte-invarianten (bijv. Chern-getallen, Wilson-loops). Echter, topologie is fundamenteel een eigenschap van de kwantumtoestand zelf, en niet enkel van de Hamiltonian die deze genereert. Dit brengt uitdagingen met zich mee voor systemen die geen translationele invariantie bezitten, zoals amorfe of gedisorderde materie, waar momentumruimte-definities falen. Bovendien blijft het onderscheid tussen "intrinsieke" HOTI's (waarbij bulktopologie randmodi afdwingt ongeacht de terminatie) en "extrinsieke" HOTI's (waarbij modi afhangen van specifieke randterminaties) moeilijk in gedisorderde omgevingen. Bestaande methoden vereisen vaak een onderliggende Hamiltonian, wat hun toepasbaarheid beperkt tot interagerende toestanden of complexe gedisorderde geometrieën waar een eenvoudige Hamiltonian-beschrijving mogelijk wordt vertroebeld of niet beschikbaar is.

Methodologie
De auteurs stellen een raamwerk voor dat volledig gebaseerd is op de één-deeltjes dichtheidsmatrix ($\rho$), die alle één-deeltjes correlaties van een veel-deeltjes Gaussische toestand codeert. De kern van hun aanpak is een herformulering van de mode-shell correspondentie, oorspronkelijk gedefinieerd voor één-deeltjes Hamiltonians, direct in termen van $\rho$.

1. Dichtheidsmatrix-formalisme: De studie maakt gebruik van de Bogoliubov–de Gennes (BdG) één-deeltjes dichtheidsmatrix, $\rho$, die een projector is op bezette banden voor gapte Gaussische toestanden. Het raamwerk gaat ervan uit dat $\rho$ exponentieel gelokaliseerd is in de reële ruimte.
2. Mode-index ($I_{\text{mode}}$): Gedefinieerd door $\rho$ te beperken tot een ruimtelijk gebied $A$ dat een rand bevat (bijv. een keten-uiteinde of hoek). De index telt chirale nul-modi door bijdragen op te tellen van eigenwaarden $\lambda$ van de beperkte matrix $\rho_A$ die maximaal verstrengeld zijn ($\lambda \approx 1/2$) over de rand van $A$.
   $$I_{\text{mode}} = 4\text{Tr}((\rho_A - \rho_A^2)\theta C)$$
   waarbij $C$ een chirale symmetrie-operator is en $\theta$ een gladde cutoff-functie.
3. Shell-index ($I_{\text{shell}}$): Om bulktopologie te isoleren van triviale randcorrelaties, introduceren de auteurs een "shell"-gebied $A_{\text{shell}} \subset A$ dat de mode-randen omringt maar gescheiden is van de fysieke rand door een afstand groter dan de correlatielengte. De shell-index wordt afgeleid door de mode-index te herschrijven als een commutator die gelokaliseerd is op deze shell:
   $$I_{\text{shell}} = -2\text{Tr}(C\rho_A[\rho_A, \theta])$$
   In één dimensie reduceert dit tot de lokale chirale marker, wat de winding number herstelt in het translationeel invariante limiet.
4. Toepassing op gedisorderde systemen: De auteurs passen dit formalisme toe op het Benalcazar-Bernevig-Hughes (BBH) model, een $C_4$-symmetrische HOTI. Ze genereren amorfe structuren door een vierkant rooster te verstoren met Gaussische ruis, terwijl ze $C_4$ rotatiesymmetrie handhaven via een vier-voudig replicatie- en rotatieschema. De indices worden direct in de reële ruimte berekend zonder referentie naar de momentumruimte.

Belangrijkste Bijdragen en Resultaten

• Hamiltonian-vrije Karakterisering: Het artikel stelt vast dat de mode-shell correspondentie uitsluitend afgeleid kan worden van de één-deeltjes dichtheidsmatrix. Dit maakt de karakterisering van topologische fasen direct vanuit de kwantumtoestand mogelijk, toepasbaar op zowel niet-interagerende als interagerende systemen (mits de bezettingsspectra gapte vertoont).
• Diagnose van Intrinsiek vs. Extrinsiek: Door het raamwerk toe te passen op het 2D BBH-model, demonstreren de auteurs dat de shell-index een diagnostisch middel is voor de aard van de HOTI. Ze tonen aan dat een oneven mode-index leidt tot half-integer bijdragen aan de shell-index bij elk symmetrie-gerelateerd rand-snijpunt (bijv. hoeken). Deze fractionele kwantisatie impliceert dat de fase intrinsiek is, aangezien deze niet getrivialiseerd kan worden door de randterminaties te wijzigen. Omgekeerd levert een even mode-index integer bijdragen, wat kan corresponderen met extrinsieke fasen.
• Robuustheid in Amorfe Materie: Het raamwerk wordt succesvol toegepast op $C_4$-symmetrische amorfe structuren. Hoewel structurele wanorde de lokalisatielengte van randmodi vergroot en niet-nul lokale bulkbijdragen aan de shell-index-dichtheid introduceert, blijft de totale shell-index gekwantiseerd (benaderend 1.0 in hun numerieke voorbeelden). De auteurs laten zien dat bulkbijdragen wegvallen bij middeling over grote afstanden, wat bevestigt dat de mode-shell correspondentie een geldige diagnose blijft in afwezigheid van translationele invariantie.
• Generalisatie naar Interagerende Toestanden: De auteurs merken op dat indien een interagerende toestand een gapte één-deeltjes dichtheidsmatrix heeft, deze adiabatisch afgeplat kan worden tot een projector. De mode-shell correspondentie toegepast op deze afgeplatte matrix definieert de topologie van de interagerende toestand, wat de bruikbaarheid van de methode uitbreidt voorbij Gaussische toestanden.

Betekenis en Claims
Het artikel claimt een "praktische en diverse route" te bieden om de hoger-orde topologie direct vanuit de kwantumtoestand te karakteriseren, waarbij de noodzaak voor een onderliggende Hamiltonian wordt omzeild. De primaire betekenis ligt in:

1. Universaliteit: Het vermogen om topologische invarianten te definiëren voor systemen zonder translationele symmetrie (amorfe/gedisorderde) en voor interagerende systemen met gapte spectra.
2. Toestand-gecentreerd Perspectief: Het versterken van het idee dat topologie een eigenschap is van de toestand zelf, gecodeerd in de één-deeltjes dichtheidsmatrix.
3. Diagnostische Kracht: Het bieden van een concreet methode om intrinsieke hoger-orde fasen te onderscheiden van extrinsieke fasen via de fractionele kwantisatie van de shell-index, een onderscheid dat moeilijk te maken is in gedisorderde systemen met traditionele indicatoren.

De auteurs concluderen dat hoewel de shell-index geen bulk-invariant is in hogere dimensies (in tegenstelling tot 1D waar het gelijk is aan de winding number), het dient als een robuuste rand-diagnostiek die de mode-shell correspondentie generaliseert naar complexe, gedisorderde en interagerende topologische fasen.