The Quantum Adiabatic Theorem for Non-Hermitian Dynamics

Sintesi Tecnica: Il Teorema Adiabatico Quantistico per la Dinamica Non-Hermitiana

Enunciato del Problema
Il teorema adiabatico quantistico è un pilastro della meccanica quantistica, il quale afferma che un sistema governato da un Hamiltoniano che varia lentamente rimane nel suo eigenspazio istantaneo. Tuttavia, la formulazione standard si basa pesantemente sull'ermiticità dell'Hamiltoniano, che garantisce l'evoluzione unitaria e l'esistenza di proiezioni spettrali ortogonali. Per gli Hamiltoniani non-ermitiani, che descrivono sistemi quantistici aperti e sistemi PT-simmetrici, l'evoluzione non è unitaria rispetto al prodotto interno standard, e la struttura spettrale non è preservata in modo diretto. Di conseguenza, le tecniche standard di proiezione-risolvente e le stime adiabatiche non possono essere applicate direttamente. Sebbene lavori precedenti abbiano affrontato l'adiabaticità nei sistemi aperti o in specifici casi non-ermitiani utilizzando metodi biortogonali o scaling complesso, un quadro operatoristico-teoretico generale per la dinamica di Schrödinger non-ermitiana a dimensione finita con spettri reali non è ancora stato pienamente stabilito.

Metodologia
Gli autori sviluppano un quadro che collega la dinamica non-ermitiana con la ben nota teoria adiabatica ermitiana attraverso una mappa di Dyson tempo-dipendente. La metodologia procede in tre fasi principali:

1. Costruzione di una Metrica Dinamicamente Compatibile:
   Assumendo che l'Hamiltoniano non-ermitiano $\hat{H}_T(s)$ sia diagonalizzabile con uno spettro reale e senza incroci, gli autori costruiscono un operatore metrico tempo-dipendente $\hat{\Theta}_T(s)$. Questo operatore è definito tramite l'operatore di evoluzione $\hat{U}_T(s)$ e una metrica iniziale strettamente positiva $\hat{\Theta}_T(0)$, soddisfacendo la relazione $\hat{H}_T^*(s)\hat{\Theta}_T(s) - \hat{\Theta}_T(s)\hat{H}_T(s) = \frac{i}{T}\frac{d}{ds}\hat{\Theta}_T(s)$. La radice quadrata positiva di questa metrica, $\hat{\eta}_T(s) = \hat{\Theta}_T(s)^{1/2}$, funge da mappa di Dyson tempo-dipendente.

2. Trasformazione di Dyson in un Contrapposto Ermitiano:
   La mappa di Dyson trasforma lo stato non-ermitiano originale $|\psi(s)\rangle$ in uno stato trasformato $|\phi(s)\rangle = \hat{\eta}_T(s)|\psi(s)\rangle$. Questa trasformazione produce un Hamiltoniano di Dyson-trasformato $\bar{H}_T(s)$, definito come:
   $$\bar{H}_T(s) = \hat{\eta}_T(s)\hat{H}_T(s)\hat{\eta}_T^{-1}(s) + \frac{i}{T}\dot{\hat{\eta}}_T(s)\hat{\eta}_T^{-1}(s)$$
   Gli autori dimostrano che $\bar{H}_T(s)$ è ermitiano. Se questo Hamiltoniano trasformato soddisfa le assunzioni adiabatiche standard (regolarità, gap spettrali, autovalori non incrocianti), il teorema adiabatico quantitativo ermitiano può essere applicato al sistema trasformato.

3. Confronto tra Pullback e Proiezione:
   La stima adiabatica derivata per il sistema ermitiano viene "riportata indietro" (pullback) nella rappresentazione non-ermitiana originale. Ciò comporta il confronto tra due tipi di proiezioni:

   • La proiezione di pullback di Dyson $\Pi_j(s)$, che corrisponde all'eigenspazio istantaneo del contrapposto ermitiano nella rappresentazione originale.
   • La proiezione spettrale originale $\hat{P}_j(s)$ dell'Hamiltoniano non-ermitiano.

   Gli autori trattano il contrapposto ermitiano come una perturbazione di una trasformazione di similitudine dell'operatore originale. Utilizzando una stima del risolvente su contorno, derivano un limite esplicito sulla differenza tra $\Pi_j(s)$ e $\hat{P}_j(s)$. Ciò permette alla stima dell'errore finale di essere espressa direttamente in termini dei sottospazi spettrali dell'Hamiltoniano non-ermitiano originale.

Contributi Principali e Risultati
Il documento stabilisce una stima adiabatica quantitativa per una classe di dinamiche di Schrödinger non-ermitiane a dimensione finita. Il risultato principale (Teorema 12) fornisce un limite superiore sulla deviazione tra l'evoluzione esatta e l'evoluzione adiabatica per uno stato iniziale in un sottospazio spettrale dell'Hamiltoniano non-ermitiano.

Il limite di errore finale consiste di due contributi distinti:

1. L'Errore Adiabatico Ermitiano di Pullback: Questo termine deriva dal teorema adiabatico standard applicato all'Hamiltoniano ermitiano contrapposto $\bar{H}_T(s)$. Esso dipende dai gap spettrali e dalle derivate dell'Hamiltoniano trasformato, scalati per l'inverso del tempo totale di evoluzione $T$.
2. L'Errore di Confronto tra Proiezioni: Questo termine quantifica la discrepanza tra le proiezioni spettrali di pullback di Dyson e le vere proiezioni spettrali dell'Hamiltoniano non-ermitiano. È derivato tramite una stima del risolvente su contorno e dipende dal modulo del termine di correzione di Dyson $B_T(s)$ e dai limiti del risolvente dell'operatore trasformato per similitudine.

Il documento dimostra che, sotto specifiche condizioni (diagonalizzabilità, spettro reale, autovalori non incrocianti e un $T$ sufficientemente grande per soddisfare la condizione del risolvente su contorno), il sistema esibisce un comportamento adiabatico con un errore di ordine $O(1/T)$.

Esempio Illustrativo
Per validare le ipotesi e la struttura del limite di errore, gli autori presentano un modello non-ermitiano a due livelli. In questo esempio:

• L'Hamiltoniano originale è non-ermitiano con coefficienti tempo-dipendenti.
• La mappa di Dyson è esplicitamente costruita ed è tempo-dipendente.
• Il contrapposto ermitiano non è costante.
• Sia l'errore adiabatico ermitiano di pullback che l'errore di confronto tra proiezioni risultano essere non nulli ed esplicitamente calcolabili, confermando che la stima finale cattura entrambe le fonti di deviazione.

Significato e Ambito
Il lavoro sostiene di fornire un rigoroso quadro operatoristico-teoretico che estende il teorema adiabatico quantitativo ai sistemi non-ermitiani con spettri reali. La sua importanza risiede nel:

• Riformulazione: Riformula il meccanismo adiabatico per le dinamiche non-unitarie mappando il problema in una rappresentazione ermitiana tramite una metrica dinamicamente compatibile.
• Limiti Espliciti: Fornisce limiti di errore espliciti che sono direttamente applicabili ai sottospazi spettrali dell'Hamiltoniano non-ermitiano originale, piuttosto che solo alla rappresentazione trasformata.
• Decomposizione dell'Errore: Separa chiaramente l'errore adiabatico in errore adiabatico ermitiano intrinseco ed errore introdotto dalla natura non-unitaria del sistema originale (discrepanza di proiezione).

Gli autori segnalano dei limiti: l'analisi è limitata a sistemi a dimensione finita, e la costruzione dell'operatore metrico dipende dall'operatore di evoluzione esatto, il che significa che il quadro non fornisce ancora una procedura costruttiva indipendente per determinare la mappa di Dyson in modelli arbitrari senza la conoscenza preventiva della dinamica. Il lavoro prepara il terreno per future estensioni a contesti a dimensione infinita e per lo sviluppo di criteri costruttivi per le mappe di Dyson.