A finite-dimensional density operator is Hermitian, positive semidefinite, and has trace one. In dimension it has real parameters. Schrödinger evolution iswhen denotes the time-independent Heisenberg-picture state.
New to topics? Read the docs here!