Assume , as required for a connected chain and the supplied divisions. The single-excitation subspace has dimension three, so its Dynamical Lie algebra is contained in . The intended conclusion from nine independent skew-Hermitian directions is , giving unitary operator controllability, density operator controllability and pure-state controllability on this sector. Here is a direct generation argument that does not assume an independent identity control or rely on the normalization of the printed intermediate matrices.
Here denotes the hopping entry of the supplied reduced . With the stated Pauli matrices, restricting instead gives hopping ; absorbing that common factor into the reduced coupling does not change the Dynamical Lie algebra.
Write and using matrix units. The physical generators give
Next isolate the second transition and generate its other direction:
Finally and . The three , three and two diagonal differences are eight independent traceless skew-Hermitian matrices, hence span . Because , subtracting the traceless part of also supplies , completing . This is the trace-direction step in identity augmentation in quantum controllability and the three-site instance of Endpoint control of an XX spin chain. If a coupling vanishes, the chain disconnects and the full-sector conclusion fails.
There is a redundant direction in the printed final pair of commutators: with the printed intermediate definitions, both are proportional to . Thus that pair cannot itself establish the stated independence. The mixed commutator above provides the missing direction and establishes the required conclusion independently.
Let be the algebra on the full eight-dimensional space. Restriction to the invariant single-excitation sector is a surjective Lie algebra homomorphism . If , the rank-nullity theorem gives , so
This is an abstract algebra isomorphism; on the full Hilbert space it is a reducible eight-dimensional representation preserving sectors of dimensions . The sector actions are linked by the same nine generators, rather than independently controllable blocks. In particular, this is not or , so it does not imply full-system controllability. The full spin Hamiltonians are traceless, so their algebra is embedded in even though its abstract type is ; its central direction is not an unrestricted overall phase on the full space.