The emergence of (3+1)-dimensional expanding spacetime from complex Langevin simulations of the Lorentzian type IIB matrix model with deformations

1. Il Problema e il Contesto

Il modello di matrice di tipo IIB (noto anche come modello IKKT) è un candidato promettente per una formulazione non perturbativa della teoria delle superstringhe. In questo modello, lo spaziotempo, i campi di gauge e i campi di materia emergono dinamicamente nel limite di grande $N$ (dove $N$ è la dimensione delle matrici $N \times N$).

Il problema centrale affrontato in questo lavoro è la simulazione numerica della versione Lorentziana del modello.

• Problema del segno: La versione Lorentziana presenta un severo "problema del segno" (sign problem) dovuto al fattore $e^{iS}$ nell'integrale di percorso, che rende inefficaci i metodi di Monte Carlo tradizionali.
• Limiti delle approssimazioni precedenti: Studi precedenti hanno suggerito l'emergere di uno spaziotempo espansivo (3+1)-dimensionale, ma spesso basandosi su approssimazioni che introducevano strutture singolari o artefatti, non riuscendo a dimostrare una geometria liscia e reale.
• Problema della deriva singolare: L'applicazione diretta del metodo di Langevin complesso (CLM) fallisce a causa di derive singolari (singular drift) causate dagli autovalori vicini allo zero della matrice Pfaffiana (derivante dall'integrazione sui fermioni), portando a una convergenza errata.

2. Metodologia

Gli autori utilizzano il Metodo di Langevin Complesso (Complex Langevin Method - CLM) per superare il problema del segno, implementando diverse tecniche avanzate per stabilizzare la simulazione:

• Deformazione con termine di massa Lorentz-invariante: Per evitare l'equivalenza con il modello Euclideo (che produrrebbe uno spaziotempo complesso e non fisico), viene aggiunto un termine di massa Lorentz-invariante all'azione: $S_\gamma = -\frac{N}{2}\gamma \text{Tr}(A_\mu A^\mu)$ con $\gamma > 0$. Questo rompe l'equivalenza con il caso Euclideo e permette soluzioni classiche reali espansive.
• Gestione della deriva singolare (Deformazione SUSY): Per evitare la deriva singolare del CLM dovuta al Pfaffiano, viene introdotto un termine di massa fermionica ($S_{mf}$) che sposta gli autovalori della matrice $M(A)$ lontano dall'origine.
• Deformazione anisotropa ispirata alla SUSY: Poiché un termine di massa fermionica grande ($m_f \to \infty$) sopprime completamente i contributi fermionici (rendendo il modello puramente bosonico), gli autori introducono una deformazione anisotropa nel termine di massa bosonico (ispirata alla deformazione SUSY del modello polarizzato). Questo termine sopprime le fluttuazioni di $9-\tilde{d}$ direzioni spaziali, permettendo di controllare le fluttuazioni quantistiche e mantenere la simmetria Lorentziana residua $SO(\tilde{d}, 1)$.
• Rimozione degli artefatti di Boost Lorentziano: Poiché la simmetria Lorentziana non è fissata nella simulazione, le configurazioni subiscono "boost" casuali. Gli autori implementano un algoritmo iterativo per minimizzare la traccia $\text{Tr}(A_0^\dagger A_0)$ tramite trasformazioni di Lorentz, rimuovendo così l'artefatto e permettendo l'analisi corretta dell'evoluzione temporale.
• Stabilizzazione Dinamica: Viene applicata una procedura di stabilizzazione ($A_i \to A_i + \eta A_i^\dagger / (1+\eta)$) dopo ogni passo di Langevin per mantenere le matrici vicine all'essere hermitiane.

3. Contributi Chiave

• Simulazione su larga scala: Esecuzione di simulazioni CLM con dimensioni delle matrici fino a $N=128$, superando i limiti computazionali precedenti.
• Nuova strategia di deformazione: L'uso combinato di un termine di massa Lorentz-invariante positivo e di una deformazione anisotropa ispirata alla SUSY per stabilizzare il CLM in presenza di fermioni, senza perdere completamente l'effetto della supersimmetria.
• Protocollo di rimozione del Boost: Una procedura sistematica per eliminare gli artefatti di boost Lorentziano dalle configurazioni simulate, essenziale per interpretare correttamente la dinamica temporale.

4. Risultati Principali

Le simulazioni hanno portato alle seguenti scoperte fondamentali:

1. Emergenza di Spaziotempo (3+1)-Dimensionale: Nel regime con deformazione SUSY (specificamente con parametri $N=128, \gamma=4, m_f=6, \tilde{d}=5, \xi=12$), il modello mostra una rottura spontanea di simmetria (SSB) da $SO(9)$a$SO(3)$. Tre delle nove direzioni spaziali iniziano ad espandersi dinamicamente, mentre le altre rimangono compatte.
2. Realtà e Liscezza dello Spaziotempo:
   • Tempo Reale: La distribuzione degli autovalori della matrice temporale $A_0$ diventa parallela all'asse reale a tempi tardivi, indicando l'emergere di un tempo reale (fase $\theta(t) \approx 0$).
   • Spazio Reale e Liscio: La fase dello spazio $\theta_s(t)$ tende a zero (invece di $\pi/8$ come nel caso Euclideo). Inoltre, la distribuzione radiale dei punti nello spazio (autovalori di $Q(t)$) è densa e non presenta la struttura singolare (tipica delle matrici di Pauli) osservata in studi precedenti con approssimazioni.
3. Ruolo dei Fermioni: Nel modello puramente bosonico (o con $m_f$ molto grande), la simmetria rotazionale $SO(9)$ rimane intatta (nessuna espansione preferenziale). L'introduzione dei contributi fermionici (tramite la deformazione) è cruciale per innescare la rottura di simmetria e l'espansione (3+1)-dimensionale.
4. Struttura a Banda: Le matrici spaziali $A_i$ mostrano una struttura a banda diagonale, confermando la coerenza della definizione di evoluzione temporale estratta dalle configurazioni.

5. Significato e Implicazioni

Questo lavoro rappresenta un passo significativo verso la comprensione della cosmologia emergente nella teoria delle stringhe non perturbativa:

• Validazione del Modello Lorentziano: Dimostra che il modello di matrice di tipo IIB Lorentziano, se trattato correttamente senza approssimazioni singolari, può generare dinamicamente un universo (3+1)-dimensionale in espansione, simile al nostro.
• Superamento del Problema del Segno: Conferma l'efficacia del metodo di Langevin complesso, se combinato con opportune deformazioni e tecniche di stabilizzazione, per studiare sistemi con problemi del segno complessi come la QCD o le teorie di stringa.
• Assenza di "String Landscape": Suggerisce che l'universo osservabile potrebbe emergere naturalmente dalla dinamica del modello senza la necessità di parametri aggiuntivi o di un vasto "landscape" di vuoti, risolvendo potenzialmente il problema della selezione del vuoto.
• Prospettive Future: Gli autori sottolineano la necessità di fissare la simmetria Lorentziana non perturbativamente (tramite il procedimento di Faddeev-Popov) e di utilizzare il metodo dei "Lefschetz thimble" per campionare completamente lo spazio delle fasi e confermare che la soluzione (3+1)-dimensionale sia il punto di sella dominante.

In sintesi, il paper fornisce evidenze numeriche robuste che un modello di gravità quantistica basato sulle matrici può spiegare l'origine della dimensionalità e dell'espansione dell'universo, risolvendo problemi tecnici storici legati alla simulazione di teorie Lorentziane.