A three-level
Λ -atom (resp.,
V -atom) is a three-level quantum system with a forbidden direct transition between the two lowest (resp., highest) energy states. These systems are particular examples of three-level systems with only two allowed transitions and are important in quantum optics, e.g., for modeling electromagnetically induced transparency, etc. For generality, we consider not only
Λ - and
V -atoms, but all other types of three-level systems with only two allowed transitions between basis states. For the most general case of arbitrary non-zero complex values of the interaction Hamiltonian, we combine in a unified way the description of the structure of the dynamical Lie algebra as well as controllability properties for such systems. It turns out that for non-degenerate transition frequencies the system is completely controllable for any non-zero interaction Hamiltonian, while for the degenerate case the system is either uncontrollable or controllable, depending on the exact values of matrix elements of the free and interaction Hamiltonians.
We study, classify, and explore the mathematical properties of finite-dimensional Lie algebras occurring in the quantum dynamics of single-mode and self-interacting bosonic systems. These Lie algebras are contained in the real skew-hermitian Weyl algebra
A^1, defined as the real subalgebra of the Weyl algebra
A1 consisting of all skew-hermitian polynomials. A central aspect of our analysis is the choice of basis for
A^1, which is composed of skew-symmetric combinations of two elements of the Weyl algebra called monomials, namely strings of creation and annihilation operators combined with their hermitian conjugate. Motivated by the quest for analytical solutions in quantum optimal control and dynamics, we aim at answering the following three fundamental questions: (i) What are the finite-dimensional Lie subalgebras in
A^1 generated by monomials alone? (ii)~What are the finite-dimensional Lie subalgebras in
A^1 that contain the free Hamiltonian? (iii) What are the non-abelian and finite-dimensional Lie subalgebras that can be faithfully realized in
A^1? We answer the first question by providing all possible realizations of all finite-dimensional non-abelian Lie algebras that are generated by monomials alone. We answer the second question by proving that any non-abelian and finite-dimensional subalgebra of
A^1 that contains a free Hamiltonian term must be a subalgebra of the Schrödinger algebra. We partially answer the third question by classifying all nilpotent and non-solvable Lie algebras that can be realized in
A^1, and comment on the remaining cases. Finally, we also discuss the implications of our results for quantum control theory. Our work constitutes an important stepping stone to understanding quantum dynamics of bosonic systems in full generality.
Abstract We analyze the controllability of three quantum systems that belong to a specific class of four-level quantum systems with twice degenerate highest excited energy level and with forbidden transition between the two remaining non-degenerate levels. For this purpose we perform numerical computation, construct the dynamical Lie algebras generated by all commutators of the free and interaction Hamiltonians, and show that two quantum systems are irreducible and controllable while the third system is reducible and hence uncontrollable. The reducibility and uncontrollability are proved by constructing a conserved Hermitian operator (physical quantity). The controllability is proved by constructing the dynamical Lie algebra and showing that it has maximal rank. These findings indicate that depending on the values of certain particular matrix entries of the interaction Hamiltonian, quantum systems in the class under consideration can be either uncontrollable or controllable.
In this paper, we present a controllability analysis of the quantum Ising periodic chain of n spin 1/2 particles where the interpolating parameter between the two Hamiltonians plays the role of the control. A fundamental result in the control theory of quantum systems states that the set of achievable evolutions is (dense in) the Lie group corresponding to the Lie algebra generated by the Hamiltonians of the system. Such a dynamical Lie algebra therefore characterizes all the state transitions available for a given system. For the Ising spin periodic chain we characterize such a dynamical Lie algebra and therefore the set of all reachable states. In particular, we prove that the dynamical Lie algebra is a (3n-1)-dimensional Lie sub-algebra of su(2^n) which is a direct sum of a two dimensional center and a (3n-3)-dimensional semisimple Lie subalgebra. This in turn is the direct sum of n-1 Lie algebras isomorphic to su(2) parametrized by the eigenvalues of a fixed matrix. We display the basis for each of these Lie subalgebras. Therefore the problem of control for the Ising spin periodic chain is, modulo the two dimensional center, a problem of simultaneous control of n-1 spin 1/2 particles. In the process of proving this result, we develop some tools which are of general interest for the controllability analysis of quantum systems with symmetry.
Determining the unitary dynamics accessible from finite Hamiltonian resources is a central problem in Hamiltonian engineering and quantum control. Dynamical Lie algebras (DLAs) connect available control Hamiltonians with the reachable dynamics, but their use as a design tool for modifying Hamiltonian generator sets remains less developed. In this work, we develop a finite-dimensional DLA framework for three generator-set operations: composition, invariance, and reduction. For composition, we construct direct sums of component DLAs using spectral projectors on an auxiliary register. For invariance, we analyze when modifications of Pauli-string generating sets preserve the generated Lie algebra, and introduce algebraic diagnostics for added generators. For reduction, we consider compact reductive DLAs and show how projection onto selected simple ideals gives reduced generating sets whose Lie closures are the corresponding ideal sums. We illustrate these results with finite-dimensional examples and numerical checks, including direct-sum dimension addition, central-spin invariance diagnostics, and DLA-based ansatz reduction for block-local Hamiltonians. The results show how DLA structure can be used to diagnose controllability and guide Hamiltonian generator design under explicit algebraic assumptions.
We describe a framework for the controllability analysis of networks of
n quantum systems of an arbitrary dimension
d, {\it qudits}, with dynamics determined by Hamiltonians that are invariant under the permutation group
Sn. Because of the symmetry, the underlying Hilbert space,
H=(Cd)⊗n, splits into invariant subspaces for the Lie algebra of
Sn-invariant elements in
u(dn), denoted here by
uSn(dn). The dynamical Lie algebra
L, which determines the controllability properties of the system, is a Lie subalgebra of such a Lie algebra
uSn(dn). If
L acts as
su(dim(V)) on each of the invariant subspaces
V, the system is called {\it subspace controllable}. Our approach is based on recognizing that such a splitting of the Hilbert space
H coincides with the {\it Clebsch-Gordan} splitting of
(Cd)⊗n into {\it irreducible representations} of
su(d). In this view,
uSn(dn), is the direct sum of certain
su(nj) for some
nj's we shall specify, and its {\it center} which is the Abelian (Lie) algebra generated by the {\it Casimir operators}. Generalizing the situation previously considered in the literature, we consider dynamics with arbitrary local simultaneous control on the qudits and a symmetric two body interaction. Most of the results presented are for general
n and
d but we recast previous results on
n qubits in this new general framework and provide a complete treatment and proof of subspace controllability for the new case of
n=3,
d=3, that is, {\it three qutrits}.