The abstract theory establishes that density operators serve as non-negative, Hermitian representations with unit trace for open quantum systems derived via partial tracing over environmental degrees of freedom. The framework relies on the Schmidt decomposition to relate bipartite pure states and marginal density matrices, while convexity principles dictate that mixed states reside in a state space where only extremal points represent pure states. Generalized measurements are realized through the interaction between a system and an auxiliary apparatus followed by orthogonal measurement, formalizing this via ensembles of ensemble representations related by local unitary transformations on the environment (Hughston-Jozsa-Wootters theorem).
The abstract theory establishes that density operators serve as non-negative, Hermitian representations with unit trace for open quantum systems derived via partial tracing over environmental degrees…