Semigroups describing the time evolution of open quantum systems in finite-dimensional spaces have generators of a special form, known as Lindblad generators. These generators and the corresponding processes of time evolution are analyzed, characterized as Decay, Dissipation and Dephasing. In relation to these processes the Hilbert space of the system is equipped with a special structure, a decomposition into a sum of mutually orthogonal subspaces. The complete set of all the stationary states and the asymptotic behavior of the evolutions are presented in detail. Some unusual special facts about invariant operators and symmetries are studied, examples are demonstrated. Perturbation theory for the structure and for the stationary states is discussed and performed in case studies.
Semigroups describing the time evolution of open quantum systems in finite dimensional spaces have generators of a special form, known as Lindblad generators. The simple generators, characterized by only one operator, are analyzed. The complete set of all the stationary states is presented in detail, including a formula to calculate a stationary state from the generating operator. Also the opposite task can be fulfilled, to construct an evolution leading to a prescribed stationary state.
Markovian dynamics of open quantum systems are described by the L-GKS equation, known also as the Lindblad equation. The equation is expressed by means of left and right matrix multiplications. This formulation hampers numerical implementations. Representing the dynamics by a matrix-vector notation overcomes this problem. We review three approaches to obtain such a representation. The methods are demonstrated for a driven two-level system subject to spontaneous emission.
In view of controlling finite dimensional open quantum systems, we provide a unified Lie-semigroup framework describing the structure of completely positive trace-preserving maps. It allows (i) to identify the Kossakowski-Lindblad generators as the Lie wedge of a subsemigroup, (ii) to link properties of Lie semigroups such as divisibility with Markov properties of quantum channels, and (iii) to characterise reachable sets and controllability in open systems. We elucidate when time-optimal controls derived for the analogous closed system already give good fidelities in open systems and when a m…
Gorini-Kossakowski-Sudarshan-Lindblad equation in different bases: application to driven-dissipative two- and multilevel systems
B. Verkin Institute for Low Temperature Physics and Engineering of the National Academy of Sciences of Ukraine（乌克兰国家科学院B.维尔金低温物理与工程研究所）；Center for Quantum Computing, RIKEN（理化学院量子计算中心）；V. N. Karazin Kharkiv National University（V.N.卡拉津哈尔科夫国立大学）；Department of Mathematics, Kyiv School of Economics（基辅经济学院数学系）
In recent years, digraph induced generators of quantum dynamical semigroups have been introduced and studied, particularly in the context of unique relaxation and invariance. In this article we define the class of pair block diagonal generators, which allows for additional interaction coefficients but preserves the main structural properties. Namely, when the basis of the underlying Hilbert space is given by the eigenbasis of the Hamiltonian (for example the generic semigroups), then the action of the semigroup leaves invariant the diagonal and off-diagonal matrix spaces. In this case, we expl…
The application of open quantum systems in biological processes such as photosynthetic complexes has recently received renewed attention. In this paper, we introduce a quantum algorithm for simulation of Markovian dynamics of the Fenna-Matthew-Olson (FMO) complex that exists in photosynthesis using a "universal set" of a one-parameter semigroup of generators. We investigate the details of each generator that has been obtained from spectral decomposition of the Gorini-Kossakowski-Sudarshan (GKS) matrix by using linear combination and unitary conjugation. Also, we present a simple quantum circui…
We investigate a total thermodynamic entropy production rate of an isolated quantum system. In particular, we consider a quantum model of coupled harmonic oscillators in a star configuration, where a central harmonic oscillator (system) is coupled to a finite number of surrounding harmonic oscillators (bath). In this model, when the initial state of the total system is given by the tensor product of the Gibbs states of the system and the bath, every harmonic oscillator is always in a Gibbs state with a time-dependent temperature. This enables us to define time-dependent thermodynamic entropy f…
Given an quantum dynamical semigroup expressed as an exponential superoperator acting on a space of N-dimensional density operators, eigenvalue methods are presented by which canonical Kraus and Lindblad operator sum representations can be computed. These methods provide a mathematical basis on which to develop novel algorithms for quantum process tomography, the statistical estimation of superoperators and their generators, from a wide variety of experimental data. Theoretical arguments and numerical simulations are presented which imply that these algorithms will be quite robust in the prese…
Using the tool of quantum characteristic functions of n-mode states in the boson Fock space Γ(C_n) we construct a semigroup of quantum information channels. This leads to a special class of one-parameter semigroups of such channels. These semigroups are concrete but their generators have unbounded operator coefficients. These one-parameter semigroups are also quantum dynamical semigroups and the form of the generators involve additional features which do not appear in the standard GKSL form. A heuristic discussion of the form of these generators is included. In the wake of this analysis many o…
We analyze the set ${\cal A}_N^Q$ of mixed unitary channels represented in the Weyl basis and accessible by a Lindblad semigroup acting on an $N$-level quantum system. General necessary and sufficient conditions for a mixed Weyl quantum channel of an arbitrary dimension to be accessible by a semigroup are established. The set ${\cal A}_N^Q$ is shown to be log--convex and star-shaped with respect to the completely depolarizing channel. A decoherence supermap acting in the space of Lindblad operators transforms them into the space of Kolmogorov generators of classical semigroups. We show that fo…
We derive the explicit commutation relations for the generators of quantum dynamical semigroup - Markovian superoperator evolution, allowing the extension of Baker-Campbell-Hausdorff-type relations to general Lindblad-type evolutions. This provides a novel tool for exploring the interaction of time-dependent coherent and Markovian evolutions - a surprisingly rich set of behaviors which include deformation by coherent driving of Markovian terms, generation of new Lindblad terms from time-dependent noise and even a coherent driving term generated by the interaction of time-separated Markovian no…
We adopt the perspective of similarity equivalence, in gate set tomography called the gauge, to analyze various properties of quantum operations belonging to a semigroup, $Φ= e^{{\cal L}t}$,and therefore given through the Lindblad operator. We first observe that the non unital part of the channel decouples from the time evolution. Focusing on unital operations we restrict our attention to the single-qubit case, showing that the semigroup embedded inside the tetrahedron of Pauli channels is bounded by the surface composed of product probability vectors and includes the identity map together wit…
In this paper we consider deterministic nonlinear time evolutions satisfying so called convex quasi-linearity condition. Such evolutions preserve the equivalence of ensembles and therefore are free from problems with signaling. We show that if family of linear non-trace-preserving maps satisfies the semigroup property then the generated family of convex quasi-linear operations also possesses the semigroup property. Next we generalize the Gorini-Kossakowski-Sudarshan-Lindblad type equation for the considered evolution. As examples we discuss the general qubit evolution in our model as well as a…
The aims of this paper are two. The first 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 \emph{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 …
We consider finite-dimensional Markovian open quantum systems, and characterize the extent to which time-independent Hamiltonian control may allow to stabilize a target quantum state or subspace and optimize the resulting convergence speed. For a generic Lindblad master equation, we introduce a dissipation-induced decomposition of the associated Hilbert space, and show how it serves both as a tool to analyze global stability properties for given control resources and as the starting point to synthesize controls that ensure rapid convergence. The resulting design principles are illustrated in r…
In this work, we consider an environment formed by incoherent photons as a resource for controlling open quantum systems via an incoherent control. We exploit a coherent control in the Hamiltonian and an incoherent control in the dissipator which induces the time-dependent decoherence rates $γ_k(t)$ (via time-dependent spectral density of incoherent photons) for generation of single-qubit gates for a two-level open quantum system which evolves according to the Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) master equation with time-dependent coefficients determined by these coherent and incohere…
We introduce a class of Markovian quantum master equations, able to describe the dissipative dynamics of a quantum system weakly coupled to one or several heat baths. The dissipative structure is driven by an entropic operator, the so called modular Hamiltonian, which makes it nonlinear. The generated Modular Dynamical Semigroup (MDS) is not, in general, a Quantum Dynamical Semigroup (QDS), whose dynamics is of the popular Lindblad type. The MDS has a robust thermodynamic structure, which guarantees for the positivity of the time evolved state, the correct steady state properties, the positivi…
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 $…
The perturbative master equation (Bloch-Redfield) is extensively used to study dissipative quantum mechanics - particularly for qubits - despite the 25 year old criticism that it violates positivity (generating negative probabilities). We take an arbitrary system coupled to an environment containing many degrees-of-freedom, and cast its perturbative master equation (derived from a perturbative treatment of Nakajima-Zwanzig or Schoeller-Schon equations) in the form of a Lindblad master equation. We find that the equation's parameters are time-dependent. This time-dependence is rarely accounted …
Quantum metrology protocols allow to surpass precision limits typical to classical statistics. However, in recent years, no-go theorems have been formulated, which state that typical forms of uncorrelated noise can constrain the quantum enhancement to a constant factor, and thus bound the error to the standard asymptotic scaling. In particular, that is the case of time-homogeneous (Lindbladian) dephasing and, more generally, all semigroup dynamics that include phase covariant terms, which commute with the system Hamiltonian. We show that the standard scaling can be surpassed when the dynamics …
We study a class of finite dimensional quantum dynamical semigroups exp(tL) whose generators L are sums of Lindbladians satisfying the detailed balance condition. Such semigroup arise in the weak coupling (van Hove) limit of Hamiltonian dynamical systems describing open quantum systems out of equilibrium. We prove a general entropic fluctuation theorem for this class of semigroups by relating the cumulant generating function of entropy transport to the spectrum of a family of deformations of the generator L. We show that, besides the celebrated Evans-Searles symmetry, this cumulant generating …
We consider the problem of constructing a "universal set" of Markovian processes, such that any Markovian open quantum system, described by a one-parameter semigroup of quantum channels, can be simulated through sequential simulations of processes from the universal set. In particular, for quantum systems of dimension $d$, we explicitly construct a universal set of semigroup generators, parametrized by $d^2-3$ continuous parameters, and prove that a necessary and sufficient condition for the dynamical simulation of a $d$ dimensional Markovian quantum system is the ability to implement a) quant…
Dynamical semigroups have become the key structure for describing open system dynamics in all of physics. Bounded generators are known to be of a standard form, due to Gorini, Kossakowski, Sudarshan and Lindblad. This form is often used also in the unbounded case, but rather little is known about the general form of unbounded generators. In this paper we first give a precise description of the standard form in the unbounded case, emphasizing intuition, and collecting and even proving the basic results around it. We also give a cautionary example showing that the standard form must not be read …
We extend Howland time-independent formalism to the case of completely positive and trace preserving dynamics of finite dimensional open quantum systems governed by periodic, time dependent Lindbladian in Weak Coupling Limit, expanding our result from previous papers. We propose the Bochner space of periodic, square integrable matrix valued functions, as well as its tensor product representation, as the generalized space of states within the time-independent formalism. We examine some densely defined operators on this space, together with their Fourier-like expansions and address some problems…
Fifty Years of the GKLS Master Equation: Foundations and Early Developments
University of Trieste（的里雅斯特大学）；Istituto Nazionale di Fisica Nucleare, Sezione di Trieste（意大利国家核物理研究所的里雅斯特分部）；Institute of Physics, Nicolaus Copernicus University（尼古拉·哥白尼大学物理研究所）；Department of Physics, University of Bari（巴里大学物理系）；Istituto Nazionale di Fisica Nucleare, Sezione di Bari（意大利国家核物理研究所巴里分部）
We develop a notion of dephasing under the action of a quantum Markov semigroup in terms of convergence of operators to a block-diagonal form determined by irreducible invariant subspaces. If the latter are all one-dimensional, we say the dephasing is maximal. With this definition, we show that a key necessary requirement on the Lindblad generator is bistochasticity, and focus on characterizing whether a maximally dephasing evolution may be described in terms of a unitary dilation with only classical noise, as opposed to a genuine non-commutative Hudson-Parthasarathy dilation. To this end, we …
RWTH Aachen University（亚琛工业大学）；Inria, ENS de Lyon, Université Claude Bernard Lyon 1, LIP（法国国家信息与自动化研究所、里昂高等师范学院、里昂第一大学、计算机科学实验室）；Scuola Normale Superiore（比萨高等师范学院）；Universität Ulm（乌尔姆大学）
Robust Structure Learning of $k$-local Lindbladians
University of Cambridge（剑桥大学）；University of Tübingen（蒂宾根大学）；UC Berkeley（加州大学伯克利分校）；University of Copenhagen（哥本哈根大学）；Inria, Télécom Paris - LTCI, Institut Polytechnique de Paris（法国国家信息与自动化研究所，巴黎高等电信学院-通信与图像处理实验室，巴黎理工学院）
Hypercontractivity of a quantum dynamical semigroup has strong implications for its convergence behavior and entropy decay rate. A logarithmic Sobolev inequality and the corresponding logarithmic Sobolev constant can be inferred from the semigroup's hypercontractive norm bound. We consider completely-positive quantum mechanical semigroups described by a Lindblad master equation. To prove the norm bound, we follow an approach which has its roots in the study of classical rate equations. We use interpolation theorems for non-commutative $L_p$ spaces to obtain a general hypercontractive inequalit…
Open quantum systems weakly coupled to the environment are modeled by completely positive, trace preserving semigroups of linear maps. The generators of such evolutions are called Lindbladians. In the setting of quantum many-body systems on a lattice it is natural to consider Lindbladians that decompose into a sum of local interactions with decreasing strength with respect to the size of their support. For both practical and theoretical reasons, it is crucial to estimate the impact that perturbations in the generating Lindbladian, arising as noise or errors, can have on the evolution. These lo…
Approximate Reduced Lindblad Dynamics via Algebraic and Adiabatic Methods
University of Padova（帕多瓦大学）；Laboratoire de Physique de l’Ecole Normale Supérieure, Mines Paris-PSL, Inria, ENS-PSL, Université PSL, CNRS, Sorbonne Université（巴黎高等师范学校物理实验室，巴黎矿业综合理工学院-巴黎文理研究大学，法国国家信息与自动化研究所，巴黎文理研究大学高等师范学校-巴黎文理研究大学，法国国家科学研究中心，索邦大学）；Ghent University（根特大学）；Dartmouth College（达特茅斯学院）；Padua Quantum Technologies Research Center, University of Padova（帕多瓦大学帕多瓦量子技术研究中心）
Master equations in the Lindblad form describe evolution of open quantum systems that is completely positive and simultaneously has a semigroup property. We analyze a possibility to derive this type of master equations from an intrinsically discrete dynamics that is modelled as a sequence of collisions between a given quantum system (a qubit) with particles that form the environment. In order to illustrate our approach we analyze in detail how a process of an exponential decay and a process of decoherence can be derived from a collision-like model in which particular collisions are described b…
Quantum dynamical maps provide suitable mathematical representation of quantum evolutions. It is the very notion of complete positivity which provides a proper mathematical representation of quantum evolution and gives rise to the powerful generalization of unitary evolution of closed Hamiltonian systems. A prominent example of quantum evolution of an open system is a Markovian semigroup. In what follows, we analyze both the semigroups of positive and completely positive maps. In the latter case the dynamics is governed by the celebrated Gorini-Kossakowski-Lindblad-Sudarshan (GKLS) Master Equa…
In the present work, we suggest an approach for describing dynamics of finite-dimensional quantum systems in terms of pseudostochastic maps acting on probability distributions, which are obtained via minimal informationally complete quantum measurements. The suggested method for probability representation of quantum dynamics preserves the tensor product structure, which makes it favourable for the analysis of multi-qubit systems. A key advantage of the suggested approach is that minimal informationally complete positive operator-valued measures (MIC-POVMs) are easier to construct in comparison…
In this lecture we present a brief outline of boson Fock space stochastic calculus based on the creation, conservation and annihilation operators of free field theory, as given in the 1984 paper of Hudson and Parthasarathy. We show how a part of this architecture yields Gaussian fields stationary under a group action. Then we introduce the notion of semigroups of quasifree completely positive maps on the algebra of all bounded operators in the boson Fock space $Γ(\mathbb{C}^n)$ over $\mathbb{C}^n.$ These semigroups are not strongly continuous but their preduals map Gaussian states to Gaussian …
Quantum Error Mitigation Simulates General Non-Hermitian Dynamics
Tokyo University of Science（东京科学大学）；Chuo University（中央大学）；University of Stuttgart（斯图加特大学）；NTT Inc.（日本电信电话株式会社）；RIKEN Pioneering Research Institute (PRI)（理化学研究所先驱研究本部）；RIKEN Center for Interdisciplinary Theoretical and Mathematical Sciences (iTHEMS)（理化学研究所交叉理论数学科学中心）
