Exact Hilbert-space ergodicity from continuous monitoring

Sintesi Tecnica: Ergodicità esatta dello spazio di Hilbert tramite monitoraggio continuo

Definizione del problema
I sistemi molti-corpo quantistici sono generalmente attesi evolversi verso l'equilibrio, un processo spesso giustificato dal concetto di ergodicità dello spazio di Hilbert. Questo principio postula che l'evoluzione degli stati puri esplori lo spazio di Hilbert uniformemente, entro i limiti delle costrizioni fisiche. In assenza di costrizioni, ciò è rigorosamente definito dalla generazione di un insieme Haar-random. Tuttavia, molti sistemi fisici non possono raggiungere la piena Haar-randomness a causa di costrizioni (ad esempio, cariche conservate o simmetrie), pur esibendo comportamenti caotici e di scrambling. Recenti progressi teorici suggeriscono che l'insieme "Scrooge"—un insieme Haar-random deformato da una matrice di densità target $\sigma$—fornisce la corretta descrizione universale per tali sistemi vincolati. L'insieme di Scrooge minimizza l'informazione accessibile tra tutti gli insiemi con una data matrice di densità media $\sigma$. Mentre l'ergodicità della dinamica hamiltoniana tempo-indipendente e degli insiemi proiettivi è stata collegata agli insiemi di Scrooge, mancava un meccanismo rigoroso per progettare insiemi di Scrooge esatti come l'unico equilibrio a lungo termine delle traiettorie quantistiche.

Metodologia
Gli autori propongono uno schema per generare l'insieme di Scrooge attraverso il monitoraggio continuo di un sistema quantistico molti-corpo. Il protocollo prevede:

1. Misurazioni deboli continue: Il sistema è sottoposto a una sequenza di misurazioni deboli implementate tramite l'accoppiamento con ancelle inizializzate in $|0\rangle$ e misurate nella base $x$. Questo processo è descritto da un'equazione di Schrödinger stocastica (SSE) guidata da processi di Wiener.
2. Progettazione degli operatori: Gli operatori di salto $c_\alpha$ che governano il monitoraggio sono costruiti come $c_\alpha = \sqrt{\kappa D p_\alpha} \sqrt{\sigma} U_\alpha$, dove $\sigma$ è la matrice di densità target e $\{p_\alpha, U_\alpha\}$ è un insieme unitario.
3. Condizioni sulle unitarietà: L'insieme unitario $\{U_\alpha\}$ deve soddisfare due condizioni:
   • Unitary 1-design: $\sum_\alpha p_\alpha U_\alpha Q U_\alpha^\dagger = \frac{\text{Tr}[Q]}{D} I$ per ogni operatore $Q$.
   • Neutralità di fase: $\sum_\alpha p_\alpha U_\alpha \otimes U_\alpha = 0$.
     Gli autori osservano che queste condizioni sono significativamente più deboli rispetto al richiedere che gli operatori di salto formino un pieno unitary $t$-design o siano Haar-random.

Contributi chiave e risultati teorici
Il documento fornisce una prova rigorosa del fatto che, sotto il proposto schema di monitoraggio, l'insieme delle traiettorie quantistiche converge esattamente all'insieme di Scrooge associato a $\sigma$. La prova procede in due fasi principali:

1. Mappatura sulla dinamica stocastica classica:
   Gli autori parametrizzano lo stato puro $|\psi\rangle$ nell'autobasi di $\sigma$ utilizzando variabili di ampiezza $y_i = |\psi_i|^2$ e variabili di fase relativa $\phi_i$. Derivano l'equazione di Fokker-Planck che governa la distribuzione di probabilità $p(y, \phi, t)$ di queste variabili classiche.

   • Il vettore di drift per le ampiezze è mostrato essere $v_i^{(a)} = \kappa(\lambda_i - y_i)$, che guida il sistema verso gli autovalori di $\sigma$.
   • Le matrici di diffusione per ampiezze e fasi sono derivate esplicitamente, facendo affidamento sulle condizioni di unitary 1-design e neutralità di fase per semplificare le correlazioni del rumore.
   • Crucialmente, i termini di diffusione mista tra ampiezze e fasi scompaiono a causa dei vincoli di simmetria.

2. Stazionarietà e Unicità:

   • Stazionarietà: Gli autori verificano che la distribuzione di probabilità di Scrooge, $p_{sc}(y, \phi) \propto H(y)^{-(D+1)}$ (dove $H(y) = \sum y_k/\lambda_k$), è una soluzione stazionaria dell'equazione di Fokker-Planck derivata. Ciò viene fatto dimostrando che la corrente di probabilità svanisce puntualmente.
   • Unicità: Utilizzando il teorema di Doob, gli autori provano l'unicità dello stato stazionario. Stabiliscono che la matrice di diffusione è uniformemente positiva definita (uniformemente ellittica) sullo spazio di Hilbert proiettivo ($\mathbb{C}P^{D-1}$). Ciò garantisce che il processo di diffusione connetta tutti gli stati, impedendo al sistema di rimanere intrappolato in sottospazi non ergodici, garantendo così la convergenza all'unico insieme di Scrooge da qualsiasi stato iniziale.

Risultati Numerici
Gli autori validano numericamente le loro previsioni teoriche utilizzando sistemi a qubit ($N=2, 4$) con matrici di densità target corrispondenti a stati termici del modello di Ising quantistico (sia a rango pieno che con proiezione di simmetria).

• Convergenza: Le simulazioni mostrano che la distanza tra i momenti dell'insieme delle traiettorie e i momenti di Scrooge target decade rapidamente a zero.
• Tasso di rilassamento: Il decadimento delle distanze per i momenti $n=1, 2, 3$ segue un decadimento esponenziale con tasso $\kappa$, coerente con il tasso di rilassamento del primo momento derivato dall'equazione di Lindblad. Ciò suggerisce che il rilassamento di tutti i momenti è governato dallo stesso autovettore principale dell'operatore di Fokker-Planck.
• Benchmarking Sperimentale: Per affrontare la sfida sperimentale della tomografia completa dello stato (che scala esponenzialmente), gli autori propongono l'uso di correlatori incrociati quantistico-classici ($C^{QC}_2$). I risultati numerici dimostrano che la deviazione di questo correlatore dalla previsione di Scrooge decade esponenzialmente, fornendo una diagnostica sperimentalmente accessibile per l'emergere dell'insieme di Scrooge.

Significato e Rivendicazioni
Il documento afferma di aver stabilito un meccanismo rigoroso per l'emergenza dell'esatta ergodicità dello spazio di Hilbert sotto una matrice di densità arbitraria prescritta tramite misurazioni continue.

• Condizioni Deboli: Una rivendicazione primaria è che generare l'insieme massimamente casuale (Scrooge) non richiede operatori di salto massimamente casuali. Al contrario, un insieme molto più debole, ovvero un deformed unitary 1-design, è sufficiente.
• Ingegneria della Casualità: I risultati dimostrano che le proprietà statistiche di ordine superiore degli stati quantistici possono essere sistematicamente ingegnerizzate tramite il design della misurazione.
• Utilità Pratica: Il lavoro fornisce una via pratica per investigare gli ensemble di stati casuali vincolati su dispositivi quantistici. Preparando l'insieme di Scrooge esatto, gli autori suggeriscono che questo potrebbe servire come risorsa per studiare l'occultamento delle informazioni (information hiding), l'indistinguibilità degli stati e le proprietà statistiche universali degli stati quantistici complessi.
• Generalità: Il meccanismo è ampiamente applicabile a diverse piattaforme quantistiche poiché non dipende dai dettagli microscopici specifici dell'Hamiltoniana del sistema, ma solo dal design degli operatori di monitoraggio.

Gli autori rimangono modesti riguardo alle direzioni future, osservando che, sebbene il tasso di rilassamento osservato $\kappa$ per i momenti superiori sia coerente tra gli ordini, una prova analitica del fatto che ciò rifletta una proprietà spettrale più profonda dell'operatore di Fokker-Planck rimane una questione teorica aperta. Suggeriscono inoltre di estendere l'approccio a ensemble con ulteriori quantità conservate come potenziale direzione futura.