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

Beyond Jordan: A Canonical Form for Open Quantum Systems

PAULO SÉRGIO DE ANDRADE

Published Nov 24, 2025• 0 citations
Publisher

Abstract

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.

DOI
10.5281/zenodo.17697857

Related papers

Algebraic structures of the Lindblad equation

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

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.

quant-pharXiv:2606.26477•New Journal of Physics•Jun 26, 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 canonical Hamiltonian for open quantum systems

Patrick M. Hayden, Jonathan Sorce

Abstract If an open quantum system is initially uncorrelated from its environment, then its dynamics can be written in terms of a Lindblad-form master equation. The master equation is divided into a unitary piece, represented by an effective Hamiltonian, and a dissipative piece, represented by a hermiticity-preserving superoperator; however, the division of open system dynamics into unitary and dissipative pieces is non-unique. For finite-dimensional quantum systems, we resolve this non-uniqueness by specifying a norm on the space of dissipative superoperators and defining the canonical Hamiltonian to be the one whose dissipator is minimal. We show that the canonical Hamiltonian thus defined is equivalent to the Hamiltonian initially defined by Lindblad, and that it is uniquely specified by requiring the dissipator’s jump operators to be traceless, extending a uniqueness result known previously in the special case of Markovian master equations. For a system weakly coupled to its environment, we give a recursive formula for computing the canonical effective Hamiltonian to arbitrary orders in perturbation theory, which we can think of as a perturbative scheme for renormalizing the system’s bare Hamiltonian.

arXiv:2108.08316•Journal of Physics A Mathematical and Theoretical•Apr 8, 2022•26 citations

On the magnitude of dissipation in open quantum systems

Patrick M. Hayden, Jonathan Sorce

If an open quantum system is initially uncorrelated from its environment, then its dynamics can be written in terms of a Lindblad-form master equation. The master equation is divided into a unitary piece, represented by an effective Hamiltonian, and a dissipative piece, represented by a hermiticity-preserving superoperator; however, the division of open system dynamics into unitary and dissipative pieces is non-unique. For finite-dimensional quantum systems, we resolve this non-uniqueness by specifying a norm on the space of dissipative superoperators and defining the canonical Hamiltonian to be the one whose dissipator is minimal. We show that the canonical Hamiltonian thus defined is equivalent to the Hamiltonian initially defined by Lindblad, and that it is uniqueley specified by requiring the dissipator's jump operators to be traceless. For a system weakly coupled to its environment, we give a recursive formula for computing the canonical effective Hamiltonian to arbitrary orders in perturbation theory, which we can think of as a perturbative scheme for renormalizing the system's bare Hamiltonian.

•Aug 18, 2021•1 citation

Quantum Simulation of Non-Hermitian Linear Response via Schrödingerization

Jeongbin Jo

Linear response theory and Green's functions provide a universal framework for understanding dynamical correlations in strongly correlated open quantum systems. While the theoretical foundation for non-Hermitian linear response has been recently established to describe dissipation and fluctuation-dissipation relations (FDR), generalizing these predictions onto practical quantum computers remains a formidable algorithmic challenge due to the intrinsically non-unitary nature of the dynamics. In this work, we present a systematic algorithmic framework that seamlessly transforms non-unitary multi-time correlation functions into a unitary form viable for digital quantum hardware. By mapping the vectorization of the Lindblad master equation into an expanded continuous-variable Liouville space, we employ the Schrödingerization technique to deterministically evaluate the non-Hermitian response. Furthermore, through hardware-aware simulations utilizing a 133-qubit device noise model, we demonstrate that our unitary framework robustly preserves the fundamental spectral information -- specifically the phase and oscillatory frequency -- against realistic depolarizing channels. By bypassing explicit non-unitary mid-circuit measurements, this approach intrinsically supports the integration of standard quantum error mitigation protocols, providing a scalable algorithmic blueprint for probing open-system universality on near-term hardware.

quant-pharXiv:2603.17342•Mar 19, 2026•0 citations

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
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.
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 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.
Abstract If an open quantum system is initially uncorrelated from its environment, then its dynamics can be written in terms of a Lindblad-form master equation. The master equation is divided into a unitary piece, represented by an effective Hamiltonian, and a dissipative piece, represented by a hermiticity-preserving superoperator; however, the division of open system dynamics into unitary and dissipative pieces is non-unique. For finite-dimensional quantum systems, we resolve this non-uniqueness by specifying a norm on the space of dissipative superoperators and defining the canonical Hamiltonian to be the one whose dissipator is minimal. We show that the canonical Hamiltonian thus defined is equivalent to the Hamiltonian initially defined by Lindblad, and that it is uniquely specified by requiring the dissipator’s jump operators to be traceless, extending a uniqueness result known previously in the special case of Markovian master equations. For a system weakly coupled to its environment, we give a recursive formula for computing the canonical effective Hamiltonian to arbitrary orders in perturbation theory, which we can think of as a perturbative scheme for renormalizing the system’s bare Hamiltonian.
If an open quantum system is initially uncorrelated from its environment, then its dynamics can be written in terms of a Lindblad-form master equation. The master equation is divided into a unitary piece, represented by an effective Hamiltonian, and a dissipative piece, represented by a hermiticity-preserving superoperator; however, the division of open system dynamics into unitary and dissipative pieces is non-unique. For finite-dimensional quantum systems, we resolve this non-uniqueness by specifying a norm on the space of dissipative superoperators and defining the canonical Hamiltonian to be the one whose dissipator is minimal. We show that the canonical Hamiltonian thus defined is equivalent to the Hamiltonian initially defined by Lindblad, and that it is uniqueley specified by requiring the dissipator's jump operators to be traceless. For a system weakly coupled to its environment, we give a recursive formula for computing the canonical effective Hamiltonian to arbitrary orders in perturbation theory, which we can think of as a perturbative scheme for renormalizing the system's bare Hamiltonian.
Linear response theory and Green's functions provide a universal framework for understanding dynamical correlations in strongly correlated open quantum systems. While the theoretical foundation for non-Hermitian linear response has been recently established to describe dissipation and fluctuation-dissipation relations (FDR), generalizing these predictions onto practical quantum computers remains a formidable algorithmic challenge due to the intrinsically non-unitary nature of the dynamics. In this work, we present a systematic algorithmic framework that seamlessly transforms non-unitary multi-time correlation functions into a unitary form viable for digital quantum hardware. By mapping the vectorization of the Lindblad master equation into an expanded continuous-variable Liouville space, we employ the Schrödingerization technique to deterministically evaluate the non-Hermitian response. Furthermore, through hardware-aware simulations utilizing a 133-qubit device noise model, we demonstrate that our unitary framework robustly preserves the fundamental spectral information -- specifically the phase and oscillatory frequency -- against realistic depolarizing channels. By bypassing explicit non-unitary mid-circuit measurements, this approach intrinsically supports the integration of standard quantum error mitigation protocols, providing a scalable algorithmic blueprint for probing open-system universality on near-term hardware.
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.