4
votes
1answer
125 views

Trace of an operator matrix (Quantum computation and quantum information)

I'm reading the book Quantum computation and quantum information by Mike & Ike and I'm stuck at 2.60/2.61. There, the author says that, given the operator $A|ψ⟩⟨ψ|$, its trace is: $${\rm ...
5
votes
1answer
74 views

When is an operator subspace the span of Kraus operators?

Let $A$ and $B$ be finite dimensional Hilbert spaces, and let $\mathcal{L}(A \to B)$ be the space of linear operators from $A$ to $B$. Say that a subspace $K \subseteq \mathcal{L}(A \to B)$ is a span ...
1
vote
3answers
146 views

Question about orthonormal decompositions over unitary operators

I'm teaching myself quantum information theory using Nielson and Chuang's "Quantum Computation and Quantum Information" and I'm at a point in the book where the formalism is starting to make my eyes ...