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

Sintesi Tecnica: Un framework della matrice di densità a una particella per la corrispondenza modo-guscio in isolanti topologici di ordine superiore amorfi

Problema
La caratterizzazione delle fasi topologiche, in particolare degli isolanti topologici di ordine superiore (HOTI), si basa tradizionalmente sugli hamiltoniani e sugli invarianti nello spazio dei momenti (ad esempio, numeri di Chern, loop di Wilson). Tuttavia, la topologia è fondamentalmente una proprietà del medesimo stato quantistico, non semplicemente dell'hamiltoniano che lo genera. Ciò pone sfide per i sistemi privi di invarianza traslazionale, come la materia amorfa o disordinata, dove le definizioni nello spazio dei momenti falliscono. Inoltre, distinguere tra HOTI "intrinseci" (dove la topologia bulk impone i modi di bordo indipendentemente dalla terminazione) e HOTI "estrinseci" (dove i modi dipendono da specifiche terminazioni di bordo) rimane difficile in contesti disordinati. I metodi esistenti richiedono spesso un hamiltoniano sottostante, limitando la loro applicabilità a stati interagenti o a geometrie disordinate complesse dove una semplice descrizione hamiltoniana può essere oscurata o non disponibile.

Metodologia
Gli autori propongono un framework basato interamente sulla matrice di densità a una particella ($\rho$), che codifica tutte le correlazioni a singola particella di uno stato gaussiano a molti corpi. Il nucleo del loro approccio è una riformulazione della corrispondenza modo-guscio (mode-shell correspondence), originariamente definita per hamiltoniani a singola particella, direttamente in termini di $\rho$.

1. Formalismo della matrice di densità: Lo studio utilizza la matrice di densità a una particella di Bogoliubov–de Gennes (BdG), $\rho$, che è un proiettore sulle bande occupate per stati gaussiani con gap. Il framework assume che $\rho$ sia esponenzialmente localizzata nello spazio reale.
2. Indice di modo ($I_{\text{mode}}$): Definito restringendo $\rho$ a una regione spaziale $A$ che contiene un bordo (ad esempio, un'estremità di una catena o un angolo). L'indice conta i modi zero chirali sommando i contributi dagli autovalori $\lambda$ della matrice ristretta $\rho_A$ che sono massimamente entanglement ($\lambda \approx 1/2$) attraverso il bordo di $A$.
   $$I_{\text{mode}} = 4\text{Tr}((\rho_A - \rho_A^2)\theta C)$$
   dove $C$ è l'operatore di simmetria chirale e $\theta$ è una funzione di cutoff regolare.
3. Indice di guscio ($I_{\text{shell}}$): Per isolare la topologia bulk dalle correlazioni di bordo triviali, gli autori introducono una regione "guscio" $A_{\text{shell}} \subset A$ che circonda i modi di bordo ma è separata dal bordo fisico da una distanza maggiore della lunghezza di correlazione; l'indice del guscio è derivato riscrivendo l'indice di modo come un commutatore localizzato su questo guscio:
   $$I_{\text{shell}} = -2\text{Tr}(C\rho_A[\rho_A, \theta])$$
   In una dimensione, questo si riduce al marcatore chirale locale, recuperando il numero di winding nel limite di invarianza traslazionale.
4. Applicazione a sistemi disordinati: Gli autori applicano questo formalismo al modello BBH (Benalcazar-Bernevig-Hughes), un HOTI con simmetria $C_4$. Generano strutture amorfe perturbando un reticolo quadrato con rumore gaussiano, imponendo al contempo la simmetria di rotazione $C_4$ attraverso uno schema di replicazione e rotazione a quattro pieghe. Gli indici sono calcolati direttamente nello spazio reale senza riferimento allo spazio dei momenti.

Contributi Chiave e Risultati

• Caratterizzazione Indipendente dall'Hamiltoniano: Il lavoro stabilisce che la corrispondenza modo-guscio può essere derivata esclusivamente dalla matrice di densità a una particella. Ciò consente di caratterizzare le fasi topologiche direttamente dallo stato quantistico, applicabile sia a sistemi non interagenti che a sistemi interagenti (a condizione che lo spettro di occupazione rimanga con gap).
• Diagnosi Intrinseco vs Estrinseco: Applicando il framework al modello BBH 2D, gli autori dimostrano che l'indice di guscio fornisce una diagnosi della natura dell'HOTI. Mostrano che un indice di modo dispari porta a contributi a semintero all'indice di guscio presso ogni intersezione di bordo con simmetria (ad esempio, gli angoli). Questa quantizzazione frazionaria implica che la fase sia intrinseca, poiché non può essere trivializzata cambiando le terminazioni del bordo. Al contrario, un indice di modo pari produce contributi interi, che possono corrispondere a fasi estrinseche.
• Robustezza nella Materia Amorfa: Il framework è applicato con successo a strutture amorfe con simmetria $C_4$. Sebbene il disordine strutturale aumenti la lunghezza di localizzazione dei modi di bordo e introduca contributi bulk locali non nulli alla densità dell'indice di guscio, l'indice di guscio totale rimane quantizzato (avvicinandosi a 1.0 nei loro esempi numerici). Gli autori mostrano che i contributi bulk si annullano mediando su grandi distanze, confermando che la corrispondenza modo-guscio rimane un diagnostico valido in assenza di invarianza traslazionale.
• Generalizzazione a Stati Interagenti: Gli autori osservano che se uno stato interagente possiede una matrice di densità a una particella con gap, esso può essere appiattito adiabaticamente in un proiettore. La corrispondenza modo-guscio applicata a questa matrice appiattita definisce la topologia dello stato interagente, estendendo l'utilità del metodo oltre gli stati gaussiani.

Significatività e Rivendicazioni
Il lavoro sostiene di fornire una "via pratica e diversificata" per caratterizzare la topologia di ordine superiore direttamente dallo stato quantistico, bypassando la necessità di un hamiltoniano sottostante. La sua significatività primaria risiede in:

1. Universalità: La capacità di definire invarianti topologici per sistemi privi di simmetria traslazionale (amorfi/disordinati) e per sistemi interagenti con spettri con gap.
2. Visione Centrata sullo Stato: Rafforzare l'idea che la topologia sia una proprietà dello stato stesso, codificata nella matrice di densità a una particella.
3. Potere Diagnostico: Offrire un metodo concreto per distinguere le fasi di ordine superiore intrinseche da quelle estrinseche tramite la quantizzazione frazionaria dell'indice di guscio, una distinzione difficile da effettuare in sistemi disordinati usando gli indicatori tradizionali.

Gli autori concludono che, sebbene l'indice di guscio non sia un invariante bulk in dimensioni superiori (a differenza del caso 1D dove equivale al numero di winding), esso funge da robusto diagnostico di bordo che generalizza la corrispondenza modo-guscio a fasi topologiche complesse, disordinate e interagenti.