The Von Neumann equation integrates to , so the spectrum and purity of a density operator are invariant under any allowed open-loop control. These are the kinematic restrictions.
There is no additional orbit restriction here: the generators and , together with their matrix commutator, span the special unitary Lie algebra:
For freely chosen durations and piecewise continuous real control values, this gives density operator controllability. The connected reachable group is ; its action by conjugation is the same as that of , because a global phase cancels. Thus exactly the pairs and can be interconverted. No coherent control can turn either mixed state into either pure state, even though every orientation within each spectral orbit is reachable.
Write the unitary conjugation as . The identity component is unchanged, and the generalized Bloch vector transforms by
These coefficients are real, by the same trace argument as in part (a). Unitary conjugation preserves the Hilbert-Schmidt inner product, so the conjugated traceless generators form another orthonormal basis. It follows that . The unitary group is connected, , and the determinant of an orthogonal matrix is ; hence . Thus Hamiltonian evolution rotates the generalized Bloch vector by an element of .
Equivalently, in units , the Von Neumann equation gives
Cyclicity of the trace shows , so is a real skew-symmetric matrix. This is the generator form of Hamiltonian rotations of Bloch vectors, valid also for a time-dependent Quantum Hamiltonian. For , Hamiltonians generally realize only a proper subgroup of all rotations of this real space; they preserve the whole density-operator spectrum, not merely its purity of a density operator.
Every density operator can be written as
Therefore , so is a positive semidefinite operator, and . A pure quantum state has a rank-one density operator , equivalently and . A mixed quantum state is not pure and has in finite dimension.
The Von Neumann equation and the Pauli matrix commutator identity give
so the Bloch vector obeys
Writing and , the assumption gives
and hence
Unitary evolution rotates the Bloch vector and preserves its length. Since , the state remains mixed, whereas has the unit Bloch vector . The system is therefore never definitely in .