Deciding finiteness of bosonic dynamics with tunable interactions

Abstract

In this work we are motivated by factorization of bosonic quantum dynamics and we study the corresponding Lie algebras, which can potentially be infinite dimensional. To characterize such factorization, we identify conditions for these Lie algebras to be finite dimensional. We consider cases where each free Hamiltonian term is itself an element of the generated Lie algebra. In our approach, we develop new tools to systematically divide skew-hermitian bosonic operators into appropriate subspaces, and construct specific sequences of skew-hermitian operators that are used to gauge the dimensionality of the Lie algebras themselves. The significance of our result relies on conditions that constrain only the independently controlled generators in a particular Hamiltonian, thereby providing an effective algorithm for verifying the finiteness of the generated Lie algebra. In addition, our results are tightly connected to mathematical work where the polynomials of creation and annihilation operators are known as the Weyl algebra. Our work paves the way for better understanding factorization of bosonic dynamics relevant to quantum control and quantum technology.

32 pages, 5 figures. Comments welcome

References in corpus (8)

• Quantum Computing
• Non-standard Hubbard models in optical lattices: a review
• Combinatorics and Boson normal ordering: A gentle introduction
• Heat transport in harmonic oscillator systems with correlated baths: Application to optomechanical arrays
• Universal extensions of restricted classes of quantum operations
• Compensating for non-linear distortions in controlled quantum systems
• A bounded version of bosonic creation and annihilation operators and their related quasi-coherent states
• Landau electron in a rotating environment: a general factorization of time evolution

Cited by in corpus (3)

• Hybrid Oscillator-Qubit Quantum Processors: Instruction Set Architectures, Abstract Machine Models, and Applications
• Bounding the rotating wave approximation for coupled harmonic oscillators
• $\text{Symdyn}$: an automated algebraic solution for high-order quantum systems