Towers of Operators in CFTs and Convexity Bounds at Large Charge

Sintesi Tecnica: Torri di Operatori nelle CFT e Limiti di Convessità ad Alta Carica

Enunciato del Problema
Questo articolo investiga le dimensioni di scala degli operatori in Teorie di Campo Conforme (CFT) che portano grandi cariche globali. Nello specifico, si concentra su CFT tridimensionali con spazi moduli in cui una simmetria globale continua è spontaneamente rotta. In tali teorie, la dimensione di scala minima $\Delta_{\min}(Q)$ in un settore di carica $Q$ segue un'espansione a grande carica:
$$\Delta_{\min}(Q) = \alpha_1 Q + \alpha_0 + O(1/Q)$$
Gli autori mirano a determinare se i coefficienti $\alpha_1$ e $\alpha_0$ siano soggetti a limiti universali motivati dal programma dello swampland olografico, in particolare la Weak Gravity Conjecture (WGC). Sebbene la WGC suggerisca una condizione di "convessità" per gli operatori carichi, i vincoli precisi sul coefficiente sub-leader $\alpha_0$ e sul coefficiente principale $\alpha_1$ nelle CFT generali (specialmente quelle con meno di quattro supercariche) non sono ancora stati rigorosamente stabiliti.

Metodologia
Il saggio impiega due approcci metodologici primari:

1. Teoria di Campo Effettiva (EFT) dello Spazio Moduli e Espansione a Grande Carica: Gli autori utilizzano la corrispondenza stato-operatore per mappare il problema su una geometria cilindrica ($\mathbb{R} \times S^2$). Si espandono attorno a un punto di sella omogeneo ed elicoidale che rappresenta lo stato a grande carica. Il coefficiente principale $\alpha_1$ è derivato dall'energia classica del punto di sella, mentre $\alpha_0$ deriva dall'energia Casimir a un loop delle fluttuazioni quadratiche attorno a tale sella.
2. Computazioni Esplicite in Limiti di Doppia Scala: Per testare i limiti generali e computare valori specifici, gli autori analizzano diverse teorie $\mathcal{N}=1$ in 3d utilizzando:
   • L'espansione $\epsilon$ vicino alle dimensioni $d=4$.
   • Limiti di grande $N_f$ e grande $N$.
   • Modelli specifici tra cui $SO(N) \times SO(N)$, modelli di Wess-Zumino $SO(3)$, $SQED$e$SU(2)$ SQCD.
3. Dimostrazioni Variazionali: Per la dimostrazione generale dei limiti, gli autori analizzano l'Hamiltoniana delle fluttuazioni quadratiche dell'EFT. Utilizzano principi variazionali per confrontare l'energia dello stato fondamentale vero rispetto a un'Hamiltoniana di riferimento per stabilire il segno del contributo dell'energia Casimir.

Contributi Chiave e Risultati

1. Computazioni di $\alpha_1$ e $\alpha_0$
Gli autori forniscono le prime computazioni dirette del coefficiente sub-leader $\alpha_0$ in diverse teorie $\mathcal{N}=1$ in 3d (anziché affidarsi esclusivamente alla continuazione dell'espansione $\epsilon$).

• Modello $SO(N) \times SO(N)$: Nel limite di grande $N$, $\alpha_1 = \sqrt{(Q_x^2 + Q_y^2)/2}$ e $\alpha_0$ è espresso in termini di una funzione determinante regolata $\xi(x)$, che si rivela essere non-positiva.
• **Modello $SO(3)$:**$\alpha_1 = 1 - \epsilon/2$e$\alpha_0 = -1/16$.
• $SQED$ (Grande $N_f$): Il risultato all'ordine principale fornisce $\alpha_0 = 0$, coerente con il limite della teoria libera dove l'energia Casimir svanisce.
• $SU(2)$ SQCD: Gli autori computano i contributi scalari e fermionici a $\alpha_0$ in termini di un coefficiente di Wilson $c$. Riscontrano che per il limite di grande $N_f$ ($c \approx 1$), il contributo fermionico svanisce e il contributo scalare è negativo ($\alpha_0 \approx -0.556$).

2. Dimostrazione del Limite di Convessità Proiettato ($\alpha_0 \leq 0$)
Motivati dalla CFT Convexity Conjecture (CCC), che richiede $\Delta_{\min}(Q_1 + Q_2) \geq \Delta_{\min}(Q_1) + \Delta_{\min}(Q_2)$, la forma asintotica implica $\alpha_0 \leq 0$.

• Osservabile Proiettato: Gli autori definiscono una dimensione minima "proiettata" $\Delta^{(n)}_{\min}(Q)$ dove solo la carica lungo un generatore di Cartan specifico $T_n$ è fissata, mentre le cariche nelle direzioni ortogonali sono minimizzate.
• Teorema Principale: Dimostrano che per questo osservabile proiettato, il coefficiente a un loop soddisfa $\alpha^{(n)}_0 \leq 0$.
  • La dimostrazione si basa sul mostrare che, per il punto di sella che minimizza la dimensione proiettata, la matrice di massa $M$ delle fluttuazioni trasversali è semi-definita positiva ($M \geq 0$).
  • Utilizzando un argomento variazionale, dimostrano che se $M \geq 0$, il contributo scalare all'energia Casimir è non-positivo. Combinando questo con i contributi noti non-positivi da fermioni e campi di gauge, si stabilisce il limite.
• Limitazione: Gli autori mostrano esplicitamente che questa dimostrazione non si estende al problema della "carica-raggio fissata" (dove l'intero vettore di carica è fissato). Costruiscono un controesempio EFT a due derivate in cui un raggio di carica fissato produce $\alpha_0 > 0$, indicando che la più forte congettura di convessità non può essere dimostrata usando solo l'EFT dello spazio moduli senza input UV aggiuntivi.

3. Assenza di Limiti Universali su $\alpha_1$
L'articolo sostiene che non esiste un limite universale sul coefficiente principale $\alpha_1$ (oltre al banale $\alpha_1 \geq 0$).

• Sensibilità alla Normalizzazione della Carica: Si mostra che il valore di $\alpha_1$ è altamente sensibile alla scelta del reticolo di carica e alla normalizzazione del generatore $U(1)$.
• Controesempi:
  • Gauging di un sottogruppo finito $\mathbb{Z}_N \subset U(1)$ può aumentare arbitrariamente $\alpha_1$ di un fattore $N$.
  • Scegliere una direzione primitiva in un reticolo multi-$U(1)$ (ad esempio, $Q = aQ_x + bQ_y$ con $a, b$ grandi) può diminuire arbitrariamente $\alpha_1$.
• Pendenza Normalizzata: Gli autori considerano una pendenza normalizzata $\hat{\alpha}_1 = \alpha_1 \sqrt{C_J/C_T}$ (che coinvolge le funzioni di correlazione a due punti di corrente e tensore energia-impulso) per mitigare i problemi di normalizzazione. Sebbene ciò rimuova gli effetti del reticolo discreto, riscontrano che non vi è evidenza di un limite superiore universale per $\hat{\alpha}_1$, e notano che questa normalizzazione oscura l'interpretazione geometrica diretta della separazione di scala.

Significatività
Il saggio sostiene di fornire un limite concreto e dimostrabile per le CFT, motivato dal programma dello swampland olografico. Nello specifico, stabilisce che la dimensione di scala proiettata delle torri di grandi cariche in 3d CFT con spazi moduli deve soddisfare $\alpha_0 \leq 0$. Questo risultato è significativo perché è derivato direttamente utilizzando strumenti di CFT (EFT a grande carica e metodi variazionali) piuttosto che affidarsi ad assunzioni di dualità olografica.

Tuttavia, gli autori sono modesti riguardo all'ambito di questo risultato. Enfatizzano che il limite si applica all'osservabile proiettato, non necessariamente a ogni raggio di carica fissata, e che la più forte congettura di convessità del raggio fisso rimane non dimostrata e potenzialmente falsa in EFT generali. Inoltre, il saggio chiarisce che la pendenza principale $\alpha_1$ non è un diagnostico robusto per la separazione di scala nel senso dello swampland a causa della sua dipendenza dalle scelte del reticolo di carica discreto. Il lavoro delinea così i limiti precisi di ciò che può essere dimostrato riguardo alle torri di grandi cariche utilizzando gli attuali metodi EFT.