Entanglement C-functions of defects and interfaces in $\mathcal{N}=4$ supersymmetric Yang-Mills theory

Resumen Técnico: Funciones C de entrelazamiento de defectos e interfaces en la teoría de Yang–Mills supersimétrica $\mathcal{N} = 4$

Planteamiento del Problema
El artículo investiga la monotonicidad de los flujos del grupo de renormalización (RG) en teorías de campos cuánticos (QFT) localizadas en defectos e interfaces. Mientras que los teoremas de monotonicidad (como los teoremas $c$-, $F$- y $a$) establecen que los grados de libertad disminuyen a lo largo de los flujos en teorías de volumen (bulk), la situación es más compleja para los defectos. Específicamente, para defectos de codimensión uno en $d=4$ dimensiones, el coeficiente universal de la entropía de entrelazamiento no es generalmente monotónico. La propuesta de Casini-Salazar Landea-Torroba (CST) sugiere que una "función C" específica, derivada de la entropía relativa de una bola centrada en el defecto, disminuye monotonicamente. Sin embargo, la entropía relativa es difícil de calcular explícitamente.

Los autores se centran en dos escenarios específicos en la teoría de Yang–Mills supersimétrica (SYM) $\mathcal{N}=4$ con grupo de gauge $SU(N_3)$:

1. Defectos: Un defecto plano de codimensión uno que alberga $N_5$ hipermultipletes (realizado por intersecciones de D3/D5-branes).
2. Interfaces: Una interfaz entre dos copias de $\mathcal{N}=4$ SYM con diferentes grupos de gauge, $SU(N_3)$ y $SU(N_3+n_3)$, donde la interfaz porta carga de D3-brane disuelta ($n_3 \neq 0$).

En ambos casos, la simetría conformal se rompe mediante la introducción de una escala de masa $m$ (vía un modo de deslizamiento en $S^5$), lo que desencadena un flujo de RG. El objetivo es calcular la entropía de entrelazamiento holográfica de una región con forma de bola centrada en el defecto/interfaz y evaluar candidatos a funciones C para determinar su monotonicidad e interpretación física como medidas de grados de libertad.

Metodología
Los autores emplean la correspondencia AdS/CFT, trabajando en el límite de sonda (probe limit) donde el número de D5-branes ($N_5$) y la carga de D3-brane disuelta ($n_3$) son paramétricamente pequeños comparados con los D3-branes de fondo ($N_3$). Esto permite despreciar la retroacción (backreaction) de los D5-branes sobre la geometría $AdS_5 \times S^5$.

1. Configuración Holográfica: El sistema se describe mediante $N_5$ probe D5-branes embebidas en el fondo $AdS_5 \times S^5$ originado por $N_3$ D3-branes. El embebido está determinado por los campos del volumen de la superficie (worldvolume), incluyendo un escalar $\theta(z)$ (relacionado con la masa $m$) y un flujo de volumen $F$ (relacionado con la carga $n_3$).
2. Cálculo de la Entropía de Entrelazamiento:
   • Caso Conformal ($m=0$): Los autores utilizan el mapeo de Casini-Huerta-Myers (CHM), que relaciona la entropía de entrelazamiento de una bola en una CFT con la entropía térmica de la teoría en $\mathbb{R} \times H^3$. Calculan la contribución de la probe brane a la energía libre en este espacio hiperbólico y diferencian con respecto a la temperatura.
   • Caso de Flujo de RG ($m \neq 0$): Dado que la teoría ya no es conformal, el mapeo CHM no se aplica directamente. Los autores utilizan el método de entropía gravitacional generalizada para probe branes (basado en la Ref. [44]). Esto implica evaluar la acción on-shell de las probe branes en una geometría deformada y tomar una derivada específica con respecto al parámetro del horizonte $\zeta_H$.
   • Evaluación de Integrales: Un desafío técnico significativo surge de los integrandos singulares en las integrales de volumen (específicamente términos proporcionales a $\cos(2\tau)/(\zeta^2-1)$). Los autores demuestran que el orden de integración importa y que un cambio de variables ingenuo a coordenadas de Poincaré produce un resultado incorrecto a menos que se considere un término de frontera específico, $S_{var}$. Establecen la relación $S_{brane} = S_{brane}^{(Poinc)} - S_{var}$, donde $S_{var}$ es un término de frontera que surge de la dependencia implícita del embebido respecto al parámetro del horizonte.
3. Construcción de la Función C: Utilizando la entropía de entrelazamiento calculada $S_{def}(\ell)$, los autores construyen varias funciones C:
   • La función C de CST: $C(\ell) = (\ell \partial_\ell - 1) S_{def}(\ell)$.
   • Funciones C modificadas ($\tilde{C}$) que restan las contribuciones de la rama de Coulomb.
   • "Funciones A" adaptadas a flujos en cuatro dimensiones (inspiradas en las Refs. [20, 56, 57]), tales como $A_{CTT}$, $A_{LM}$ y $\tilde{A}_{LM}$.

Contribuciones Clave y Resultados

1. Entropía de Entrelazamiento Analítica: Los autores derivan una fórmula totalmente analítica (Eq. 3.56) para la contribución del defecto/interfaz a la entropía de entrelazamiento, $S_1$, como función del radio adimensional $a = \frac{2\pi m \ell}{\sqrt{\lambda}}$ y el parámetro de flujo $q$ (relacionado con $n_3$).

   • Para el límite conformal ($m=0$), su resultado coincide con el límite de sonda de cálculos previos utilizando geometrías con retroacción completa, sirviendo como una verificación de consistencia.
   • Para el caso de la interfaz ($n_3 \neq 0$), el comportamiento de radio grande reproduce la mitad de la entropía del vacío de la rama de Coulomb, consistente con la interpretación de la carga de D3-brane disuelta.

2. Flujo de RG de Defectos ($n_3 = 0$):

   • Se encuentra que la función C de CST $C(a)$ es monotónicamente decreciente desde un valor UV positivo (igual a la energía libre del defecto $F_{def, UV}$) hacia cero en el IR.
   • Esto confirma el teorema de monotonicidad para defectos de codimensión uno y proporciona una medida viable del desacoplamiento de los grados de libertad del defecto.

3. Flujo de RG de Interfaces ($n_3 \neq 0$):

   • La función C estándar de CST $C(a)$ sigue siendo monotónicamente decreciente para todos los valores de $q$ probados. Sin embargo, diverge a $-\infty$ en el IR debido a las contribuciones de cuatro dimensiones del bulk (términos que escalan como $a^2$ y $\log a$). Esta divergencia indica que $C(a)$ no es una medida adecuada de los grados de libertad para flujos que son efectivamente de cuatro dimensiones.
   • Una función C modificada $\tilde{C}(a)$, que resta la contribución de la rama de Coulomb, produce límites finitos en UV e IR. No obstante, no es monotónica para valores suficientemente grandes de $|q|$, y el valor en el IR puede ser mayor que el valor en el UV, fallando como un conteo estándar de grados de libertad.
   • Los autores exploran "funciones A" adaptadas a flujos en 4D. La función $\tilde{A}_{LM}$ (Eq. 4.17) interpola entre límites finitos sensatos: el promedio de los coeficientes de anomalía de Weyl tipo-A en el UV y el coeficiente de anomalía de la teoría pura $SU(N_3)$ en el IR.
   • Crucialmente, $\tilde{A}_{LM}$ no es monotónica para $|q|$ pequeño (exhibiendo un mínimo global), aunque es monotónica para $|q| \geq 1/2$.

Significado y Reivindicaciones
El artículo afirma proporcionar el primer cálculo holográfico analítico de la entropía de entrelazamiento para defectos e interfaces de codimensión uno en $\mathcal{N}=4$ SYM con deformaciones de masa en el límite de sonda.

• Validación del Formalismo de Sonda: El trabajo clarifica el papel del término de frontera $S_{var}$ en los cálculos de la entropía de entrelazamiento de probe branes, resolviendo discrepancias entre diferentes sistemas de coordenadas (CHM vs. Poincaré) y confirmando que los resultados previos en la literatura son consistentes cuando este término se maneja adecuadamente.
• Monotonicidad en Defectos vs. Interfaces: Los resultados confirman que, si bien la función C de CST es monotónica para flujos de defectos puros, su interpretación como conteo de grados de libertad falla para las interfaces debido a la naturaleza tetradimensional del flujo.
• Limitaciones de las Funciones C: El estudio resalta una tensión en la construcción de funciones C entrópicas para flujos que mezclan la dinámica del defecto y del bulk (o flujos a través de dimensiones). Los autores encuentran que, mientras algunas funciones son monotónicas, otras divergen o no saturan en valores finitos; recíprocamente, las funciones que interpolan entre límites finitos son generalmente no monotónicas. Esto refleja los desafíos encontrados en los flujos de RG a través de dimensiones.
• Interpretación Física: La disminución monotónica de la función C estándar para las interfaces se interpreta como el seguimiento del desacoplamiento de los grados de libertad de la interfaz (visibles en el marco S-dual) a medida que adquieren masa, aun cuando la función misma diverja.

Los autores concluyen que, si bien la aproximación de sonda ofrece valiosas perspectivas analíticas, es necesario ir más allá de este límite para incluir la retroacción (backreaction) para comprender plenamente la interacción entre las contribuciones del defecto y del entorno, y para resolver los problemas de no-monotonicidad en las funciones C construidas.