Markovian dynamics for a quantum/classical system and quantum trajectories

Resumen Técnico: Dinámica Markoviana para un Sistema Cuántico/Clásico y Trayectorias Cuánticas

Enunciado del Problema
El artículo aborda la necesidad de una formulación matemática coherente de la dinámica de sistemas híbridos cuántico/clásicos. Si bien tales sistemas son centrales en la teoría de la medición cuántica en tiempo continuo, el filtrado cuántico y los modelos potenciales de interacciones gravedad-materia, los enfoques existentes a menudo carecen de un marco unificado que conecte rigurosamente las técnicas de trayectorias cuánticas con la teoría de procesos markovianos clásicos. Un desafío específico es describir sistemas donde un componente clásico y un componente cuántico poseen dinámicas intrínsecas e interactúan, particularmente cuando el flujo de información va del sector cuántico al clásico, lo que hace necesarias dinámicas disipativas.

Metodología
El autor extiende el enfoque de trayectorias cuánticas, tradicionalmente utilizado para sistemas cuánticos abiertos, a sistemas híbridos empleando dos ecuaciones diferenciales estocásticas (EDE) acopladas. La construcción se basa en un marco probabilístico de dos pasos:

1. Probabilidad de Referencia ($Q$): Se establece un espacio de probabilidad de referencia que contiene procesos de Wiener independientes ($W_k$) y un proceso de puntos de Poisson ($\Pi$).
2. Probabilidad Física ($P$): Se construye una medida de probabilidad física mediante una transformación de tipo Girsanov utilizando la traza del estado cuántico como una derivada de Radon-Nikodym.

La dinámica se define por:

• Componente Clásica: Un proceso estocástico $X(t)$ en $\mathbb{R}^s$ gobernado por una EDE con términos de deriva, difusión y saltos. Los coeficientes dependen del estado del sistema.
• Componente Cuántica: Una Ecuación de Schrödinger Estocástica Lineal (ESE) para un vector de estado no normalizado $\psi_t$ (o una Ecuación Maestra Estocástica Lineal (EME) para el operador de densidad no normalizado $\sigma_t$). Los coeficientes de esta ecuación dependen del proceso clásico $X(t)$.

El artículo asume operadores acotados en el espacio de Hilbert cuántico $\mathcal{H}$ e impone condiciones de crecimiento y Lipschitz en los coeficientes clásicos para garantizar la existencia y unicidad de las soluciones.

Contribuciones y Resultados Clave

1. Dinámica Estocástica Acoplada:
   El artículo deriva una construcción rigurosa donde el proceso clásico $X(t)$ y el estado cuántico $\sigma_t$ evolucionan mediante EDE acopladas.

   • Bajo la medida de referencia $Q$, el ruido clásico es estándar (Wiener/Poisson) y la evolución cuántica es lineal.
   • Bajo la medida física $P$, el ruido clásico se vuelve dependiente del estado (el compensador del proceso de Poisson y la deriva del proceso de Wiener dependen del estado cuántico), y la evolución cuántica se vuelve no lineal (condicionada a las observaciones clásicas).

2. Disipación y Flujo de Información:
   Un resultado central es la demostración de que, para que la información fluya desde el componente cuántico hacia el clásico (es decir, para que el sistema clásico actúe como un aparato de medición), la dinámica debe ser disipativa. Específicamente, la dinámica del componente clásico bajo $P$ adquiere términos de deriva dependientes de expectativas cuánticas ($m_k(t)$ e $I_t(u)$) solo si los operadores cuánticos $L_k$ y $J$ no son proporcionales a la identidad. Esto implica que una interacción híbrida no trivial requiere disipación en el sistema cuántico.

3. Semigrupo Dinámico Híbrido:
   El autor construye un semigrupo dinámico híbrido $T_t$ que actúa sobre un álgebra $C^*$ de observables ($A_2 = B(\mathcal{H}) \otimes B_b(\mathbb{R}^s)$).

   • Este semigrupo es lineal y completamente positivo.
   • Se reduce a un semigrupo dinámico cuántico estándar en el límite puramente cuántico e incluye ecuaciones de Liouville y Kolmogorov-Fokker-Planck en el límite puramente clásico.
   • Se deriva el generador formal $K$ de este semigrupo, permitiendo la comparación con otros enfoques de ecuaciones maestras híbridas.

4. Instrumentos y Probabilidades de Transición:
   El marco introduce "instrumentos de transición" $I_t(\cdot|x)$, que son aplicaciones completamente positivas que generalizan las probabilidades de transición clásicas. Estos instrumentos satisfacen un análogo cuántico de la identidad de Chapman-Kolmogorov, asegurando la consistencia de las probabilidades de múltiples tiempos para el sistema híbrido.

5. Ejemplos y Aplicaciones:
   Varios ejemplos ilustran la versatilidad del formalismo:

   • Caso Puramente Clásico: Demuestra cómo pueden ocurrir cambios de probabilidad incluso sin un componente cuántico debido a auto-interacciones.
   • Saltos Discretos: Analiza sistemas con tipos de saltos discretos, mostrando cómo aparecen términos de retroacción en la deriva clásica.
   • Dinámica de Entrelazamiento: Se presenta un modelo de dos qubits donde el estado a priori (medio) pierde entrelazamiento (se vuelve separable), mientras que los estados condicionales (trayectorias cuánticas) preservan o incluso crean entrelazamiento. Esto ilustra el fenómeno del "entrelazamiento oculto".
   • Control: El marco acomoda naturalmente el control por retroalimentación, donde el componente clásico influye en el Hamiltoniano cuántico o en los operadores de salto, y viceversa.

Significado y Afirmaciones
El artículo afirma proporcionar una formulación markoviana matemáticamente rigurosa de la dinámica híbrida cuántica/clásica que respeta la estructura axiomática general de la teoría cuántica (linealidad, positividad completa). Al conectar las trayectorias cuánticas con los procesos markovianos clásicos mediante instrumentos, el trabajo cierra la brecha entre la teoría de sistemas cuánticos abiertos y los procesos estocásticos clásicos.

El autor enfatiza que este enfoque:

• Clarifica la necesidad de disipación para la extracción de información de sistemas cuánticos.
• Proporciona un generador unificado para la dinámica híbrida, facilitando la comparación con otras propuestas basadas en ecuaciones maestras.
• Ofrece un marco flexible para modelar fenómenos físicos como el entrelazamiento oculto y el control por retroalimentación sin invocar efectos de memoria no markovianos.

El trabajo se presenta como un paso fundamental, construyendo la maquinaria teórica (EDE, semigrupos, generadores) en lugar de proponer configuraciones experimentales nuevas específicas, aunque cita la relevancia potencial para teorías de gravedad-materia y control cuántico.