Divisibility of dynamical maps: Schrödinger vs. Heisenberg picture

Este trabajo demuestra que la divisibilidad de los mapas dinámicos cuánticos no es equivalente entre las imágenes de Schrödinger y Heisenberg, estableciendo que la divisibilidad en la imagen de Heisenberg constituye un testigo independiente de efectos de memoria y proponiendo un cuantificador operativo para su violación.

Lo esencial

¡Hola! Vamos a desglosar este artículo científico, que puede parecer muy técnico, usando una analogía sencilla y cotidiana.

Imagina que estás observando un juguete que se mueve (un sistema cuántico) dentro de una caja llena de aire y polvo (el entorno). Los científicos quieren saber si el movimiento del juguete es "memorioso" (no markoviano) o si simplemente sigue las reglas del momento sin recordar el pasado (markoviano).

Para estudiar esto, los físicos tienen dos formas de mirar el mismo juguete:

1. La "Foto" (Imagen de Schrödinger): Miras al juguete mismo. ¿Cómo cambia su posición, su color o su forma con el tiempo?
2. La "Pregunta" (Imagen de Heisenberg): En lugar de mirar al juguete, miras las preguntas que le haces. Por ejemplo: "¿Está el juguete a la izquierda o a la derecha?". Aquí, el juguete es fijo, pero las preguntas (las reglas de medición) cambian con el tiempo.

El Gran Descubrimiento: ¡No son lo mismo!

Durante mucho tiempo, los científicos pensaron que si el juguete se comportaba de una manera "memoriosa" en la Foto, también lo haría en la Pregunta. Pensaban que ambas miradas eran equivalentes.

Este artículo dice: "¡No! Están equivocados".

Los autores demuestran que puedes tener un escenario donde:

• Si miras al juguete (Schrödinger), parece que todo es suave y sin memoria (divisible).
• Pero si miras las preguntas (Heisenberg), ¡de repente ves que hay "rebotes" de información! El juguete parece estar recordando cosas que debería haber olvidado.

Es como si miraras un coche por la ventana y pareciera ir a velocidad constante, pero si miras el velocímetro (que es una "pregunta" sobre el coche), ves que el motor está acelerando y frenando bruscamente.

¿Por qué pasa esto? (La analogía del Chef y el Plato)

Imagina que tienes un Chef (el generador de la ecuación) que prepara un plato (el estado del sistema).

• En la imagen de Schrödinger (el plato): El Chef toma un ingrediente crudo y lo cocina. Si el Chef sigue una receta estricta paso a paso, el plato evoluciona de forma predecible.
• En la imagen de Heisenberg (la receta): Aquí no miramos el plato, sino cómo cambia la receta misma.

El truco matemático es que el "Chef" que cocina el plato (izquierda) no es el mismo que el "Chef" que escribe la receta (derecha). A veces, el Chef de la izquierda es muy ordenado, pero el Chef de la derecha es caótico.

• Si el Chef de la izquierda es ordenado, el plato parece perfecto.
• Pero si el Chef de la derecha es caótico, la receta cambia de forma extraña, revelando que hubo un "golpe" o una "memoria" oculta que el plato no mostró.

¿Qué significa esto en la vida real?

El artículo introduce una nueva forma de medir la "memoria" del sistema:

1. El Juego de Adivinar:

   • En Schrödinger: Imagina que Alice te envía una caja con una pelota roja o azul. Tú tienes que adivinar de qué color es. Si la caja es "memoriosa", a veces adivinas mejor con el tiempo porque la caja "devuelve" información.
   • En Heisenberg: Ahora, Alice no te envía una caja, sino que te da un filtro (una pregunta). A veces el filtro deja pasar la luz, a veces no. Tú tienes que adivinar qué filtro te dio.
   • El artículo dice: ¡Puedes tener un sistema donde nunca adivinas mejor la caja (Schrödinger), pero sí adivinas mejor el filtro con el tiempo (Heisenberg)!

2. La Medida de la Confusión:
   Los autores crearon una nueva "regla" para medir cuánto se confunde el sistema al hacer estas preguntas. Si la capacidad de adivinar el filtro sube y baja (no es constante), ¡eso es una señal de que el sistema tiene memoria!

¿Por qué es importante?

Antes, si un científico veía que un sistema cuántico parecía "sin memoria" mirando al sistema, decía: "¡Es un sistema simple, no hay nada que estudiar!".

Ahora, gracias a este trabajo, sabemos que podemos estar perdiéndonos información crucial. Un sistema puede parecer aburrido y simple si solo miramos el objeto, pero si miramos cómo cambian nuestras herramientas de medición, descubrimos que está lleno de secretos, recuerdos y comportamientos complejos.

En resumen:
No basta con mirar al objeto para entender su historia. A veces, la historia real se esconde en cómo cambian las reglas con las que lo observamos. Para entender la memoria en el mundo cuántico, necesitamos mirar desde ambas perspectivas a la vez.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Divisibility of dynamical maps: Schrödinger vs. Heisenberg picture" (Divisibilidad de mapas dinámicos: Picture de Schrödinger vs. Picture de Heisenberg), escrito por Federico Settimo et al.

1. Planteamiento del Problema

La divisibilidad de los mapas dinámicos cuánticos es un concepto central en el estudio de la no-Markovianidad en sistemas cuánticos abiertos. Tradicionalmente, este concepto se ha investigado exclusivamente en la picture de Schrödinger (evolución de estados/densidad). Un mapa dinámico $\Phi_t$ se considera P-divisible (o CP-divisible) si la evolución entre dos tiempos $s$ y $t$ ($t > s$) puede describirse mediante un mapa positivo (o completamente positivo) $\Phi_{t,s}$. Las violaciones de esta divisibilidad se asocian con efectos de memoria y retroflujo de información.

El problema central abordado en este trabajo es la equivalencia (o falta de ella) de la divisibilidad al pasar de la picture de Schrödinger a la picture de Heisenberg (evolución de observables). Aunque ambas pictures son físicamente equivalentes en términos de predicciones observables, los autores se preguntan si las propiedades de divisibilidad de los mapas duales ($\Phi_t$ vs $\Phi_t^*$) son idénticas. El trabajo demuestra que, debido a la distinción entre generadores izquierdos y derechos en ecuaciones maestras dependientes del tiempo, estas propiedades no son equivalentes en general.

2. Metodología

Los autores emplean un enfoque teórico riguroso basado en la teoría de sistemas cuánticos abiertos y álgebra de operadores:

• Generadores Izquierdos y Derechos: Introducen formalmente la distinción entre el generador izquierdo ($L_t$) y el generador derecho ($R_t$) en la ecuación maestra (ME) local en el tiempo.
  • Picture de Schrödinger: $\dot{\Phi}_t = L_t \circ \Phi_t$ (izquierda) y $\dot{\Phi}_t = \Phi_t \circ R_t$ (derecha).
  • Se demuestra que $L_t \neq R_t$ a menos que el sistema sea un semigrupo (generador independiente del tiempo) o conmutativo.
• Dualidad de Pictures: Analizan cómo estos generadores se transforman bajo la dualidad de Hilbert-Schmidt.
  • En la picture de Heisenberg, el mapa dual $\Phi_t^*$ evoluciona según $\dot{\Phi}_t^* = \Phi_t^* \circ L_t^* = R_t^* \circ \Phi_t^*$.
  • Hallazgo clave: El generador que controla la divisibilidad en la picture de Heisenberg es la dual del generador derecho de Schrödinger ($R_t^*$), no la dual del generador izquierdo ($L_t^*$).
• Construcción de Propagadores: Definen propagadores izquierdos ($\Phi_{t,s}^L$) y derechos ($\Phi_{t,s}^R$) y establecen que la divisibilidad de Schrödinger depende de la positividad de $\Phi_{t,s}^L$, mientras que la divisibilidad de Heisenberg depende de la positividad de $\Phi_{t,s}^{R*}$ (que es la dual de $\Phi_{t,s}^R$).
• Ejemplos Analíticos y Numéricos:
  • Analizan dinámicas covariantes de fase.
  • Estudian sistemas clásicos estocásticos de 2 estados.
  • Construyen ejemplos explícitos de qubits donde la dinámica es divisible en una picture pero indivisible en la otra, utilizando transformaciones ortogonales no conmutativas sobre la esfera de Bloch.

3. Contribuciones Clave

1. Generalización de la Divisibilidad a Heisenberg: Se define formalmente la "divisibilidad de Heisenberg" como la propiedad de que el propagador derecho dual ($\Phi_{t,s}^{R*}$) sea positivo (P) o completamente positivo (CP).
2. Demostración de Inequivalencia: Se prueba que un mapa dinámico puede ser Schrödinger-divisible pero Heisenberg-indivisible, y viceversa. Esto rompe la intuición de que las propiedades de divisibilidad son invariantes bajo el cambio de picture.
3. Interpretación Operacional Dual:
   • En Schrödinger, la violación de la divisibilidad P se vincula al aumento de la probabilidad de adivinar entre dos estados (distancia de traza $D_1$).
   • En Heisenberg, se introduce una interpretación dual: la violación de la divisibilidad P se vincula al aumento de la probabilidad de adivinar entre dos efectos (mediciones) mediante la distancia de operador $D_\infty$.
4. Nueva Medida de No-Markovianidad: Se propone un cuantificador ($N_H$) para la violación de la divisibilidad P en la picture de Heisenberg, análogo a la medida de Breuer-Laine-Piilo (BLP) en Schrödinger, basado en la no-monotonía de la distancia de operador entre efectos.
5. Conexión con POVMs: Se establece que la no-monotonía en la incompatibilidad (joint measurability) y la nitidez (sharpness) de las medidas positivas de valor operador (POVM) son testigos directos de la violación de la divisibilidad de Heisenberg.

4. Resultados Principales

• Dinámicas Covariantes de Fase: En un modelo específico, se encontró una dinámica que es CP-divisible en la picture de Schrödinger (todos los tasas $\gamma_\alpha \geq 0$) pero P-indivisible en la picture de Heisenberg (las tasas duales $\xi_\alpha$ se vuelven negativas). Esto se refleja en una oscilación no monótona de la distancia de operador $D_\infty$.
• Sistemas Clásicos: En sistemas estocásticos clásicos de 2 estados, se demostró que la divisibilidad de Heisenberg es más fuerte que la de Schrödinger (si es Heisenberg-divisible, entonces es Schrödinger-divisible), pero la recíproca no se cumple.
• Ejemplo de Qubit (Rotación Ortogonal): Se construyó un ejemplo donde la esfera de Bloch sufre una contracción seguida de una rotación ortogonal no conmutativa.
  • Si la rotación se aplica a la derecha del término de contracción ($\Lambda = D O^\top$), la dinámica es indivisible en Schrödinger pero divisible en Heisenberg.
  • Si la rotación se aplica a la izquierda ($\Lambda = O D$), la dinámica es divisible en Schrödinger (solo una rotación unitaria de la esfera contraída) pero indivisible en Heisenberg.
  • Esto demuestra que efectos de memoria pueden existir (violación de divisibilidad de Heisenberg) incluso cuando la picture de Schrödinger sugiere una dinámica Markoviana (o al menos P-divisible).

5. Significado e Impacto

El trabajo tiene implicaciones profundas para la caracterización de la no-Markovianidad cuántica:

• Limitación de las Medidas Actuales: Las medidas de no-Markovianidad basadas únicamente en la picture de Schrödinger pueden pasar por alto efectos de memoria reales que solo son detectables en la picture de Heisenberg.
• Reinterpretación de la Memoria: La memoria cuántica no es un concepto único; puede manifestarse como un flujo de información de vuelta a los estados (Schrödinger) o como un flujo de información de vuelta a la capacidad de distinguir efectos/mediciones (Heisenberg).
• Recursos Cuánticos: La violación de la divisibilidad de Heisenberg se conecta directamente con la recuperación de recursos de medición, como la incompatibilidad y la capacidad de guiado (steering), sugiriendo que el control de ruido y la mejora de tareas cuánticas deben considerar ambas pictures.
• Fundamentos Teóricos: El artículo subraya que la conmutatividad entre el generador y el mapa es crucial para la equivalencia de las pictures. En regímenes no-Markovianos generales (donde no hay conmutatividad), las dos pictures ofrecen perspectivas complementarias y no redundantes sobre la dinámica del sistema.

En conclusión, los autores establecen que la divisibilidad de Heisenberg es un testigo independiente de efectos de memoria, y que una caracterización completa de la dinámica cuántica no-Markoviana requiere analizar tanto la evolución de los estados como la de los observables.