Large deviations and conditioned monitored quantum systems: a tensor network approach

Cet article présente une approche par réseaux de tenseurs permettant d'appliquer la théorie des grandes déviations à de grands systèmes quantiques surveillés, révélant ainsi une série de transitions de phase dynamiques du premier ordre et offrant un accès aux états quantiques conditionnés pour caractériser microscopiquement la coexistence de phases dynamiques.

L'essentiel

🌌 L'histoire : Quand les atomes jouent à cache-cache avec le temps

Imaginez que vous avez une immense salle de bal remplie de danseurs (ce sont les atomes de votre système quantique). Normalement, si vous les laissez faire, ils dansent de manière chaotique, se mélangent et finissent par tous se comporter de la même façon. C'est ce qu'on appelle la "thermalisation" : tout le monde s'habitue à la même température, comme une foule qui se calme après une fête.

Mais dans ce papier, les chercheurs regardent quelque chose de très spécial : des systèmes où les danseurs sont observés en permanence. Imaginez qu'un photographe prend une photo de la salle toutes les millisecondes. Chaque fois qu'il prend une photo, il force les danseurs à réagir, et l'histoire de la soirée change selon les photos prises.

🔍 Le problème : Trop d'histoires possibles

Le problème, c'est que pour un système quantique, le nombre d'histoires possibles (qu'on appelle des trajectoires) est astronomique. C'est comme essayer de lire tous les livres écrits par tous les humains de l'histoire en même temps.

• Certaines histoires sont "actives" : les danseurs bougent beaucoup, sautent, tournent en rond.
• D'autres sont "inactives" : les danseurs restent figés, comme s'ils étaient gelés dans le temps.

Les chercheurs voulaient savoir : Est-ce que ces deux types de comportements peuvent coexister ? C'est-à-dire, est-ce que dans la même salle, à la même heure, on peut avoir une partie de la foule qui danse frénétiquement et une autre partie qui est totalement immobile ? C'est ce qu'on appelle une transition de phase dynamique, un peu comme la glace et l'eau liquide qui coexistent à 0°C.

🛠️ La solution : Un "Lego" mathématique géant

Jusqu'à présent, on ne pouvait pas étudier cela pour de grands systèmes parce que les ordinateurs classiques explosaient de calculs (c'est le "mur de l'exponentielle").

Les auteurs ont utilisé une technique appelée Réseaux de Tenseurs (Tensor Networks). Pour faire simple, imaginez que vous essayez de décrire un immense tapis de fleurs. Au lieu de décrire chaque pétale individuellement (ce qui prendrait des siècles), vous décrivez les motifs qui se répètent.

• C'est comme un Lego : au lieu de construire un château avec un million de briques une par une, vous assemblez des blocs préfabriqués qui représentent des parties entières du château.
• Cette méthode permet de "compresser" l'information et de simuler des systèmes quantiques énormes sans que l'ordinateur ne plante.

🧊 La découverte : Le verre quantique

En utilisant cette méthode de "Lego", les chercheurs ont découvert quelque chose de fascinant dans un système inspiré par les atomes de Rydberg (des atomes géants utilisés dans les simulateurs quantiques modernes).

Ils ont vu apparaître une coexistence de phases :

1. La phase "Active" : Les atomes bougent, changent d'état, c'est le chaos organisé.
2. La phase "Inerte" : Les atomes se figent, ils restent dans le même état pendant très longtemps.

Le plus incroyable, c'est que ces deux mondes peuvent coexister dans le même système, comme de la glace et de l'eau dans un verre. Cela ressemble au comportement des verres (comme le verre de votre fenêtre ou le verre de votre montre), qui sont des matériaux solides mais dont les atomes sont désordonnés et bougent extrêmement lentement. C'est ce qu'on appelle la dynamique vitreuse.

🔮 Pourquoi c'est important ?

Avant, on pensait que ce genre de comportement "glacé" n'existait que dans les systèmes classiques (comme le verre ordinaire). Ici, les chercheurs montrent que cela existe aussi dans le monde quantique, même quand on observe le système.

De plus, leur méthode ne se contente pas de dire "il y a une transition". Elle permet de voir à l'intérieur du système. Ils peuvent reconstruire l'état quantique exact des atomes dans ces phases "gelées" ou "actives". C'est comme si, au lieu de juste dire "il y a un embouteillage", ils pouvaient voir exactement quelle voiture est bloquée et pourquoi.

🎯 En résumé

• Le défi : Comprendre comment les systèmes quantiques se comportent quand on les observe, alors qu'il y a trop de possibilités pour les calculer.
• L'outil : Une méthode mathématique intelligente (les réseaux de tenseurs) qui agit comme un compresseur d'images pour les calculs quantiques.
• Le résultat : Ils ont prouvé que des systèmes quantiques peuvent avoir des comportements "gelés" et "désordonnés" en même temps, un signe de comportement vitreux.
• L'impact : Cela ouvre la porte pour mieux comprendre les matériaux exotiques et pour construire de meilleurs ordinateurs quantiques qui ne se bloquent pas (ne deviennent pas "vitreux") trop facilement.

C'est une belle démonstration de comment, en changeant notre façon de regarder les mathématiques (avec des "Lego" au lieu de calculs bruts), on peut découvrir de nouveaux mondes dans la physique quantique.

Résumé technique

1. Problématique et Contexte

L'article aborde le défi majeur de l'analyse des systèmes quantiques à plusieurs corps ouverts et surveillés (monitored quantum many-body systems).

• Contexte théorique : Dans les systèmes classiques (modèles cinétiquement contraints ou KCM), la théorie des grandes déviations (LD) a permis d'identifier la coexistence de phases dynamiques (trajectoires "actives" vs "inactives") comme signature de la dynamique vitreuse (glassy dynamics). Cette coexistence correspond à une transition de phase dynamique du premier ordre dans l'espace des trajectoires.
• Le problème quantique : Bien qu'une telle coexistence ait été suggérée dans les systèmes quantiques surveillés, l'analyse systématique par grandes déviations a été entravée par l'absence de méthodes adaptées. La dimension de l'espace des trajectoires croît exponentiellement avec la taille du système et le temps d'observation.
• Limitation des méthodes existantes :
  • Contrairement aux systèmes classiques où l'opérateur "tilté" (biased) peut être mappé sur un Hamiltonien hermitien local, dans les systèmes quantiques, l'opérateur tilte est un canal quantique non-hermitien agissant dans l'espace de Liouville.
  • Les méthodes variationnelles standards de réseaux de tenseurs (TN) ne peuvent pas être appliquées directement car elles sont conçues pour des Hamiltoniens hermitiens.
  • Les simulations de trajectoires individuelles existantes ne donnent pas accès aux statistiques complètes de l'ensemble des trajectoires ni aux propriétés de grandes déviations.

2. Méthodologie : Une Approche par Réseaux de Tenseurs (TN)

Les auteurs développent un cadre théorique et numérique basé sur les réseaux de tenseurs (Tensor Networks) pour contourner ces limitations.

• Modèle étudié : Un modèle de collision en temps discret où un système de $L$ qubits interagit séquentiellement avec des qubits auxiliaires (ancillas). À chaque étape, les ancillas sont mesurées et réinitialisées, générant des trajectoires d'observation. Le système est décrit par un canal quantique $\mathcal{E}(\rho) = \sum_k K_k \rho K_k^\dagger$.
• Représentation TN du canal :
  • Les opérateurs de Kraus $K_k$ sont représentés comme des tenseurs de rang 3.
  • Le canal quantique global est structuré comme une matrice de transfert d'État Produit Matriciel (MPS).
  • Pour inclure le biais nécessaire à l'analyse des grandes déviations (champ de comptage $s$), les auteurs introduisent un canal quantique déformé (tilted channel) $\mathcal{E}_s$, où les poids des trajectoires sont modifiés par un facteur $e^{-s A}$ ($A$ étant l'activité dynamique).
• Algorithme de résolution :
  • Le canal déformé $\mathcal{E}_s$ est représenté sous forme de Produit d'Opérateurs Matriciels (MPO).
  • La recherche de la valeur propre dominante de ce MPO (nécessaire pour obtenir la fonction génératrice des cumulants échelonnés, SCGF $\theta(s)$) est effectuée via une méthode de puissance adaptée aux TN.
  • À chaque itération, l'application du MPO est suivie d'une troncature de la dimension de liaison (bond dimension) pour maintenir la complexité calculatoire sous contrôle, tout en assurant la convergence.
• Accès aux états conditionnés : Une innovation clé est la capacité du formalisme à reconstruire non seulement les statistiques, mais aussi les états quantiques conditionnés par les résultats de mesure, permettant une caractérisation microscopique des phases.

3. Contributions Clés

1. Cadre général pour les LD quantiques : Première méthode permettant l'application rigoureuse de la théorie des grandes déviations à de grands systèmes quantiques ouverts avec dynamique en temps discret, sans nécessiter de mapping vers un Hamiltonien hermitien.
2. Accès aux états conditionnés : La méthode permet d'extraire les états quantiques associés à des trajectoires rares (conditionnées par un champ $s$), offrant une vue microscopique de la dynamique.
3. Cartographie des transitions de phase dynamiques : Application réussie à un modèle inspiré des simulateurs quantiques d'atomes de Rydberg, révélant des transitions de phase dynamiques du premier ordre.

4. Résultats Principaux

En appliquant cette méthode à un modèle de collision avec des interactions de type PXP (modèle de Rydberg), les auteurs obtiennent les résultats suivants :

• Identification de transitions de phase : Ils localisent une série de transitions de phase dynamiques du premier ordre dans l'espace des paramètres (force d'interaction $V/\Omega$, champ de comptage $s$).
• Coexistence de phases : Pour certaines valeurs d'interaction (ex: $V/\Omega = 5.875$), la fonction génératrice des cumulants échelonnés $\theta(s)$ présente une non-analyticité près de $s=0$.
  • Cela se traduit par une fonction de taux $\phi(a)$ présentant un plateau (construction de Maxwell), indiquant la coexistence de trajectoires actives (forte activité de mesure) et inactives (faible activité).
  • Cette coexistence persiste dans la limite thermodynamique, ce qui est la signature caractéristique d'un comportement vitreux (glassy).
• Caractérisation microscopique :
  • L'analyse des états conditionnés révèle que les trajectoires inactives correspondent à des régions de l'espace-temps où le système reste "coincé" dans un état excité (dynamique ralentie).
  • Un corrélateur en chaîne (string correlator) montre que ces régions inactives sont persistantes dans le temps pour les paramètres vitreux, contrairement aux régimes non-vitreux où elles sont éphémères.
• Diagramme de phase : Les auteurs cartographient le diagramme de phase $(V/\Omega, s)$, identifiant des points de transition à $s=0$ (coexistence dans la dynamique physique réelle) et d'autres à $s \neq 0$ (transitions dans les statistiques des trajectoires rares).

5. Signification et Impact

• Preuve de concept : L'article démontre que les réseaux de tenseurs peuvent être étendus au-delà des systèmes hermitiens pour traiter des canaux quantiques non-hermitiens et des statistiques de trajectoires complexes.
• Compréhension de la dynamique vitreuse quantique : Il fournit la première preuve directe et microscopique de la coexistence de phases dynamiques (actives/inactives) dans un système quantique à plusieurs corps surveillé, reliant explicitement les statistiques de mesure aux états quantiques sous-jacents.
• Outil polyvalent : La méthode est généralisable à d'autres observables de biais et d'autres modèles, ouvrant la voie à l'étude des événements rares et du comportement hors équilibre dans les dispositifs quantiques modernes (simulateurs quantiques, calculateurs quantiques).
• Ressources : Le code et les données sont rendus publics, facilitant la reproduction et l'extension de ces travaux.

En résumé, ce travail comble un vide méthodologique crucial en permettant l'analyse des grandes déviations dans les systèmes quantiques ouverts, révélant ainsi une richesse de phénomènes dynamiques (comme la vitrification) qui étaient auparavant inaccessibles aux méthodes numériques standards.