How to formulate the $\mathbb{Z}_8$ topological invariant of Majorana fermion on the lattice

Questo lavoro propone una formulazione reticolare dell'invariante topologico Arf-Brown-Kervaire a valori in $\mathbb{Z}_8$ per fermioni di Majorana, dimostrando come esso possa essere estratto dai pfaffiani dell'operatore di Dirac di Wilson e verificando numericamente la corrispondenza con la teoria del continuo su diverse varietà bidimensionali.

L'essenziale

Immagina di essere un architetto che sta cercando di costruire un modello matematico del mondo, ma invece di usare mattoni solidi, deve usare "fantasmi" chiamati fermioni di Majorana. Questi non sono particelle normali; sono come specchi che si specchiano a vicenda, e hanno una proprietà strana: sono le loro stesse antiparticelle.

Il problema è che per capire come si comportano questi "fantasmi" in situazioni strane (come su superfici che non hanno un "dentro" e un "fuori" definiti, o che si torcono su se stesse), i matematici hanno bisogno di una bussola speciale. Questa bussola si chiama invariante topologico e, nel caso specifico di cui parla questo articolo, ha un valore che può essere uno tra 8 possibilità (da 0 a 7). È come se l'universo avesse 8 "stati di vibrazione" diversi che non possono trasformarsi l'uno nell'altro senza rompere le regole della fisica.

Ecco come gli autori di questo studio (Araki e colleghi) hanno risolto il puzzle, spiegato in modo semplice:

1. Il Problema: Costruire su un foglio di carta strappato

Nella fisica teorica, quando si studiano queste particelle su carte continue e perfette (il "continuo"), la matematica funziona bene. Ma quando si prova a fare calcoli al computer, si deve usare una griglia, come un foglio a quadretti.
Il problema è che i "fantasmi" (i fermioni) sono molto delicati. Se provi a metterli su una griglia standard, perdono le loro proprietà magiche, specialmente se la superficie su cui vivono è strana, come un Klein Bottle (una bottiglia di Klein, che è come un tubo che entra in se stesso senza buchi) o un Möbius Strip (un nastro che ha solo un lato).

È come se provassi a disegnare un cerchio perfetto usando solo punti staccati: il cerchio sembra rotto e la magia scompare.

2. La Soluzione: L'Interruttore Magico (Massa a Parete)

Gli autori hanno inventato un trucco intelligente. Invece di cercare di costringere i fermioni a stare su una griglia rigida, hanno usato un "interruttore di massa".
Immagina di avere un campo di neve (la massa).

• Dove la neve è profonda e fredda (massa negativa), i fermioni possono vivere e muoversi.
• Dove la neve è ghiacciata e dura (massa positiva), i fermioni non possono stare.

Creando una zona di "neve profonda" a forma di nastro di Möbius all'interno della griglia, hanno potuto costringere i fermioni a vivere solo su quella forma strana, anche se la griglia sottostante era normale. È come se avessero scolpito una statua di ghiaccio (la forma topologica) dentro un blocco di ghiaccio più grande, usando la temperatura come strumento.

3. La Bussola: Il "Pfaffiano" come Misuratore di Vibrazioni

Per sapere in quale dei 8 stati si trova il sistema, gli autori hanno calcolato una quantità matematica complessa chiamata Pfaffiano.
Immagina il Pfaffiano come un orologio musicale che suona una nota specifica.

• Se il sistema è nello stato 0, l'orologio suona "Do".
• Se è nello stato 4, suona "Fa".
• E così via per gli altri 8 stati.

Il calcolo è difficile perché coinvolge milioni di numeri, ma gli autori hanno dimostrato che, se si usa la griglia giusta e si aspetta che la griglia diventi piccolissima (il "limite continuo"), l'orologio smette di suonare note confuse e si blocca perfettamente su una delle 8 note giuste.

4. La Verifica: Dalla Teoria alla Realtà

Gli autori hanno fatto due cose:

1. Matematica pura: Hanno calcolato le note per forme semplici come il Torus (una ciambella) e la Bottiglia di Klein, dimostrando che la formula funziona.
2. Simulazione al computer: Hanno fatto girare il programma su computer potenti per forme più strane, come il Piano Proiettivo Reale (una superficie che non può esistere nel nostro mondo 3D senza attraversarsi) e il Nastro di Möbius.

Il risultato? Funziona perfettamente.
Anche quando la griglia è piccola e "sgraziata" (come negli angoli di un nastro di Möbius), il calcolo al computer riesce a trovare la nota giusta. È come se, anche se provi a suonare un violino con corde di gomma, se sai come accordarlo, riesci a sentire la nota perfetta.

Perché è importante?

Questo lavoro è fondamentale perché ci dà un modo per simulare al computer fenomeni fisici che prima erano solo teoria.

• Ci aiuta a capire la materia oscura o i superconduttori esotici.
• Apre la strada a computer quantistici più stabili.
• Dimostra che possiamo "costruire" universi strani (con topologie non orientabili) dentro un computer e studiarli senza perdere la loro essenza magica.

In sintesi: gli autori hanno costruito un ponte sicuro tra il mondo continuo e perfetto della teoria e il mondo digitale e "a scatti" dei computer, permettendoci di contare e misurare le forme segrete dell'universo quantistico con una precisione incredibile.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del documento "How to formulate the Z8 topological invariant of Majorana fermion on the lattice" di Sho Araki et al., presentata in italiano.

Titolo: Formulazione dell'invariante topologico Z8 per fermioni di Majorana sul reticolo

1. Il Problema

Nella teoria quantistica dei campi (QFT), gli invarianti topologici e le anomalie associate sono fondamentali per comprendere fenomeni non perturbativi come istantoni, fasi SPT (Symmetry Protected Topological) e anomalie.

• Limiti attuali: Nella teoria di campo sul reticolo (Lattice Gauge Theory), la proprietà di continuità è assente, rendendo difficile la definizione diretta di topologia. Sebbene l'indice di Atiyah-Singer (valore in $\mathbb{Z}$) sia stato formulato con successo per fermioni chirali tramite l'operatore di Dirac di Overlap e la relazione di Ginsparg-Wilson, queste metodologie non coprono tutti gli invarianti topologici.
• La lacuna specifica: Esistono sistemi fermionici, in particolare fermioni di Majorana in 2D con simmetria di riflessione su varietà non orientabili, caratterizzati da invarianti topologici con valori in $\mathbb{Z}_8$ (invariante di Arf-Brown-Kervaire o ABK). Questi non possono essere espressi come indici di operatori di Dirac standard e richiedono la considerazione di varietà non orientabili (come la bottiglia di Klein o il piano proiettivo reale), dove le relazioni di simmetria chirale standard spesso falliscono.

2. Metodologia

Gli autori propongono una formulazione diretta dell'invariante ABK sul reticolo utilizzando fermioni di Wilson massivi, senza fare affidamento sulla simmetria chirale esatta o sulla relazione di Ginsparg-Wilson.

• Approccio basato sull'integrale di percorso: Invece di contare gli zeri dell'operatore di Dirac, gli autori calcolano direttamente la funzione di partizione del sistema di fermioni di Majorana.
• Operatore di Wilson: Viene utilizzato l'operatore di Dirac di Wilson massivo ($D_W(m)$). La funzione di partizione su una varietà $X$ è data dal Pfaffiano di una matrice finita:
  $$Z(X, s; m) = \text{Pf}(C D_W(m))$$
  dove $C$ è la matrice di coniugazione di carica.
• Definizione dell'invariante: L'invariante $\beta_{latt}$ è estratto dalla fase complessa del rapporto tra la funzione di partizione con massa negativa e quella con massa positiva (usando un regolarizzatore di Pauli-Villars per definire la fase di riferimento):
  $$\frac{\text{Pf}(C D_W(m))}{\text{Pf}(C D_W(|m|))} \propto \exp\left(i \frac{2\pi}{8} \beta_{latt}\right)$$
• Costruzione delle varietà: Per studiare varietà non orientabili, gli autori implementano condizioni al contorno "twistate" (che invertono l'orientazione) sull'identificazione dei bordi del reticolo quadrato. Vengono costruite:
  • Toro: Identificazione standard dei bordi.
  • Bottiglia di Klein: Identificazione di un bordo con inversione di orientazione.
  • Piano Proiettivo Reale ($RP^2$): Identificazione twistata su entrambi gli assi.
  • Nastro di Möbius: Realizzato come varietà aperta utilizzando un termine di massa a "muro di dominio" (domain-wall mass term) che cambia segno all'interno della geometria.
• Strutture Pin$^-$: Viene prestata particolare attenzione alla scelta delle condizioni al contorno per i fermioni, che corrispondono alle diverse strutture Pin$^-$ (analoghe alle strutture spin per varietà non orientabili), cruciali per la definizione corretta dell'invariante.

3. Risultati Chiave

Lo studio combina calcoli analitici (basati sullo spettro degli autovalori in spazio dei momenti) e verifiche numeriche dirette del Pfaffiano.

• Calcolo Analitico (Toro e Bottiglia di Klein):

  • Per il Toro, l'invariante è non banale ($\beta=4$) solo per la struttura Pin$^-$ periodica-periodica ($PP$) con massa negativa. Per le altre strutture, $\beta=0$.
  • Per la Bottiglia di Klein, l'analisi degli autovalori mostra che, nel limite di massa grande e continuo, la fase si quantizza. Si ottiene $\beta = \mp 2$ per le strutture $P\pm$ e $\beta=0$ per $A\pm$.
  • I calcoli mostrano che a volume finito $\beta_{latt}$ non è un intero esatto, ma converge rapidamente all'intero corretto al diminuire del passo reticolare ($a \to 0$).

• Verifica Numerica:

  • Gli autori hanno calcolato numericamente il Pfaffiano per diverse dimensioni del reticolo ($N \times N$) e diverse topologie.
  • I risultati confermano che $\beta_{latt}$ si stabilizza su valori interi discreti già per dimensioni moderate ($N \sim 10$).
  • Confronto con la teoria continua: I valori ottenuti per il Toro, la Bottiglia di Klein, il Piano Proiettivo Reale ($RP^2$) e il Nastro di Möbius coincidono perfettamente con le previsioni della teoria continua.
  • In particolare, per il Nastro di Möbius (varietà aperta), la costruzione tramite muro di dominio ha correttamente riprodotto i due possibili valori $\beta = \pm 1$.

4. Contributi Principali

1. Formulazione Lattice di $\mathbb{Z}_8$: Prima formulazione esplicita e verificata numericamente dell'invariante ABK ($\mathbb{Z}_8$) per fermioni di Majorana su reticolo, superando la limitazione degli indici chirali standard.
2. Gestione delle Varietà Non Orientabili: Sviluppo di un metodo robusto per implementare varietà non orientabili (Klein, $RP^2$) e strutture Pin$^-$ su un reticolo quadrato standard, utilizzando condizioni al contorno di riflessione.
3. Metodo del Muro di Dominio: Dimostrazione che l'uso di termini di massa a muro di dominio permette di trattare varietà con bordo (come il nastro di Möbius) e di estrarre l'invariante topologico dal flusso di anomalie ai bordi.
4. Indipendenza dalla Simmetria Chirale: Conferma che è possibile catturare invarianti topologici complessi utilizzando fermioni di Wilson massivi, senza necessità di operatori di Dirac che soddisfino la relazione di Ginsparg-Wilson.

5. Significato e Prospettive

• Validazione Teorica: Il lavoro fornisce una conferma numerica solida della classificazione delle fasi SPT fermioniche in 2D con simmetria di riflessione, collegando direttamente la fisica del reticolo alla teoria dei campi continui.
• Strumento per Teorie Interagenti: Sebbene lo studio si concentri su fermioni liberi, la formulazione proposta offre uno strumento non perturbativo per investigare teorie interagenti. Ad esempio, potrebbe essere usato per studiare la trivializzazione della fase SPT quando il numero di fermioni è multiplo di 8 (caso in cui l'anomalia può essere cancellata dalle interazioni).
• Estendibilità: Gli autori suggeriscono che questo approccio potrebbe essere esteso per catturare invarianti $\mathbb{Z}_{16}$ in 4D per fermioni di Majorana con strutture Pin$^+$, aprendo la strada allo studio di fenomeni topologici in dimensioni superiori e in sistemi con simmetrie discrete complesse.

In sintesi, questo lavoro colma un divario significativo nella teoria di campo sul reticolo, fornendo un metodo pratico e verificato per calcolare invarianti topologici $\mathbb{Z}_8$ in contesti non orientabili, fondamentali per la fisica della materia condensata e la teoria delle stringhe.