Wilson loops in ABJM theory reloaded

1. Il Problema

Il lavoro si concentra sul calcolo esatto dei loop di Wilson supersimmetrici nella teoria di campo conforme supersimmetrica tridimensionale nota come teoria ABJM (Aharony-Bergman-Jafferis-Maldacena). Questa teoria descrive due teorie di Chern-Simons supersimmetriche con gruppo di gauge $U(N)$ e livelli opposti $k$ e $-k$, accoppiate a materia in rappresentazione bifundamentale.

Il problema centrale affrontato è la discrepanza storica tra i risultati numerici ad alta precisione e le previsioni analitiche basate sull'approssimazione semiclassica per i loop di Wilson 1/6 BPS (che preservano 4 delle 24 superconformità).

• Contesto: Esistono due regimi principali: il limite di grande $N$ con $k$ fisso (regime M-teoria) e il limite di grande $k$ con $N/k$ fisso (regime stringa).
• La Discrepanza: Studi precedenti hanno mostrato che, mentre l'approssimazione semiclassica (sviluppata tramite l'approccio del gas di Fermi) riproduceva perfettamente la funzione di partizione $Z(N, k)$, falliva nel descrivere i loop di Wilson per numeri di avvolgimento $n \ge 2$. In particolare, la parte perturbativa del loop di Wilson calcolata numericamente differiva dall'espressione semiclassica derivata in lavori precedenti [27].
• Limitazione Semiclassica: L'approssimazione semiclassica assume che il parametro $k$ sia grande (o che si possa espandere in potenze di $1/k$). Tuttavia, l'integrale di localizzazione che definisce il loop di Wilson è ben definito solo per $k > 2n$. Per $k \le 2n$, l'integrale diverge, rendendo problematica l'estensione analitica dal regime di debole accoppiamento ($k$ grande) a valori interi di $k$ piccoli o intermedi senza incontrare singolarità.

2. Metodologia

Gli autori sviluppano una nuova tecnica esatta basata sull'approccio del gas di Fermi e sulla formalizzazione di Tracy-Widom, evitando l'uso di espansioni semiclassiche.

• Rappresentazione Operatoriale: I loop di Wilson sono espressi in termini della risolvente di un operatore integrale $\rho$ che appare anche nella funzione di partizione della teoria su una sfera tridimensionale ($S^3$). La funzione generatrice dei loop di Wilson $W_n(z, k)$ è scritta come una traccia di un operatore che coinvolge la risolvente $(1 + z\rho)^{-1}$.
• Funzione Ausiliaria $\psi(x|z)$: Viene introdotta una funzione ausiliaria $\psi(x|z)$, definita come elemento di matrice della risolvente. Questa funzione soddisfa un'equazione di tipo Baxter (un'equazione alle differenze finite):
  $$\psi(x + i\pi k | z) + \psi(x - i\pi k | z) = z \chi(x) \psi(x | z)$$
  dove $\chi(x) = 1/(2\cosh(x/2))$.
• Relazioni Funzionali Esatte: Sfruttando le proprietà analitiche di $\psi(x|z)$ (periodicità, simmetrie di parità, relazioni di Wronskiano), gli autori derivano un sistema di relazioni esatte che collegano i valori speciali della funzione $\psi$ (sull'asse immaginario) alla energia libera $F(z)$ (definita come il logaritmo del rapporto tra determinanti di Fredholm $\Xi(z, k)/\Xi(-z, k)$).
• Condizioni di Quantizzazione: Per determinare la fase della funzione $\psi$, vengono imposte condizioni di consistenza (condizioni di quantizzazione) che dipendono dalla parità di $k$ (pari o dispari). Queste condizioni permettono di esprimere la fase $\Phi(z)$ e il modulo $r(z)$ di $\psi$ in termini della funzione libera $F(z)$.

3. Risultati Chiave

Il lavoro porta a risultati esatti e chiusi per i loop di Wilson validi per qualsiasi valore intero di $N$ e $k$:

1. Espressioni Esatte per le Funzioni Generatrici:
   Viene ottenuta una formula chiusa per la funzione generatrice dei loop di Wilson $W_n(z, k)$ in termini della funzione libera $F(z)$ e di una fase $\Phi(z)$ determinata da equazioni algebriche.
   Per $n=1$ e $k=4$, il risultato per il loop 1/2 BPS assume una forma particolarmente elegante:
   $$W^{1/2}_{n=1}(z) = \frac{1}{2} \sqrt{z - 4 + 4 e^{-2F(z)}}$$
   Per $k > 4$ e $n=1, 2$, esistono relazioni ricorsive che legano i loop di diversi numeri di avvolgimento.

2. Risoluzione della Discrepanza Semiclassica:
   Le nuove formule esatte, quando sviluppate per $k$ grande, riproducono esattamente l'espansione di debole accoppiamento corretta. Questo conferma che la discrepanza osservata in precedenza non era un errore numerico, ma un fallimento dell'approssimazione semiclassica nel catturare le correzioni non perturbative e le singolarità strutturali presenti a $k$ finito. L'analisi mostra che l'estensione analitica dal regime $k \to \infty$ a $k$ intero è ostacolata da singolarità che l'approccio WKB non riesce a gestire correttamente senza la struttura esatta fornita dalle equazioni di Tracy-Widom.

3. Confronto con i Dati Numerici:
   I risultati analitici derivati sono in perfetto accordo con i dati numerici ad alta precisione ottenuti in studi precedenti [28] per un'ampia gamma di parametri $N$ e $k$, risolvendo definitivamente il problema aperto.

4. Regimi Asintotici:

   • Grande $k$ (Debole accoppiamento): Le formule riproducono l'espansione in serie di $1/k$.
   • Grande $N$ a $k$ fisso: I risultati coincidono con le previsioni numeriche, fornendo una descrizione non perturbativa completa.

4. Significato e Impatto

Questo lavoro rappresenta un avanzamento significativo nella comprensione delle teorie di gauge supersimmetriche tridimensionali:

• Metodologico: Dimostra che l'approccio di Tracy-Widom, applicato al formalismo del gas di Fermi, è uno strumento potente per ottenere risultati esatti in teorie di campo non perturbative, superando i limiti delle espansioni semiclassiche.
• Fisico: Risolve un mistero di lunga data nella teoria ABJM, fornendo la formula esatta per i loop di Wilson 1/6 BPS. Questo è cruciale per la comprensione della dualità AdS/CFT, in quanto i loop di Wilson corrispondono a stringhe o membrane nello spazio duale.
• Strutturale: Rivela una connessione profonda e sorprendente tra le funzioni generatrici dei loop di Wilson e l'energia libera della teoria (o la funzione di partizione), suggerendo che osservabili complessi possono essere determinati interamente da quantità termodinamiche di base quando si utilizza la struttura matematica corretta (determinanti di Fredholm e equazioni integrabili).
• Futuro: Il metodo sviluppato apre la strada al calcolo di altri osservabili, come i loop di Wilson "latitude" o in presenza di deformazioni (masse reali, squashing della sfera), e potrebbe essere applicato ad altre teorie di gauge supersimmetriche in diverse dimensioni.

In sintesi, il paper fornisce una soluzione analitica completa e rigorosa per i loop di Wilson nella teoria ABJM, colmando il divario tra teoria semiclassica, dati numerici e la struttura matematica sottostante delle teorie integrabili.