Past exam of the mathematics course of the University of Cambridge / 2007 / iii / Paper 60 / 2 / b / Solution

A real Lie algebra is a real vector space with a bilinear antisymmetric bracket satisfying the Jacobi identity. For matrices, the bracket is the commutator $[X,Y]=XY-YX$. The Dynamical Lie algebra isIt is found by repeatedly adjoining commutators and taking real linear spans until no new independent generators appear. Let $G$ be its connected dynamical Lie group. Under the standard assumptions of freely timed controls with unrestricted real amplitudes, the following are the relevant Lie criteria.

For pure-state controllability, $G$ must act transitively on normalized state vectors, or on their rays when global phase is disregarded. The standard finite-dimensional classification is, up to a unitary change of basis,Here $\mathfrak{sp}(n)$ is the compact symplectic Lie algebra in its defining complex $2n$-dimensional representation. Equivalently, the infinitesimal action spans the tangent directions to the whole pure-state orbit. The symplectic cases are important because pure-state reachability alone need not give complete mixed-state reachability.

For density operator controllability, the action must be transitive on every unitary orbit of a density operator, meaning on every fixed-spectrum class. The criterion is $\mathfrak{g}=\mathfrak{su}(N)$ or $\mathfrak{u}(N)$. This concerns all density operators, not merely one unusually degenerate spectrum.

For exact unitary operator controllability, the criterion is $\mathfrak{g}=\mathfrak{u}(N)$. If only the physical gate up to global phase matters, it is enough that the image after removing the scalar direction is $\mathfrak{su}(N)$, equivalently that $\mathfrak{g}+\mathbb{R}iI=\mathfrak{u}(N)$. A traceless system can implement all special-unitary gates while lacking independent control of the overall phase.