Finite-dimensional Lie algebras in bosonic quantum dynamics: The single-mode case
- URL: http://arxiv.org/abs/2511.06940v1
- Date: Mon, 10 Nov 2025 10:46:22 GMT
- Title: Finite-dimensional Lie algebras in bosonic quantum dynamics: The single-mode case
- Authors: Tim Heib, Andreea Silvia Goia, Sona Baghiyan, Robert Zeier, David Edward Bruschi,
- Abstract summary: 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.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- 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.
Related papers
- Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras [0.0]
We show that the satisfiability problem for the class of non-variable partial Boolean algebras is NP-complete.<n>We also show that the satisfiability problem for the class of all Hilbert spaces and all finite-dimensional Hilbert spaces is undecidable.
arXiv Detail & Related papers (2026-02-27T16:43:13Z) - Quantum two-dimensional superintegrable systems in flat space: exact-solvability, hidden algebra, polynomial algebra of integrals [41.99844472131922]
It includes the Smorodinsky-Winternitz potentials I-II (the Holt potential), the Fokas-Lagerstrom model, the 3-body Calogero and Wolfes (equivalently, $G$ rational, or $I_6$) models.<n>It is shown that all of them are exactly-solvable, thus, confirming the Montreal conjecture.<n>Each model is characterized by infinitely-many finite-dimensional invariant subspaces, which form the infinite flag.
arXiv Detail & Related papers (2025-12-30T07:39:35Z) - Quantum Cellular Automata on Symmetric Subalgebras [6.158725838873227]
We investigate quantum cellular automata on one-dimensional spin systems defined over a subalgebra of the full local operator algebra.<n>For systems where each site carries a regular representation of $G$, we establish a complete classification of such subalgebra QCAs.
arXiv Detail & Related papers (2024-11-28T17:22:50Z) - Controllability of the Periodic Quantum Ising Spin Chain [0.0]
We present a controllability analysis of the quantum Ising periodic chain of n spin 1/2 particles.
The interpolating parameter between the two Hamiltonians plays the role of the control.
arXiv Detail & Related papers (2024-05-01T23:05:40Z) - Explicit large $N$ von Neumann algebras from matrix models [0.0]
We construct a family of quantum mechanical systems that give rise to an emergent type III$_$ von Neumann algebra in the large $N$ limit.
We calculate the real-time, finite temperature correlation functions in these systems and show that they are described by an emergent type III$_$ von Neumann algebra at large $N$.
arXiv Detail & Related papers (2024-02-15T19:00:00Z) - Two-body Coulomb problem and hidden $g^{(2)}$ algebra:
superintegrability and cubic polynomial algebra [55.2480439325792]
It is shown that the two-body Coulomb problem in the Sturm representation leads to a new two-dimensional, exactly-solvable, superintegrable quantum system in curved space.
The two integrals are integral of orders two and four, they are made from two components of the angular momentum and from the modified LaplaceRunge-Lenz vector.
arXiv Detail & Related papers (2023-09-28T22:47:18Z) - Boundary algebras of the Kitaev Quantum Double model [0.0]
We prove the LTO axioms for Kitaev's Quantum Double model for a finite group $G$.
We identify the boundary nets of algebras with fusion categorical nets associated to $(mathsfHilb(G),mathbbC[G],$ or $(mathsfRep(G),mathbbCG)$ depending on whether the boundary cut is rough or smooth.
arXiv Detail & Related papers (2023-09-23T17:56:38Z) - Quantum teleportation in the commuting operator framework [63.69764116066747]
We present unbiased teleportation schemes for relative commutants $N'cap M$ of a large class of finite-index inclusions $Nsubseteq M$ of tracial von Neumann algebras.
We show that any tight teleportation scheme for $N$ necessarily arises from an orthonormal unitary Pimsner-Popa basis of $M_n(mathbbC)$ over $N'$.
arXiv Detail & Related papers (2022-08-02T00:20:46Z) - Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$.
It is assumed that a density matrix $rho$ can be determined from the expectation values of observables.
Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
arXiv Detail & Related papers (2021-12-14T16:29:53Z) - Quantum double aspects of surface code models [77.34726150561087]
We revisit the Kitaev model for fault tolerant quantum computing on a square lattice with underlying quantum double $D(G)$ symmetry.
We show how our constructions generalise to $D(H)$ models based on a finite-dimensional Hopf algebra $H$.
arXiv Detail & Related papers (2021-06-25T17:03:38Z) - Polynomial algebras from $su(3)$ and the generic model on the two sphere [0.0]
Construction of superintegrable systems based on Lie algebras have been introduced over the years.
This is also the case for the construction of their related symmetry algebra which take usually the form of a finitely generated quadratic algebra.
We develop a new approach reexamining the case of the generic superintegrable systems on the 2-sphere.
arXiv Detail & Related papers (2020-07-22T02:20:10Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
In Hilbert's 17th problem Artin showed that any positive definite in several variables can be written as the quotient of two sums of squares.
Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables.
arXiv Detail & Related papers (2019-09-04T11:46:26Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.