MulAtoLEG (Multi-Atom Liouville Equation Generator) is an open-source Mathematica package for generating Liouville superoperators and Liouville equations, specialized for multilevel atomic systems comprising an arbitrary number of atoms. This scheme is based on an extension to multilevel atomic systems, originally developed by Lehmberg [R. H. Lehmberg, Phys. Rev. A 2, 883 (1970)] as an adjoint master equation for ensembles of two-level emitters and later reformulated by Genes [M. Reitz, C. Sommer and C. Genes, PRX Quantum 3, 010201 (2022)] as a master equation. The package facilitates the generation of equations for complex transition configurations in alkali atoms. Although primarily designed for atomic systems, it can also generate the master and adjoint master equations for general Hamiltonians and Lindbladians. In addition, it includes functionalities to construct the differential equations in the dressed-state basis, where, in many cases, the non-unitary evolution operator can be determined explicitly. To maximize computational efficiency, the package leverages Mathematica's vectorization and sparse linear algebra capabilities. Since MulAtoLEG produces exact equations without approximations, the feasible system size is naturally limited by the available computational resources.
MulAtoLEG (Multi-Atom Liouville Equation Generator) is an open-source Mathematica package for generating Liouville superoperators and Liouville equations, specialized for multilevel atomic systems comprising an arbitrary number of atoms. This scheme is based on an extension to multilevel atomic systems, originally developed by Lehmberg [R. H. Lehmberg, Phys. Rev. A 2, 883 (1970)] as an adjoint master equation for ensembles of two-level emitters and later reformulated by Genes [M. Reitz, C. Sommer and C. Genes, PRX Quantum 3, 010201 (2022)] as a master equation. The package facilitates the generation of equations for complex transition configurations in alkali atoms. Although primarily designed for atomic systems, it can also generate the master and adjoint master equations for general Hamiltonians and Lindbladians. In addition, it includes functionalities to construct the differential equations in the dressed-state basis, where, in many cases, the non-unitary evolution operator can be determined explicitly. To maximize computational efficiency, the package leverages Mathematica's vectorization and sparse linear algebra capabilities. Since MulAtoLEG produces exact equations without approximations, the feasible system size is naturally limited by the available computational resources.
MulAtoLEG (Multi-Atom Liouville Equation Generator) is a source-available Mathematica package for generating Liouville superoperators and Liouville equations, specialized for multilevel atomic systems comprising an arbitrary number of atoms. This scheme is based on an extension to multilevel atomic systems, originally developed by Lehmberg [R. H. Lehmberg, Phys. Rev. A 2, 883 (1970)] as an adjoint master equation for ensembles of two-level emitters and later reformulated by Genes [M. Reitz, C. Sommer and C. Genes, PRX Quantum 3, 010201 (2022)] as a master equation. The package facilitates the generation of equations for complex transition configurations in alkali atoms. Although primarily designed for atomic systems, it can also generate the master and adjoint master equations for general Hamiltonians and Lindbladians. In addition, it includes functionalities to construct the differential equations in the dressed-state basis, where, in many cases, the non-unitary evolution operator can be determined explicitly. To maximize computational efficiency, the package leverages Mathematica’s vectorization and sparse linear algebra capabilities. Since MulAtoLEG produces exact equations without approximations, the feasible system size is naturally limited by the available computational resources.
MulAtoLEG (Multi-Atom Liouville Equation Generator) is a source-available Mathematica package for generating Liouville superoperators and Liouville equations, specialized for multilevel atomic systems comprising an arbitrary number of atoms. This scheme is based on an extension to multilevel atomic systems, originally developed by Lehmberg [R. H. Lehmberg, Phys. Rev. A 2, 883 (1970)] as an adjoint master equation for ensembles of two-level emitters and later reformulated by Genes [M. Reitz, C. Sommer and C. Genes, PRX Quantum 3, 010201 (2022)] as a master equation. The package facilitates the generation of equations for complex transition configurations in alkali atoms. Although primarily designed for atomic systems, it can also generate the master and adjoint master equations for general Hamiltonians and Lindbladians. In addition, it includes functionalities to construct the differential equations in the dressed-state basis, where, in many cases, the non-unitary evolution operator can be determined explicitly. To maximize computational efficiency, the package leverages Mathematica’s vectorization and sparse linear algebra capabilities. Since MulAtoLEG produces exact equations without approximations, the feasible system size is naturally limited by the available computational resources.
We investigate the algebraic structure underlying the Lindblad equation for finite-dimensional open quantum systems. By introducing a suitable operator representation of the Liouville superoperator, we show that the dynamics can be formulated in terms of a closed algebra of Hermitian operators that is independent of the particular physical model. This formulation reveals that dissipative dynamics requires a substantially richer algebraic structure than purely unitary evolution, thereby providing a clear characterization of the additional complexity introduced by the Lindbladian. The resulting framework naturally leads to parametrizations of the dynamical map and to differential equations governing its evolution. We further derive recursion relations that enable the efficient construction of the algebra for systems of increasing dimension. Because the algebraic basis is universal, while all model-dependent information enters through a single set of coefficients, the proposed approach significantly reduces the computational cost of constructing the Liouville superoperator compared with direct methods. To facilitate the implementation of the method, we provide a Mathematica notebook containing a one-qubit example that can be systematically extended to an arbitrary number of qubits. The proposed framework therefore provides both a general mathematical description of finite-dimensional Lindblad dynamics and a practical foundation for efficient analytical and numerical implementations.
We consider the Lindblad equation for a collection of multilevel systems coupled to independent environments.The equation is symmetric under the exchange of the labels associated with each system and thus the open-system dynamics takes place in the permutation-symmetric subspace of the operator space.The dimension of this space grows polynomially with the number of systems.We construct a basis of this space and a set of superoperators whose action on this basis is easily specified.For a given number of levels, M, these superoperators are written in terms of a bosonic realization of the generators of the Lie algebra M . ( ) slIn some cases, these results enable finding an analytic solution of the master equation using known Lie-algebraic methods.To demonstrate this, we obtain an analytic expression for the state operator of a collection of three-level atoms coupled to independent radiation baths.When analytic solutions are difficult to find, the basis and the superoperators can be used to considerably reduce the computational resources required for simulations.
In this thesis a formalism for indistinguishable multi-level quantum emitters in quantum master equations is developed. The complexity of the approach scales only polynomially in the number of quantum emitters. Complexity here means the number of coupled equations or rather the dimension of the Liouville space. This approach opens new possibilities for calculating open quantum systems. The method is implemented in the PsiQuaSP library, which allows to setup and solve arbitrary master equations, in particular master equations with the reduced polyno-mial scaling. The introduced tools are utilized to study subradiance in the open Dicke model and various cQED lasers. One of the main current research goals in quantum optics and quantum information science is the generation and stabilization of quantum coherence between distinct quantum systems. These systems can for instance be photons or quantum emitters, qubits. From a theoretical stance the difficulty with these systems is that their complexity scales in general exponentially with the system size, like the number of quantum emitters. The reduced scaling of the formalism introduced in this thesis stems from the permutation symmetry of the indistinguishable emitters. The method is derived in the context of Lindblad quantum master equations. Lindblad quantum master equations for many identical multi-level systems have been used to study funda- mental quantum optical systems, such as lasing and laser like action, various phase transitions, optical bistability, cooperative resonance fluorescence, entanglement, quantum light generation, quantum to classical transitions, super- and subradiance etc. In most of these cases the single emitter, the many emitter and the weak correlation limit can be satisfactorily treated with existing techniques, such as direct integration, phase space methods or cluster expansion. However these techniques are not well suited for the few emitter case with strong correlations. The theory developed in this thesis allows to study all these systems for moderate numbers of quantum emitters and arbitrary correlation strengths, thus filling the gap left open by conventional methods. Even though the theory is developed around Lindblad quantum master equations it is not limited to this case – the requirement of indistinguishability is used to construct symmetrized Liouville space basis states and operators which can also be used to construct other master equations. In this thesis the general methodology for the polynomial scaling of the many emitter master equation is derived by two different approaches. Generalized permutation symmetric Liouville space states and operators are introduced that allow for the construction of arbitrary master equations and observables. These Liouville space states and operators are translated into a graphical representation that greatly facilitates their usage. This representation is found to have a close connection to Lie algebras as well as graph theory. The whole method is implemented in a general and modular way in a C++ library called PsiQuaSP, which allows to simulate arbitrary master equations based on a number state representation. The design of the library heavily relies on the introduced graphical representation, which greatly facilitates the setup of a simulation. The treatment of non-identical systems with PsiQuaSP is illustrated and further techniques for complexity reduction and computational speedup are discussed. These tools are applied to the two main cases of cQED lasers/spasers and super-, subradiance. In the latter case a new type of phase transition in the open Dicke model is predicted that leads to a deterministic generation of subradiant steady state coherences, with applications in quantum information science. Furthermore the interaction of quantum dots with the dissipative modes at metal interfaces is investigated in order to explain experimental findings.
The Liouville equation governing the evolution of the density matrix for an atomic/molecular system is expressed in terms of a commutator between the density matrix and the Hamiltonian, along with terms that account for decay and redistribution. To find solutions of this equation, it is convenient first to reformulate the Liouville equation by defining a vector corresponding to the elements of the density operator, and determining the corresponding time-evolution matrix. For a system of N energy levels, the size of the evolution matrix is N2 × N2. When N is very large, evaluating the elements of these matrices becomes very cumbersome. We describe a novel algorithm that can produce the evolution matrix in an automated fashion for an arbitrary value of N. As a non-trivial example, we apply this algorithm to a 15-level atomic system used for producing optically controlled polarization rotation. We also point out how such a code can be extended for use in an atomic system with arbitrary number of energy levels.