Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1103.2703 · IEEE Transactions on Automatic Control

Illustrating the Geometry of Coherently Controlled Unital Open Quantum Systems

Corey O'Meara, Gunther Dirr, Thomas Schulte‐Herbrüggen

Published Jul 19, 2012• 20 citations
arXivHTMLPDF

Abstract

We extend standard Markovian open quantum systems (quantum channels) by allowing for Hamiltonian controls and elucidate their geometry in terms of Lie semigroups. For standard dissipative interactions with the environment and different coherent controls, we particularly specify the tangent cones (Lie wedges) of the respective Lie semigroups of quantum channels. These cones are the counterpart of the infinitesimal generator of a single one-parameter semigroup. They comprise all directions the underlying open quantum system can be steered to and thus give insight into the geometry of controlled open quantum dynamics. Such a differential characterization is highly valuable for approximating reachable sets of given initial quantum states in a plethora of experimental implementations.

DOI
10.1109/tac.2012.2195849

Related papers

A Lie Theoretic Framework for Controlling Open Quantum Systems

Corey O’Meara

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.

arXiv:2510.04719•Oct 6, 2025•0 citations

Quantum markovian master equation driven by coherent controls: a controllability analysis

Claudio Altafini

The behavior of a coherently driven finite dimensional open quantum system (in the Markovian approximation) is studied from a control theoretical perspective. The irreversible character of such a system is formalized by showing that it can be accessible but neither small-time controllable nor controllable in finite time. When the generators of quantum dynamical semigroups are unital, then the reachable sets admit easy characterizations as they monotonically grow in time.

IEEE Conference on Decision and Control (CDC)•Jul 8, 2004•2 citations

Lie-semigroup structures for reachability and control of open quantum systems: kossakowski-lindblad generators form lie wedge to markovian channels

Gunther Dirr, Uwe Helmke B, I. Kurniawan +1 more

arXiv:0811.3906•Reports on Mathematical Physics•Aug 1, 2009•67 citations

The Geometry of Dissipative Complexity: A Levi-Type Decomposition Theorem for Markovian Quantum Dynamics via Lie Wedges and Invariant Cones

Yibin Wang, Dhara Thakkar

Lie algebras describe how control Hamiltonians combine in closed quantum systems. In open Markovian systems, however, dissipation introduces irreversible directions that the Lie algebra alone does not retain. A dynamical Lie wedge preserves this information as a convex cone of locally admissible generators. The classical Levi decomposition separates a finite-dimensional Lie algebra into semisimple and solvable parts. In this work, we prove a corresponding decomposition and reconstruction theorem for dynamical Lie wedges. The theorem decomposes the wedge into semisimple and solvable data, records how these components are coupled, and provides a converse reconstruction of the wedge. The framework yields four structural types of the generated algebra. We further prove that the total dissipation strength of every admissible generator depends only on its coordinate in the solvable radical. In particular, if the generated Lie algebra is semisimple, every admissible generator is Hamiltonian. Together, these results extend Lie-algebraic structural methods to irreversible Markovian control and clarify how dissipation is encoded in the generator geometry.

quant-pharXiv:2608.27330•Aug 28, 2026•0 citations

Quantum Systems Theory Viewed from Kossakowski-Lindblad Lie Semigroups — andVice Versa

Thomas Schulte‐Herbrüggen, Gunther Dirr, Robert Zeier

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.

Open Systems & Information Dynamics•Dec 1, 2017•13 citations

Exploring the Limits of Open Quantum Dynamics I: Motivation, New Results from Toy Models to Applications

Thomas Schulte‐Herbrüggen, Frederik vom Ende, Gunther Dirr

Which quantum states can be reached by controlling open Markovian $n$-level quantum systems? Here, we address reachable sets of coherently controllable quantum systems with switchable coupling to a thermal bath of temperature $T$. The core problem reduces to a toy model of studying points in the standard simplex allowing for two types of controls: (i) permutations within the simplex, (ii) contractions by a dissipative semigroup. By illustration, we put the problem into context and show how toy-model solutions pertain to the reachable set of the original controlled Markovian quantum system. Beyond the case $T=0$ (amplitude damping) we present new results for $0

arXiv:2003.06018•Mar 9, 2020•3 citations
We extend standard Markovian open quantum systems (quantum channels) by allowing for Hamiltonian controls and elucidate their geometry in terms of Lie semigroups. For standard dissipative interactions with the environment and different coherent controls, we particularly specify the tangent cones (Lie wedges) of the respective Lie semigroups of quantum channels. These cones are the counterpart of the infinitesimal generator of a single one-parameter semigroup. They comprise all directions the underlying open quantum system can be steered to and thus give insight into the geometry of controlled open quantum dynamics. Such a differential characterization is highly valuable for approximating reachable sets of given initial quantum states in a plethora of experimental implementations.
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 nnn-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.
Lie algebras describe how control Hamiltonians combine in closed quantum systems. In open Markovian systems, however, dissipation introduces irreversible directions that the Lie algebra alone does not retain. A dynamical Lie wedge preserves this information as a convex cone of locally admissible generators. The classical Levi decomposition separates a finite-dimensional Lie algebra into semisimple and solvable parts. In this work, we prove a corresponding decomposition and reconstruction theorem for dynamical Lie wedges. The theorem decomposes the wedge into semisimple and solvable data, records how these components are coupled, and provides a converse reconstruction of the wedge. The framework yields four structural types of the generated algebra. We further prove that the total dissipation strength of every admissible generator depends only on its coordinate in the solvable radical. In particular, if the generated Lie algebra is semisimple, every admissible generator is Hamiltonian. Together, these results extend Lie-algebraic structural methods to irreversible Markovian control and clarify how dissipation is encoded in the generator geometry.
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.
Which quantum states can be reached by controlling open Markovian nnn-level quantum systems? Here, we address reachable sets of coherently controllable quantum systems with switchable coupling to a thermal bath of temperature TTT. The core problem reduces to a toy model of studying points in the standard simplex allowing for two types of controls: (i) permutations within the simplex, (ii) contractions by a dissipative semigroup. By illustration, we put the problem into context and show how toy-model solutions pertain to the reachable set of the original controlled Markovian quantum system. Beyond the case T=0T=0T=0 (amplitude damping) we present new results for $0