In 30 Sekunden
Teil III stellt die Quantenkinematik im FBA-kompatiblen Operativstil auf: Zustände werden als Dichteoperatoren ρ beschrieben, und zulässige Zustandsänderungen sind genau die CPTP-Kanäle (completely positive, trace preserving). Damit ist „was physikalisch als Prozess erlaubt ist“ sauber gefasst: als Kraus-Form, als Stinespring-Erweiterung (Unitary + Umgebung + Spur) und über den Choi-Isomorphismus. Diese Sprache ist die direkte Brücke zu Dynamik und Messung (Teil IV) sowie zu Lokalität/No-Signalling (Teil V).
Worum geht es in Teil III?
Teil III präzisiert, was im FBA als zulässige Quanten-Evolution gilt: nicht jede lineare Abbildung ist physikalisch, sondern genau die Klasse der CPTP-Kanäle. Das ist operativ entscheidend, weil es (i) die Kopplung an eine Umgebung einschließt, (ii) Komposition und Nebenbedingungen (z. B. Erhaltung der Gesamtwahrscheinlichkeit) automatisch respektiert und (iii) die richtige Bühne für offene Systeme und Messprozesse liefert.
Kernideen (in 6 Punkten)
- Zustand = Dichteoperator: Reine und gemischte Zustände werden einheitlich durch ρ beschrieben (positiv, Spur 1).
- Prozess = Kanal: Physikalische Zustandsänderungen sind CPTP-Abbildungen 𝓔: ρ → 𝓔(ρ).
- Kraus-Form: Jeder CPTP-Kanal lässt sich als Summe „Effekt-Operatoren“ darstellen; Wahrscheinlichkeiten bleiben automatisch konsistent.
- Stinespring-Dilatation: Jeder Kanal ist „Unitary + Umgebung + Spur“: offene Dynamik als Reduktion einer größeren geschlossenen Dynamik.
- Choi-Isomorphismus: Kanäle können als Matrizen repräsentiert werden; komplette Positivität wird zu „Choi ≥ 0“.
- Komposition & Lokalität: Kanäle komponieren sauber (𝓔₂∘𝓔₁), und Nebenbedingungen wie No-Signalling werden als Constraints auf zusammengesetzte Kanäle formulierbar (Anschluss an Teil V).
Begriffe, die du nach Teil III wirklich „in der Hand“ hast
Hilbertraum, Dichteoperator ρ, Spur/Positivität, CPTP-Kanal 𝓔, Kraus-Operatoren, Stinespring-Dilatation, Choi-Matrix, partielle Spur, Komposition, Nebenbedingungen (z. B. No-Signalling), Instrumente/POVM (Ausblick auf Messung in Teil IV).
Mini-Formalismus (nur so viel wie nötig)
Zustände:
Ein (gemischter) Quantenzustand ist ein Dichteoperator ρ mit Positivität und Normierung:
$$
\rho \ge 0,\qquad \mathrm{Tr}(\rho)=1.
$$
CPTP-Kanal (Kraus-Darstellung):
Jede zulässige Quanten-Evolution 𝓔 hat die Form
$$
\mathcal{E}(\rho)=\sum_k E_k\,\rho\,E_k^\dagger,
\qquad
\sum_k E_k^\dagger E_k=\mathbb{I}.
$$
Stinespring-Dilatation:
Äquivalent kann man jeden Kanal als unitäre Dynamik auf System + Umgebung schreiben:
$$
\mathcal{E}(\rho)=\mathrm{Tr}_E\!\left[\,U\left(\rho\otimes |0\rangle\langle 0|\right)U^\dagger\right].
$$
Choi-Matrix (Kriterium für komplette Positivität):
Der Kanal entspricht einer Choi-Matrix J𝓔, und „CP“ wird zu „J𝓔 ist positiv“:
$$
J_{\mathcal{E}}=(\mathcal{E}\otimes \mathbb{I})(|\Omega\rangle\langle\Omega|),\qquad
\mathcal{E}\ \text{CP}\ \Longleftrightarrow\ J_{\mathcal{E}}\ge 0.
$$
Damit ist die Sprache fixiert, mit der Teil IV offene Dynamik (GKLS) und Messung konsistent formulieren kann.
Was Teil III leistet (und warum es wichtig ist)
Teil III liefert die prozess-theoretische Grammatik für den quantenphysikalischen Teil des FBA:
- Es fixiert die Klasse der physikalisch zulässigen Transformationen (CPTP statt „beliebig linear“).
- Es verbindet offene Systeme mit „Unitary + Umgebung + Spur“ (Stinespring).
- Es macht Eigenschaften wie Positivität, Wahrscheinlichkeits-Erhaltung und Komposition transparent.
- Es stellt mit dem Choi-Bild ein handliches Werkzeug für Tests, Constraints und Konstruktionen bereit.
Lesepfad: Wohin danach?
- Zeit/Eigenzeit/Minkowski: zurück zu Teil II.
- Dynamik & Messung (GKLS): weiter mit Teil IV.
- Raumzeit/Locality: danach Teil V.
- Vorhersagen/Tests: Perspektive in Teil X.