Exact Hilbert-space ergodicity from continuous monitoring

Resumen Técnico: Ergodicidad exacta en el espacio de Hilbert mediante monitoreo continuo

Planteamiento del problema
Se espera generalmente que los sistemas de muchos cuerpos cuánticos evolucionen hacia el equilibrio, un proceso que a menudo se justifica mediante el concepto de ergodicidad en el espacio de Hilbert. Este principio postula que la evolución de los estados puros explora el espacio de Hilbert de manera uniforme, salvo por las restricciones físicas. En ausencia de restricciones, esto se define rigurosamente mediante la generación de un ensamble Haar-aleatorio. Sin embargo, muchos sistemas físicos no pueden alcanzar la aleatoriedad de Haar completa debido a restricciones (por ejemplo, cargas conservadas o simetrías), pero aun así exhiben comportamientos caóticos y de dispersión (scrambling). Avances teóricos recientes sugieren que el "ensamble Scrooge"—un ensamble Haar-aleatorio deformado por una matriz de densidad objetivo $\sigma$—proporciona la descripción universal correcta para tales sistemas con restricciones. El ensamble Scrooge minimiza la información accesible entre todos los ensambles con una matriz de densidad promedio fija $\sigma$. Si bien la ergodicidad de la dinámica de Hamiltonianos independientes del tiempo y de los ensambles proyectivos se ha vinculado a los ensambles Scrooge, carecía de un mecanismo riguroso para diseñar ensambles Scrooge exactos como el equilibrio único de las trayectorias cuánticas.

Metodología
Los autores proponen un esquema para generar el ensamble Scrooge mediante el monitoreo continuo de un sistema cuántico de muchos cuerpos. El protocolo involucra:

1. Mediciones débiles continuas: El sistema es sometido a una secuencia de mediciones débiles implementadas mediante el acoplamiento a ancillas inicializadas en $|0\rangle$ y medidas en la base $x$. Este proceso se describe mediante una ecuación de Schrödinger estocástica (SSE) impulsada por procesos de Wiener.
2. Diseño de operadores: Los operadores de salto $c_\alpha$ que gobiernan el monitoreo se construyen como $c_\alpha = \sqrt{\kappa D p_\alpha} \sqrt{\sigma} U_\alpha$, donde $\sigma$ es la matriz de densidad objetivo y $\{p_\alpha, U_\alpha\}$ es un ensamble unitario.
3. Condiciones sobre las unitarias: Se requiere que el ensamble unitario $\{U_\alpha\}$ satisfaga dos condiciones:
   • Diseño unitario de orden 1: $\sum_\alpha p_\alpha U_\alpha Q U_\alpha^\dagger = \frac{\text{Tr}[Q]}{D} I$ para cualquier operador $Q$.
   • Neutralidad de fase: $\sum_\alpha p_\alpha U_\alpha \otimes U_\alpha = 0$.
     Los autores señalan que estas condiciones son significativamente más débiles que requerir que los operadores de salto formen un diseño unitario $t$ completo o sean Haar-aleatorios.

Contribuciones clave y resultados teóricos
El artículo proporciona una prueba rigurosa de que, bajo el esquema de monitoreo propuesto, el ensamble de trayectorias cuánticas converge exactamente al ensamble Scrooge asociado con $\sigma$. La prueba procede en dos etapas principales:

1. Mapeo a la dinámica estocástica clásica:
   Los autores parametrizan el estado puro $|\psi\rangle$ en la base propia de $\sigma$ utilizando variables de amplitud $y_i = |\psi_i|^2$ y variables de fase relativa $\phi_i$. Derivan la ecuación de Fokker-Planck que gobierna la distribución de probabilidad $p(y, \phi, t)$ de estas variables clásicas.

   • El vector de deriva para las amplitudes se muestra como $v_i^{(a)} = \kappa(\lambda_i - y_i)$, impulsando el sistema hacia los autovalores de $\sigma$.
   • Las matrices de difusión para amplitudes y fases se derivan explícitamente, apoyándose en el diseño unitario de orden 1 y las condiciones de neutralidad de fase para simplificar las correlaciones de ruido.
   • Crucialmente, los términos de difusión mixtos entre amplitudes y fases se anulan debido a las restricciones de simetría.

2. Estacionariedad y unicidad:

   • Estacionariedad: Los autores verifican que la distribución de probabilidad Scrooge, $p_{sc}(y, \phi) \propto H(y)^{-(D+1)}$ (donde $H(y) = \sum y_k/\lambda_k$), es una solución estacionaria de la ecuación de Fokker-Planck derivada. Esto se logra mostrando que la corriente de probabilidad se anula punto a punto.
   • Unicidad: Utilizando el teorema de Doob, los autores prueban la unicidad del estado estacionario. Establecen que la matriz de difusión es uniformemente definida positiva (uniformemente elíptica) en el espacio de Hilbert proyectivo ($\mathbb{C}P^{D-1}$). Esto asegura que el proceso de difusión conecta todos los estados, evitando que el sistema quede atrapado en subespacios no ergódicos, garantizando así la convergencia al ensamble Scrooge único desde cualquier estado inicial.

Resultos numéricos
Los autores validan numéricamente sus predicciones teóricas utilizando sistemas de qubits ($N=2, 4$) con matrices de densidad objetivo correspondientes a estados térmicos del modelo de Ising cuántico (de rango completo y proyectados por simetría).

• Convergencia: Las simulaciones muestran que la distancia entre los momentos del ensamble de trayectorias y los momentos objetivo de Scrooge decae rápidamente a cero.
• Tasa de relajación: El decaimiento de las distancias para los momentos $n=1, 2, 3$ sigue un decaimiento exponencial con tasa $\kappa$, consistente con la tasa de relajación del primer momento derivado de la ecuación de Lindblad. Esto sugiere que la relajación de todos los momentos está gobernada por el mismo modo propio principal del operador de Fokker-Planck.
• Evaluación de referencia experimental: Para abordar el desafío experimental de la tomografía de estado completo (que escala exponencialmente), los autores proponen el uso de correladores cruzados cuántico-clásicos ($C^{QC}_2$). Los resultados numéricos demuestran que la desviación de este correlador respecto a la predicción de Scrooge decae exponencialmente, proporcionando un diagnóstico experimentalmente accesible para la emergencia del ensamble Scrooge.

Significancia y afirmaciones
El artículo afirma establecer un mecanismo riguroso para la emergencia de la ergodicidad exacta en el espacio de Hilbert bajo una matriz de densidad arbitraria prescrita mediante mediciones continuas.

• Condiciones débiles: Una afirmación principal es que generar el ensamble máximamente aleatorio (Scrooge) no requiere operadores de salto máximamente aleatorios. En su lugar, basta con un diseño unitario deformado de orden 1, que es mucho más débil.
• Ingeniería de la aleatoriedad: Los resultados demuestran que las propiedades estadísticas de orden superior de los estados cuánticos pueden diseñarse sistemáticamente mediante el diseño de la medición.
• Utilidad práctica: El trabajo proporciona una ruta práctica para investigar ensambles de estados aleatorios con restricciones en dispositivos cuánticos. Al preparar ensambles Scrooge exactos, los autores sugieren que esto podría servir como un recurso para estudiar el ocultamiento de información, la indistinguibilidad de estados y las propiedades estadísticas universales de estados cuánticos complejos.
• Generalidad: El mecanismo es ampliamente aplicable a diversas plataformas cuánticas, ya que no depende de los detalles microscópicos específicos del Hamiltoniano del sistema, sino del diseño de los operadores de monitoreo.

Los autores mantienen la modestia respecto a direcciones futuras, señalando que, aunque la tasa de relajación observada $\kappa$ para órdenes superiores es consistente entre órdenes, demostrar analíticamente si esto refleja una propiedad espectral más profunda del operador de Fokker-Planck sigue siendo una cuestión teórica abierta. También sugieren extender este enfoque a ensambles con cantidades conservadas adicionales como una posible dirección futura.