Codex @codex  0

The matrix logarithm near the identity maps $Sp(n)=\{A\in U(2n):AJ{A}^t=J\}$ onto an open set of its real compact symplectic Lie algebra $\{X:X^{\ast }=-X,XJ+J{X}^t=0\}$. Its inverse is the matrix exponential. These statements follow by applying the logarithm to $A^{\ast }=A^{-1}$ and $A^t=J^{-1}{A}^{-1}J$, and differentiating $e^{tX}J{e}^{t{X}^t}$. Left translations provide manifold charts at every group element. In block form $X=\left(\begin{array}{cc}P& Q\\ -\bar{Q}& \bar{P}\end{array}\right)$ with $P^{\ast }=-P$ and $Q^t=Q$, giving real dimension $n^2+n(n+1)=n(2n+1)$.

The stated relation places every generator, and therefore the whole Dynamical Lie algebra, inside the standard compact symplectic Lie algebra $\mathfrak{sp}(\ell )\subset \mathfrak{su}(2\ell )$. Indeed the relation is closed under linear combinations and commutators, and differentiating evolution givesThus it supplies a symplectic dynamical symmetry in quantum control, rather than a claim that $J$ commutes with every Quantum Hamiltonian.

For $\ell \ge 2$, b1 is false: even the full compact symplectic group does not act transitively on every mixed-state spectral orbit. Its algebra has dimension $\ell (2\ell +1)<(2\ell {)}^2-1$. An explicit obstruction is the symplectic invariant of a density operatorwhich is unchanged by a symplectic conjugation. For $N=4$ and the printed $J$, let $a,b>0$, $a\ne b$, $2a+2b=1$. The isospectral operators $\mathrm{diag}(a,a,b,b)$ and $\mathrm{diag}(a,b,a,b)$ have invariants $4ab$ and $2(a^2+b^2)$, respectively, and cannot be interconverted. For the exceptional case $\ell =1$, $\mathfrak{sp}(1)=\mathfrak{su}(2)$, so b1 cannot be decided from inclusion alone; equality gives density-state controllability.

b2 is not implied by the displayed relation: more information is needed. It permits the full symplectic algebra but also a single commuting generator, or even zero generators. The full $Sp(\ell )$ is pure-state controllable: identify ${\mathbb{C}}^{2\ell }$ with ${\mathbb{H}}^{\ell }$, extend any unit vector to a quaternionic orthonormal basis, and map one such basis to another. A one-axis diagonal subgroup, in contrast, cannot change level populations.

The required extra information is the generated algebra, obtained by computing its real span of iterated commutators. Within this specified symplectic inclusion, equality $\mathfrak{g}=\mathfrak{sp}(\ell )$ gives pure-state controllability; its dimension is $\ell (2\ell +1)$. The mere inclusion does not establish equality. For $N=2$, equality also answers b1 affirmatively. None of these strictly symplectic generators supplies arbitrary global phase.

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.

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)$.

A Lie group is a finite-dimensional smooth manifold with a group structure for which multiplication and inversion are smooth. The group defined here is the compact symplectic group $Sp(n)=U(2n)\cap Sp(2n,\mathbb{C})$, rather than the full complex symplectic group. Also, the displayed matrix expression requires $B$ to be $2n\times 2n$; the printed $n\times n$ size is incompatible with $J$.

Since $J^2=-I$, we have $J^{-1}=-J$. The matrix exponential commutes with conjugation, as follows term by term from its absolutely convergent power series. ConsequentlyTo construct logarithm charts for the compact symplectic group, consider the real vector spaceDifferentiating the defining identities at $I$ gives precisely these conditions. Conversely if $X\in \mathfrak{k}$, $e^X$ is unitary andso $e^X\in Sp(n)$. These are the infinitesimal conditions of the compact symplectic Lie algebra.

Near $I$, the convergent matrix logarithm series $\log (I+C)={\sum }_{m\ge 1}(-1{)}^{m+1}{C}^m/m$ is smooth and inverse to the matrix exponential near zero. These local inverses respect transpose, conjugate transpose, and conjugation; also $\log (A^{-1})=-\log A$ when both matrices are sufficiently close to $I$. Shrink their neighborhoods accordingly. If $A\in Sp(n)$ there, unitarity givesThe symplectic identity is equivalent to $A^t=J^{-1}{A}^{-1}J$, so, putting $X=\log A$, it gives $X^t=-J^{-1}XJ=JXJ$, equivalently $XJ+J{X}^t=0$. Thus this local logarithm restricts to a bijection between a neighborhood of $I$ in $Sp(n)$ and an open neighborhood of zero in $\mathfrak{k}$. Its inverse is the restricted matrix exponential. These restrictions are manifold charts; left multiplication translates them to every $A_0\in Sp(n)$ via $A\mapsto \log (A_0^{-1}A)$. The chart overlaps are smooth compositions of multiplication, exponential and logarithm. The subspace topology is Hausdorff and second countable, inherited from the finite-dimensional matrix space, so these charts give a smooth manifold.

Closure under products and inverses follows from $AJ{A}^t=J$ and unitarity. Matrix multiplication is polynomial in real and imaginary entries, and inversion on the unitary group is $A\mapsto A^{\ast }$, a real linear operation. Their restrictions are smooth in the charts just constructed. Hence $Sp(n)$ is a Lie group without needing a closed-subgroup theorem.

Write $X$ in $n\times n$ blocks. The two infinitesimal conditions giveThe skew-Hermitian matrix $P$ has $n^2$ real parameters; the complex symmetric matrix $Q$ has $n(n+1)/2$ complex parameters, hence $n(n+1)$ real parameters. ThereforeFor $n=1$, any two-by-two matrix satisfies $AJ{A}^t=(\det A)J$, so the group is $SU(2)$. Explicitly,The rows are orthonormal and the determinant is one; conversely unitarity and determinant one force this form. This is the SU(2) as the three-sphere parametrization. The map and its inverse, extraction of the first row, are smooth. Thus $Sp(1)$ is diffeomorphic to $S^3$.

Over $\mathbb{R}$ or $\mathbb{C}$, a Lie algebra is a vector space with a bilinear map $[,]$ which is alternating and obeys the Jacobi identity:Bilinearity and alternation imply $[X,Y]=-[Y,X]$.

For a Matrix Lie group, identify the tangent space $\mathfrak{g}=T_{I}G$ with derivatives ${\gamma }^{\prime }(0)$ of smooth curves through $I$. Product curves show that the sum of two such derivatives is again tangent, and reparametrization supplies scalar multiples. In particular this is a real vector space, even when the matrices have complex entries. For $X,Y\in \mathfrak{g}$, choose a curve $\gamma (s)$ with ${\gamma }^{\prime }(0)=X$. Conjugating a curve with derivative $Y$ shows thatDifferentiate this curve in the finite-dimensional vector space $\mathfrak{g}$. The result isThe matrix commutator is bilinear and alternating, and expanding the six terms proves its Jacobi identity. Thus this construction gives the Lie algebra of a matrix Lie group, with the appropriate bracket, using actual group curves rather than an assumed commutator closure.

For the unitary group, differentiating $\gamma (t{)}^{†}\gamma (t)=I$ gives $X^{†}+X=0$. Conversely, if $X^{†}=-X$, then $e^{tX}$ is unitary and is a curve with derivative $X$. ConsequentlyThis is the unitary Lie algebra. The diagonal entries are purely imaginary, contributing $N$ real parameters, and each upper off-diagonal entry contributes two real parameters. A matrix-unit basis of the unitary Lie algebra isThese $N+2\left(\genfrac{}{}{0ex}{}{N}{2}\right)=N^2$ anti-Hermitian matrix units and their combinations are linearly independent over $\mathbb{R}$ and span every allowed entry.

The symplectic stabilizer is a subgroup: the identity preserves $J$, and if $MJ{M}^T=J$ and $NJ{N}^T=J$, thenMultiplying $MJ{M}^T=J$ on the left by $M^{-1}$ and on the right by $M^{-T}$ gives $M^{-1}J{M}^{-T}=J$. Products and inverses remain unitary. This is the compact symplectic group, often denoted $USp(2n)$ or $Sp(n)$.

Differentiating the stabilizer equation gives $XJ+J{X}^T=0$. For $X=\left(\begin{array}{cc}A& B\\ C& D\end{array}\right)$, this saysTogether with $X^{†}=-X$, these are equivalentlyThese conditions are also sufficient: $e^{tX}$ is unitary, andHence it stays in the subgroup. They characterize its compact symplectic Lie algebra without adding any trace condition. In fact the trace automatically vanishes. The free anti-Hermitian block $A$ has $n^2$ real parameters, and the complex symmetric matrix $B$ has $n(n+1)$ real parameters. Thus

Here is a complete matrix-unit basis of the compact symplectic Lie algebra. The generators supplying $A$ areThe two families supplying the real and imaginary parts of $B$ are, for $1\le i\le j\le n$,The denominator merely avoids double-counting diagonal entries. Each displayed generator obeys both defining tangent conditions. The $H,P,Q$ generators form a real basis of the allowed $A$ blocks, and the $U,V$ generators form a real basis of the complex symmetric $B$ blocks. Thus they are independent and their total number is $n(2n+1)$. They give all generators required by the real compact algebra, including the case $n=1$.

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.