Gauge-invariant thermodynamics of a finite-time quantum Otto engine

Résumé Technique : Thermodynamique de l'invariant de jauge d'un moteur de Otto quantique à temps fini

Énoncé du Problème
La thermodynamique quantique est confrontée à un défi conceptuel fondamental : les états quantiques microscopiques contiennent nettement plus d'informations que ce qui est opérationnellement pertinent pour les descriptions thermodynamiques ou accessible aux expérimentateurs. Plus précisément, le rôle des cohérences quantiques dans les définitions du travail et de la chaleur reste ambigu, les propositions existantes variant selon qu'elles interprètent la cohérence comme de la chaleur ou du travail. De plus, dans les moteurs thermiques quantiques à temps fini, les protocoles de pilotage induisent des transitions entre les niveaux d'énergie et génèrent des cohérences, entraînant des écarts par rapport à la limite quasi-statique (souvent qualifiés de « friction interne »). L'interaction entre la génération de cohérence, l'irréversibilité et l'extraction de travail dans les systèmes à corps multiples, particulièrement près des points critiques, nécessite un cadre rigoureux capable de distinguer l'information thermodynamiquement accessible de celle qui est inaccessible.

Méthodologie
Les auteurs étudient un moteur de Otto quantique à temps fini en utilisant le modèle de Lipkin-Meshkov-Glick (LMG) comme milieu de travail. L'étude est menée dans le cadre de la thermodynamique de l'invariant de jauge.

1. Cadre Théorique : Les auteurs adoptent une formulation où les grandeurs thermodynamiques sont définies sur des classes d'équivalence d'états thermodynamiquement indiscernables. Un groupe de jauge thermodynamique $G_T$ est défini par des transformations unitaires qui préservent l'énergie moyenne du système. Les grandeurs thermodynamiques sont obtenues en moyennant les grandeurs standards sur ce groupe, assurant l'invariance sous les transformations qui n'affectent pas la description énergétique.
2. Modèle et Protocole : Le hamiltonien LMG est $H(t) = -\frac{\gamma_x}{2j} J_x^2 - \delta_t J_z$, où $\delta_t$ est un champ magnétique transversal dépendant du temps. Le moteur fonctionne via un cycle de Otto à quatre étapes :
   • Deux étapes isochores (thermalisation avec des réservoirs chauds et froids).
   • Deux étapes unitaires (expansion et compression) pilotées par un protocole $\delta_t = \delta \pm \delta_0 \tanh(\alpha t)$ où $\alpha$ contrôle la vitesse de pilotage.
3. Analyse : Les auteurs dérivent des expressions explicites pour le travail invariant ($W_{inv}$), la chaleur cohérente ($Q_c$), l'efficacité ($\eta$) et la production d'entropie ($\Sigma$). Ils analysent la performance du cycle à travers différentes vitesses de pilotage ($\alpha$) et tailles de système ($j$), en examinant particulièrement l'influence du point critique du modèle LMG ($\delta_c = \gamma_x$).

Contributions Clés et Résultats

• Décomposition du Travail et de la Chaleur : L'étude démontre que le travail habituel effectué lors des étapes unitaires ($W_u$) se décompose en deux parties distinctes :

  • Travail Invariant ($W_{inv}$) : Associé uniquement aux changements de l'énergie instantanée et des populations. Il représente le travail accessible à un observateur thermodynamique restreint par le grossissement de jauge.
  • Contribution Cohérente ($Q_c$) : Émanant des cohérences quantiques à temps fini générées dans la base d'énergie instantanée. Ce terme représente la différence entre le travail mécanique total et le travail invariant.
  • De même, la chaleur échangée lors des étapes unitaires est entièrement composée de chaleur cohérente ($Q_{inv} = Q_c$), tandis que les étapes isochores produisent des résultats identiques pour les formulations conventionnelles et invariantes de jauge.

• Relation avec la Cohérence Quantique : Les auteurs établissent un lien direct entre la chaleur cohérente et les mesures de la cohérence issues de la théorie des ressources. Ils dérivent une borne supérieure montrant que l'amplitude de la chaleur cohérente est contrainte par l'entropie relative de cohérence ($C_{rel}$) et la vitesse de pilotage. Cela confirme que la contribution énergétique des cohérences thermodynamiquement inaccessibles est bornée par la quantité de cohérence présente dans le système.

• Efficacité et Ergotropie : L'efficacité du moteur est décomposée en une composante invariante ($\eta_{inv}$) et une composante cohérente ($\eta_c$). Les auteurs introduisent le rapport $\kappa = W_{inv} / W_{tot}$ pour quantifier la fraction de travail survivant au grossissement thermodynamique de jauge. Ils interprètent $W_{inv}$ comme l'ergotropie invariante de jauge, représentant le travail maximal extractible du secteur thermodynamiquement accessible de l'état.

• Impact de la Criticalité :

  • Région Opérationnelle : Traverser la région critique du modèle LMG réduit considérablement l'espace des paramètres ($\alpha, j$) dans lequel le cycle fonctionne comme un moteur thermique (c'est-à-dire là où la chaleur circule depuis le réservoir chaud).
  • Suppression des Corrections Cohérentes : Paradoxalement, lorsque la condition du moteur est satisfaite dans la phase non dégénérée (en traversant le point critique), la divergence entre les descriptions conventionnelle et invariante de jauge est fortement supprimée ($\kappa \approx 1$). Cela indique que dans la phase non dégénérée, le travail extrait est principalement porté par le secteur invariant de jauge (populations), tandis que dans la phase de brisure de symétrie, les contributions cohérentes sont plus significatives.

• Interprétation Géométrique de l'Irréversibilité : La formulation de jauge fournit une décomposition géométrique de la production d'entropie ($\Sigma$) générée par le pilotage à temps fini. $\Sigma$ se divise en un terme de population ($\Sigma_{pop}$) et un terme de cohérence ($\Sigma_{coh}$). Cela résout le concept conventionnel de « friction interne » en le séparant en mécanismes physiques distincts : l'un provenant de la redistribution des populations et l'autre des cohérences thermodynamiquement inaccessibles.

Signification
Cet article établit un lien direct entre la thermodynamique invariante de jauge, l'irréversibilité à temps fini et l'extraction de travail dans les machines thermiques quantiques à corps multiples. En formulant la thermodynamique comme une théorie de l'accès restreint à l'information via une symétrie de jauge, les auteurs fournissent un langage géométrique naturel pour séparer les secteurs de population et de cohérence.

Les résultats clarifient que, bien que la criticalité puisse entraver la viabilité opérationnelle du moteur, elle supprime simultanément l'importance relative des corrections cohérentes à l'extraction de travail lorsque le moteur est opérationnel. Cela suggère que les mécanismes régissant l'inversion du flux de chaleur et les contributions cohérentes sont distincts. Enfin, ce travail offre un cadre systématique pour quantifier le rôle thermodynamique des cohérences quantiques, montrant que le secteur « cohérent » représente les contributions énergétiques associées à l'information rejetée par la description thermodynamique, tandis que le secteur « invariant » représente le travail accessible à l'observateur restreint.