Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2610.14938

A complete classification of operator controllability for closed three-level quantum systems driven by a single control

Sergey Kuznetsov, Alexander Pechen

quant-phSubmitted Oct 10, 2026• Announced Oct 13, 2026• 0 citations
arXivHTMLPDF

Abstract

In this work, we study operator controllability of finite-dimensional closed quantum systems driven by a single coherent control. Two general Lie-algebraic results on controllability of such systems are proved. The first gives sufficient conditions under which controllability of the system is preserved when controlled energy-level shifts are added. The second gives a sufficient basis-element condition under which the dynamical Lie algebra contains $\mathfrak{su}(N)$ and the system is therefore operator controllable. These results, together with known controllability conditions, are applied to obtain a complete classification of operator controllability of all three-level quantum systems in terms of their free and interaction Hamiltonian matrix elements. This classification covers all combinations of energy-level and level-spacing degeneracies, two or three allowed transitions, as well as the presence or absence of controlled energy-level shifts, and gives necessary and sufficient conditions for operator controllability in each case.

AI Summary

The paper asks when a closed three-level system driven by one real coherent control, $H+f(t)V$, can implement every unitary up to global phase. It gives necessary and sufficient conditions in terms of Hamiltonian matrix elements, covering energy and transition-frequency degeneracies, two or three allowed transitions, and arbitrary control-induced diagonal shifts. For a connected transition graph, systems with distinct nonzero transition frequencies are controllable. With three distinct equally spaced energies, three allowed transitions always give controllability. With only the two adjacent transitions, controllability holds exactly when their coupling magnitudes differ or the diagonal shifts are not equally spaced. For two degenerate energies, a two-transition system is controllable unless both transitions connect the degenerate pair to the third level and the pair has equal diagonal shifts. With three transitions and $E_i=E_j$, noncontrollability occurs exactly when $r=v_{ij}/(v_{ik}v_{kj})$ is real and $r(|v_{kj}|^2-|v_{ik}|^2)=v_j-v_i$. Disconnected graphs and scalar drift Hamiltonians are uncontrollable. The proofs use dynamical Lie-algebra generation, explicit commutators, and invertible coefficient matrices. Two general sufficient results establish preservation of controllability under specified additions of diagonal shifts, and generation of $\mathfrak{su}(N)$ from a connected graph of available basis elements with both quadratures on at least one edge. Counterexamples show why the shift-preservation assumptions cannot simply be dropped. The complete classification is restricted to closed three-level systems with a single control; admissible controls are assumed to include piecewise-constant functions. It concerns reachability, not control synthesis or implementation resources.

Little sign of AI-generated textIncremental

Written by gpt-6.1-sol from the paper's full text. Automated: it can be wrong.

Related papers

On Controllability of $$\boldsymbol{\Lambda}$$- and $$\mathbf{V}$$-Atoms and Other Three-Level Systems with Two Allowed Transitions

Sergei A. Kuznetsov, Alexander Nikolaevich Pechen

A three-level $$\Lambda$$ -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 $$\Lambda$$ - 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.

Lobachevskii Journal of Mathematics•Jun 1, 2023•7 citations

Finite-dimensional Lie algebras in bosonic quantum dynamics: The single-mode case

Tim Heib, Andreea Silvia Goia, Sona Baghiyan +2 more

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 $\hat{A}_1$, defined as the real subalgebra of the Weyl algebra $A_1$ consisting of all skew-hermitian polynomials. A central aspect of our analysis is the choice of basis for $\hat{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 $\hat{A}_1$ generated by monomials alone? (ii)~What are the finite-dimensional Lie subalgebras in $\hat{A}_1$ that contain the free Hamiltonian? (iii) What are the non-abelian and finite-dimensional Lie subalgebras that can be faithfully realized in $\hat{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 $\hat{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 $\hat{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.

quant-pharXiv:2511.06940•Nov 11, 2025

Some Controllable and Uncontrollable Degenerate Four-Level Quantum Systems

Anastasia Aleksandrovna Myachkova, Alexander Nikolaevich Pechen

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.

Proceedings of the Steklov Institute of Mathematics•Jun 1, 2023•3 citations

Controllability of the Periodic Quantum Ising Spin Chain

Domenico D’Alessandro, Yasemin Isik

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.

arXiv:2405.00898•May 1, 2024•0 citations

A Dynamical Lie-Algebraic Framework for Hamiltonian Engineering and Quantum Control

Yanying Liang, Ruibin Xu, Mao-Sheng Li +2 more

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.

quant-pharXiv:2603.04916•New Journal of Physics•Mar 6, 2026•0 citations

Subspace Controllability and Clebsch-Gordan Decomposition of Symmetric Quantum Networks

Domenico D’Alessandro

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 $S_n$. Because of the symmetry, the underlying Hilbert space, ${\cal H}=(\mathbb{C}^d)^{\otimes n}$, splits into invariant subspaces for the Lie algebra of $S_n$-invariant elements in $u(d^n)$, denoted here by $u^{S_n}(d^n)$. The dynamical Lie algebra ${\cal L}$, which determines the controllability properties of the system, is a Lie subalgebra of such a Lie algebra $u^{S_n}(d^n)$. If ${\cal L}$ acts as $su\left( \dim(V) \right)$ 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 ${\cal H}$ coincides with the {\it Clebsch-Gordan} splitting of $(\mathbb{C}^d)^{\otimes n}$ into {\it irreducible representations} of $su(d)$. In this view, $u^{S_n}(d^n)$, is the direct sum of certain $su(n_j)$ for some $n_j$'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}.

arXiv:2307.12908•Jul 24, 2023•0 citations
In this work, we study operator controllability of finite-dimensional closed quantum systems driven by a single coherent control. Two general Lie-algebraic results on controllability of such systems are proved. The first gives sufficient conditions under which controllability of the system is preserved when controlled energy-level shifts are added. The second gives a sufficient basis-element condition under which the dynamical Lie algebra contains su(N)\mathfrak{su}(N)su(N) and the system is therefore operator controllable. These results, together with known controllability conditions, are applied to obtain a complete classification of operator controllability of all three-level quantum systems in terms of their free and interaction Hamiltonian matrix elements. This classification covers all combinations of energy-level and level-spacing degeneracies, two or three allowed transitions, as well as the presence or absence of controlled energy-level shifts, and gives necessary and sufficient conditions for operator controllability in each case.
The paper asks when a closed three-level system driven by one real coherent control, H+f(t)VH+f(t)VH+f(t)V, can implement every unitary up to global phase. It gives necessary and sufficient conditions in terms of Hamiltonian matrix elements, covering energy and transition-frequency degeneracies, two or three allowed transitions, and arbitrary control-induced diagonal shifts.
For a connected transition graph, systems with distinct nonzero transition frequencies are controllable. With three distinct equally spaced energies, three allowed transitions always give controllability. With only the two adjacent transitions, controllability holds exactly when their coupling magnitudes differ or the diagonal shifts are not equally spaced. For two degenerate energies, a two-transition system is controllable unless both transitions connect the degenerate pair to the third level and the pair has equal diagonal shifts. With three transitions and Ei=EjE_i=E_jEi​=Ej​, noncontrollability occurs exactly when r=vij/(vikvkj)r=v_{ij}/(v_{ik}v_{kj})r=vij​/(vik​vkj​) is real and r(∣vkj∣2−∣vik∣2)=vj−vir(|v_{kj}|^2-|v_{ik}|^2)=v_j-v_ir(∣vkj​∣2−∣vik​∣2)=vj​−vi​. Disconnected graphs and scalar drift Hamiltonians are uncontrollable.
The proofs use dynamical Lie-algebra generation, explicit commutators, and invertible coefficient matrices. Two general sufficient results establish preservation of controllability under specified additions of diagonal shifts, and generation of su(N)\mathfrak{su}(N)su(N) from a connected graph of available basis elements with both quadratures on at least one edge. Counterexamples show why the shift-preservation assumptions cannot simply be dropped.
The complete classification is restricted to closed three-level systems with a single control; admissible controls are assumed to include piecewise-constant functions. It concerns reachability, not control synthesis or implementation resources.
On Controllability of Λ\boldsymbol{\Lambda}Λ- and V\mathbf{V}V-Atoms and Other Three-Level Systems with Two Allowed Transitions
A three-level Λ\LambdaΛ -atom (resp., VVV -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 Λ\LambdaΛ - and VVV -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\hat{A}_1A^1​, defined as the real subalgebra of the Weyl algebra A1A_1A1​ consisting of all skew-hermitian polynomials. A central aspect of our analysis is the choice of basis for A^1\hat{A}_1A^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\hat{A}_1A^1​ generated by monomials alone? (ii)~What are the finite-dimensional Lie subalgebras in A^1\hat{A}_1A^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\hat{A}_1A^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\hat{A}_1A^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\hat{A}_1A^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 nnn quantum systems of an arbitrary dimension ddd, {\it qudits}, with dynamics determined by Hamiltonians that are invariant under the permutation group SnS_nSn​. Because of the symmetry, the underlying Hilbert space, H=(Cd)⊗n{\cal H}=(\mathbb{C}^d)^{\otimes n}H=(Cd)⊗n, splits into invariant subspaces for the Lie algebra of SnS_nSn​-invariant elements in u(dn)u(d^n)u(dn), denoted here by uSn(dn)u^{S_n}(d^n)uSn​(dn). The dynamical Lie algebra L{\cal L}L, which determines the controllability properties of the system, is a Lie subalgebra of such a Lie algebra uSn(dn)u^{S_n}(d^n)uSn​(dn). If L{\cal L}L acts as su(dim⁡(V))su\left( \dim(V) \right)su(dim(V)) on each of the invariant subspaces VVV, the system is called {\it subspace controllable}. Our approach is based on recognizing that such a splitting of the Hilbert space H{\cal H}H coincides with the {\it Clebsch-Gordan} splitting of (Cd)⊗n(\mathbb{C}^d)^{\otimes n}(Cd)⊗n into {\it irreducible representations} of su(d)su(d)su(d). In this view, uSn(dn)u^{S_n}(d^n)uSn​(dn), is the direct sum of certain su(nj)su(n_j)su(nj​) for some njn_jnj​'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 nnn and ddd but we recast previous results on nnn qubits in this new general framework and provide a complete treatment and proof of subspace controllability for the new case of n=3n=3n=3, d=3d=3d=3, that is, {\it three qutrits}.