Memory dimension detection in open quantum dynamics via pseudo-control

Resumen Técnico: Detección de la Dimensión de Memoria en la Dinámica Cuántica Abierta mediante Pseudo-Control

Planteamiento del Problema
Caracterizar la dinámica cuántica abierta requiere identificar los grados de libertad del entorno que influyen en la evolución de un sistema. La "dimensión de memoria" ($d_m$) se define como la dimensión del espacio de Hilbert del recuerdo efectivo más pequeño requerido para reproducir la influencia del entorno sobre el sistema. Si bien este concepto conecta la estructura física del entorno con los recursos necesarios para la simulación y el control, inferir $d_m$ en escenarios del mundo real es un desafío. Los grados de libertad del entorno son típicamente inaccesibles, lo que requiere una inferencia indirecta a partir de las interacciones sistema-entorno. Los métodos existentes suelen depender de la tomografía completa del tensor de proceso para reconstruir el mapa completo de entrada-salida de múltiples pasos, lo cual es experimentalmente exigente y escala pobremente. La pregunta central abordada es si las mediciones de salida accesibles pueden certificar un límite inferior de la dimensión de memoria sin reconstruir el mapa completo de múltiples pasos o acceder directamente al entorno.

Metodología: El Protocolo de Pseudo-Control
Los autores introducen un protocolo de "pseudo-control" diseñado para codificar información sobre la dimensión de memoria en una matriz de interferencia ($M_{RS}$) experimentalmente accesible. El protocolo involucra un sistema ($S$) interactuando con un entorno ($E$) en dos interacciones distintas ($C_1$ y $C_2$), separadas por un intervalo de espera ($T$) durante el cual el sistema se desacopla mientras el entorno evoluciona.

1. Arquitectura del Circuito: Se prepara un qubit de control ($c$) en el estado $|+\rangle$. Un sistema de referencia ($R$) se prepara en un estado puro $|\Psi\rangle_{RS}$ entrelazado con $S$. Puertas Controlled-SWAP dirigen el sistema $S$ a través de la interacción $C_1$ si el control es $|0\rangle_c$ y a través de $C_2$ si el control es $|1\rangle_c$. La interacción omitida en cada rama recibe un estado de entrada fijo.
2. Construcción de la Matriz de Interferencia: Tras las interacciones y tras descartar todos los productos de salida, se mide el estado retenido en el control y en el par sistema-referencia ($cRS$). El bloque fuera de la diagonal de este estado, $M_{RS} := \omega_{RS}^{01}$, constituye la matriz de interferencia.
3. Reconstrucción Operacional: $M_{RS}$ no es un observable directo, sino que se reconstruye mediante mediciones del qubit de control en las bases $X$ e $Y$, seguidas de una tomografía condicional en el subsistema $RS$. Específicamente, se obtienen operadores condicionales no normalizados $\Omega_\alpha$ para resultados de control $\alpha \in \{+, -, +i, -i\}$, y $M_{RS}$ se recupera mediante la combinación lineal:
   $$M_{RS} = \frac{1}{2} [\Omega_+ - \Omega_- - i(\Omega_{+i} - \Omega_{-i})]$$
4. Límite Teórico: Utilizando métodos de redes de tensores y el formalismo de quantum combs, los autores demuestran que, si el rango de la matriz de interferencia es $r = \text{rank}(M_{RS})$, la dimensión de memoria de cualquier realización compatible del proceso debe satisfacer:
   $$d_m \ge \lceil \sqrt{r} \rceil$$
   Este límite se deriva del análisis de los patrones de contracción de la red de tensores, mostrando que el rango de $M_{RS}$ está limitado por el número de caminos independientes (enlaces) que cruzan el corte entre las dos interacciones, los cuales están determinados por la dimensión de memoria $d_m$.

Resultados Clave
El protocolo fue aplicado a simulaciones numéricas de diversos entornos de muchos cuerpos para estudiar cómo el tiempo de interacción ($\tau$), el tiempo de intervalo ($T$), la fuerza de acoplamiento ($\lambda$) y la geometría del acoplamiento afectan la memoria detectable.

• Dependencia de la Interacción e Intervalo: El rango resuelto $r_\epsilon$ (contando valores singulares por encima de un umbral $\epsilon$) aumenta inicialmente con el tiempo de interacción $\tau$ a medida que se codifica la información. En modelos disipativos, $r_\epsilon$ disminuye posteriormente a medida que $\tau$ aumenta debido a la despolarización. Del mismo modo, el aumento del tiempo de intervalo $T$ generalmente conduce a la degradación de la memoria (menor $r_\epsilon$) en modelos disipativos, aunque la dinámica coherente puede redistribuir la información temporalmente, causando aumentos locales en el rango.
• Fuerza y Geometría de Acoplamiento:
  • Contacto de Frontera: Cuando el sistema se acopla solo al borde del entorno (por ejemplo, el último qubit del sistema al primer qubit del entorno), el rango aumenta con la fuerza de acoplamiento $\lambda$ inicialmente, pero disminuye con un acoplamiento fuerte. Esto sugiere un "cuello de botella" donde un acoplamiento local fuerte impide que el resto del entorno sea accedido dentro del tiempo de interacción fijo.
  • Contacto en Escalera: Cuando cada sitio del sistema se acopla al sitio correspondiente del entorno (geometría de escalera), el rango no disminuye con el acoplamiento fuerte. Esto confirma que la caída en el caso de frontera se debe a limitaciones de acceso y no a la dinámica intrínseca del entorno.
• Disipación vs. Coherencia: Al comparar modelos con y sin despolarización local, se reveló que la disipación suprime el rango resuelto, mientras que la dinámica coherente (incluso en sistemas no integrables) permite una propagación de información más amplia y rangos detectables más altos.
• Rol del Sistema de Referencia: El uso de un sistema de referencia máximamente entrelazado (maximizando el rango de Schmidt) eleva el techo teórico del rango observable de $d_S$ a $d_S^2$, mejorando la capacidad del protocolo para detectar dimensiones de memoria más altas.

Significación y Reivindicaciones
El artículo afirma proporcionar una nueva técnica operacional para caracterizar la dinámica cuántica abierta. Su principal significación radica en:

1. Eficiencia: Certifica un límite inferior de la dimensión de memoria sin requerir acceso directo al entorno o la tomografía completa del tensor de proceso.
2. Sondeo de la Estructura: El protocolo revela cómo las estructuras de interacción sistema-entorno (geometría y fuerza) y la dinámica interna del entorno moldean las firmas de la memoria detectable.
3. Perspectiva Operacional: Demuestra que la dimensión de memoria no es una propiedad estática, sino que depende de los parámetros específicos de la interacción (tiempo, acoplamiento) y de la estrategia de medición (sistema de referencia).

Los autores concluyen que este enfoque ofrece un método enfocado para sondear la estructura de las interacciones sistema-entorno a través de sus firmas de memoria, cerrando la brecha entre la estructura física del entorno y los recursos necesarios para la simulación y el control. Señalan que trabajos futuros podrían explorar implementaciones de circuitos más simples para reducir la carga experimental y clarificar aún más cómo la propagación de la información en entornos de muchos cuerpos dicta la dimensión de memoria requerida.