Pseudospectra of holographic diffusion: gauge fields breaking free from the master scalar

Enunciado do Problema
Este artigo investiga a estabilidade espectral de frequências quasinormais (QNFs) e momentos lineares complexos (CLMs) para um campo de gauge $U(1)$ em fundos de branos e buracos negros Schwarzschild-AdS. Embora a análise de autovalores seja suficiente para sistemas conservativos (autoadjuntos), a natureza não conservativa das flutuações de buracos negros (devido aos horizontes de eventos e condições de contorno de saída) torna os operadores governantes não normais. Em tais sistemas, os autovalores sozinhos são insuficientes para caracterizar a estabilidade, pois pequenas perturbações podem causar deslocamentos espectrais dramáticos. Os autores abordam a necessidade de computar os pseudoespectros — limites para o deslocamento máximo de autovalores sob perturbações — para compreender a robustez dos modos hidrodinâmicos e outras excitações em sistemas holográficos.

Um desafio específico abordado é o tratamento de campos de gauge. A abordagem padrão reduz o setor de gauge longitudinal a um campo "mestre escalar". No entanto, os autores identificam uma sutileza: a norma de energia tipicamente usada para este escalar mestre pode falhar em ser positiva definida em certas dimensões (especificamente $d=4$) devido a termos de contorno, potencialmente perdendo configurações de campo off-shell relevantes. Além disso, a abordagem do escalar mestre, sendo uma redução para duas dimensões, não acomoda naturalmente o estudo de CLMs (onde a frequência é fixa e o momento é complexo).

Metodologia
Os autores empregam dois frameworks distintos para computar os pseudoespectros e comparar seus resultados:

1. Framework de Campo de Gauge (GF): Uma abordagem inovadora onde os autores trabalham diretamente com as variáveis do campo de gauge ($A_\mu$) sem reduzir para um escalar mestre.

   • Eles decompõem o campo de gauge nos setores longitudinal e transversal, focando no setor longitudinal.
   • O problema é formulado como um problema de autovalor retangular sujeito a uma restrição (a lei de Gauss). Ao introduzir um campo auxiliar e um operador de "elevação" (uplift), eles mapeiam o subespaço restringido para um problema de matriz retangular.
   • A norma de energia é derivada diretamente do tensor de energia-momento de Maxwell, garantindo que capture a energia física das configurações do campo de gauge.
   • Esta formulação estende-se naturalmente para CLMs ao fixar a frequência e resolver para o momento complexo.

2. Framework do Escalar Mestre (MS): A abordagem convencional onde a dinâmica do campo de gauge é codificada em um campo escalar $\psi$.

   • Os autores revisitam a norma de energia para o escalar mestre, esclarecendo que a norma padrão (derivada da ação escalar) difere da norma de energia do campo de gauge por um termo de contorno.
   • Eles demonstram que para dimensões onde o termo de contorno impede a positividade definida (ex: $AdS_4$), a norma de energia MS deve ser modificada para coincidir com a norma do campo de gauge para garantir consistência física.

Conexão Teórica
Uma contribuição teórica central é a demonstração da equivalência entre as abordagens GF e MS via dualidade de Hodge. Os autores mostram que o campo de gauge longitudinal em um espaço-tempo $(d+1)$ pode ser reduzido a um espaço-tempo efetivo de 3 dimensões. Neste espaço 3D, o campo de gauge é dual a um campo escalar sem massa. Esta dualidade explica por que os pseudoespectros computados via campo de gauge e o escalar mestre coincidem, desde que a norma de energia correta (positiva definida) seja usada para o escalar mestre. Esta conexão valida a abordagem MS enquanto destaca a necessidade das correções específicas de termos de contorno.

Resultos Principais

• Equivalência de Frameworks: Resultados numéricos para ambos QNFs e CLMs em branos negros $AdS_5$ e $AdS_4$, bem como buracos negros $AdS_4$, mostram que as abordagens GF e MS produzem pseudoespectros idênticos (dentro da precisão numérica). Isso confirma que a abordagem do escalar mestre, quando equipada com a norma de energia correta derivada da dualidade de Hodge, captura toda a física do campo de gauge.
• Estabilidade de QNF Hidrodinâmicos: No regime hidrodinâmico (pequeno momento $k$), o QNF difusivo é encontrado como espectralmente estável. O número de condição permanece próximo de um, indicando que a descrição hidrodinâmica é robusta contra pequenas perturbações. Isso se alinha com a expectativa física de que a hidrodinâmica é uma característica universal e estável da teoria.
• Instabilidade de CLM Hidrodinâmicos: Em contraste, os CLMs hidrodinâmicos (momentos complexos em frequência fixa) exibem instabilidade espectral aumentada conforme $\omega \to 0$. O número de condição diverge como $\omega^{-1/2}$.
  • Os autores atribuem isso à presença de um ponto excepcional em $\omega = 0$, onde os dois CLMs hidrodinâmicos colidem (seguindo uma série de Puiseux $k_\pm \propto \pm \sqrt{i\omega}$).
  • Esta instabilidade é uma característica genérica da colisão de polos do modo difusivo e não é um artefato do fundo do buraco negro. Ela significa que perturbações mantendo a frequência fixa são fundamentalmente diferentes daquelas mantendo o momento fixo.
• Modos Não-Hidrodinâmicos: QNFs não-hidrodinâmicos são geralmente instáveis, com a instabilidade aumentando conforme se avança mais profundamente no semiplano complexo inferior. CLMs não-hidrodinâmicos são geralmente mais estáveis que QNFs, mas os CLMs hidrodinâmicos são os modos mais instáveis na imagem de CLM.
• Propriedades de Convergência:
  • QNFs: Os pseudoespectros para QNFs não convergem em todo o plano complexo. Eles convergem apenas na região $\text{Im}(\omega) > -\pi T$. Abaixo desta banda, modos de saída com norma de energia finita contribuem para o espectro, uma característica ligada à quebra da descrição de campo efetivo de duas derivadas.
  • CLMs: Os pseudoespectros para CLMs são convergentes em todo o plano do momento complexo porque a condição $\text{Im}(\omega)=0$ exclui os modos de saída problemáticos que causam a não-convergência no caso de QNF.

Significância e Alegações
O artigo afirma fornecer uma formulação mais fundamental para estudar os pseudoespectros de campos de gauge ao trabalhar diretamente com as variáveis de gauge, evitando potenciais armadilhas associadas à redução para o escalar mestre. Estabelece que a abordagem do escalar mestre é válida apenas quando a norma de energia é cuidadosamente corrigida para termos de contorno, uma correção naturalmente explicada pela dualidade de Hodge.

O principal insight físico é a dicotomia na estabilidade entre QNFs e CLMs para modos hidrodinâmicos. Os autores argumentam que isso não é uma contradição, mas um reflexo das diferentes perturbações físicas envolvidas: fixar o momento (QNF) versus fixar a frequência (CLM). A instabilidade aumentada dos CLMs hidrodinâmicos serve como uma assinatura espectral do ponto excepcional (colisão de polos) inerente aos modos difusivos. Isso sugere que a análise de pseudoespectro pode ser uma ferramenta de diagnóstico para identificar colisões de polos e pontos excepcionais em sistemas holográficos.

O trabalho também destaca as limitações da convergência numérica padrão para QNFs profundamente no plano complexo, interpretando a falta de convergência como um sinal físico da necessidade de correções de ordem superior além da teoria de Einstein-Maxwell de duas derivadas.