Der Dichtematrix (ρ(t0)), die als Anfangszustand für die zeitliche Entwicklung gemäß einer Lindblad-Meistergleichung angegeben wird; sie muss den statistischen Zustand des Systems zum Anfangszeitpunkt für eine markovsche, vollständig positive, spurerhaltende Dynamik beschreiben.

Prinzip

Eine zulässige Anfangsbedingung ist eine Dichtematrix, die positiv semidefinit und spureins ist, auf dem Hilbertraum des Systems; ihre Festlegung zusammen mit dem Lindblad-Generator bestimmt die vorwärts gerichtete Halbgruppenevolution eindeutig, sofern die Lindblad-Form und die Markov-Annahmen gelten.

Demonstration

Für ein Zwei-Niveau-Atom, das an ein breitbandiges Bad gekoppelt ist, wählt man ρ(0)=diag(p,1−p) in der Energie-Basis; die Entwicklung mit einem Lindblad-Generator, der spontane Emission beschreibt, führt zu monotonem Populationsabfall und zur Annäherung an den thermischen oder Grundzustand, wie von der Meistergleichung vorhergesagt.

Fehlanwendung

Die Angabe eines nicht-positiven Operators, eines Operators mit nicht-eins-Trace oder einer Dichtematrix, die anfängliche System–Umgebung-Korrelationen kodiert, die mit der Markov-Approximation unvereinbar sind, führt zu unphysikalischen Resultaten (negative Wahrscheinlichkeiten, Verlust vollständiger Positivität oder fehlerhafte Transienten).

Konsequenz

Eine gültige Anfangsbedingung sichert physikalisch konsistente Populations- und Kohärenzwerte unter der Lindblad-Halbgruppe: Positivität bleibt erhalten, die Spur bleibt eins, und stationäre Zustände sowie Relaxationsraten, die aus dem Generator berechnet werden, sind für den gegebenen Anfangszustand aussagekräftig.

Umkehrung

Die Verwendung einer Endbedingung oder das Festlegen von Einschränkungen an einem asymptotischen Zeitpunkt anstelle einer Anfangs-Dichtematrix kehrt das kausale Setup um und reicht in der Regel nicht aus, die vorwärts gerichtete Lindblad-Evolution ohne zusätzliche Randdaten oder Zeitumkehrannahmen zu bestimmen.

Abgrenzung

Dieses Konzept setzt voraus, dass die Lindblad-Beschreibung (markovsch, zeitlokal) anwendbar ist und schließt nicht-markovsche Dynamiken mit starken Anfangskorrelationen, Gedächtniskernen oder Fälle aus, in denen der Generator von Anfangskorrelationen abhängt; singuläre Verteilungen oder Zustände mit unendlicher Energie, die außerhalb des Definitionsbereichs des Generators liegen, sind ebenfalls ausgeschlossen.

Semantische Spannung

Der Begriff kann mit der Angabe eines reinen Zustandsvektors für die geschlossene Schrödinger-Evolution verwechselt werden; im Unterschied zum Zustandsvektor muss die Lindblad-Anfangsbedingung eine Dichtematrix sein, die klassische und Quantenmischungen sowie die Verträglichkeit mit vollständiger Positivität unter offener Systemdynamik erfasst.

Synthese

Die Anfangsbedingung der Lindblad-Gleichung ist die physikalisch zulässige Dichtematrix zum Startzeitpunkt, die in Verbindung mit dem markovschen Lindblad-Generator eine eindeutige, vollständig positive und spurerhaltende Halbgruppenevolution liefert, vorausgesetzt die Anwendbarkeitsbedingungen (keine starken Anfangskorrelationen, Definitionsbereich des Generators) sind erfüllt.