Exact Hilbert-space ergodicity from continuous monitoring

Résumé technique : Ergodicité exacte de l'espace de Hilbert par monitoring continu

Énoncé du problème
On s'attend généralement à ce que les systèmes à plusieurs corps quantiques évoluent vers l'équilibre, un processus souvent justifié par le concept d'ergodicité de l'espace de Hilbert. Ce principe postule que l'évolution des états purs explore l'espace de Hilbert de manière uniforme, sous réserve de contraintes physiques. En l'absence de contraintes, cela est rigoureusement défini par la génération d'un ensemble de type Haar-aléatoire. Cependant, de nombreux systèmes physiques ne peuvent pas atteindre une aléatorité de Haar complète en raison de contraintes (par exemple, des charges conservées ou des symétries), tout en présentant des comportements chaotiques et de diffusion de l'information (scrambling). Des progrès théoriques récents suggèrent que l'« ensemble Scrooge » — un ensemble de Haar-aléatoire déformé par une matrice de densité cible $\sigma$ — fournit la description universelle correcte pour de tels systèmes contraints. L'ensemble Scrooge minimise l'information accessible parmi tous les ensembles ayant une matrice de densité moyenne $\sigma$ fixée. Bien que l'ergodicité de la dynamique hamiltonienne indépendante du temps et des ensembles projectifs ait été liée aux ensembles Scrooge, un mécanisme rigoureux pour concevoir des ensembles Scrooge exacts comme l'état d'équilibre unique de trajectoires quantiques manquait jusqu'à présent.

Méthodologie
Les auteurs proposent un schéma pour générer l'ensemble Scrooge par le monitoring continu d'un système quantique à plusieurs corps. Le protocole implique :

1. Mesures faibles continues : Le système est soumis à une séquence de mesures faibles implémentées via un couplage avec des ancillas initialisés dans $|0\rangle$ et mesurés dans la base $x$. Ce processus est décrit par une équation de Schrödinger stochastique (SSE) pilotée par des processus de Wiener.
2. Conception des opérateurs : Les opérateurs de saut $c_\alpha$ régissant le monitoring sont construits de la manière suivante : $c_\alpha = \sqrt{\kappa D p_\alpha} \sqrt{\sigma} U_\alpha$, où $\sigma$ est la matrice de densité cible et $\{p_\alpha, U_\alpha\}$ est un ensemble unitaire.
3. Conditions sur les unitaires : L'ensemble unitaire $\{U_\alpha\}$ doit satisfaire deux conditions :
   • Design unitaire de ordre 1 : $\sum_\alpha p_\alpha U_\alpha Q U_\alpha^\dagger = \frac{\text{Tr}[Q]}{D} I$ pour tout opérateur $Q$.
   • Neutralité de phase : $\sum_\alpha p_\alpha U_\alpha \otimes U_\alpha = 0$.
     Les auteurs notent que ces conditions sont nettement plus faibles que l'exigence que les opérateurs de saut forment un design unitaire complet d'ordre $t$ ou soient de type Haar-aléatoire.

Contributions clés et résultats théoriques
L'article fournit une preuve rigoureuse que, sous le schéma de monitoring proposé, l'ensemble des trajectoires quantiques converge exactement vers l'ensemble Scrooge associé à $\sigma$. La preuve se déroule en deux étapes principales :

1. Mapping vers une dynamique stochastique classique :
   Les auteurs paramètrent l'état pur $|\psi\rangle$ dans la base propre de $\sigma$ en utilisant des variables d'amplitude $y_i = |\psi_i|^2$ et des variables de phase relative $\phi_i$. Ils dérivent l'équation de Fokker-Planck régissant la distribution de probabilité $p(y, \phi, t)$ de ces variables classiques.

   • Le vecteur de dérive pour les amplitudes est montré être $v_i^{(a)} = \kappa(\lambda_i - y_i)$, pilotant le système vers les valeurs propres de $\sigma$.
   • Les matrices de diffusion pour les amplitudes et les phases sont dérivées explicitement, s'appuyant sur le design unitaire d'ordre 1 et les conditions de neutralité de phase pour simplifier les corrélations de bruit.
   • Crucialement, les termes de diffusion mixtes entre amplitudes et phases s'annulent grâce aux contraintes de symétrie.

2. Stationnarité et unicité :

   • Stationnarité : Les auteurs vérifient que la distribution de probabilité Scrooge, $p_{sc}(y, \phi) \propto H(y)^{-(D+1)}$ (où $H(y) = \sum y_k/\lambda_k$), est une solution stationnaire de l'équation de Fokker-Planck dérivée. Ceci est fait en montrant que le courant de probabilité s'annule ponctuellement.
   • Unicité : En utilisant le théorème de Doob, les auteurs prouvent l'unicité de l'état stationnaire. Ils établissent que la matrice de diffusion est uniformément définie positive (uniformément elliptique) sur l'espace de Hilbert projectif ($\mathbb{C}P^{D-1}$). Cela garantit que le processus de diffusion connecte tous les états, empêchant le système de rester piégé dans des sous-espaces non ergodiques, garantissant ainsi la convergence vers l'ensemble Scrooge unique à partir de n'importe quel état initial.

Résultats numériques
Les auteurs valident numériquement leurs prédictions théoriques en utilisant des systèmes de qubits ($N=2, 4$) avec des matrices de densité cibles correspondant aux états thermiques du modèle d'Ising quantique (à rang complet et projeté sur la symétrie).

• Convergence : Les simulations montrent que la distance entre les moments de l'ensemble des trajectoires et les moments cibles de l'ensemble Scrooge décroît rapidement vers zéro.
• Taux de relaxation : La décroissance des distances pour les moments $n=1, 2, 3$ suit une décroissance exponentielle de taux $\kappa$, cohérente avec le taux de relaxation du premier moment dérivé de l'équation de Lindblad. Cela suggère que la relaxation de tous les moments est gouvernée par le même mode propre dominant de l'opérateur de Fokker-Planck.
• Évaluation expérimentale : Pour répondre au défi expérimental de la tomographie d'état complète (qui croît exponentiellement), les auteurs proposent d'utiliser des corrélateurs croisés quantique-classique ($C^{QC}_2$). Les résultats numériques démontrent que l'écart de ce corrélateur par rapport à la prédiction de l'ensemble Scrooge décroît exponentiellement, fournissant un diagnostic expérimentalement accessible pour l'émergence de l'ensemble Scrooge.

Signification et affirmations
Le papier affirme établir un mécanisme rigoureux pour l'émergence d'une ergodicité exacte de l'espace de Hilbert sous une matrice de densité arbitraire prescrite via des mesures continues.

• Conditions faibles : Une affirmation principale est que la génération de l'ensemble aléatoire maximal (Scrooge) ne nécessite pas des opérateurs de saut maximalement aléatoires. Au contraire, la condition beaucoup plus faible d'un design unitaire déformé d'ordre 1 suffit.
• Ingénierie de l'aléatorité : Les résultats démontrent que les propriétés statistiques d'ordre supérieur des états quantiques peuvent être systématiquement ingéniées via la conception du monitoring.
• Utilité pratique : Ce travail offre une voie pratique pour étudier les ensembles d'états aléatoires contraints sur des dispositifs quantiques. En préparant des ensembles Scrooge exacts, les auteurs suggèrent que cela pourrait servir de ressource pour étudier la dissimulation d'information, l'indistinguabilité des états et les propriétés statistiques universelles des états quantiques complexes.
• Généralité : Le mécanisme est largement applicable à diverses plateformes quantiques car il ne dépend pas des détails microscopiques spécifiques de l'hamiltonien du système, mais seulement de la conception des opérateurs de monitoring.

Les auteurs restent modestes quant aux directions futures, notant que si le taux de relaxation observé $\kappa$ pour les ordres supérieurs est cohérent à travers les ordres, une preuve analytique de savoir si cela reflète une propriété spectrale plus profonde de l'opérateur de Fokker-Planck reste une question théorique ouverte. Ils suggèrent également d'étendre cette approche à des ensembles possédant des quantités conservées supplémentaires comme une direction de recherche future potentielle.