Holographic Spread Complexity from Branes and Strings

Resumen Técnico: Complejidad de Propagación Holográfica de Branas y Cuerdas

Planteamiento del Problema
El artículo aborda la interpretación holográfica de la complejidad de propagación de Krylov, una medida de cómo un estado cuántico explora su espacio de Hilbert bajo la evolución temporal. Si bien trabajos previos (específicamente [6–8]) propusieron que la tasa de crecimiento de esta complejidad, $\dot{C}(t)$, es proporcional al momento radial propio de una partícula masiva en caída en el espacio-tiempo AdS bulk, esta propuesta fue probada mayoritariamente utilizando partículas puntuales fenomenológicas. Existe una brecha conceptual significativa cuando la sonda en el bulk porta una carga de Noether conservada (por ejemplo, momento a lo largo de una dirección isométrica). En tales casos, una aplicación ingenua de la prescripción del momento propio produce un $\dot{C}(t)$ no nulo en $t=0$, lo que contradice el requisito fundamental de que la complejidad de Krylov $C(t)$ debe ser una función par del tiempo (implicando que $\dot{C}(t) \sim t$ para tiempos cortos). Además, sigue sin estar claro cómo se extiende esta prescripción a excitaciones genuinas de la teoría de cuerdas (branas y cuerdas) en lugar de abstracciones de partículas puntuales.

Metodología
Los autores emplean un enfoque "top-down", integrando la imagen de la partícula en caída en pares duales AdS/CFT específicos y bien definidos utilizando sondas genuinas de la teoría de cuerdas. La metodología involucra tres pasos principales:

1. Dinámica en el Bulk: Los autores analizan las trayectorias clásicas de sondas específicas en fondos de supergravedad:
   • Una D0-brana en Type IIA $AdS_4 \times \mathbb{CP}^3$ (dual a la teoría ABJM).
   • Una D3-brana no BPS rotante en Type IIB $AdS_5 \times S^5$.
   • Una cuerda fundamental (F1) enrollada en Type IIB $AdS_5 \times S^5$.
2. Resolución del Enigma de la Carga: Para sondas que portan cargas conservadas asociadas con isometrías (momento espacial para D0, momento angular para D3), los autores proponen una prescripción de carga fija. En lugar de utilizar el Lagrangiano estándar, realizan una transformación de Legendre con respecto a la coordenada cíclica para construir la Routhiana. El momento propio se calcula a partir de la dinámica gobernada por esta Routhiana, trabajando efectivamente en un sector de carga fija.
3. Cálculo de la Complejidad: La tasa de cambio de la complejidad se identifica con la magnitud del momento propio derivado de la dinámica de la Routhiana ($\dot{C} \sim |P_y|$).
4. Contraste con la Teoría de Campos: Para el caso de la D0-brana, los autores realizan un cálculo complementario en la frontera. Identifican la D0 en caída con un operador monopolo "vestido" en la CFT ABJM. Mediante el cálculo de la función de dos puntos regulada de este operador, extraen la amplitud de supervivencia $A(t)$, a partir de la cual derivan los coeficientes de Lanczos y la complejidad de propagación directamente desde los datos de la teoría de campos.

Contribuciones Clave y Resultados

• La Prescripción de la Routhiana: La contribución técnica central es la propuesta de que, para sondas con cargas de Noether conservadas, el diccionario holográfico correcto requiere trabajar con la Routhiana.

  • D0-brana en ABJM: Cuando la D0-brana porta un momento $P_{x_1}$ a lo largo de una isometría de la frontera, el momento propio ingenuo produce un término constante en $t=0$. Aplicar la prescripción de la Routhiana elimina este término constante, restaurando el comportamiento lineal requerido en tiempos cortos $\dot{C}(t) \sim t$. El resultado depende no trivialmente de la carga conservada pero desaparece suavemente cuando la carga tiende a cero.
  • D3-brana en $AdS_5 \times S^5$: Una D3-brana rotante posee un momento angular conservado $J$. Los autores derivan una condición estricta para la caída radial: si el momento angular es demasiado grande en relación con la energía, una barrera centrífuga impide que la brana caiga (y, por lo tanto, la complejidad no crece). Dentro del régimen de caída, la prescripción de la Routhiana produce nuevamente el comportamiento correcto en tiempos cortos. El crecimiento en tiempos tardíos difiere del caso sin carga, reflejando la sensibilidad de la complejidad al sector de la carga y la existencia de la barrera.

• Realizaciones de Cuerdas y Masa Efectiva:

  • Cuerda Enrollada: Los autores analizan una cuerda fundamental que se enrolla en direcciones angulares internas mientras cae radialmente. A diferencia de las cargas de Noether en los casos de D0/D3, el enrollamiento es un dato topológico que no requiere una velocidad inicial no nula. Consecuentemente, la cuerda se reduce a una partícula masiva efectiva con la masa renormalizada por el número de enrollamiento, la tensión y el radio de AdS. No se requiere un tratamiento de Routhiana aquí; la prescripción estándar del momento propio reproduce el crecimiento cuadrático esperado $C(t) \sim t^2$.
  • Distinción: Esto aclara una distinción conceptual: las cargas de Noether requieren un tratamiento de carga fija (Routhiana), mientras que los datos de enrollamiento entran a través de la masa efectiva del objeto en caída.

• Fluctuaciones Radiales: El artículo investiga pequeñas fluctuaciones radiales de la D0-brana. Estas se interpretan no como excitaciones internas de la cuerda (lo que requeriría movimiento en $\mathbb{CP}^3$), sino como perturbaciones de la posición radial inicial. Estas fluctuaciones inducen correcciones controladas a la energía efectiva que gobierna el crecimiento de la complejidad, interpretadas como la respuesta del sistema a cambios en el estado inicial preparado.

• Derivación en la Teoría de Campos: Para la D0-brana, los autores vinculan explícitamente la trayectoria en el bulk con la frontera. Utilizando la amplitud de supervivencia de un operador monopolo vestido, calculan los momentos de Krylov y los coeficientes de Lanczos. Esto proporciona una derivación directa de la complejidad de propagación $C(t) \propto t^2$ desde los datos de la CFT, confirmando el resultado holográfico sin depender únicamente del ansatz geométrico del bulk.

Significancia y Reivindicaciones
El artículo afirma proporcionar la primera realización genuina de la complejidad de propagación holográfica para excitaciones tanto puntuales como extendidas de la teoría de cuerdas. Su significancia radica en:

1. Validación de la Imagen de la Partícula en Caída: Confirma que el modelo simple de partícula en caída es un límite robusto de una clase más amplia de sondas de cuerdas, siempre que se aplique el tratamiento correcto de las cargas conservadas.
2. Refinamiento del Diccionario Holográfico: Establece la prescripción de la Routhiana como la implementación necesaria en el bulk para trabajar en un sector de carga definida de la teoría de frontera, resolviendo el conflicto entre las cargas conservadas y la paridad de la complejidad de Krylov.
3. Sensibilidad Microscópica: Los resultados demuestran que la complejidad de propagación es un diagnóstico sensible de la naturaleza microscópica de la excitación. Distingue entre diferentes tipos de datos conservados (cargas de Noether frente a enrollamiento topológico) y captura efectos como las barreras centrífugas y las fluctuaciones internas que son invisibles para un modelo simple de partícula puntual.
4. Organización Estructural: Los autores proponen que la complejidad de Krylov holográfica puede organizarse en movimiento radial colectivo, sectores de carga fija, fluctuaciones y términos mixtos, sugiriendo una estructura más rica para futuras construcciones "top-down" que involucren bariones, gigantes gravitones y defectos.

El trabajo no pretende introducir una nueva definición de complejidad, sino más bien refinar la interpretación holográfica de las medidas existentes de la complejidad de propagación de Krylov dentro del riguroso marco de la teoría de cuerdas.