Replica Keldysh field theory of quantum-jump processes: General formalism and application to imbalanced and inefficient fermion counting

Resumen Técnico: Teoría de Campo de Keldysh de Réplicas para Procesos de Saltos Cuánticos

Planteamiento del Problema
Las transiciones de fase inducidas por mediciones (MIPTs) han sido estudiadas extensamente en sistemas que experimentan mediciones proyectivas o continuas de observables hermitianos, asumiendo típicamente una detección perfecta. Sin embargo, ha faltado un marco teórico exhaustivo para escenarios más generales, específicamente:

1. Procesos de saltos cuánticos que involucran operadores de salto no hermitianos, donde las tasas de salto dependen del estado y fluctúan en el tiempo.
2. Detección ineficiente, donde solo una fracción de los saltos cuánticos es registrada, lo que conduce a una dinámica de estados mixtos en lugar de trayectorias de estados puros.
   Los métodos analíticos existentes, como las teorías de campo de Keldysh de réplicas, se han limitado a la difusión de estado cuántico o a mediciones proyectivas aleatorias con detección perfecta. No existía un formalismo general capaz de promediar sobre trayectorias cuánticas con tasas de salto dependientes del estado y detección imperfecta dentro de un enfoque de teoría de campo.

Metodología
Los autores desarrollan una teoría de campo de Keldysh de réplicas para procesos generales de saltos cuánticos en sistemas de muchos cuerpos bosónicos y fermiónicos. La metodología procede a través de varias etapas clave:

1. Formulación de Operadores de Kraus: La dinámica se describe en tiempo discreto utilizando operadores de Kraus. La evolución se divide en una evolución continua sin saltos (gobernada por un Hamiltoniano efectivo no hermítico) y saltos cuánticos discontinuos.
2. Reescalado y Límite de Tiempo Continuo: Para manejar el límite de tiempo continuo ($\Delta t \to 0$) dentro del marco de réplicas, los autores introducen operadores de Kraus reescalados. Esto permite que el promedio de la trayectoria se exprese como un promedio sobre tiempos y tipos de salto, lo que conduce a una distribución de Poisson para los saltos en el límite continuo.
3. Truco de Réplica: Para computar observables no lineales (por ejemplo, la entropía de entrelazamiento), los autores emplean el truco de réplica. Construyen una función de partición de Keldysh de $R$-réplicas, donde el promedio de la trayectoria se realiza antes de tomar el límite de réplica $R \to 1$. Esto requiere un manejo cuidadoso de los factores de reescalado para asegurar un límite de tiempo continuo no trivial.
4. Construcción de la Teoría de Campo: La función de partición se mapea a una integral funcional sobre estados coherentes (variables de Grassmann para fermiones). La acción consiste en:
   • Un término Liouvilliano (evolución unitaria y contribuciones disipativas).
   • Un término de decaimiento (proveniente de la parte anti-hermítica del Hamiltoniano efectivo).
   • Un término de salto que codifica los saltos cuánticos estocásticos.
5. Detección Ineficiente: La ineficiencia se modela dividiendo los pasos de tiempo en un subpaso monitoreado (detección eficiente) y un subpaso no monitoreado (evolución de Lindblad determinista). Esto introduce un parámetro de eficiencia de detección $\eta \in [0, 1]$. La teoría de campo resultante interpola entre trayectorias de estado puro ($\eta=1$) y dinámicas de estado mixto deterministas ($\eta=0$).
6. Teoría de Campo Efectiva: Para la aplicación específica, los autores realizan una transformación de Hubbard-Stratonovich para desacoplar los bilineales fermiónicos, derivando un Modelo Sigma No Lineal (NLSM) que describe los modos de Goldstone asociados con la ruptura de simetría de réplica. Analizan las simetrías de la acción (unitaria, de partícula-hueco) para determinar la variedad objetivo del NLSM.

Aplicación: Conteo de Fermiones Desbalanceado e Ineficiente
El formalismo se aplica a una red 1D de fermiones libres sujetos a monitoreo de ganancia y pérdida (conteo de fermiones) con:

• Tasas desbalanceadas: La ganancia ($\gamma_+$) y la pérdida ($\gamma_-$) ocurren a diferentes tasas.
• Detección ineficiente: Solo una fracción $\eta$ de los saltos es detectada.

Resultos Clave

1. Conteo Desbalanceado pero Eficiente ($\eta=1, \gamma_+ \neq \gamma_-$):

   • El sistema exhibe ninguna transición de fase inducida por medición.
   • El entrelazamiento obedece una ley de área para cualquier tasa de salto no nula en escalas suficientemente grandes.
   • Sin embargo, existe un régimen crítico extendido entre dos escalas de longitud paramétricamente separadas: $l_0 \sim \gamma^{-1}$ y $l_c \sim \gamma^{-2}$.
   • Dentro de este régimen, el sistema muestra firmas de invariancia conforme emergente, incluyendo el decaimiento algebraico de las correlaciones de densidad ($C_l \sim l^{-2}$) y un crecimiento de entropía aproximadamente logarítmico ($S_\ell \sim \ln \ell$).
   • Este comportamiento es capturado por un NLSM con una variedad objetivo $SU(R)$(o$SU(2R)/Sp(R)$ con simetría de partícula-hueco). El flujo del grupo de renormalización (RG) de la constante de acoplamiento del NLSM impulsa el sistema hacia un acoplamiento fuerte a la escala $l^* \sim l_0 e^{4\pi \beta g_0}$, llevando al eventual cruce hacia la escala de ley de área.

2. Detección Ineficiente ($\eta < 1$):

   • La ineficiencia introduce un término de masa en el NLSM proporcional a la ineficiencia de detección $\delta\eta = 1 - \eta$.
   • Esta masa genera una longitud de correlación finita $\xi \sim \delta\eta^{-1/2}$.
   • Entropía de Subsistema: La entropía de von Neumann exhibe una escalabilidad de ley de volumen a escalas grandes debido al carácter mixto de las trayectorias (entropía estadística).
   • Entrelazamiento Genuino: La negatividad logarítmica fermiónica, una medida de entrelazamiento genuino, obedece una ley de área para tamaños de subsistema mayores que $\xi$.
   • En el límite $\eta \to 0$, el sistema se reduce a una evolución de Lindblad determinista con un estado estacionario trivial y separable.

3. Validación Numérica:

   • Simulaciones numéricas directas de trayectorias de saltos cuánticos (hasta $L=1000$) confirman las predicciones analíticas.
   • Las simulaciones verifican la escala del momento de cruce $q_c \sim \gamma^2$ y la longitud $l_c \sim \gamma^{-2}$.
   • Confirman la escala de la longitud de correlación $\xi \sim \delta\eta^{-1/2}$ y la transición de la escala logarítmica a la escala de ley de área en la negatividad logarítmica.

Significancia y Reivindicaciones
El artículo afirma proporcionar una base teórica general y versátil para estudiar fenómenos inducidos por mediciones en una amplia clase de sistemas cuánticos monitoreados y abiertos. Sus contribuciones primarias son:

• Unificación: Establece una conexión directa entre la dinámica inducida por medición (trayectorias de estado puro) y los estados estacionarios fuera del equilibrio de la materia cuántica abierta impulsada (dinámicas de estado mixto) al incorporar la detección ineficiente.
• Generalidad: Extiende la teoría de campo de Keldysh de réplicas a procesos generales de saltos cuánticos con operadores no hermitianos y tasas dependientes del estado, un escenario previamente inaccesible para el tratamiento analítico.
• Perspectiva Física: Demuestra que la criticidad inducida por medición (el régimen crítico extendido) es robusta frente a tasas desbalanceadas pero frágil frente a la ineficiencia de detección, la cual introduce una masa que destruye el entrelazamiento de largo alcance.
• Puente hacia Sistemas Abiertos: El marco vincula las MIPTs con el estudio de sistemas fermiónicos cuadráticos impulsados fuera del equilibrio, ofreciendo una herramienta para analizar los desentrajes de trayectorias de modelos con disipación de ganancia-pérdida, fases topológicas y efectos de piel no hermíticos.

Los autores mantienen una postura modesta, señalando que, si bien su formalismo permite el estudio de la ruptura de simetría en trayectorias frente al estado estacionario mixto, la aplicación específica presentada se centra en fermiones libres. Sugieren que el marco abre la puerta a investigar sistemas interactuantes más complejos y preguntas más amplias sobre topología y clasificaciones de simetría en sistemas monitoreados continuamente.