Effective Hamiltonians in Cavity and Waveguide QED from Transition-Operator Diagrammatic Perturbation Theory

Sintesi Tecnica: Hamiltoniani Effettivi in QED a Cavità e in Guide d'Onda dalla Teoria Perturbativa Diagrammatica degli Operatori di Transizione

Enunciato del Problema
L'eliminazione adiabatica è un'approssimazione standard nella teoria dell'interazione luce-materia utilizzata per eliminare i gradi di libertà che evolvono rapidamente quando esiste una chiara separazione delle scale temporali, tipicamente nel regime dispersivo dove gli sfasamenti (detunings) superano le intensità di accoppiamento. Sebbene ampiamente utilizzata, i metodi esistenti presentano limitazioni significative. Gli approcci centrati sugli stati, come le trasformazioni di Schrieffer-Wolff, richiedono spesso trasformazioni di riferimento non uniche e diventano computazionalmente onerosi a ordini perturbativi superiori a causa della proliferazione di commutatori annidati. Inoltre, molte tecniche esistenti sono limitate a cavità a singolo o doppio modo, faticano a gestire i continui di frequenza (come quelli trovati nella QED in guide d'onda) e spesso trattano separatamente i gradi di libertà della luce e della materia, collassando quando il campo elettromagnetico è completamente quantizzato. Manca uno schema sistematico di eliminazione adiabatica di ordine arbitrario che gestisca sistemi a più livelli, multipli qubit e spettri continui all'interno di un quadro unificato e completamente quantizzato.

Metodologia
Gli autori propongono un nuovo quadro basato su operatori di transizione Luce-Materia Congiunti (JLM) piuttosto che su vettori di stato. La metodologia procede come segue:

1. Teoria Perturbativa Centrata sulla Transizione: Gli autori definiscono operatori di transizione JLM, $\hat{\xi}$, che codificano sia le transizioni della materia (ad es. $|i\rangle \to |j\rangle$) sia i processi fotonici (assorbimento/emissione). Sviluppano una teoria perturbativa nell'immagine di Heisenberg in cui questi operatori evolvono sotto un superoperatore di Liouvilliano. Il Liouvilliano libero, $L_{\text{free}}$, agisce su questi operatori come un operatore proprio con autovalori corrispondenti agli sfasamenti di transizione ($\Delta_{\hat{\xi}}$).
2. Resolvente ed Eliminazione Adiabatica: Lo sviluppo perturbativo è formulato utilizzando la risolvente del Liouvilliano, $G(s) = (s + iL)^{-1}$. L'eliminazione adiabatica è implementata non tracciando via gli stati, ma proiettando la dinamica su un sottospazio "risonante" ($P_T$) ed eliminando il sottospazio "non risonante" ($Q_T$) dove gli sfasamenti sono grandi rispetto alla scala temporale $T$. Questa proiezione è definita tramite una mappa di media temporale.
3. Formalismo Diagrammatico (Diagrammi JLM): Per organizzare lo sviluppo perturbativo, gli autori introducono un calcolo diagrammatico.
   • Regole di Costruzione: Gli stati della materia sono vertici; gli eventi di assorbimento/emissione di fotoni sono frecce (sotto/sopra un asse della materia); l'evoluzione libera è rappresentata da loop che accumulano fasi di sfasamento.
   • Processo vs Ordinamento Perturbativo: I diagrammi distinguono tra la sequenza fisica delle transizioni (ordinamento del processo) e l'ordine in cui gli operatori di interazione sono applicati nello sviluppo (ordinamento temporale perturbativo).
   • Calcolo del Peso: Il peso dipendente dal tempo di un diagramma è derivato sommando su tutti i possibili ordinamenti temporali perturbativi (relativi alla scelta di quale operatore è l'oggetto "perturbato") e mediandoli. Questa media produce una specifica funzione di peso $W_n(t)$ che coinvolge medie armoniche degli sfasamenti.
   • Ermicità: Il formalismo garantisce naturalmente l'ermicità dell'Hamiltoniano effettivo accoppiando ogni processo con il suo diagramma inverso (coniugato hermitiano).
4. Gestione dei Continui: Il metodo incorpora parametri di regolarizzazione ($\theta_l$) per gestire i continui di frequenza, permettendo il trattamento rigoroso della QED in guide d'onda dove i modi formano un continuo piuttosto che un insieme discreto.

Contributi Chiave

• Quadro Unificato di Operatori: Il lavoro stabilisce una teoria perturbativa interamente a livello di operatori di transizione, evitando la necessità di trasformazioni di riferimento non uniche richieste dai metodi centrati sugli stati.
• Sistematicità di Ordine Arbitrario: L'approccio fornisce una via sistematica per ottenere Hamiltoniani effettivi a qualsiasi ordine perturbativo $n$, generando $(n+1)$ operatori di transizione organizzati secondo regole diagrammatiche.
• Gestione Diagrammatica: Il metodo dei diagrammi JLM offre una codifica grafica trasparente dell'ordinamento degli operatori, delle regole di selezione e dei denominatori di sfasamento, riducendo significativamente la complessità combinatoria rispetto all'espansione a forza bruta (ad es. il metodo di James).
• Capacità per Continui e Multi-modi: A differenza di molti lavori precedenti limitati a modi discreti, questo quadro gestisce esplicitamente i continui di frequenza e numeri arbitrari di modi di frequenza, rendendolo adatto alla QED in guide d'onda.
• Termini Contro-Rotanti: Il formalismo tratta i termini co-rotanti e contro-rotanti sullo stesso piano nelle fasi intermedie, permettendo la derivazione sistematica di effetti come lo spostamento di Bloch-Siegert e risonanze di ordine superiore senza assunzioni ad hoc.

Risultati e Applicazioni
Gli autori dimostrano l'utilità del loro quadro attraverso diversi esempi:

• Sistema a Due Livelli (Cavità a Singolo Modo): Recuperano lo spostamento AC Stark quantistico standard e lo spostamento di Bloch-Siegert. L'approccio diagrammatico chiarisce come i percorsi risonanti e non risonanti contribuiscano, mostrando che lo spostamento di Bloch-Siegert deriva da termini contro-rotanti che sono spesso trascurati nei trattamenti con l'Approssimazione dell'Onda Rotante (RWA).
• Multipli Qubit (Modelli di Dicke e Tavis-Cummings): Il metodo deriva accoppiamenti effettivi qubit-qubit mediati da una cavità. Recuperano l'interazione di tipo XY isotropa e mantengono esplicitamente i fattori di fase derivanti dai disallineamenti energetici tra i qubit, che in altri metodi sono spesso assorbiti in trasformazioni unitarie. La derivazione mostra una transizione fluida tra i modelli di Dicke e Tavis-Cummings semplicemente scartando i termini contro-rotanti.
• Sistemi a Tre Livelli in un Continuo: Il quadro è applicato alle configurazioni $\Xi$, $\Lambda$ e $V$ accoppiate a un continuo di frequenza. Deriva con successo transizioni Raman a due fotoni effettive e contributi allo spostamento di Stark mediati da modi del continuo, dimostrando la capacità di gestire singolarità e valori principali derivanti da spettri continui.

Significato e Affermazioni
Il lavoro afferma di fornire una "cassetta degli attrezzi pratica" per costruire Hamiltoniani effettivi di ordine superiore nel regime dispersivo, in particolare per processi multiphotonici nella QED a cavità e in guide d'onda. Il significato risiede in:

1. Superamento delle Limitazioni: Supera i limiti delle tecniche esistenti riguardo alla gestione dei continui, degli ordini perturbativi arbitrari e della separazione dei gradi di libertà della luce e della materia.
2. Cambiamento Concettuale: Eleva le transizioni, piuttosto che gli stati, a oggetti fondamentali della dinamica, offrendo una descrizione più naturale per le interazioni luce-materia dispersive.
3. Trasparenza: L'approccio diagrammatico rende esplicite le vie fisiche e l'origine dei termini effettivi (ad es. denominatori di sfasamento), evitando la natura "scatola nera" di alcune derivazioni di Schrieffer-Wolff.
4. Generalità: Il formalismo è applicabile a sistemi a più livelli e multipli qubit sia in contesti spettrali discreti che continui, colmando una lacuna nella letteratura riguardante la QED in guide d'onda.

Gli autori notano che, sebbene la complessità combinatoria cresca con l'ordine, i vincoli fisici (condizioni di risonanza, regole di selezione e vincoli di sovrapposizione della materia) riducono drasticamente il numero di diagrammi rilevanti nella pratica. Il lavoro è presentato come una fondazione per l'ingegnerizzazione di Hamiltoniani effettivi per compiti di informazione quantistica, come operazioni non gaussiane, senza inventare proposte sperimentali specifiche oltre alle derivazioni teoriche fornite.