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

Resumo Técnico: Emaranhamento Timelike Holográfico e Complexidade de Subregião em Buracos Negros Localizados em AdS$_3 \times S^3 \times T^4$

Enunciado do Problema
O artigo investiga como observáveis holográficos sensíveis à estrutura lorentziana podem detectar a geometria angular interna de buracos negros localizados em supergravidade de tipo IIB. Enquanto o levantamento (uplift) padrão do buraco negro BTZ é homogêneo sobre o $S^3 \times T^4$ interno, soluções localizadas (especificamente o "black pole") exibem horizontes que são não uniformes e localizados na esfera interna. Os autores questionam se a entropia de emaranhamento timelike e a complexidade de subregião timelike — observáveis construídos a partir de ramos espaciais e temporais (timelike) em vez de uma única superfície extrema espacial — podem sondar a dependência angular específica da geometria localizada, que está ausente na descrição BTZ padrão.

Metodologia
Os autores empregam uma "prescrição timelike localizada" adaptada de trabalhos anteriores sobre superfícies RT localizadas. A metodologia envolve várias etapas distintas:

1. Geometria: O estudo foca na solução black-pole do sistema D1-D5 com $AdS_3 \times S^3 \times T^4$ assintótico. A métrica depende do ângulo de Hopf interno $\theta$ através de fatores de escala (warp factors) $K_y(r, \theta)$ e $G(r, \theta)$. Esta geometria apresenta um "lado do cap" (degeneração suave do círculo espacial) e um "lado do horizonte" (degeneração do círculo temporal), separados por um ângulo de transição $\theta_\star$.
2. Construção do Ramo Lorentiano: Para um intervalo de contorno estendido no tempo ($-T/2 \le t \le T/2$), a superfície no bulk é construída a partir de dois ramos no plano efetivo $(t, r)$:
   • Um ramo espacial que atinge o contorno assintótico.
   • Um ramo timelike que termina em um ponto de retorno radial $r_0$.
   • Crucialmente, o perfil do ramo reduzido é primeiro resolvido para um rótulo angular fixo $\theta_0$. O ângulo interno físico $\theta$ é reintroduzido apenas durante o "levantamento" para dez dimensões, onde a área ou volume é integrado sobre a esfera interna completa.
3. Seleção de Intervalo de Contorno Fixo: Devido ao fato de a geometria exata do black-pole tornar o mapa temporal $T(r_0, \theta_0)$ não monotônico, um único intervalo de contorno $T$ pode corresponder a múltiplos ramos radiais e rótulos angulares. Os autores impõem uma condição de intervalo de contorno fixo: para um $T_{target}$, eles resolvem para todos os pares $(r_0, \theta_0)$ admissíveis e então selecionam o ponto de sela minimizando o observável relevante.
4. Observáveis:
   • Entropia de Emaranhamento Timelike (TEE): Calculada como uma área levantada. O resultado é geralmente complexo, com a parte real determinada por contribuições espaciais renormalizadas por UV e a parte imaginária surgindo de ramos timelike e mudanças de sinal no integrando levantado.
   • Complexidade de Subregião Timelike: Calculada como um volume levantado finito e renormalizado. Este observável é real e definido como uma combinação assinada de volumes ponderados espaciais e timelike após a subtração da divergência universal de contorno.

Contribuições Principais e Resultados

• Mapa Temporal Não Monotônico e Multiplicidade de Ramos: Na geometria exata do black-pole, a relação entre o intervalo de contorno $T$ e o ponto de retorno $r_0$ é não monotônica. Para um rótulo angular fixo $\theta_0$, um único $T$ pode ser realizado por dois ramos radiais distintos (um ramo de "menor-$r_0$" e um de "maior-$r_0$" em relação ao pico do mapa temporal). Isso exige uma minimização de dois passos: primeiro resolver a equação temporal para encontrar os ramos admissíveis e, em seguida, minimizar o observável entre eles.
• Acessibilidade Angular e a Região de Transição: O intervalo de contorno máximo acessível $T_{max}(\theta_0)$ depende do rótulo angular. À medida que $T_{target}$ aumenta, os rótulos angulares admissíveis são restritos a uma região estreita próxima ao ângulo de transição cap/horizonte $\theta_\star$. Os autores atribuem isso a uma "escala de crossover" $r_c(\theta_0) \sim \ell |\theta_0 - \theta_\star|$. Perto de $\theta_\star$, um intervalo radial de transição se abre onde o kernel do ramo timelike possui um coeficiente logarítmico maior que o do ramo espacial, gerando uma contribuição logarítmica positiva para o intervalo temporal. Este mecanismo permite que intervalos maiores sejam suportados perto de $\theta_\star$ tanto do lado do cap quanto do lado do horizonte.
• Resultados de Entropia de Emaranhamento Timelike:
  • A área levantada torna-se complexa. A parte real é minimizada para selecionar a sela, enquanto a parte imaginária é avaliada na mesma superfície.
  • A sela selecionada move-se para dentro (diminuindo $r_0$) e seu rótulo angular $\theta_0$ aproxima-se de $\theta_\star$ conforme o intervalo de contorno cresce.
  • Ao contrário do nível do ramo reduzido, onde o termo espacial é real e o timelike é imaginário, o levantamento para dez dimensões mistura essas contribuições: ambos os ramos podem contribuir para as partes real e imaginária da área final, dependendo do sinal do integrando levantado sobre a esfera interna.
• Resultados de Complexidade de Subregião Timelike:
  • O observável é um volume real e finito renormalizado.
  • A complexidade selecionada também exibe um movimento para dentro do ponto de retorno e uma concentração angular perto de $\theta_\star$ conforme $T_{target}$ aumenta.
  • A sela selecionada permanece no ramo de "maior-$r_0$" (em relação ao pico do mapa temporal) durante todo o intervalo estudado, mesmo quando o valor numérico de $r_0$ diminui.
  • O volume finito não nulo é um efeito da geometria localizada resultante do patch exterior do black pole, distinto do crescimento de volume interior tipicamente associado aos buracos negros BTZ eternos.
• Regimes Assintótico vs. Exato: No regime de grande $r$ (assintótico), a dependência angular desaparece, o mapa temporal torna-se univalente e os resultados recuperam o comportamento padrão do BTZ de intervalo curto (parte real logarítmica para TEE, volume nulo para complexidade). As características distintas (não monotonicidade, restrição angular, movimento para dentro) só emergem quando as funções localizadas exatas $K_y$ e $G$ são restauradas.

Significância e Alegações
O artigo afirma que os observáveis loretianos timelike fornecem uma sonda complementar às superfícies extremais espaciais para detectar estruturas geométricas localizadas. Especificamente:

1. Detecção de Estrutura Interna: A geometria exata localizada deixa uma impressão clara nos observáveis timelike que está ausente no benchmark BTZ e na descrição líder de grande $r$. Os observáveis são sensíveis à região de transição cap/horizonte, que controla as famílias de ramos admissíveis.
2. Probes Complementares: A entropia de emaranhamento timelike e a complexidade timelike sondam a mesma geometria de ramo loretiano, mas respondem de forma diferente. A TEE registra os efeitos localizados através da estrutura complexa de uma área levantada (partes real e imaginária), enquanto a complexidade registra-os através de um volume assinado, real e finito.
3. Efeitos de Geometria Localizada: Os resultados demonstram que o "dobramento de ramos" (branch folding), as restrições angulares e o movimento para dentro das selas são consequências diretas das funções exatas $K_y(r, \theta)$ e $G(r, \theta)$. Esses efeitos são intrínsecos à solução de black-pole localizada e não são artefatos da aproximação assintótica.
4. Limitações: Os autores observam que seu cálculo de complexidade é um volume finito renormalizado associado ao patch exterior e a um intervalo de contorno fixo, distinto da complexidade global do interior de um buraco negro eterno. O volume não nulo observado é uma propriedade da geometria exterior localizada.

O artigo conclui que esses observáveis timelike oferecem um método robusto para sondar a quebra da simetria $S^3$ interna e a distribuição não uniforme dos horizontes em buracos negros localizados, sugerindo que os observáveis loretianos são bem adequados para detectar assinaturas de contorno de tais estruturas localizadas além dos dados assintóticos universais.