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.
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.
We present a simple proof of a sufficient condition for the uniqueness of nonequilibrium steady states of Gorini-Kossakowski-Sudarshan-Lindblad equations. We demonstrate the applications of the sufficient condition using examples of the transverse-field Ising model, the XYZ model, and the tight-binding model with dephasing.
Open quantum systems are, in general, described by a density matrix that is evolving under transformations belonging to a dynamical semigroup. They can obey the Franke–Gorini–Kossakowski–Lindblad–Sudarshan (FGKLS) equation. We exhaustively study the case of a Hilbert space of dimension 2. First, we find final fixed states (called pointers) of an evolution of an open system, and we then obtain a general solution to the FGKLS equation and confirm that it converges to a pointer. After this, we check that the solution has physical meaning, i.e., it is Hermitian, positive and has trace equal to 1, and find a moment of time starting from which the FGKLS equation can be used—the range of applicability of the semigroup symmetry. Next, we study the behavior of a solution for a weak interaction with an environment and make a distinction between interacting and non-interacting cases. Finally, we prove that there cannot exist oscillating solutions to the FGKLS equation, which would resemble the behavior of a closed quantum system.
We derive sufficient criteria that guarantee convergence of open quantum system dynamics to a unique long-time state independent of the initial conditions. We refer to this behavior as complete relaxation. Focusing on systems described by Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) master equations on finite-dimensional Hilbert spaces, our approach uses only elementary mathematical arguments. For autonomous systems, we recover three previously derived relaxation criteria, which can be expressed as algebraic conditions on the Lindblad operators and the Hamiltonian entering the GKSL equation. For periodically driven systems, we obtain a new criterion involving a similar algebraic condition and a local continuity requirement on the time-dependent GKSL generator. This result implies an earlier criterion for complete relaxation formulated in Ref. [J. Phys. A 52, 43LT01 (2019)]. We also discuss implications of our approach for periodically modulated classical master equations, as well as extensions to driven systems without a periodicity constraint.
We present a rigorous and comprehensive classification of the asymptotic behavior of time-dependent Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) equations under the assumption of Hermitian jump operators. Our results apply to a broad class of GKSL equations whose time dependence is assumed to be recurrent, including time-independent, periodic, quasiperiodic, and certain classes of random time dependence. Our main contributions are twofold: first, we establish a criterion for the uniqueness of steady states. The criterion is formulated in terms of the algebra generated by the GKSL generators and provides a necessary and sufficient condition when the generators are analytic functions of time. We demonstrate the utility of our criterion through prototypical examples, including quantum many-body spin chains. Second, we extend the concept of strong symmetry for time-dependent GKSL equations by introducing two distinct forms, strong symmetry in the Schrödinger picture and that in the interaction picture, and completely classify the asymptotic dynamics with them. More concretely, we rigorously uncover that the strong symmetry in the interaction picture is responsible for non-trivial time-dependent steady states, such as coherent oscillations, whereas that in the Schrödinger picture controls the existence of time-independent steady states. This classification not only encompasses established mechanisms underlying non-trivial oscillatory steady states, such as strong dynamical symmetry and Floquet dynamical symmetry, but also reveals symmetry-predicted, time-dependent asymptotic dynamics in a novel class of open quantum systems. Our framework thus provides a rigorous foundation for controlling dissipative quantum systems in a time-dependent manner.
A well established approach to describe open quantum system dynamics is the celebrated Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) master equation. In this article we aim to shed light on semigroup dynamics that are not of this form. Such dynamics may appear in real physical systems describing asymptotic long-time dynamics. Thus, they correspond to semigroup dynamics applicable to a restricted set of initial states only. As a way of motivating our studies, first we review known results about the single-mode Gaussian Quantum Brownian motion channel and corresponding master equations. Next we discuss a conceptually simpler family of qubit semigroup generators and identify parameter regions of completely positive, merely positive, and non-positive dynamics. We then focus on the latter case to which we will refer to as restricted-positive, as the semigroup generator may well be physically meaningful when applied to a restricted set of admissible initial states.
We study open quantum systems whose evolution is governed by a master equation of Kossakowski-Gorini-Sudarshan-Lindblad type and give a characterization of the convex set of steady states of such systems based on the generalized Bloch representation. It is shown that an isolated steady state of the Bloch equation cannot be a center, i.e., that the existence of a unique steady state implies attractivity and global asymptotic stability. Necessary and sufficient conditions for the existence of a unique steady state are derived and applied to different physical models, including two- and four-level atoms, (truncated) harmonic oscillators, and composite and decomposable systems. It is shown how these criteria could be exploited in principle for quantum reservoir engineeing via coherent control and direct feedback to stabilize the system to a desired steady state. We also discuss the question of limit points of the dynamics. Despite the nonexistence of isolated centers, open quantum systems can have nontrivial invariant sets. These invariant sets are center manifolds that arise when the Bloch superoperator has purely imaginary eigenvalues and are closely related to decoherence-free subspaces.