Quantum stochastic thermodynamics of macroscopic systems: an algebraic approach

Résumé Technique : Thermodynamique Stochastique Quantique des Systèmes Macroscopiques : Une Approche Algébrique

Énoncé du Problème
Les formulations actuelles de la thermodynamique quantique font face à une dichotomie. D'une part, la thermodynamique macroscopique repose sur des descriptions grossières où l'on suppose que les degrés de liberté internes s'équilibrent rapidement, permettant l'émergence de l'irréversibilité et du second principe sans suivre l'état quantique complet. D'autre part, les approches établies de la thermodynamique stochastique quantique (par exemple, pour les systèmes ouverts) nécessitent généralement un accès complet à la matrice densité du système (ou à la fonction d'onde) pour définir des quantités thermodynamiques telles que l'entropie de von Neumann, la chaleur et le travail. Cette exigence est expérimentalement prohibitive pour les systèmes à corps multiples et ne parvient pas à capturer la production d'entropie « interne » associée à l'équilibrage des degrés de liberté non observés. De plus, les approches standards traitent souvent la dynamique unitaire fermée comme réversible, ce qui rend difficile l'analyse du comportement thermodynamique des systèmes quantiques isolés ou de la transition quantique-classique d'un point de vue thermodynamique. Le papier répond au besoin d'un cadre capable d'interpoler entre la thermodynamique stochastique fine et la thermodynamique d'équilibre macroscopique, capable de gérer des systèmes où seul un sous-ensemble d'observables (une description grossière) est accessible.

Méthodologie
Les auteurs proposent un cadre basé sur la spécification d'une sous-algèbre accessible d'observables, $\mathcal{A} \subset \mathcal{B}(\mathcal{H})$, qui définit le niveau de grossissement (coarse-graining).

1. Grossissement Algébrique :

   • Cas Commutatif : Le cadre commence par la mesure d'un observable grossier unique (ou d'un ensemble commutatif), générant une algèbre commutative. Cela projette un état micro $\rho$ vers une distribution de macroétats classiques $p_J$. Les auteurs utilisent la carte de récupération de Petz (ou équivalemment, le principe d'entropie maximale de Jaynes) pour reconstruire un « état grossier » $\rho_{cg}$ compatible avec les résultats de mesure.
   • Cas Non-Commutatif : Le cadre est généralisé à des sous-algèbres de von Neumann de Type I arbitraires. Les observables accessibles peuvent ne pas commuter. L'état grossier est défini comme l'état maximisant l'entropie de von Neumann sous les contraintes imposées par les valeurs d'espérance de tous les opérateurs de la sous-algèbre $\mathcal{A}$. Cela résulte en un opérateur densité réduit qui peut conserver des cohérences quantiques au sein des secteurs définis par l'algèbre.

2. Entropie Dépendante de l'Algèbre :

   • Une nouvelle fonction d'entropie, $S_{\mathcal{A}}(\rho)$, est définie comme l'entropie de von Neumann maximale compatible avec l'algèbre accessible.
   • Elle interpole entre l'entropie de von Neumann (lorsque $\mathcal{A}$ est l'algèbre d'opérateurs complète) et l'entropie observationnelle (lorsque $\mathcal{A}$ est commutative).
   • $S_{\mathcal{A}}$ se décompose en trois termes : une entropie de Shannon/Gibbs sur les secteurs, une entropie de von Neumann de la partie accessible au sein des secteurs, et un terme d'entropie de Boltzmann rendant compte des degrés de liberté inaccessibles (l'algèbre du commutant $\mathcal{A}'$).

3. Lois Thermodynamiques :

   • Mesure à Deux Points (TPM) : Les auteurs dérivent le second principe en considérant des mesures initiales et finales définies par des algèbres accessibles potentiellement différentes $\mathcal{A}_i$ et $\mathcal{A}_f$.
   • Équilibre Interne : Le concept d'« équilibre interne » est introduit, où les degrés de liberté inaccessibles (dans le commutant) sont supposés être dans un état microcanonique (entropie maximale) par rapport aux contraintes accessibles. Les écarts par rapport à cet état introduisent des termes de correction dans le second principe.
   • Processus Quasi-Statiques : Pour définir la chaleur et le travail, les auteurs considèrent un chemin continu de schémas de mesure (rotation de l'algèbre accessible). Cela permet d'identifier des incréments infinitésimaux de chaleur et de travail, comblant le fossé entre les changements informationnels et les transferts énergétiques.

Contributions Clés et Résultats

• Second Principe Généralisé : Le papier dérive un second principe grossier pour l'entropie dépendante de l'algèbre :
  $$\Delta S_{\mathcal{A}} - \Delta \langle K \rangle \geq -I_{ext} - I_{int}$$
  où $I_{ext}$ est l'information mutuelle initiale entre le système et l'environnement et $I_{int}$ est l'entropie relative entre l'état initial et l'état grossier (quantifiant l'absence d'équilibre interne).

  • Dans la Perspective du Système Ouvert, l'inégalité capture l'irréversibilité provenant à la fois de la dynamique non-unitaire de l'environnement et de l'équilibrage interne.
  • Dans la Perspective Autonome (système bipartite isolé), la loi relie la production d'entropie du système et de l'environnement à la variation de l'information mutuelle observationnelle.

• Théorèmes de Fluctuation : Les auteurs dérivent des théorèmes de fluctuation intégraux pour les moyennes et les trajectoires stochastiques. Ces théorèmes contraignent les fluctuations des fonctions thermodynamiques au niveau grossier, récupérant les résultats standards dans la limite de résolution complète et fournissant des bornes pour les violations apparentes du second principe lorsque des ressources internes sont consommées.

• Définitions Émergentes de Travail et de Chaleur :

  • En considérant des variations quasi-statiques de l'algèbre accessible, les auteurs identifient des contributions de travail provenant de : (i) changements de l'Hamiltonien du système, (ii) changements de l'état de l'environnement (ressources non thermiques), et (iii) la manipulation de l'algèbre elle-même (changement de la base de mesure/des contraintes).
  • La chaleur est identifiée comme le transfert d'énergie associé à la relaxation du système vers le point fixe instantané de la dynamique dans l'algèbre actuelle.
  • Crucialement, la contribution de travail issue de la variation de l'algèbre est montrée comme un coût thermodynamique réel, distinct du travail hamiltonien standard, émanant de la « rétroaction » (back-action) du schéma de mesure ou des contraintes externes.

• Thermodynamique Stochastique avec Mesures Grossières : Le cadre étend la thermodynamique stochastique à des scénarios où l'environnement est monitoré via des mesures grossières (imparfaites). Cela permet l'analyse de grands systèmes quantiques où la tomographie complète est impossible, à condition que l'environnement soit monitoré dans une base spécifique (potentiellement grossière).

Signification et Revendications
Le papier revendique l'unification des paradigmes de la thermodynamique macroscopique et stochastique au sein d'un cadre véritablement quantique. Sa principale importance réside dans :

1. Flexibilité Opérationnelle : Il fournit une « boîte à outils thermodynamique » où le niveau de grossissement est un paramètre ajustable. Cela permet aux chercheurs de doser la simplicité de la description (peu de variables) avec la précision des lois thermodynamiques, caractérisant les écarts lorsque l'équilibre interne n'est pas atteint.
2. Accessibilité Expérimentale : En s'appuyant sur les statistiques de quelques observables grossières plutôt que sur la matrice densité complète, le cadre est applicable aux systèmes complexes à corps multiples et aux réservoirs naturels, levant un obstacle majeur de la thermodynamique quantique expérimentale.
3. Nouvelles Perspectives Physiques : Le cadre identifie une contribution de travail spécifique associée à la manipulation de l'algèbre accessible (contraintes), ce qui est pertinent pour comprendre la rétroaction de la mesure quantique et la thermodynamique du contrôle quantique.
4. Unification Théorique : Le cadre offre une approche algébrique rigoureuse de la transition quantique-classique, montrant comment les lois thermodynamiques émergent lorsque l'algèbre accessible devient suffisamment grossière ou commutative.

Les auteurs illustrent ces concepts à travers des exemples paradigmatiques, incluant l'émission spontanée d'un qubit, la thermodynamique d'un qubit sous évolution non-unitaire sondée dans une base dépendante du temps, et un émetteur quantique couplé à un champ électromagnétique 1D, démontrant comment différents choix d'algèbres accessibles affectent les lois thermodynamiques apparentes.