L'opérateur densité (ρ(t0)) fourni comme état de départ pour l'évolution temporelle régie par une équation maîtresse de Lindblad ; il doit définir l'état statistique du système à l'instant initial pour un semi-groupe dynamique markovien, complètement positif et préservant la trace.

Principe

Une condition initiale admissible est un opérateur densité, positif semi-défini et de trace unitaire, défini sur l'espace de Hilbert du système ; son choix, combiné au générateur de Lindblad, détermine de manière unique l'évolution sémi-groupe vers l'avant lorsque la forme de Lindblad et les hypothèses markoviennes sont valides.

Démonstration

Pour un atome à deux niveaux couplé à un bain à largeur de bande importante, choisir ρ(0)=diag(p,1−p) dans la base d'énergie ; en évoluant avec un générateur de Lindblad décrivant l'émission spontanée, on obtient la décroissance monotone des populations et la convergence vers l'état d'équilibre ou l'état fondamental prévu par l'équation maîtresse.

Mauvaise application

Fournir un opérateur non positif, de trace différente de un, ou un opérateur densité incorporant des corrélations initiales système–environnement incompatibles avec l'approximation markovienne conduit à des résultats non physiques (probabilités négatives, perte de positivité complète ou transitoires incorrects).

Conséquence

Une condition initiale valide garantit des populations et des cohérences physiquement consistantes sous le semi-groupe de Lindblad : la positivité est préservée, la trace reste unité, et les états stationnaires ainsi que les taux de relaxation calculés à partir du générateur ont un sens pour l'état initial spécifié.

Inversion

Utiliser une condition finale ou spécifier des contraintes à un temps asymptotique au lieu d'un opérateur densité initial inverse le cadre causal et n'est généralement pas suffisant pour déterminer l'évolution vers l'avant sans données aux limites supplémentaires ou hypothèses de renversement temporel.

Limite

Ce concept suppose que la description de Lindblad (marcovienne et locale en temps) est applicable et exclut les dynamiques non markoviennes avec fortes corrélations initiales système–environnement, les noyaux mémoire, ou les cas où le générateur dépend de corrélations initiales ; les distributions singulières ou états d'énergie infinie hors du domaine du générateur sont aussi exclus.

Tension sémantique

Le terme peut être confondu avec la spécification d'une fonction d'onde d'état pur pour l'évolution fermée de Schrödinger ; contrairement au vecteur d'état, la condition initiale pour Lindblad doit être un opérateur densité tenant compte des mélanges classiques et quantiques et compatible avec la positivité complète sous évolution ouverte.

Synthèse

La Condition Initiale de l'Équation de Lindblad est l'opérateur densité physiquement admissible à l'instant initial qui, sous le générateur markovien de Lindblad, engendre une évolution sémi-groupe unique, complètement positive et préservant la trace, dans la limite d'applicabilité (absence de fortes corrélations initiales, domaine du générateur).