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:2608.27330

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

Yibin Wang, Dhara Thakkar

quant-phmath-phSubmitted Aug 27, 2026• Announced Aug 28, 2026• 0 citations
arXivHTMLPDF

Abstract

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.

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

Lie-Wedge Stratification and Pure-State Stabilizability in Single-Channel Qubit Control

Yibin Wang

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.

quant-pharXiv:2610.00046•Sep 4, 2026•0 citations

A Lie-Jordan Geometric Formulation of Lindblad Dynamics

Leonel Bixano, Victor Alberto Cruz-Barriguete, Guillermo López-Alvarez +3 more

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, \( \mathcal D(X,Y)Z=XZY-\frac12\{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.

quant-pharXiv:2607.04052•Jul 7, 2026•0 citations

A Quantum Algorithm for the Radical of a Lie Algebra: Kernel Projection and Conditioning

Yibin Wang

Every finite-dimensional real or complex Lie algebra has a largest solvable ideal, its radical. In the compact dynamical Lie algebra (DLA) of a closed quantum system, this radical is the center; projecting onto it isolates directions that commute with the supplied algebra. With sparse Lie-bracket data and a known spectral gap, we construct a quantum circuit that approximately encodes this coefficient-space projector. The general construction combines the derived-algebra map with the Killing form, whereas compactness makes the Killing form alone sufficient. This distinction matters for numerical sensitivity, and our main theorem gives its exact law under an invariant-orthonormal basis adapted to the center and semisimple part. In a compact real algebra with a nonzero semisimple part, the condition number of the general operator is the three-halves power of the Killing-form condition number on that part. The compact projector in turn yields a bounded-error test for whether the center is trivial, provided that any nonzero center has at least a stated minimum dimension. This gives a controlled test for internal conserved directions in compact quantum dynamics.

quant-pharXiv:2609.02084•Sep 3, 2026•0 citations

Operator Algebras and Quantum Dynamics: Semigroup Methods in Infinite Dimensions

Anam Ghafoor, Ume Roman, Sawaiba Yousaf

Background: Operator algebras and quantum dynamical semigroups are the mathematical tools of choice for understanding open quantum systems, especially in infinite-dimensional spaces. Such tools are extremely important for the time development of quantum systems out of equilibium under the influence of environment, where conventional finite dimensional methods do not include all possibilities for interaction. Objective: The objects of the present research are the r-properties and the decompositions of generators of quantum dynamical semigroups on infinite-dimensional spaces including their Hamiltonian and dissipative part, semigroup continuity, stationary states, and positivity improvement. The aim is to set a fundament in order to think about long-time dynamics in open quantum systems. Methods: The theorem Hille–Yosida is used to get conditions for the semigroup strongly continuous generated by unbounded operators. The time-evolution operator of the system is approximated with both Gaussian quadrature and Monte Carlo integration during infinitesimal time slices, by using Inf-LCHS in conjunction. Generators were studied under decomposition of their Hamiltonian and dissipative parts, while commutant algebras were investigated for irreducibility and positivity enhancement. Results: Most systems studied for these properties presented a singular decomposition, strong and weak semigroup continuity, existence of stationary states and positivity improvement. The counterexamples were the systems with in a lack of verification for dissipative parts, and they lost smoothing property, uniqueness of decomposition, partial semigroup continuity or large errors in approximation when we perform numerically. Conclusions: The combination of the methods of operator algebra with state-of-the-art simulation techniques yields a powerful approach to study infinite-dimensional quantum dynamics. Although dissipative components are not yet completely characterized, the results improve our understanding of generator structures and long-term system behavior which will help future work in quantum statistical mechanics and quantum information theory.

Annual Methodological Archive Research Review•Dec 16, 2025•0 citations

A Dynamical Lie-Algebraic Framework for Hamiltonian Engineering and Quantum Control

Yanying Liang, Ruibin Xu, Mao-Sheng Li +2 more

Determining the unitary dynamics accessible from finite Hamiltonian resources is a central problem in Hamiltonian engineering and quantum control. Dynamical Lie algebras (DLAs) connect available control Hamiltonians with the reachable dynamics, but their use as a design tool for modifying Hamiltonian generator sets remains less developed. In this work, we develop a finite-dimensional DLA framework for three generator-set operations: composition, invariance, and reduction. For composition, we construct direct sums of component DLAs using spectral projectors on an auxiliary register. For invariance, we analyze when modifications of Pauli-string generating sets preserve the generated Lie algebra, and introduce algebraic diagnostics for added generators. For reduction, we consider compact reductive DLAs and show how projection onto selected simple ideals gives reduced generating sets whose Lie closures are the corresponding ideal sums. We illustrate these results with finite-dimensional examples and numerical checks, including direct-sum dimension addition, central-spin invariance diagnostics, and DLA-based ansatz reduction for block-local Hamiltonians. The results show how DLA structure can be used to diagnose controllability and guide Hamiltonian generator design under explicit algebraic assumptions.

quant-pharXiv:2603.04916•New Journal of Physics•Mar 6, 2026•0 citations
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.
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.
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μνλC_{μν}{}^λCμν​λ and BμνλB_{μν}{}^λ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−12{YX,Z}, \mathcal D(X,Y)Z=XZY-\frac12\{YX,Z\}, 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)(B+C)(B+C) and (B−C)(B-C)(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.
Every finite-dimensional real or complex Lie algebra has a largest solvable ideal, its radical. In the compact dynamical Lie algebra (DLA) of a closed quantum system, this radical is the center; projecting onto it isolates directions that commute with the supplied algebra. With sparse Lie-bracket data and a known spectral gap, we construct a quantum circuit that approximately encodes this coefficient-space projector. The general construction combines the derived-algebra map with the Killing form, whereas compactness makes the Killing form alone sufficient. This distinction matters for numerical sensitivity, and our main theorem gives its exact law under an invariant-orthonormal basis adapted to the center and semisimple part. In a compact real algebra with a nonzero semisimple part, the condition number of the general operator is the three-halves power of the Killing-form condition number on that part. The compact projector in turn yields a bounded-error test for whether the center is trivial, provided that any nonzero center has at least a stated minimum dimension. This gives a controlled test for internal conserved directions in compact quantum dynamics.
Background: Operator algebras and quantum dynamical semigroups are the mathematical tools of choice for understanding open quantum systems, especially in infinite-dimensional spaces. Such tools are extremely important for the time development of quantum systems out of equilibium under the influence of environment, where conventional finite dimensional methods do not include all possibilities for interaction. Objective: The objects of the present research are the r-properties and the decompositions of generators of quantum dynamical semigroups on infinite-dimensional spaces including their Hamiltonian and dissipative part, semigroup continuity, stationary states, and positivity improvement. The aim is to set a fundament in order to think about long-time dynamics in open quantum systems. Methods: The theorem Hille–Yosida is used to get conditions for the semigroup strongly continuous generated by unbounded operators. The time-evolution operator of the system is approximated with both Gaussian quadrature and Monte Carlo integration during infinitesimal time slices, by using Inf-LCHS in conjunction. Generators were studied under decomposition of their Hamiltonian and dissipative parts, while commutant algebras were investigated for irreducibility and positivity enhancement. Results: Most systems studied for these properties presented a singular decomposition, strong and weak semigroup continuity, existence of stationary states and positivity improvement. The counterexamples were the systems with in a lack of verification for dissipative parts, and they lost smoothing property, uniqueness of decomposition, partial semigroup continuity or large errors in approximation when we perform numerically. Conclusions: The combination of the methods of operator algebra with state-of-the-art simulation techniques yields a powerful approach to study infinite-dimensional quantum dynamics. Although dissipative components are not yet completely characterized, the results improve our understanding of generator structures and long-term system behavior which will help future work in quantum statistical mechanics and quantum information theory.
Determining the unitary dynamics accessible from finite Hamiltonian resources is a central problem in Hamiltonian engineering and quantum control. Dynamical Lie algebras (DLAs) connect available control Hamiltonians with the reachable dynamics, but their use as a design tool for modifying Hamiltonian generator sets remains less developed. In this work, we develop a finite-dimensional DLA framework for three generator-set operations: composition, invariance, and reduction. For composition, we construct direct sums of component DLAs using spectral projectors on an auxiliary register. For invariance, we analyze when modifications of Pauli-string generating sets preserve the generated Lie algebra, and introduce algebraic diagnostics for added generators. For reduction, we consider compact reductive DLAs and show how projection onto selected simple ideals gives reduced generating sets whose Lie closures are the corresponding ideal sums. We illustrate these results with finite-dimensional examples and numerical checks, including direct-sum dimension addition, central-spin invariance diagnostics, and DLA-based ansatz reduction for block-local Hamiltonians. The results show how DLA structure can be used to diagnose controllability and guide Hamiltonian generator design under explicit algebraic assumptions.