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

Planteamiento del Problema
Este artículo investiga la estabilidad espectral de las frecuencias quasinormales (QNF) y los momentos lineales complejos (CLM) para un campo de gauge $U(1)$ en fondos de brana negra y agujero negro de Schwarzschild-AdS. Si bien el análisis de autovalores es suficiente para sistemas conservativos (autoadmitentes), la naturaleza no conservativa de las fluctuaciones de los agujeros negros (debido a los horizontes de eventos y las condiciones de contorno de salida) hace que los operadores gobernantes sean no normales. En tales sistemas, los autovalores por sí solos son insuficientes para caracterizar la estabilidad, ya que pequeñas perturbaciones pueden causar cambios espectrales dramáticos. Los autores abordan la necesidad de calcular los pseudospectros —límites del desplazamiento máximo de los autovalores bajo perturbaciones— para comprender la robustez de los modos hidrodinámicos y otras excitaciones en sistemas holográficos.

Un desafío específico abordado es el tratamiento de los campos de gauge. El enfoque estándar reduce el sector de gauge longitudinal a un "escalar maestro" (master scalar). Sin embargo, los autores identifican una sutileza: la norma de energía utilizada típicamente para este escalar maestro puede no ser definida positiva en ciertas dimensiones (específicamente $d=4$) debido a términos de contorno, lo que podría omitir configuraciones de campos fuera de la diagonal (off-shell) relevantes. Además, el enfoque del escalar maestro, al ser una reducción a dos dimensiones, no acomoda naturalmente el estudio de los CLM (donde la frecuencia es fija y el momento es complejo).

Metodología
Los autores emplean dos marcos distintos para computar los pseudospectros y comparar sus resultados:

1. Marco de Campo de Gauge (GF): Un enfoque novedoso donde los autores trabajan directamente con las variables del campo de gauge ($A_\mu$) sin reducir a un escalar maestro.

   • Descomponen el campo de gauge en sectores longitudinales y transversales, centrándose en el sector longitudinal.
   • El problema se formula como un problema de autovalores rectangular sujeto a una restricción (la ley de Gauss). Mediante la introducción de un campo auxiliar y un operador de "elevación" (uplift), mapean el subespacio restringido a un problema de matriz rectangular.
   • La norma de energía se deriva directamente del tensor de energía-impulso de Maxwell, asegurando que capture la energía física de las configuraciones del campo de gauge.
   • Esta formulación se extiende naturalmente a los CLM al fijar la frecuencia y resolver para el momento complejo.

2. Marco del Escalar Maestro (MS): El enfoque convencional donde la dinámica del campo de gauge se codifica en un campo escalar $\psi$.

   • Los autores revisan la norma de energía para el escalar maestro, aclarando que la norma estándar (derivada de la acción escalar) difiere de la norma de energía del campo de gauge por un término de contorno.
   • Demuestran que para las dimensiones donde el término de contorno impide la definición positiva (por ejemplo, $AdS_4$), la norma de energía del MS debe ser modificada para coincidir con la norma del campo de gauge y asegurar la consistencia física.

Conexión Teórica
Una contribución teórica central es la demostración de la equivalencia entre los enfoques GF y MS mediante la dualidad de Hodge. Los autores muestran que el campo de gauge longitudinal en un espacio-tiempo de $(d+1)$ dimensiones puede reducirse a un espacio-tiempo efectivo de 3 dimensiones. En este espacio 3D, el campo de gauge es dual a un campo escalar sin masa. Esta dualidad explica por qué los pseudospectros computados mediante el campo de gauge y el escalar maestro coinciden, siempre que se utilice la norma de energía correcta (definida positiva) para el escalar maestro. Esta conexión valida el enfoque MS al tiempo que resalta la necesidad de las correcciones específicas de los términos de contorno.

Resultados Clave

• Equivalencia de Marcos: Los resultados numéricos para ambos QNF y CLM en branas negras de $AdS_5$ y $AdS_4$, así como en agujeros negros de $AdS_4$, muestran que los enfoques GF y MS producen pseudospectros idénticos (dentro de la precisión numérica). Esto confirma que el enfoque del escalar maestro, cuando está equipado con la norma de energía correcta derivada de la dualidad de Hodge, captura la física completa del campo de gauge.
• Estabilidad de QNF Hidrodinámicos: En el régimen hidrodinámico (momento pequeño $k$), se encuentra que la QNF difusiva es espectralmente estable. El número de condición permanece cercano a la unidad, lo que indica que la descripción hidrodinámica es robusta frente a pequeñas perturbaciones. Esto se alinea con la expectativa física de que la hidrodinámica es una característica universal y estable de la teoría.
• Inestabilidad de CLM Hidrodinámicos: En contraste, los CLM hidrodinámicos (momentos complejos con frecuencia real fija) exhiben una inestabilidad espectral aumentada conforme $\omega \to 0$. El número de condición diverge como $\omega^{-1/2}$.
  • Los autores atribuyen esto a la presencia de un punto excepcional en $\omega = 0$, donde los dos CLM hidrodinámicos colisionan (siguiendo una serie de Puiseux $k_\pm \propto \pm \sqrt{i\omega}$).
  • Esta inestabilidad es una característica genérica de la colisión de polos de la difusión y no es un artefacto del fondo del agujero negro. Significa que las perturbaciones que mantienen la frecuencia fija son fundamentalmente diferentes de aquellas que mantienen el momento fijo.
• Modos No Hidrodinámicos: Las QNF no hidrodinámicas son generalmente inestables, con la inestabilidad aumentando a medida que se profundiza en el semiplano complejo inferior. Los CLM no hidrodinámicos son generalmente más estables que las QNF, pero los CLM hidrodinámicos son los modos más inestables en el esquema de CLM.
• Propiedades de Convergencia:
  • QNF: Los pseudospectros para las QNF no convergen en todo el plano complejo. Convergen solo en la región $\text{Im}(\omega) > -\pi T$. Por debajo de esta banda, los modos de salida con norma de energía finita contribuyen al espectro, una característica vinculada a la ruptura de la descripción de la teoría de campo efectiva de dos derivadas.
  • CLM: Los pseudospectros para los CLM convergen en todo el plano del momento complejo porque la condición $\text{Im}(\omega)=0$ excluye los modos de salida problemáticos que causan la no convergencia en el caso de las QNF.

Significado y Reivindicaciones
El artículo afirma proporcionar una formulación más fundamental para estudiar los pseudospectros de los campos de gauge trabajando directamente con las variables de gauge, evitando así posibles errores asociados con la reducción al escalar maestro. Establece que el enfoque del escalar maestro es válido solo cuando la norma de energía se corrige cuidadosamente para los términos de contorno, una corrección explicada naturalmente por la dualidad de Hodge.

La principal intuición física es la dicotomía en la estabilidad entre QNF y CLM para los modos hidrodinámicos. Los autores argumentan que esto no es una contradicción, sino un reflejo de las diferentes perturbaciones físicas involucradas: fijar el momento (QNF) frente a fijar la frecuencia (CLM). La inestabilidad aumentada de los CLM hidrodinámicos sirve como una firma espectral del punto excepcional (colisión de polos) inherente a los modos difusivos. Esto sugiere que el análisis pseudospectral puede ser una herramienta de diagnóstico para identificar colisiones de polos y puntos excepcionales en sistemas holográficos.

El trabajo también destaca las limitaciones de la convergencia numérica estándar para las QNF en la parte profunda del plano complejo, interpretando la falta de convergencia como una señal física de la necesidad de correcciones de derivadas superiores más allá de la teoría Einstein-Maxwell de dos derivadas.