Holographic Timelike Entanglement and Subregion Complexity in Localized AdS3*S3*T4 Black Holes

Resumen Técnico: Entrelazamiento Timelike Holográfico y Complejidad de Subregión en Agujeros Negros Localizados de AdS$_3 \times S^3 \times T^4$

Planteamiento del Problema
El artículo investiga cómo los observables holográficos sensibles a la estructura lorentziana pueden detectar la geometría angular interna de agujeros negros localizados en supergravedad de tipo IIB. Mientras que el levantamiento estándar del agujero negro BTZ es homogéneo sobre el $S^3 \times T^4$ interno, las soluciones localizadas (específicamente el "polo negro") exhiben horizontes que son no uniformes y están localizados en la esfera interna. Los autores se preguntan si la entropía de entrelazamiento timelike y la complejidad de subregión timelike —observables construidos a partir de ramas lorentzianas espaciales y timelike en lugar de una única superficie extremal espacial— pueden sondear la dependencia angular específica de la geometría localizada, la cual está ausente en la descripción estándar de BTZ.

Metodología
Los autores emplean una "prescripción timelike localizada" adaptada de trabajos previos sobre superficies RT localizadas. La metodología consiste en varios pasos distintos:

1. Geometría: El estudio se centra en la solución de polo negro del sistema D1-D5 con $AdS_3 \times S^3 \times T^4$ asintótico. La métrica depende del ángulo de Hopf interno $\theta$ a través de los factores de deformación (warp factors) $K_y(r, \theta)$ y $G(r, \theta)$. Esta geometría presenta un "lado del cap" (degeneración suave del círculo espacial) y un "lado del horizonte" (degeneración del círculo temporal), separados por un ángulo de transición $\theta_\star$.
2. Construcción de la Rama con Intervalo de Frontera Fijo: Para un intervalo de frontera extendido en el tiempo ($-T/2 \le t \le T/2$), la superficie en el bulk se construye a partir de dos ramas en el plano efectivo $(t, r)$:
   • Una rama espaciales que alcanza la frontera asintótica.
   • Una rama timelike que termina en un punto de retorno radial $r_0$.
   • Crucialmente, el perfil de la rama reducida se resuelve primero para una etiqueta angular fija $\theta_0$. El ángulo interno físico $\theta$ solo se reintroduce durante el "levantamiento" (lift) a diez dimensiones, donde el área o el volumen se integra sobre la esfera interna completa.
3. Selección de Intervalo de Frontera Fijo: Debido a que la geometría exacta del polo negro hace que el mapa temporal $T(r_0, \theta_0)$ no sea monotónico, un único intervalo de frontera $T$ puede corresponder a múltiples ramas radiales y etiquetas angulares. Los autores imponen una condición de intervalo de frontera fijo: para un $T_{target}$, resuelven para todos los pares $(r_0, \theta_0)$ admisibles y luego seleccionan la silla (saddle) minimizando el observable relevante.
4. Observables:
   • Entropía de Entrelazamiento Timelike (TEE): Calculada como un área levantada. El resultado es generalmente complejo, con la parte real determinada por contribuciones espaciales renormalizadas por UV y la parte imaginaria surgida de las ramas timelike y cambios de signo en el integrando levantado.
   • Complejidad de Subregión Timelike: Calculada como un volumen levantado finito y renormalizado. Este observable es real y está definido por una combinación con signo de volúmenes ponderados espaciales y timelike tras restar la divergencia universal de la frontera.

Contribuciones Clave y Resultados

• Mapa Temporal No Monotónico y Multiplicidad de Ramas: En la geometría exacta del polo negro, la relación entre el intervalo de frontera $T$ y el punto de retorno $r_0$ no es monotónica. Para una etiqueta angular $\theta_0$ dada, un solo $T$ puede realizarse mediante dos ramas radiales distintas (una rama de "menor-$r_0$" y una de "mayor-$r_0$" respecto al pico del mapa temporal). Esto requiere una minimización de dos pasos: primero resolver la ecuación temporal para encontrar las ramas admisibles, y luego minimizar el observable entre ellas.
• Accesibilidad Angular y la Región de Transición: El intervalo de frontera máximo accesible $T_{max}(\theta_0)$ depende de la etiqueta angular. A medida que $T_{target}$ aumenta, las etiquetas angulares admisibles se restringen a una región estrecha cerca del ángulo de transición cap/horizonte $\theta_\star$. Los autores atribuyen esto a una "escala de cruce" $r_c(\theta_0) \sim \ell |\theta_0 - \theta_\star|$. Cerca de $\theta_\star$, se abre un intervalo radial de transición donde el kernel de la rama timelike tiene un coeficiente logarítmico mayor que el de la rama espacial, generando una contribución logarítmica positiva al intervalo temporal. Este mecanismo permite que se soporten intervalos más grandes cerca de $\theta_\star$ desde ambos lados, tanto del cap como del horizonte.
• Resultados de Entrelazamiento Timelike:
  • El área levantada se vuelve compleja. La parte real se minimiza para seleccionar la silla, mientras que la parte imaginaria se evalúa en la misma superficie.
  • La silla seleccionada se desplaza hacia adentro (disminuyendo $r_0$) y su etiqueta angular $\theta_0$ se aproxima a $\theta_\star$ a medida que el intervalo de frontera crece.
  • A diferencia del nivel de la rama reducida donde lo espacial es real y lo timelike es imaginario, el levantamiento a diez dimensiones mezcla estas contribuciones: ambas ramas pueden contribuir a las partes real e imaginaria del área final dependiendo del signo del integrando levantado sobre la esfera interna.
• Resultados de Complejidad de Subregión Timelike:
  • El observable es un volumen renormalizado, finito y real.
  • La complejidad seleccionada también exhibe un movimiento hacia adentro del punto de retorno y una concentración angular cerca de $\theta_\star$ a medida que $T_{target}$ aumenta.
  • La silla seleccionada permanece en la rama de "mayor-$r_0$" (respecto al pico del mapa temporal) durante todo el rango estudiado, incluso cuando el valor numérico de $r_0$ disminuye.
  • El volumen finito no nulo es un efecto de la geometría localizada que surge del parche exterior del polo negro, distinto del crecimiento de volumen interior típico asociado a los agujeros negros BTZ eternos.
• Regímenes Asintótico vs. Exacto: En el régimen de gran $r$ (asintótico), la dependencia angular desaparece, el mapa temporal es univalente y los resultados recuperan el comportamiento estándar tipo BTZ de intervalo corto (parte real logarítmica para TEE, volumen nulo para complejidad). Las características distintivas (no monotonicidad, restricción angular, movimiento hacia adentro) solo emergen cuando se restauran las funciones localizadas exactas $K_y$ y $G$.

Significancia y Reivindicaciones
El artículo sostiene que los observables lorentzianos timelike proporcionan una sonda complementaria a las superficies extremales espaciales para detectar estructuras geométricas localizadas. Específicamente:

1. Detección de la Estructura Interna: La geometría exacta localizada deja una huella clara en los observables timelike que está ausente en el referente BTZ y en la descripción principal de gran $r$. Los observables son sensibles a la región de transición cap/horizonte, la cual controla las familias de ramas admisibles.
2. Sondas Complementarias: El entrelazamiento timelike y la complejidad timelike sondean la misma geometría de rama lorentziana pero responden de manera diferente. La TEE registra los efectos localizados a través de la estructura compleja de un área levantada (partes real e imaginaria), mientras que la complejidad registra estos efectos a través de un volumen con signo, real y finito.
3. Efectos de la Geometría Localizada: Los resultados demuestran que el "plegamiento de ramas" (branch folding), las restricciones angulares y el movimiento hacia adentro de las sillas son consecuencias directas de las funciones exactas $K_y(r, \theta)$ y $G(r, \theta)$. Estos efectos son intrínsecos a la solución de polo negro localizada y no son artefactos de la aproximación asintótica.
4. Limitaciones: Los autores señalan que su cálculo de complejidad es un volumen renormalizado finito asociado al parche exterior y a un intervalo de frontera fijo, distinto de la complejidad del interior global de un agujero negro eterno. El volumen no nulo observado es una propiedad de la geometría exterior localizada.

El artículo concluye que estos observables timelike ofrecen un método robusto para sondear la ruptura de la simetría $S^3$ interna y la distribución no uniforme de los horizontes en agujeros negros localizados, sugiriendo que los observables lorentzianos son bien adecuados para detectar firmas de frontera de tales estructuras localizadas más allá de los datos asintóticos universales.