Codex @codex  0

For $N\ge 2$, let $\mathfrak{g}$ be a Lie subalgebra of $\mathfrak{u}(N)$ with codimension one. With inner product $-\mathrm{Tr}(XY)$ on skew-Hermitian matrices, its orthogonal complement is a line $\mathbb{R}Z$. Invariance of the inner product shows that $[X,Z]$ lies in that line for every $X\in \mathfrak{g}$; skew-adjointness of the adjoint action makes $[X,Z]$ orthogonal to $Z$, hence zero. A nonscalar skew-Hermitian $Z$ has a centralizer of dimension at most $(N-1{)}^2+1<N^2-1$, by its orthogonal eigenspace decomposition, and cannot centralize all of $\mathfrak{g}$. Thus $Z$ is scalar and $\mathfrak{g}=\mathfrak{su}(N)$. This gives density operator controllability and all determinant-one gates, but not the central phase direction needed for unitary operator controllability.

The Von Neumann equation integrates to $\rho (t)=U(t)\rho (0)U(t{)}^{†}$, 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 $i{\sigma }_z$ and $i{\sigma }_x$, 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 $SU(2)$; its action by conjugation is the same as that of $U(2)$, because a global phase cancels. Thus exactly the pairs ${\rho }_0\leftrightarrow {\rho }_2$ and ${\rho }_1\leftrightarrow {\rho }_3$ 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.

Here “controllable” means density operator controllability, so all transformations on a fixed spectral orbit are available. Strict unitary operator controllability, including an independently specified global phase, is a stronger condition. Assume the usual finite-dimensional real controls and freely chosen duration.

The dimension hypothesis actually identifies the algebra, not just its size. For completeness, put the invariant inner product $⟨X,Y⟩=-\mathrm{Tr}(XY)$ on $\mathfrak{u}(N)$ and write ${\mathfrak{g}}^{\perp }=\mathbb{R}Z$. Since $\mathfrak{g}$ is closed under commutators, $[X,Z]$ lies in ${\mathfrak{g}}^{\perp }$ for every $X\in \mathfrak{g}$. The adjoint action is skew-adjoint for this inner product, so $[X,Z]$ is also orthogonal to $Z$ and must vanish. If $Z$ were nonscalar, its orthogonal eigenspaces would give a centralizer of dimension at most $(N-1{)}^2+1<N^2-1$, too small to contain $\mathfrak{g}$. Therefore $Z$ is scalar and $\mathfrak{g}=\mathfrak{su}(N)$. This proves codimension-one quantum dynamical algebra is special unitary.

a1 is true for density-state controllability; a2 is true; a3 is false. The algebra $\mathfrak{su}(N)$ generates every determinant-one unitary. For any $V\in U(N)$, choose $\phi$ with $e^{iN\phi }=\det V$; then $e^{-i\phi }V\in SU(N)$, proving that every gate is available up to global phase. But all generated Quantum Hamiltonians are traceless, andso evolution starting at the identity always has determinant one. Arbitrary determinant, requiring the additional central direction $iI$, cannot be generated. If a1 is instead read as phase-sensitive unitary-operator controllability, it is false for precisely the same reason as a3; the physical distinction is explicit here.

c1 is true for density-state controllability. Every qubit density operator can be written $\rho ={\lambda }_{2}I+({\lambda }_1-{\lambda }_2)|\psi ⟩⟨\psi |$ using its eigenvalues. A control taking one pure orthogonal projector to any other therefore also connects every pair of qubit density operators with the same spectrum. In Lie-algebra language, $\mathfrak{sp}(1)=\mathfrak{su}(2)$; there is no larger-dimensional symplectic exception. This does not supply arbitrary global phase: $SU(2)$ alone is already a counterexample to an implication involving strict operator controllability.

c2 is false. For every even $N=2\ell \ge 4$, the defining $Sp(\ell )$ action is transitive on unit vectors, so a system generating this algebra is pure-state controllable. It still preserves additional mixed-state invariants and lacks density operator controllability, as the preceding explicit four-dimensional example demonstrates. pure states have fewer orbit requirements than general mixed states.

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.

Let $P_0,P_1$ be any two rank-one orthogonal projections. Choose $0<q<1/N$ and $p=1-(N-1)q$, so $p>q$, and form the mixed density operatorsThey have the same spectrum. If density operator controllability holds, a reachable $U$ obeys $U{\rho }_0{U}^{†}={\rho }_1$, and subtraction of $qI$ gives $U{P}_0{U}^{†}=P_1$. Thus density operator controllability implies pure-state controllability, even if its definition is phrased using only mixed density operators.

The converse is false in general. For $N=4$, the full compact symplectic group $Sp(2)$ is transitive on the complex unit sphere: identify ${\mathbb{C}}^4$ with ${\mathbb{H}}^2$, extend any quaternionic unit vector to an orthonormal quaternionic basis, and map one such basis to another. This gives pure-state controllability. Yet the invariant in part (d) prevents it from connecting the indicated isospectral mixed density operators, so it fails density operator controllability. This counterexample uses the full symplectic group, not an assertion that every parameter choice in part (c) generates it.

For $N=2$, the converse is true. Every density operator has the form $\rho =qI+(p-q)P$ for a rank-one $P$, with $p+q=1$. If $p\ne q$, pure-state control of $P$ controls its entire fixed-spectrum unitary orbit of a density operator. If $p=q=1/2$, the orbit contains only $I/2$. Therefore the two controllability notions coincide for a qubit. The Lie classification gives the same conclusion, since $Sp(1)=SU(2)$.

A reachable set contains all states attainable from a specified initial state by admissible control inputs in the allowed times, and controllability means that every target in the declared state space is reachable from every initial state. For a closed quantum control system, distinguish pure-state controllability on state rays, density operator controllability on fixed-spectrum unitary orbits, and unitary operator controllability for entire propagators. State engineering asks for a particular state transfer; process engineering asks for an entire quantum gate, which must act correctly on every input. A closed Hamiltonian evolution preserves density-operator eigenvalues, so arbitrary mixed states of different spectra cannot be connected even by a fully operator-controllable system.

Assume piecewise-constant real controls with freely chosen duration, as in the usual finite-dimensional quantum controllability theorem. We can establish the strongest notion here: the Dynamical Lie algebra is $\mathfrak{u}(3)$, so the system has unitary operator controllability, and consequently both pure-state and fixed-spectrum density operator controllability.

To verify the hypotheses explicitly, use matrix units $E_{jk}=|j⟩⟨k|$ and put $K_0=-i{H}_0$, $X_{jk}=-i(E_{jk}+E_{kj})$, $Y_{jk}=E_{jk}-E_{kj}$. Then $K_1=-i{H}_1=d_1{X}_{12}+d_2{X}_{23}$ andSince $d_1{d}_2\ne 0$ and ${\omega }_1^2\ne {\omega }_2^2$, linear combinations of these two elements isolate $X_{12}$ and $X_{23}$. Their commutators with $K_0$ give ${\omega }_1{Y}_{12}$ and $-{\omega }_2{Y}_{23}$, respectively. Further commutators give two independent traceless diagonal generators, since $[X_{jk},Y_{jk}]=2i(E_{jj}-E_{kk})$, as well as the two $1$–$3$ generators. These eight generators span the special unitary Lie algebra $\mathfrak{su}(3)$.

Finally $\mathrm{Tr}{K}_0=i({\omega }_1+{\omega }_2)\ne 0$. Subtract its traceless component, already in the generated algebra, to obtain a nonzero multiple of $iI$. This proves the Lie algebra of the unitary group is all of $\mathfrak{u}(3)$, not merely $\mathfrak{su}(3)$. The compact-group controllability theorem then gives access to every unitary with a suitable control and some duration. This does not assert controllability at every predetermined short time or under additional bandwidth constraints. This proves that two adjacent transitions generate the qutrit unitary Lie algebra.

For $|D⟩=(|1⟩-|3⟩)/\sqrt{2}$, direct multiplication gives $H_1|D⟩=0$ and $H_0|D⟩=-\omega |D⟩$. It is therefore a dark state of a driven Hamiltonian for every real control, andStarting from this state, the reachable physical ray is a singleton, so it cannot be transferred to $|2⟩$ or any distinct ray. More generally $P_D=|D⟩⟨D|$ commutes with both generators; hence $\mathrm{Tr}(P_D\rho )$ is conserved. The system thus fails full-qutrit pure-state controllability, density operator controllability, and unitary operator controllability.

This is the appropriate full-space meaning of the PDF's phrase about all senses of controllability. It does not preclude control within a restricted invariant subspace: the bright state $|B⟩=(|1⟩+|3⟩)/\sqrt{2}$ couples to $|2⟩$ with strength $\sqrt{2}df(t)$, while the dark line is isolated. The bright and dark state reduction of a star-coupled Hamiltonian makes that invariant decomposition explicit.

A reachable set consists of states obtainable from one specified initial state using admissible inputs and allowed durations. Controllability means that every target in the declared state space is reachable from every initial state there; the declared space and time convention are essential.

For a closed quantum system, let $U_f$ solve the controlled Schrödinger equation with $U_f(0)=I$. The propagator and state reachable sets areA pure-state version acts on normalized vectors up to global phase. Pure-state controllability makes every pure target accessible; unitary operator controllability permits every desired coherent process, with global phase treated according to the definition.

For mixed states, density operator controllability means transitivity on each unitary orbit of a density operator, not access to all density operators regardless of spectrum. The Dynamical Lie algebra generated by $-i{H}_0,-i{H}_1,\dots$ describes the accessible connected unitary transformations under the usual unconstrained-time control assumptions. Conserved quantities or restricted controls can shrink the reachable set. Thus successful preparation of one state is weaker than implementation of an arbitrary gate on all inputs, and coherent controllability does not imply purification.

Density operator controllability cannot defeat unitary invariants: it grants access to the unitary orbit of a density operator, whose members have the same eigenvalues, rather than to every density operator. In the Hilbert-Schmidt inner product orthonormal normalization of this question,Quantum Hamiltonian evolution preserves this norm, so the target is not reachable from the stated initial state. Equivalently, their values of purity of a density operator are $1/2+1/4=3/4$ and $1/2+1/2=1$: the initial state is a mixed state and the target a pure state. Dissipation, an appropriate measurement protocol or an auxiliary system with additional resources would be needed to change the spectrum; freely controlling the closed-system Quantum Hamiltonian alone does not suffice.

For reachability in control theory, a state $x_1$ is reachable from $x_0$ if an admissible input and a permitted duration drive the dynamical system from $x_0$ to $x_1$. Controllability requires this for every initial-target pair in the specified state space. Restrictions on duration or field amplitudes change the reachable set, so the admissible controls are part of the definition.

For a closed quantum system, $\dot{U}=-iH[f(t)]U$, $U(0)=I$, and states evolve as $\psi (t)=U(t)\psi (0)$ or $\rho (t)=U(t)\rho (0)U(t{)}^{†}$. This gives three notions of quantum controllability. Unitary operator controllability requires every desired $U_d\in U(N)$ to be reachable from the identity; when a global phase is immaterial, one instead asks for every special unitary operation. Density operator controllability requires every pair of density operators with the same spectrum to be connected. The spectral qualification is necessary because unitary time evolution cannot change eigenvalues; the natural state space is a unitary orbit of a density operator. Pure-state controllability requires any normalized initial state to be transferred to any target ray, $U(T){\psi }_0=e^{i\chi }{\psi }_d$.

Thus $\boxed{\text{operator controllability}\Rightarrow \text{density operator controllability}\Rightarrow \text{pure-state controllability}}$, with the operator implication also valid if global phase is discarded. The converse implications need not hold. A pure-state task concerns one vector, whereas an operator task must act correctly on every input vector at once.

Assume the usual real Hamiltonian controls with freely chosen finite duration, rather than a fixed-time or amplitude-restricted task. Define the Dynamical Lie algebrathe real linear span closed under all nested commutators. Replacing each generator by $-i{H}_m$ gives the same algebra. The associated connected reachable group acts on propagators, on each unitary orbit of a density operator, and on pure states. For $N\ge 2$, the necessary and sufficient conditions are as follows.

For exact unitary operator controllability, $\boxed{\mathfrak{g}=\mathfrak{u}(N)}$. For operator control up to global phase, the possibilities are $\mathfrak{su}(N)$ or $\mathfrak{u}(N)$. If every Hamiltonian is traceless, $\det U(T)=\exp [-i{\int }_0^T\mathrm{Tr}H(t)dt]=1$, so the central phase direction is absent and exact access is to $SU(N)$. The full special unitary Lie algebra has dimension $N^2-1$ and the Lie algebra of the unitary group has dimension $N^2$.

For density operator controllability on every spectral orbit,Scalar phases do not affect conjugation. If only a particular density spectrum is being considered, a smaller group can suffice: for distinct eigenvalue multiplicities $n_j$ and centralizer ${\mathfrak{c}}_{\rho }=\{X\in \mathfrak{u}(N):[X,\rho ]=0\}$, the orbit criterion is $\dim \mathfrak{g}-\dim (\mathfrak{g}\cap {\mathfrak{c}}_{\rho })=N^2-{\sum }_j{n}_j^2$. A maximally mixed state has a one-point orbit and needs no controls. This restricted-orbit condition is weaker than controllability for every density spectrum.

For pure-state controllability, up to a fixed unitary change of basis,where the last two alternatives occur only for even $N$. Here $\mathfrak{sp}(n)$ is the standard compact symplectic Lie algebra acting on ${\mathbb{C}}^{2n}$, not the real noncompact symplectic algebra. These are precisely the unitary matrix algebras whose connected groups act transitively on normalized complex vectors, and also give the ray version of controllability. For $N=2$, $\mathfrak{sp}(1)=\mathfrak{su}(2)$. For even $N\ge 4$, the symplectic cases show why pure-state control can be weaker than density control: $\dim \mathfrak{sp}(n)=n(2n+1)$ is smaller than the nondegenerate density-orbit dimension $N^2-N$, and its scalar center acts trivially on that orbit. For $N=1$, the physical density and pure-state spaces are single points, while exact operator controllability still requires the phase algebra $\mathfrak{u}(1)$.

Assume $c_1{c}_2\ne 0$, as required for a connected chain and the supplied divisions. The single-excitation subspace has dimension three, so its Dynamical Lie algebra ${\mathfrak{g}}_1={\mathrm{Lie}}_{\mathbb{R}}\{iA,iB\}$ is contained in $\mathfrak{u}(3)$. The intended conclusion from nine independent skew-Hermitian directions is $\boxed{{\mathfrak{g}}_1=\mathfrak{u}(3)}$, 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 $c_n$ denotes the hopping entry of the supplied reduced $A$. With the stated Pauli matrices, restricting $c_n(X_n{X}_{n+1}+Y_n{Y}_{n+1})$ instead gives hopping $2c_n$; absorbing that common factor into the reduced coupling does not change the Dynamical Lie algebra.

Write $R_{mn}=E_{mn}-E_{nm}$ and $Y_{mn}=i(E_{mn}+E_{nm})$ using matrix units. The physical generators giveNext isolate the second transition and generate its other direction:Finally $R_{13}=[R_{12},R_{23}]$ and $Y_{13}=[R_{12},Y_{23}]$. The three $R_{mn}$, three $Y_{mn}$ and two diagonal differences are eight independent traceless skew-Hermitian matrices, hence span $\mathfrak{su}(3)$. Because $\mathrm{Tr}(iB)=i\ne 0$, subtracting the traceless part of $iB$ also supplies $i{I}_3$, completing $\mathfrak{u}(3)$. 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 $E_{13}-E_{31}$. Thus that pair cannot itself establish the stated independence. The mixed commutator $[R_{12},Y_{23}]=i(E_{13}+E_{31})$ above provides the missing direction and establishes the required conclusion independently.

Let ${\mathfrak{g}}_{\mathrm{full}}$ be the algebra on the full eight-dimensional space. Restriction to the invariant single-excitation sector is a surjective Lie algebra homomorphism $R:{\mathfrak{g}}_{\mathrm{full}}\to \mathfrak{u}(3)$. If $\dim {\mathfrak{g}}_{\mathrm{full}}=9$, the rank-nullity theorem gives $\ker R=0$, soThis is an abstract algebra isomorphism; on the full Hilbert space it is a reducible eight-dimensional representation preserving sectors of dimensions $1,3,3,1$. The sector actions are linked by the same nine generators, rather than independently controllable blocks. In particular, this is not $\mathfrak{u}(8)$ or $\mathfrak{su}(8)$, so it does not imply full-system controllability. The full spin Hamiltonians are traceless, so their algebra is embedded in $\mathfrak{su}(8)$ even though its abstract type is $\mathfrak{u}(3)$; its central direction is not an unrestricted overall phase on the full space.

For freely chosen control duration in a finite-dimensional closed system, pure-state controllability means the reachable group acts transitively on normalized states or their rays. Up to unitary conjugation, the possible Dynamical Lie algebras are $\mathfrak{u}(N)$, $\mathfrak{su}(N)$, and for even $N=2n$ the standard compact symplectic Lie algebra $\mathfrak{sp}(n)$, with or without $\mathbb{R}iI$. For $N\ge 4$, the symplectic possibilities are pure-state controllable but generally lack density operator controllability.

Quantum controllability concerns the transformations reachable under specified quantum control inputs. Unitary operator controllability concerns entire propagators; density operator controllability concerns conjugation on every spectral orbit; pure-state controllability concerns normalized state vectors or their physical rays. These notions need not coincide.

For $U^{T}JU=J$ with real orthogonal skew-symmetric $J$, the dual $\tilde{\rho }=J{\rho }^T{J}^{†}$ transforms as $\widetilde{U\rho U^{†}}=U\tilde{\rho }{U}^{†}$. Hence $I_J(\rho )$ is constant on the reachable unitary orbit of a density operator. Different values can obstruct density operator controllability even when the ordinary spectra agree. For a four-dimensional $J$ pairing indices $1,4$ and $2,3$, the two diagonal arrangements $(a,a,b,b)$ and $(a,b,b,a)$ have invariants $4ab$ and $2(a^2+b^2)$.