© 2026 Aqora Quantum S.A.S.

Terms Privacy Legal Notice

arXiv:2310.17641 · Journal of Physics A Mathematical and Theoretical

Criteria for Davies irreducibility of Markovian quantum dynamics

Yikang Zhang, Thomas Barthel

Published Feb 16, 2024• 16 citations

Abstract

Abstract The dynamics of Markovian open quantum systems are described by Lindblad master equations, generating a quantum dynamical semigroup. An important concept for such systems is (Davies) irreducibility, i.e. the question whether there exist non-trivial invariant subspaces. Steady states of irreducible systems are unique and faithful, i.e. they have full rank. In the 1970s, Frigerio showed that a system is irreducible if the Lindblad operators span a self-adjoint set with trivial commutant. We discuss a more general and powerful algebraic criterion, showing that a system is irreducible if and only if the multiplicative algebra generated by the Lindblad operators L a and the operator i H + ∑ a L a † L a , involving the Hamiltonian H , is the entire operator space. Examples for two-level systems, show that a change of Hamiltonian terms as well as the addition or removal of dissipators can render a reducible system irreducible and vice versa. Examples for many-body systems show that a large class of spin chains can be rendered irreducible by dissipators on just one or two sites. Additionally, we discuss the decisive differences between (Davies) reducibility and Evans reducibility for quantum channels and dynamical semigroups which has lead to some confusion in the recent physics literature, especially, in the context of boundary-driven systems. We give a criterion for quantum reducibility in terms of associated classical Markov processes and, lastly, discuss the relation of the main result to the stabilization of pure states and argue that systems with local Lindblad operators cannot stabilize pure Fermi-sea states.

DOI: 10.1088/1751-8121/ad2a1e

Related papers

On the uniqueness of the steady-state solution of the Lindblad–Gorini–Kossakowski–Sudarshan equation

Davide Nigro

Abstract The aims of this paper are twofold. The first aim is to give a brief review of the most relevant theoretical results concerning the uniqueness of the steady-state solution of the Lindblad–Gorini–Kossakowski–Sudarshan master equation and the criteria which guarantee relaxingness and irreducibility of dynamical semigroups. In particular, we test and discuss their physical meaning by considering their applicability to the characterisation of the simplest open quantum system i.e. a two-level system coupled to a bath of harmonic oscillators at zero temperature. The second aim is to provide a set of sufficient conditions which guarantees the uniqueness of the steady-state solution and its attractivity. Starting from simple assumptions, we derive simple criteria that can be efficiently exploited to characterise the behavior of dissipative systems of spins and bosons (with truncated Fock space), and a wide variety of other open quantum systems recently studied.

arXiv:1803.06279•Journal of Statistical Mechanics Theory and Experiment•Apr 1, 2019•76 citations

Symmetry reductions of Lindblad equations – simple examples and applications

A.A. Karabanov

Open quantum dynamics in the Markovian approximation is described by the Lindblad master equation. The Lindbladian dynamics is closed in the Lie algebra Λ = su(n), i.e. it has su(n) symmetry. We say that the Lindblad equation admits a symmetry reduction if it has an invariant vector subspace Λ0 ⊂Λ with the Lie algebraic structure. Symmetry reductions restrict dynamics to smaller subspaces that additionally are Lie algebras. In these notes, trivial reductions relying onthe reducibility of the Hamiltonian and Lindblad operators are described. Examples of nontrivial reductions in the infinite temperature limit and the parity preserving Majorana reductions are presented. Applicationsto open spin dynamics are discussed.

Proceedings of the Komi Science Centre of the Ural Division of the Russian Academy of Sciences•Jan 1, 2021•0 citations

Irreducibility of Quantum Markov Semigroups, uniqueness of invariant states and related properties

Franco Fagnola, Federico Girotti

Abstract We present different characterizations of the notion of irreducibility for Quantum Markov Semigroups (QMSs) and investigate its relationship with other relevant features of the dynamics, such as primitivity, positivity improvement and relaxation; in particular, we show that irreducibility, primitivity and relaxation towards a faithful invariant density are equivalent when the semigroup admits an invariant density. Moreover, in the case of uniformly continuous QMSs, we present several useful ways of checking irreducibility in terms of the operators appearing in the generator in GKLS form. Our exposition is as much self-contained as possible, we present some well known results with elementary proofs (collecting all the relevant literature) and we derive new ones. We study both finite and infinite dimensional evolutions and we remark that many results only require the QMS to be made of Schwarz maps.

Complex Analysis and Operator Theory•Jun 20, 2026•0 citations

Irreducibility of Quantum Markov Semigroups, uniqueness of invariant states and related properties

Franco Fagnola, Federico Girotti

We present different characterizations of the notion of irreducibility for Quantum Markov Semigroups (QMSs) and investigate its relationship with other relevant features of the dynamics, such as primitivity, positivity improvement and relaxation; in particular, we show that irreducibility, primitivity and relaxation towards a faithful invariant density are equivalent when the semigroup admits an invariant density. Moreover, in the case of uniformly continuous QMSs, we present several useful ways of checking irreducibility in terms of the operators appearing in the generator in GKLS form. Our exposition is as much self-contained as possible, we present some well known results with elementary proofs (collecting all the relevant literature) and we derive new ones. We study both finite and infinite dimensional evolutions and we remark that many results only require the QMS to be made of Schwarz maps.

quant-pharXiv:2512.11517•Dec 15, 2025•0 citations

Quantum Markovian Subsystems: Invariance, Attractivity, and Control

Francesco Ticozzi, Lorenza Viola

We characterize the dynamical behavior of continuous-time, Markovian quantum systems with respect to a subsystem of interest. Markovian dynamics describes a wide class of open quantum systems of relevance to quantum information processing, subsystem encodings offering a general pathway to faithfully represent quantum information. We provide explicit linear-algebraic characterizations of the notion of invariant and noiseless subsystem for Markovian master equations, under different robustness assumptions for model-parameter and initial-state variations. The stronger concept of an attractive quantum subsystem is introduced, and sufficient existence conditions are identified based on Lyapunov's stability techniques. As a main control application, we address the potential of output-feedback Markovian control strategies for quantum pure state-stabilization and noiseless-subspace generation. In particular, explicit results for the synthesis of stabilizing semigroups and noiseless subspaces in finite-dimensional Markovian systems are obtained.

IEEE Transactions on Automatic Control•Oct 1, 2008•167 citations

Irreducibility and regularisation properties of Gaussian quantum Markov semigroups

Franco Fagnola, Federico Girotti

We study regularisation and irreducibility properties of Gaussian quantum Markov semigroups (GQMSs) acting on continuous-variable quantum systems. We first identify a natural notion of regularity for operators in this setting, which allows us to formulate and characterise the smoothing effects of GQMSs in terms of algebraic conditions involving the drift and quantum diffusion matrices. These conditions establish a connection with the controllability theory of quantum linear systems and with the structure of decoherence-free subsystems. We then characterise irreducibility through several equivalent algebraic criteria: one formulated in terms of the drift and quantum diffusion matrices, one in terms of the operators appearing in the generalised GKLS representation of the generator, and a third given by a quantum analogue of Hörmander's condition. A central and somewhat surprising consequence is that, in contrast with the classical case, irreducibility is strictly stronger than conditions ensuring regularisation. Our results provide an algebraic framework for analysing these properties and lay the groundwork for a broader study of reducible Gaussian quantum Markov semigroups and, more generally, more general relevant quantum Markov semigroups on continuous-variable systems.

quant-pharXiv:2609.01547•Sep 2, 2026•0 citations

Abstract The dynamics of Markovian open quantum systems are described by Lindblad master equations, generating a quantum dynamical semigroup. An important concept for such systems is (Davies) irreducibility, i.e. the question whether there exist non-trivial invariant subspaces. Steady states of irreducible systems are unique and faithful, i.e. they have full rank. In the 1970s, Frigerio showed that a system is irreducible if the Lindblad operators span a self-adjoint set with trivial commutant. We discuss a more general and powerful algebraic criterion, showing that a system is irreducible if and only if the multiplicative algebra generated by the Lindblad operators L a and the operator i H + ∑ a L a † L a , involving the Hamiltonian H , is the entire operator space. Examples for two-level systems, show that a change of Hamiltonian terms as well as the addition or removal of dissipators can render a reducible system irreducible and vice versa. Examples for many-body systems show that a large class of spin chains can be rendered irreducible by dissipators on just one or two sites. Additionally, we discuss the decisive differences between (Davies) reducibility and Evans reducibility for quantum channels and dynamical semigroups which has lead to some confusion in the recent physics literature, especially, in the context of boundary-driven systems. We give a criterion for quantum reducibility in terms of associated classical Markov processes and, lastly, discuss the relation of the main result to the stabilization of pure states and argue that systems with local Lindblad operators cannot stabilize pure Fermi-sea states.

Abstract The aims of this paper are twofold. The first aim is to give a brief review of the most relevant theoretical results concerning the uniqueness of the steady-state solution of the Lindblad–Gorini–Kossakowski–Sudarshan master equation and the criteria which guarantee relaxingness and irreducibility of dynamical semigroups. In particular, we test and discuss their physical meaning by considering their applicability to the characterisation of the simplest open quantum system i.e. a two-level system coupled to a bath of harmonic oscillators at zero temperature. The second aim is to provide a set of sufficient conditions which guarantees the uniqueness of the steady-state solution and its attractivity. Starting from simple assumptions, we derive simple criteria that can be efficiently exploited to characterise the behavior of dissipative systems of spins and bosons (with truncated Fock space), and a wide variety of other open quantum systems recently studied.

Open quantum dynamics in the Markovian approximation is described by the Lindblad master equation. The Lindbladian dynamics is closed in the Lie algebra Λ = su(n), i.e. it has su(n) symmetry. We say that the Lindblad equation admits a symmetry reduction if it has an invariant vector subspace Λ0 ⊂Λ with the Lie algebraic structure. Symmetry reductions restrict dynamics to smaller subspaces that additionally are Lie algebras. In these notes, trivial reductions relying onthe reducibility of the Hamiltonian and Lindblad operators are described. Examples of nontrivial reductions in the infinite temperature limit and the parity preserving Majorana reductions are presented. Applicationsto open spin dynamics are discussed.

Abstract We present different characterizations of the notion of irreducibility for Quantum Markov Semigroups (QMSs) and investigate its relationship with other relevant features of the dynamics, such as primitivity, positivity improvement and relaxation; in particular, we show that irreducibility, primitivity and relaxation towards a faithful invariant density are equivalent when the semigroup admits an invariant density. Moreover, in the case of uniformly continuous QMSs, we present several useful ways of checking irreducibility in terms of the operators appearing in the generator in GKLS form. Our exposition is as much self-contained as possible, we present some well known results with elementary proofs (collecting all the relevant literature) and we derive new ones. We study both finite and infinite dimensional evolutions and we remark that many results only require the QMS to be made of Schwarz maps.

We present different characterizations of the notion of irreducibility for Quantum Markov Semigroups (QMSs) and investigate its relationship with other relevant features of the dynamics, such as primitivity, positivity improvement and relaxation; in particular, we show that irreducibility, primitivity and relaxation towards a faithful invariant density are equivalent when the semigroup admits an invariant density. Moreover, in the case of uniformly continuous QMSs, we present several useful ways of checking irreducibility in terms of the operators appearing in the generator in GKLS form. Our exposition is as much self-contained as possible, we present some well known results with elementary proofs (collecting all the relevant literature) and we derive new ones. We study both finite and infinite dimensional evolutions and we remark that many results only require the QMS to be made of Schwarz maps.

We characterize the dynamical behavior of continuous-time, Markovian quantum systems with respect to a subsystem of interest. Markovian dynamics describes a wide class of open quantum systems of relevance to quantum information processing, subsystem encodings offering a general pathway to faithfully represent quantum information. We provide explicit linear-algebraic characterizations of the notion of invariant and noiseless subsystem for Markovian master equations, under different robustness assumptions for model-parameter and initial-state variations. The stronger concept of an attractive quantum subsystem is introduced, and sufficient existence conditions are identified based on Lyapunov's stability techniques. As a main control application, we address the potential of output-feedback Markovian control strategies for quantum pure state-stabilization and noiseless-subspace generation. In particular, explicit results for the synthesis of stabilizing semigroups and noiseless subspaces in finite-dimensional Markovian systems are obtained.

We study regularisation and irreducibility properties of Gaussian quantum Markov semigroups (GQMSs) acting on continuous-variable quantum systems. We first identify a natural notion of regularity for operators in this setting, which allows us to formulate and characterise the smoothing effects of GQMSs in terms of algebraic conditions involving the drift and quantum diffusion matrices. These conditions establish a connection with the controllability theory of quantum linear systems and with the structure of decoherence-free subsystems. We then characterise irreducibility through several equivalent algebraic criteria: one formulated in terms of the drift and quantum diffusion matrices, one in terms of the operators appearing in the generalised GKLS representation of the generator, and a third given by a quantum analogue of Hörmander's condition. A central and somewhat surprising consequence is that, in contrast with the classical case, irreducibility is strictly stronger than conditions ensuring regularisation. Our results provide an algebraic framework for analysing these properties and lay the groundwork for a broader study of reducible Gaussian quantum Markov semigroups and, more generally, more general relevant quantum Markov semigroups on continuous-variable systems.