Unveiling coherent dynamics in non-Markovian open quantum systems: exact expression and recursive perturbation expansion

Résumé Technique : Révéler la Dynamique Cohérente dans les Systèmes Quantiques Ouverts Non-Markoviens

Énoncé du Problème
La dynamique des systèmes quantiques ouverts est régie par l'interaction entre l'évolution cohérente et les interactions environnementales. Bien que le formalisme de Lindblad décrive avec succès la renormalisation de l'énergie (telle que les décalages de Lamb et de Stark AC) sous des hypothèses de couplage faible et de régime markovien, étendre cette compréhension aux régimes de couplage fort et non-markoviens demeure un défi significatif. Dans le formalisme de l'équation maîtresse de type temps-convolutionless (TCL), le générateur de la dynamique réduite, $L_t$, peut être décomposé en une partie cohérente (Hamiltonien effectif $K(t)$) et une partie dissipative ($D_t$). Cependant, cette décomposition n'est pas unique en raison de la symétrie intrinsèque du générateur. Résoudre cette ambiguïté est essentiel pour quantifier de manière cohérente les décalages d'énergie cohérents et comprendre la renormalisation de l'énergie au-delà de la limite markovienne. Bien que des expressions exactes pour $K(t)$ existent pour des modèles intégrables spécifiques, un cadre général et systématique pour dériver $K(t)$ dans des régimes non-markoviens arbitraires fait défaut.

Méthodologie
Les auteurs introduisent un cadre systématique pour dériver l'Hamiltonien effectif $K(t)$ en appliant le principe de dissipation minimale, une approche fondamentale récemment proposée par Hayden et Sorce. Ce principe isole de manière unique la composante cohérente en projetant le générateur $L_t$ sur le sous-espace des superopérateurs qui agissent comme des commutateurs avec des opérateurs hermitiens.

La méthodologie procède en trois étapes principales :

1. Définition Opérationnelle : Les auteurs définissent un produit scalaire entre superopérateurs basé sur la moyenne sur des états purs aléatoires de Haar. Cela permet l'identification unique de l'Hamiltonien effectif $K$ qui minimise la contribution dissipative. Ils dérivent une expression opérationnelle générale pour $K$ en termes d'une base orthonormée de l'espace de Hilbert, valable pour tout générateur linéaire, préservant l'hermiticité et annulant la trace.
2. Expansion Perturbative Récursive : Reconnaissant que les formes explicites de $L_t$ sont souvent inaccessibles sous forme fermée, les auteurs développent une expansion perturbative récursive pour $K(t)$ en puissances de la force de couplage système-réservoir $\lambda$. Cette expansion exprime $K(t)$ directement en termes d'opérateurs d'interaction du système et de fonctions de corrélation du réservoir (spécifiquement, les cumulants ordonnés).
3. Analyse de Symétrie : Le cadre analyse la structure de la série perturbative en décomposant les fonctions de corrélation du réservoir et les opérateurs du système en parties réelles et imaginaires, qui présentent des symétries distinctes sous l'inversion de l'ordre temporel.

Contributions Clés et Résultats

• Expression Générale pour $K(t)$ : L'article fournit une expression en forme close (Éq. 6) pour extraire l'Hamiltonien effectif de n'importe quel générateur local en temps $L_t$. Cette expression, $K = \frac{1}{2id} \sum [F^\dagger_\alpha, L[F_\alpha]]$, offre un outil pratique pour calculer les décalages cohérents une fois le générateur connu.
• Série Perturbative Récursive : Les auteurs dérivent une expansion systématique (Éq. 16) pour la contribution d'ordre $n$ à l'Hamiltonien effectif, $K_n$. Cette formule lie explicitement la renormalisation de l'énergie aux fonctions de corrélation du réservoir à $n$ points et aux opérateurs du système dans la représentation de l'interaction.
• Distinction entre Ordres Pairs et Impairs : Une conclusion centrale est la différence de symétrie fondamentale entre les ordres pairs et impairs dans l'expansion perturbative :
  • Termes d'ordre impair ($K_{2m+1}$) : Ces termes sont globalement symétriques sous l'inversion de l'ordre temporel. Ils couplent les contributions système et réservoir de la même classe de symétrie. Dans les systèmes de spin, les termes d'ordre impair ne commutent pas avec l'Hamiltonien libre (à moins que l'interaction ne commute avec lui), ce qui conduit à des rotations de la base propre de l'Hamiltonien.
  • Termes d'ordre pair ($K_{2m}$) : Ces termes sont globalement antisymétriques sous l'inversion de l'ordre temporel. Ils couplent des contributions de classes de symétrie opposées. Dans les systèmes de spin, les termes d'ordre pair commutent avec l'Hamiltonien libre, entraînant des décalages de niveaux d'énergie sans faire tourner la base propre.
• Application aux Systèmes de Spin : Le cadre est appliqué à des modèles de spin paradigmatiques :
  • Pour un déphasage pur (interaction $A=\sigma_z$), les termes impairs s'annulent, et l'Hamiltonien effectif ne produit qu'un décalage d'énergie dépendant du temps (renormalisation de la fréquence).
  • Pour un couplage orthogonal (interaction $A=\sigma_x$), les termes impairs ne s'annulent pas et induisent des rotations de la base propre, tandis que les termes pairs contribuent aux décalages d'énergie.
  • L'analyse explique pourquoi les modèles de réservoir gaussiens standards (caractérisés par des corrélations à deux points) présentent une renormalisation plus simple (pas de rotation de la base propre pour le déphasage pur), tandis que les réservoirs avec asymétrie temporelle (cumulants d'ordre impair non nuls) mènent à des comportements plus complexes.

Signification
L'article affirme que ce cadre fournit un outil systématique pour analyser les effets de renormalisation de l'énergie à travers différents régimes de couplage, comblant le fossé entre la théorie fondamentale et le calcul pratique en thermodynamique quantique non-markovienne.

• Clarté Conceptuelle : Il résout l'ambiguïté de la définition de l'Hamiltonien effectif dans les régimes de couplage fort, offrant une quantification cohérente des décalages cohérents.
• Pertinence Thermodynamique : L'Hamiltonien effectif $K(t)$ est identifié comme un lien clé vers la thermodynamique quantique dans le domaine du couplage fort, capturant la renormalisation de l'énergie qui influence l'efficacité et l'extraction de travail dans les machines thermiques quantiques.
• Guidage Analytique : La série perturbative sert d'outil complémentaire aux méthodes numériques telles que les Équations Hiérarchiques de Mouvement (HEOM). Elle fournit un aperçu analytique de la structure des résultats numériques, aidant à interpréter des phénomènes tels que les rotations de la base propre et les décalages dépendants du temps observés dans les simulations.
• Interprétation Physique : En distinguant les rôles des ordres pairs et impairs, ce travail clarifie comment des caractéristiques environnementales spécifiques (par exemple, l'asymétrie temporelle des distributions du réservoir) pilotent des comportements dynamiques distincts, tels que la rotation de la base propre du système.