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

Riepilogo Tecnico: Una Teoria Estesa dei Pseudomodi Interaccoppiati Non Linearmente per la Riduzione del Modello di Rumore nei Circuiti QED

Enunciato del Problema
Le piattaforme di elettrodinamica quantistica dei circuiti superconduttori (cQED) affrontano una sfida di modellazione persistente: la non linearità intrinseca del potenziale di Josephson si accoppia a un ambiente elettromagnetico dissipativo in modi che resistono sia al trattamento perturbativo sia alla riduzione markoviana ingenua. Gli approcci standard spesso scalano male con la dimensione del sistema o si basano su assunzioni strutturali—specificamente, che l'ambiente sia senza memoria sulle scale temporali rilevanti e che l'accoppiamento sistema-ambiente sia abbastanza debole da permettere l'applicazione dell'approssimazione di Born-Markov. Tuttavia, le caratteristiche dell'hardware moderno (ad esempio, filtri Purcell, modalità tampone e risonatori ancillari fortemente accoppiati) introducono caratteristiche spettrali strutturate con scale temporali di memoria comparabili alla durata delle porte. Di conseguenza, i modelli convenzionali, che applicano correzioni perturbative successive, diventano sempre più inaffidabili al di fuori dei loro specifici regimi di calibrazione. Sebbene la comunità dei sistemi quantistici aperti abbia sviluppato la costruzione dei pseudomodi di Garraway per sostituire i bagni continui con insiemi finiti di modi ausiliari smorzati, questa letteratura ha storicamente assunto sottosistemi trattenuti lineari, creando un vuoto nella modellazione dei processori cQED non lineari.

Metodologia
Questo lavoro generalizza la costruzione dei pseudomodi di Garraway per accogliere modi ausiliari interaccoppiati non linearmente. Gli autori sviluppano una teoria generale nel quadro di Heisenberg, partizionando l'Hamiltoniana totale in un settore trattenuto ($H_{keep}$) e un settore eliminato ($H_{elim}$). Crucialmente, $H_{keep}$ è consentito contenere interazioni non lineari arbitrarie (ad esempio, termini Kerr), mentre il settore eliminato rappresenta l'ambiente o i modi ausiliari.

La metodologia centrale procede come segue:

1. Formulazione dell'Equazione di Dyson: Gli autori derivano un'equazione di Dyson per la funzione di Green del modo trattenuto. Dimostrano che il nucleo di memoria del settore eliminato può essere rappresentato da un'autoenergia razionale, $\Sigma(\omega)$, a condizione che la densità spettrale ammetta una decomposizione meromorfa (un insieme finito di poli).
2. Generalizzazione Non Lineare: Il documento stabilisce che l'eliminazione dei pseudomodi non è fondamentalmente vincolata alla linearità dell'Hamiltoniana trattenuta, ma alla rappresentabilità. Se l'influenza di un settore eliminato sul sottosistema trattenuto è catturata da un'autoenergia razionale, può essere sostituita da un insieme finito di modi ausiliari smorzati, indipendentemente dalla struttura non lineare interna di entrambi i settori.
3. Eliminazione in Forma Chiusa: Il framework viene applicato a sistemi specifici a più modi con auto-Kerr completo, cross-Kerr e interazioni bilineari o di mixing a tre onde. Gli autori derivano espressioni esplicite per le frequenze di transizione condizionate all'occupazione, le autoenergie e i poli vestiti.
4. Equivalenza dello Spostamento Coerente: La teoria è estesa per mostrare l'equivalenza tra un'Hamiltoniana genitore a quattro modi spostata con interazioni quartiche e un'Hamiltoniana efficace di mixing a tre onde ottenuta spostando linearmente il quarto modo (il limite della "pompa rigida").

Contributi e Risultati Chiave

• Teoria Generalizzata: Gli autori forniscono un framework non perturbativo e sistematicamente riducibile per la dinamica dei sistemi aperti in cQED. Dimostrano che la costruzione dei pseudomodi sopravvive all'introduzione di non linearità nel sottosistema trattenuto, a condizione che la funzione di risposta del settore eliminato sia razionale.
• Soluzioni Esplicite Multi-Modo: Il documento presenta risultati di eliminazione in forma chiusa per:
  • Sistemi a due modi: Caratterizzati da auto-Kerr, cross-Kerr e scambio bilineare. La riduzione produce un'autoenergia con un singolo polo condizionato all'occupazione, e l'Hamiltoniana del settore fisso è mostrata essere tridiagonale con un'autoenergia a frazione continua.
  • Sistemi a tre modi: Caratterizzati da accoppiamenti di mixing a tre onde ($abc^\dagger$). Gli autori derivano i poli vestiti e mostrano come i modi spettatori contribuiscano tramite spostamenti cross-Kerr.
  • Sistemi a quattro modi: Caratterizzati da scambio bilineare ed eliminazione selettiva.
• Equivalenza Pompa Rigida: Viene stabilita una precisa equivalenza matematica tra una teoria genitore a quattro modi con interazioni quartiche e una teoria efficace a tre modi sotto una pompa coerente rigida. Gli autori dimostrano che il tasso efficace di mixing a tre onde ($g_3$) deriva dal prodotto dell'accoppiamento a quattro modi ($g_4$) e dell'ampiezza coerente del modo spostato ($\beta$), ovvero $g_3 = g_4 \beta^*$. Ciò conferma che lo spettro parametrico a più fotoni attivato osservato sotto una pompa rigida è lo spettro ridotto del sistema genitore.
• Efficienza Computazionale: Il framework risultante riduce sostanzialmente l'onere computazionale della modellazione cQED di sistemi aperti convertendo le equazioni di Heisenberg non locali nel tempo in un insieme locale di equazioni accoppiate in uno spazio di Hilbert ridotto, rimanendo fedele alla fisica sottostante.

Significato e Affermazioni
Il documento afferma che questo framework offre una via non perturbativa e computazionalmente trattabile alla modellazione di sistemi aperti nei regimi strutturati, fortemente guidati e non lineari che caratterizzano sempre più l'hardware cQED.

Gli autori sottolineano tre punti specifici riguardanti il significato e i limiti del loro lavoro:

1. Calibrazione vs. Struttura: La riduzione è esatta quando la funzione di risposta del settore eliminato ammette una struttura di poli razionale che corrisponde alla risposta sperimentalmente accessibile dell'hardware. Questo pone un onere di calibrazione sullo sperimentatore (misurare la risposta spettrale con risoluzione sufficiente) piuttosto che una restrizione strutturale sul metodo.
2. Applicabilità: Il framework è particolarmente prezioso per i regimi che coinvolgono ambienti strutturati (ad esempio, filtri Purcell), scale temporali di memoria comparabili alla durata delle porte e rineormalizzazioni indotte dalla guida che non sono perturbativamente piccole. Viene specificamente notato come rilevante per architetture che coinvolgono accoppiatori non lineari fortemente guidati che mediano interazioni parametriche efficaci, come i qubit cat dissipativi a due fotoni e il mixing a tre onde basato su SNAIL.
3. Limiti: La costruzione assume una decomposizione spettrale razionale; densità non razionali richiedono un'approssimazione controllata. Inoltre, la riduzione riproduce esattamente la dinamica ridotta del sottosistema trattenuto ma non ricostruisce lo stato congiunto sistema-ambiente, il che significa che gli osservabili sui modi eliminati richiedono purificazione o estensioni input-output. Gli esempi in forma chiusa forniti coprono piccoli numeri di modi, con un benchmarking numerico sistematico rispetto alle Equazioni Gerarchiche del Moto (HEOM) lasciato per lavori futuri.

In conclusione, il lavoro riposiziona lo strumento dei pseudomodi per la cQED non lineare, affermando che la chiave per l'eliminazione è la rappresentabilità (autoenergia razionale) piuttosto che la linearità, fornendo così un'alternativa fedele e non perturbativa ai flussi di lavoro markoviani standard.