Définition
Une dérivation microscopique systématique de l'équation maîtresse de Lindblad (GKSL) : la procédure constructive qui part d'un hamiltonien système-plus-réservoir et, sous des approximations explicites, fournit un générateur local en temps pour l'opérateur densité réduit sous la forme de Lindblad complètement positive et préservant la trace (CPTP).
Principe
Principe
Appliquer la technique des opérateurs de projection ou l'expansion de Born à l'équation de von Neumann, invoquer les approximations de Born (couplage faible) et de Markov (mémoire courte) et, si nécessaire, effectuer l'approximation sécularisante (rotationnelle) ; le résultat algébrique est un générateur de type Gorini–Kossakowski–Sudarshan–Lindblad formé d'un terme hamiltonien et de dissipateurs L_k avec des taux positifs, garantissant une dynamique CPTP.
Démonstration
Démonstration
Partir de H_total = H_S + H_B + H_I avec H_I = S ⊗ B, supposer ρ_total(0)=ρ_S(0)⊗ρ_B, développer jusqu'au second ordre en H_I (Born), remplacer les corrélateurs du réservoir à deux temps par des noyaux proche de delta (Markov), effectuer une moyenne sécularisante sur les phases rapides du système pour diagonaliser les canaux de couplage, et obtenir dρ/dt = -i[H_eff,ρ] + Σ_k γ_k (L_k ρ L_k† - 1/2{L_k†L_k,ρ}), où H_eff contient le déplacement de Lamb.
Mauvaise application
Mauvaise application
Omettre ou mal appliquer Born/Markov/sécular entraîne des générateurs qui violent la positivité, donnent des taux de décroissance négatifs ou négligent des termes de déplacement de Lamb ; dériver une forme de Lindblad pour des couplages forts, des réservoirs structurés ou des corrélations initiales sans justification est une erreur fréquente.
Conséquence
Conséquence
Lorsqu'elle est conduite sous ses conditions de validité, la dérivation fournit des opérateurs de Lindblad et des taux explicites, une séparation claire des canaux dissipatifs et un générateur semi-groupe CPTP qui prédit les taux de relaxation et de décohérence et les états stationnaires compatibles avec les contraintes thermodynamiques.
Inversion
Inversion
La construction inverse est la dynamique fermée de Liouville–von Neumann : supprimer le réservoir et toutes les approximations ramène à une évolution unitaire dρ/dt = -i[H_S,ρ] sans terme dissipatif ; inversement, tenter de 'dériver' une dynamique unitaire à partir d'un générateur dissipatif suppose d'éliminer les canaux de couplage et les degrés de liberté environnementaux.
Limite
Limite
Valide pour un couplage système‑réservoir faible, des états initiaux factorisés (pas de corrélations système‑réservoir), des réservoirs à temps de corrélation courts ou spectres continus, et généralement lorsque l'approximation sécularisante est applicable ; exclus : couplage fort, densités spectrales très structurées, mémoire longue du réservoir et situations nécessitant des équations non markoviennes à mémoire.
Tension sémantique
Tension sémantique
Une tension existe entre la dérivation microscopique (qui exige des approximations explicites et identifie les déplacements de Lamb et les taux) et les modèles Lindblad phénoménologiques (qui postulent des dissipateurs pour ajuster des données) ; de plus, le choix entre sécularisation complète et partielle conduit à des générateurs concurrents.
Synthèse
Synthèse
La dérivation de l'équation de Lindblad est le passage discipliné d'un modèle microscopique système‑plus‑réservoir vers un générateur CPTP local en temps : fixer la factorisation initiale et le couplage faible, évaluer les corrélateurs du réservoir (Markov), séculariser les canaux de fréquence si nécessaire, extraire dissipateurs et déplacements de Lamb, et obtenir ainsi une équation maîtresse physiquement cohérente pour l'opérateur densité réduit.