An extensive theory of nonlinearly intercoupled pseudomodes for noise model reduction in circuit QED

Resumen Técnico: Una Teoría Extensa de Pseudomodos Interacoplados No Linealmente para la Reducción de Modelos de Ruido en Circuitos QED

Enunciado del Problema
Las plataformas de electrodinámica cuántica de circuitos superconductores (cQED) enfrentan un desafío persistente de modelado: la no linealidad intrínseca del potencial de Josephson se acopla a un entorno electromagnético disipativo de maneras que resisten tanto el tratamiento perturbativo como la reducción Markoviana ingenua. Los enfoques estándar a menudo escalan mal con el tamaño del sistema o dependen de suposiciones estructurales, específicamente, de que el entorno es sin memoria en las escalas de tiempo relevantes y de que el acoplamiento sistema-entorno es lo suficientemente débil para que la aproximación Born-Markov sea aplicable. Sin embargo, las características del hardware moderno (por ejemplo, filtros de Purcell, modos de búfer y resonadores auxiliares fuertemente acoplados) introducen características espectrales estructuradas con escalas de tiempo de memoria comparables a las duraciones de las puertas. En consecuencia, los modelos convencionales, que incorporan correcciones perturbativas sucesivas, se vuelven cada vez menos fiables fuera de sus regímenes específicos de calibración. Si bien la comunidad de sistemas cuánticos abiertos ha desarrollado la construcción de pseudomodos de Garraway para reemplazar baños continuos con conjuntos finitos de modos auxiliares amortiguados, esta literatura ha asumido históricamente subsistemas retenidos lineales, creando una brecha en el modelado de procesadores de cQED no lineales.

Metodología
Este trabajo generaliza la construcción de pseudomodos de Garraway para acomodar modos auxiliares interacoplados no linealmente. Los autores desarrollan una teoría general en la imagen de Heisenberg, dividiendo el Hamiltoniano total en un sector retenido ($H_{keep}$) y un sector eliminado ($H_{elim}$). Crucialmente, se permite que $H_{keep}$ contenga interacciones no lineales arbitrarias (por ejemplo, términos de Kerr), mientras que el sector eliminado representa el entorno o los modos auxiliares.

La metodología central procede de la siguiente manera:

1. Formulación de la Ecuación de Dyson: Los autores derivan una ecuación de Dyson para la función de Green del modo retenido. Demuestran que el núcleo de memoria del sector eliminado puede representarse mediante una autoenergía racional, $\Sigma(\omega)$, siempre que la densidad espectral admita una descomposición meromorfa (un conjunto finito de polos).
2. Generalización No Lineal: El artículo establece que la eliminación de pseudomodos no está fundamentalmente ligada a la linealidad del Hamiltoniano retenido, sino a la representabilidad. Si la influencia de un sector eliminado sobre el subsistema retenido se captura mediante una autoenergía racional, puede ser reemplazada por un conjunto finito de modos auxiliares amortiguados, independientemente de la estructura no lineal interna de cualquiera de los sectores.
3. Eliminación en Forma Cerrada: El marco se aplica a sistemas específicos de múltiples modos con auto-Kerr completo, cross-Kerr e interacciones bilineales o de mezcla de tres ondas. Los autores derivan expresiones explícitas para frecuencias de transición condicionadas a la ocupación, autoenergías y polos vestidos.
4. Equivalencia de Desplazamiento Coherente: La teoría se extiende para mostrar la equivalencia entre un Hamiltoniano padre de cuatro modos desplazado con interacciones cuárticas y un Hamiltoniano efectivo de mezcla de tres ondas obtenido desplazando linealmente el cuarto modo (el límite de "bomba rígida").

Contribuciones y Resultados Clave

• Teoría Generalizada: Los autores proporcionan un marco no perturbativo y sistemáticamente reducible para la dinámica de cQED de sistemas abiertos. Demuestran que la construcción de pseudomodos sobrevive a la introducción de no linealidades en el subsistema retenido, siempre que la función de respuesta del sector eliminado sea racional.
• Soluciones Explícitas de Múltiples Modos: El artículo presenta resultados de eliminación en forma cerrada para:
  • Sistemas de dos modos: Con auto-Kerr, cross-Kerr e intercambio bilineal. La reducción produce una autoenergía con un único polo condicionado a la ocupación, y se demuestra que el Hamiltoniano del sector fijo es tridiagonal con una autoenergía de fracción continua.
  • Sistemas de tres modos: Con acoplamientos de mezcla de tres ondas ($abc^\dagger$). Los autores derivan los polos vestidos y muestran cómo los modos espectadores contribuyen mediante desplazamientos cross-Kerr.
  • Sistemas de cuatro modos: Con intercambio bilineal y eliminación selectiva.
• Equivalencia de Bomba Rígida: Se establece una equivalencia matemática precisa entre una teoría padre de cuatro modos con interacciones cuárticas y una teoría efectiva de tres modos bajo una bomba coherente rígida. Los autores demuestran que la tasa efectiva de mezcla de tres ondas ($g_3$) surge del producto del acoplamiento de cuatro modos ($g_4$) y la amplitud coherente del modo desplazado ($\beta$), es decir, $g_3 = g_4 \beta^*$. Esto confirma que el espectro paramétrico de múltiples fotones activado observado bajo una bomba rígida es el espectro reducido del sistema padre.
• Eficiencia Computacional: El marco resultante reduce sustancialmente la sobrecarga computacional del modelado de cQED de sistemas abiertos al convertir ecuaciones de Heisenberg no locales en el tiempo en un conjunto local de ecuaciones acopladas en un espacio de Hilbert reducido, manteniéndose fiel a la física subyacente.

Significado y Afirmaciones
El artículo afirma que este marco ofrece una ruta no perturbativa y computacionalmente manejable para el modelado de sistemas abiertos en los regímenes estructurados, fuertemente impulsados y no lineales que caracterizan cada vez más al hardware de circuitos-QED.

Los autores enfatizan tres puntos específicos sobre el significado y las limitaciones de su trabajo:

1. Calibración vs. Estructura: La reducción es exacta cuando la función de respuesta del sector eliminado admite una estructura de polos racional que coincide con la respuesta experimentalmente accesible del hardware. Esto coloca una carga de calibración en el experimentalista (para medir la respuesta espectral con suficiente resolución) en lugar de una restricción estructural en el método.
2. Aplicabilidad: El marco es particularmente valioso para regímenes que involucran entornos estructurados (por ejemplo, filtros de Purcell), escalas de tiempo de memoria comparables a las duraciones de las puertas y renormalizaciones inducidas por la conducción que no son perturbativamente pequeñas. Se señala específicamente como relevante para arquitecturas que involucran acopladores no lineales fuertemente impulsados que median interacciones paramétricas efectivas, como qubits de gato disipativos de dos fotones y mezcla de tres ondas basada en SNAIL.
3. Limitaciones: La construcción asume una descomposición espectral racional; las densidades no racionales requieren una aproximación controlada. Además, la reducción reproduce exactamente la dinámica reducida del subsistema retenido pero no reconstruye el estado conjunto sistema-entorno, lo que significa que los observables en los modos eliminados requieren purificación o extensiones de entrada-salida. Los ejemplos en forma cerrada proporcionados cubren conteos pequeños de modos, dejando la validación numérica sistemática frente a las Ecuaciones Jerárquicas de Movimiento (HEOM) para trabajos futuros.

En conclusión, el trabajo reposiciona la herramienta de pseudomodos para la cQED no lineal, afirmando que la clave para la eliminación es la representabilidad (autoenergía racional) en lugar de la linealidad, proporcionando así una alternativa fiel y no perturbativa a los flujos de trabajo Markovianos estándar.