Towers of Operators in CFTs and Convexity Bounds at Large Charge

Resumen Técnico: Torres de Operadores en CFTs y Límites de Convexidad a Gran Carga

Planteamiento del Problema
Este artículo investiga las dimensiones de escala de los operadores en Teorías de Campo Conformes (CFTs) que portan grandes cargas globales. Específicamente, se centra en CFTs 3d con espacios de módulos donde una simetría global continua se rompe espontáneamente. En tales teorías, la dimensión de escala mínima $\Delta_{\min}(Q)$ en un sector de carga $Q$ sigue una expansión de gran carga:
$$\Delta_{\min}(Q) = \alpha_1 Q + \alpha_0 + O(1/Q)$$
Los autores pretenden determinar si los coeficientes $\alpha_1$ y $\alpha_0$ están sujetos a límites universales motivados por el programa del pantano holográfico (holographic swampland), particularmente la Conjetura de la Gravedad Débil (WGC). Si bien la WGC sugiere una condición de "convexidad" para los operadores cargados, los límites precisos sobre el coeficiente subdominante $\alpha_0$ y la pendiente dominante $\alpha_1$ en CFTs generales (especialmente aquellas con menos de cuatro supercargas) aún no han sido establecidos rigurosamente.

Metodología
El artículo emplea dos enfoques metodológicos principales:

1. Teoría de Campo Efectiva (EFT) del Espacio de Módulos y Expansión de Gran Carga: Los autores utilizan la correspondencia estado-operador para mapear el problema a una geometría de cilindro ($\mathbb{R} \times S^2$). Se expanden alrededor de un punto de silla helicoidal homogéneo que representa el estado de gran carga. El coeficiente dominante $\alpha_1$ se deriva de la energía clásica del punto de silla, mientras que $\alpha_0$ surge de la energía de Casimir de un bucle de las fluctuaciones cuadráticas alrededor de dicho punto de silla.
2. Computaciones Explícitas en Límites de Doble Escala: Para probar límites generales y computar valores específicos, los autores analizan varias teorías 3d $\mathcal{N}=1$ utilizando:
   • La expansión $\epsilon$ cerca de las $d=4$ dimensiones.
   • Límites de $N_f$ grande y $N$ grande.
   • Modelos específicos incluyen $SO(N) \times SO(N)$, modelos de Wess-Zumino $SO(3)$, $SQED$y$SU(2)$ SQCD.
3. Pruebas Variacionales: Para la prueba general de los límites, los autores analizan el Hamiltoniano de fluctuación cuadrática de la EFT. Utilizan principios variacionales para comparar la verdadera energía del estado fundamental contra un Hamiltoniano de referencia para establecer el signo de la contribución de la energía de Casimir.

Contribuciones Clave y Resultados

1. Computaciones de $\alpha_1$ y $\alpha_0$
Los autores proporcionan las primeras computaciones directas del coeficiente subdominante $\alpha_0$ en varias teorías 3d $\mathcal{N}=1$ (en lugar de depender únicamente de la continuación de la expansión $\epsilon$).

• Modelo $SO(N) \times SO(N)$: En el límite de $N$ grande, $\alpha_1 = \sqrt{(Q_x^2 + Q_y^2)/2}$ y $\alpha_0$ se expresa en términos de una función de determinante regulada $\xi(x)$, la cual resulta ser no positiva.
• **Modelo $SO(3)$:**$\alpha_1 = 1 - \epsilon/2$y$\alpha_0 = -1/16$.
• $SQED$ (Gran $N_f$): El resultado de orden dominante arroja $\alpha_0 = 0$, consistente con el límite de la teoría libre donde la energía de Casimir se anula.
• $SU(2)$ SQCD: Los autores computan las contribuciones escalar y de fermiones a $\alpha_0$ en términos de un coeficiente de Wilson $c$. Encuentran que para el límite de $N_f$ grande ($c \approx 1$), la contribución de los fermiones se anula, y la contribución escalar es negativa ($\alpha_0 \approx -0.556$).

2. Prueba del Límite de Convexidad Proyectado ($\alpha_0 \leq 0$)
Motivados por la Conjetura de Convexidad de la CFT (CCC), que requiere $\Delta_{\min}(Q_1 + Q_2) \geq \Delta_{\min}(Q_1) + \Delta_{\min}(Q_2)$, la forma asintótica implica $\alpha_0 \leq 0$.

• Observable Proyectado: Los autores definen una dimensión mínima "proyectada" $\Delta^{(n)}_{\min}(Q)$ donde solo se fija la carga a lo largo de un generador de Cartan específico $T_n$, mientras que las cargas en direcciones ortogonales se minimizan.
• Teorema Principal: Prueban que para este observable proyectado, el coeficiente de un bucle satisface $\alpha^{(n)}_0 \leq 0$.
  • La prueba se basa en demostrar que, para el punto de silla que minimiza la dimensión proyectada, la matriz de masa $M$ de las fluctuaciones transversales es semidefinida positiva ($M \geq 0$).
  • Utilizando un argumento variacional, demuestran que si $M \geq 0$, la contribución escalar a la energía de Casimir es no positiva. Combinando esto con las contribuciones no positivas conocidas de fermiones y campos de gauge, se establece el límite.
• Limitación: Los autores muestran explícitamente que esta prueba no se extiende al problema del "rayo de carga fija" (donde el vector de carga completo está fijo). Construyen un contraejemplo de EFT de dos derivadas donde un rayo de carga fija produce $\alpha_0 > 0$, indicando que la conjetura de convexidad más fuerte no puede probarse usando solo la EFT de espacio de módulos sin entrada UV adicional.

3. Ausencia de Límites Universales en $\alpha_1$
El artículo argumenta que no existe un límite universal sobre el coeficiente dominante $\alpha_1$ (más allá del trivial $\alpha_1 \geq 0$).

• Sensibilidad a la Normalización de la Carga: Se muestra que el valor de $\alpha_1$ es altamente sensible a la elección de la red de carga y la normalización del generador $U(1)$.
• Contraejemplos:
  • Gaugar un subgrupo finito $\mathbb{Z}_N \subset U(1)$ puede aumentar arbitrariamente $\alpha_1$ por un factor de $N$.
  • Elegir una dirección primitiva en una red multi-$U(1)$ (por ejemplo, $Q = aQ_x + bQ_y$ con $a, b$ grandes) puede disminuir arbitrariamente $\alpha_1$.
• Pendiente Normalizada: Los autores consideran una pendiente normalizada $\hat{\alpha}_1 = \alpha_1 \sqrt{C_J/C_T}$ (que involucra las funciones de dos puntos de la corriente y del tensor de energía) para mitigar los problemas de normalización. Aunque esto elimina los efectos de la red discreta, encuentran que no hay evidencia de un límite superior universal para $\hat{\alpha}_1$, y señalan que esta normalización oscurece la interpretación geométrica directa de la separación de escalas.

Significado
El artículo afirma proporcionar un límite de CFT concreto y demostrable motivado por el programa del pantano holográfico. Específicamente, establece que la dimensión de escala proyectada de las torres de gran carga en CFTs 3d con espacios de módulos debe satisfacer $\alpha_0 \leq 0$. Este resultado es significativo porque se deriva directamente utilizando herramientas de CFT (EFT de gran carga y métodos variacionales) en lugar de depender de suposiciones de dualidad holográfica.

Sin embargo, los autores son modestos respecto al alcance de este resultado. Enfatizan que el límite se aplica al observable proyectado, no necesariamente a cada rayo de carga fija, y que la conjetura de convexidad de rayo fijo más fuerte permanece sin probar o es potencialmente falsa en las EFTs generales. Además, el artículo aclara que la pendiente dominante $\alpha_1$ no es un diagnóstico robusto para la separación de escalas en el sentido del pantano debido a su dependencia de las elecciones de la red de carga discreta. El trabajo así delimita los límites precisos de lo que se puede probar sobre las torres de gran carga utilizando los métodos actuales de EFT.