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

TL;DR

This paper classifies finite-dimensional Lie algebras within the skew-Hermitian subalgebra of the Weyl algebra for single-mode bosonic systems, providing insights relevant for quantum control and dynamics.

Contribution

It systematically characterizes all finite-dimensional Lie subalgebras generated by monomials and containing the free Hamiltonian in the Weyl algebra, advancing understanding of bosonic quantum dynamics.

Findings

Classified all finite-dimensional non-abelian Lie algebras generated by monomials.

Proved subalgebras containing the free Hamiltonian are subalgebras of the Schrödinger algebra.

Partially classified nilpotent and non-solvable Lie algebras realizable in the Weyl algebra.

Abstract

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\"odinger 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.