In 30 seconds
Part III sets up quantum kinematics in an FBA-compatible operational language: states are described by density operators ρ, and admissible state changes are exactly the CPTP channels (completely positive, trace preserving). This cleanly captures “what is physically allowed as a process”: via the Kraus form, via Stinespring dilation (unitary + environment + trace), and via the Choi isomorphism. This language is the direct bridge to dynamics and measurement (Part IV) and to locality/no-signalling (Part V).
What is Part III about?
Part III specifies what counts as an admissible quantum evolution in FBA terms: not every linear map is physical, but precisely the class of CPTP channels. This is operationally crucial because it (i) naturally includes coupling to an environment, (ii) respects composition and constraints (e.g., conservation of total probability) by construction, and (iii) provides the right stage for open-system dynamics and measurement processes.
Key ideas (6 points)
- State = density operator: Pure and mixed states are treated uniformly by ρ (positive, trace 1).
- Process = channel: Physical state changes are CPTP maps 𝓔: ρ → 𝓔(ρ).
- Kraus form: Every CPTP channel can be written as a sum over “effect operators”; probabilities remain consistent automatically.
- Stinespring dilation: Every channel is “unitary + environment + trace”: open dynamics as a reduction of a larger closed dynamics.
- Choi isomorphism: Channels can be represented as matrices; complete positivity becomes “Choi ≥ 0”.
- Composition & locality: Channels compose cleanly (𝓔₂∘𝓔₁), and constraints such as no-signalling can be expressed as constraints on composite channels (connects to Part V).
Concepts you truly “have in hand” after Part III
Hilbert space, density operator ρ, trace/positivity, CPTP channel 𝓔, Kraus operators, Stinespring dilation, Choi matrix, partial trace, composition, constraints (e.g., no-signalling), instruments/POVMs (preview of measurement in Part IV).
Mini formalism (only as much as needed)
States:
A (mixed) quantum state is a density operator ρ with positivity and normalization:
$$
\rho \ge 0,\qquad \mathrm{Tr}(\rho)=1.
$$
CPTP channel (Kraus representation):
Every admissible quantum evolution 𝓔 has the form
$$
\mathcal{E}(\rho)=\sum_k E_k\,\rho\,E_k^\dagger,
\qquad
\sum_k E_k^\dagger E_k=\mathbb{I}.
$$
Stinespring dilation:
Equivalently, every channel can be written as unitary dynamics on system + environment:
$$
\mathcal{E}(\rho)=\mathrm{Tr}_E\!\left[\,U\left(\rho\otimes |0\rangle\langle 0|\right)U^\dagger\right].
$$
Choi matrix (criterion for complete positivity):
The channel corresponds to a Choi matrix J𝓔, and “CP” becomes “J𝓔 is positive”:
$$
J_{\mathcal{E}}=(\mathcal{E}\otimes \mathbb{I})(|\Omega\rangle\langle\Omega|),\qquad
\mathcal{E}\ \text{CP}\ \Longleftrightarrow\ J_{\mathcal{E}}\ge 0.
$$
This fixes the language in which Part IV can formulate open-system dynamics (GKLS) and measurement consistently.
What Part III delivers (and why it matters)
Part III provides the process-theoretic grammar for the quantum-physics side of FBA:
- It fixes the class of physically admissible transformations (CPTP rather than “arbitrary linear”).
- It connects open systems to “unitary + environment + trace” (Stinespring).
- It makes properties such as positivity, probability preservation, and composition transparent.
- It provides a handy toolset for tests, constraints, and constructions via the Choi picture.
Reading path: where to go next
- Time/proper time/Minkowski: back to Part II.
- Dynamics & measurement (GKLS): continue with Part IV.
- Spacetime/locality: then Part V.
- Predictions/tests: perspective in Part X.