In Michael A. Nielsen & Isaac L. Chuang, Quantum Computation and Quantum Information, 10th Anniversary Edition, the proof of Theorem 9.2 (Trace-preserving quantum operations are contractive) on page 406-407 introduces positive matrices with orthogonal support $Q$ and $S$.
- How are these matrices constructed?
- Why do Equation (9.38-9.43) hold?