Two adjacent transitions generate the qutrit unitary Lie algebra

ID: two-adjacent-transitions-generate-the-qutrit-unitary-lie-algebra

Let and , with nonzero , distinct positive . The squared adjoint action of has different eigenvalues on the two adjacent skew-Hermitian couplings. Linear combinations of and its double commutator with isolate both couplings. Further commutators give their real antisymmetric partners, two traceless diagonal generators, and both – generators, hence the special unitary Lie algebra . The drift has nonzero trace; subtracting its traceless part supplies , giving the Lie algebra of the unitary group and unitary operator controllability under the usual freely timed real-control assumptions.

New to topics? Read the docs here!