This thesis focuses on the Lie-theoretic foundations of controlled open quantum systems. We describe Markovian open quantum system evolutions by Lie semigroups, whose corresponding infinitesimal generators lie in a special type of convex cone - a Lie wedge. The Lie wedge associated to a given control system therefore consists of all generators of the quantum dynamical semigroup that are physically realisable as a result of the interplay between the coherent and incoherent processes the quantum system is subject to. For $n$-qubit open quantum systems, we provide a parametrisation of the largest physically relevant Lie algebra (the system algebra), in which these Lie wedges are contained: the Lindblad-Kossakowski Lie algebra. This parametrisation provides several useful benefits. First, it allows us to construct explicit forms of these system Lie wedges and their respective system Lie algebras. Second, we analyse which control scenarios yield Lie wedges that are closed under Baker-Campbell-Hausdorff (BCH) multiplication and therefore generate Markovian semigroups of time-independent quantum channels. Lie wedges of this form are called Lie semialgebras, and we completely solve this open problem by proving that Lie wedges specialise to this form only when the coherent controls have no effect on both the inherent drift Hamiltonian and the incoherent part of the dynamics. Finally, this parametrisation of the Lindblad-Kossakowski Lie algebra points to an intuitive separation between unital and non-unital dissipative dynamics, where the non-unital component of the dynamics is described by affine translation operations. These translation operators are then exploited to construct purely dissipative fixed-point engineering schemes to obtain either pure or mixed states as a system's unique fixed point.
This thesis focuses on the Lie-theoretic foundations of controlled open quantum systems. We describe Markovian open quantum system evolutions by Lie semigroups, whose corresponding infinitesimal generators lie in a special type of convex cone - a Lie wedge. The Lie wedge associated to a given control system therefore consists of all generators of the quantum dynamical semigroup that are physically realisable as a result of the interplay between the coherent and incoherent processes the quantum system is subject to. For n-qubit open quantum systems, we provide a parametrisation of the largest physically relevant Lie algebra (the system algebra), in which these Lie wedges are contained: the Lindblad-Kossakowski Lie algebra. This parametrisation provides several useful benefits. First, it allows us to construct explicit forms of these system Lie wedges and their respective system Lie algebras. Second, we analyse which control scenarios yield Lie wedges that are closed under Baker-Campbell-Hausdorff (BCH) multiplication and therefore generate Markovian semigroups of time-independent quantum channels. Lie wedges of this form are called Lie semialgebras, and we completely solve this open problem by proving that Lie wedges specialise to this form only when the coherent controls have no effect on both the inherent drift Hamiltonian and the incoherent part of the dynamics. Finally, this parametrisation of the Lindblad-Kossakowski Lie algebra points to an intuitive separation between unital and non-unital dissipative dynamics, where the non-unital component of the dynamics is described by affine translation operations. These translation operators are then exploited to construct purely dissipative fixed-point engineering schemes to obtain either pure or mixed states as a system's unique fixed point.
The solutions to the celebrated Kossakowski-Lindblad equation extended by coherent controls yield Markovian quantum maps. More precisely, the set of all its solutions forms a semigroup of completely positive trace-preserving maps taking the specific form of a Lie semigroup. Non-trivial symmetries of these semigroups are shown to preclude accessibility in Markovian dissipative systems. This is the open-system analogue to closed systems, where triviality of (quadratic) symmetries of the Hamiltonian part suffices to decide that the system is fully controllable. The findings are placed into a unifying Lie frame of quantum systems and control theory alongside with illustrating examples.
The ability to navigate and control the state space of a quantum system is fundamental to quantum computing, quantum information processing, and advanced spectroscopy. This paper explores a rigorous mathematical framework for quantifying state space accessibility by leveraging the theory of operator commutation relations, particularly within the context of Lie algebras. We demonstrate that the span of iterated commutators of system Hamiltonians and control operators forms a dynamical Lie algebra, whose dimension and structure directly dictate the reachable states and unitary transformations. For closed quantum systems, the Lie algebra rank condition provides a powerful criterion for complete controllability, asserting that if the dynamical Lie algebra spans the entire space of anti-Hermitian operators, then any state can be reached from any other, and any unitary operation can be implemented. For open quantum systems, while environmental interactions introduce decoherence and dissipation, the Lie algebraic approach can still offer insights into the attainable subspaces and the limits of control, often involving Lie semigroups and Lie wedges. We present methods to analyze the accessibility of both pure and mixed states, illustrating how the algebraic properties encoded in commutation relations provide a precise measure of the manipulability of quantum systems. The implications extend to the design of robust quantum control protocols, optimized state preparation, and the development of error-resilient quantum technologies.
We determine when qubit controls admit an effective generator that drives every initial state to the same pure state. Lie wedges enforce nonnegative weights for dissipative generators and thereby preserve the distinction between reversible control and irreversible dissipation lost under Lie-algebra closure. For drift-free qubits with Hamiltonian controls available with either sign and at most one independently actuated dissipator generated by a traceless jump operator, we classify all nontrivial systems into thirteen structural strata. Explicit tests using the control algebra and channel data assign each system to a stratum. Necessary and sufficient conditions determine whether its Lie wedge contains a stabilizing generator and, when it does, the minimum number of control-rotated dissipative orientations required. These conditions distinguish stabilizable and non-stabilizable systems even when they share the same generated Lie algebra and stratum. In an exceptional stratum, one dissipative orientation is insufficient even with the available Hamiltonian controls, whereas averaging two orientations of the same channel produces a stabilizing generator.
We develop a Lie-Jordan geometric formulation of finite-dimensional open quantum dynamics, building on the algebraic framework introduced in our previous work (arXiv:2606.26477). The Hilbert-Schmidt operator space is endowed with an orthonormal Hermitian basis, in which the commutator and anticommutator are encoded by the structure tensors Cμνλ and Bμνλ. Within this formulation, the von Neumann and Gorini-Kossakowski-Lindblad-Sudarshan equations admit a direct component representation. Our central result is the identification of a basis-independent universal trilinear dissipative map, D(X,Y)Z=XZY−21{YX,Z}, whose components define a universal operator-space tensor depending only on the Lie-Jordan structure tensors. The physical dissipator is obtained by contracting this tensor with the expansion coefficients of the Lindblad operators and the Kossakowski matrix, thereby separating the universal algebraic structure from the model-dependent physical information. We further show that the combinations (B+C) and (B−C) generate internal left and right transports, allowing the elementary dissipative map to be expressed as a left-right bimodule action corrected by an ordered Jordan contribution. The universal map satisfies basis-independent trace and Hermitian-conjugation identities, from which trace preservation, Hermiticity preservation of the complete dissipator, and the reality of its component representation in a Hermitian Hilbert-Schmidt basis follow. We also derive its Hilbert-Schmidt adjoint and illustrate the formalism for a qubit with pure dephasing and amplitude-damping channels. This construction provides a tensorial and affine-geometric interpretation of the universal superoperator structure derived in arXiv:2606.26477 while keeping the algebraic and model-dependent sectors explicitly separated.
In quantum systems theory one of the fundamental problems boils down to: Given an initial state, which final states can be reached by the dynamic system in question? Formulated in the framework of bilinear control systems, the evolution shall be governed by an inevitable Hamiltonian drift term, finitely many control Hamiltonians allowing for (at least) piecewise constant control amplitudes, plus a (possibly bang-bang switchable) noise term in Kossakowski-Lindblad form. Now assuming switchable coupling of finite-dimensional systems to a thermal bath of arbitrary temperature, the core problem of reachability boils down to studying points in the standard simplex amenable to two types of controls that can be used interleaved: Permutations within the simplex, and contractions by a dissipative one-parameter semigroup. We illustrate how the solutions of the core problem pertain to the reachable set of the original controlled Markovian quantum system. This allows us to show that for global as well as local switchable coupling to a temperature-zero bath one can generate every quantum state from every initial state up to arbitrary precision. Moreover we present an inclusion for non-zero temperatures as a consequence of our results on d-majorization. Then we consider infinite-dimensional open quantum-dynamical systems following a unital Kossakowski-Lindblad master equation extended by controls. Here the drift Hamiltonian can be arbitrary, the finitely many control Hamiltonians are bounded, and the switchable noise term is generated by a single compact normal operator. Via new majorization results of ours, we show that such bilinear quantum control systems allow to approximately reach any target state majorized by the initial one, as up to now only has been known in finite-dimensional analogues.
Open quantum systems, which interact with their environments, exhibit non-unitary dynamics that are fundamentally different from the unitary evolution of closed systems. The conventional Jordan canonical form, a powerful tool for analyzing linear operators, falls short in providing a complete and physically intuitive decomposition for the superoperators governing the dynamics of open quantum systems, such as the Lindblad superoperator. This limitation arises from the non-Hermitian and often non-diagonalizable nature of these superoperators, whose spectral properties encode critical information about dissipation, decoherence, and relaxation to steady states. This paper introduces and rigorously develops a novel canonical form specifically tailored for the Lindblad superoperator describing Markovian open quantum systems. We propose a decomposition that systematically separates coherent, dissipative, and coupling components, offering a more profound insight into the underlying physical processes. Our methodology leverages advancements in the theory of non-Hermitian operators and Lie algebraic structures of Lindblad operators to construct this form. We demonstrate that this new canonical representation not only clarifies the spectral properties, including the identification of steady states and decay rates, but also provides a systematic framework for analyzing complex open quantum system dynamics. The proposed canonical form promises to significantly advance the analytical capabilities in quantum information, quantum control, and quantum thermodynamics by offering a clearer, more interpretable representation of non-unitary evolution.