Abstract The Lindblad equation embodies a fundamental paradigm of the quantum theory of open systems, and the Gorini–Kossakowski–Sudarshan–Lindblad generation theorem says precisely which superoperators can appear on its right-hand side. These are the generators of completely positive (CP) trace-preserving (or nonincreasing) semigroups. We prove a generalization, with time-dependent generator, as an application of an investigation of the geometry of the class of CP maps. The treatment of the finite-dimensional setting is based on a basis-free Choi–Jamiołkowski type isomorphism. The infinite-dimensional case is bootstrapped from the finite-dimensional theory via a sequence of finite-dimensional approximations. Kraus decomposition is established along the way, in the guise of an extremal decomposition of the closed convex cone of CP maps. No appeal is made to results from the representation theory of operator algebras.
Abstract The Lindblad equation embodies a fundamental paradigm of the quantum theory of open systems, and the Gorini–Kossakowski–Sudarshan–Lindblad generation theorem says precisely which superoperators can appear on its right-hand side. These are the generators of completely positive (CP) trace-preserving (or nonincreasing) semigroups. We prove a generalization, with time-dependent generator, as an application of an investigation of the geometry of the class of CP maps. The treatment of the finite-dimensional setting is based on a basis-free Choi–Jamiołkowski type isomorphism. The infinite-dimensional case is bootstrapped from the finite-dimensional theory via a sequence of finite-dimensional approximations. Kraus decomposition is established along the way, in the guise of an extremal decomposition of the closed convex cone of CP maps. No appeal is made to results from the representation theory of operator algebras.
We derive continuous-time quantum dynamical semigroups from the local geometric structure of discrete completely positive trace-preserving (CPTP) maps on finite-dimensional Hilbert spaces. Rather than assuming a continuous time parameter and differentiability from the outset, we analyze the convex structure of the CPTP set in a neighborhood of the identity channel, viewed as the neutral element of composition. By characterizing the tangent cone at this boundary point under the trace-preserving constraint, we show that admissible first-order perturbations coincide with generators of Gorini–Kossakowski–Sudarshan–Lindblad (GKSL) form. In this sense, the GKSL structure emerges from the intrinsic convex geometry of the CPTP set. Furthermore, we establish a quantitative scaling result: under an explicit operator-norm error estimate, iterated discrete channels converge uniformly on finite intervals to the semigroup generated by the associated GKSL operator. This provides a precise mathematical link between discrete completely positive dynamics and continuous-time Lindblad evolution, clarifying their structural relationship within the foundations of open quantum dynamics.
We give a new nonstandard proof of the well-known theorem that the generator L of a quantum dynamical semigroup exp(tL) on a finite-dimensional quantum system has a specific form called a Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) generator (also known as a Lindbladian) and vice versa. The proof starts from the Kraus representation of the quantum channel exp(δtL) for an infinitesimal hyperreal number δt>0 and then estimates the orders of the traceless components of the Kraus operators. The jump operators naturally arise as the standard parts of the traceless components of the Kraus operators divided by δt. We also give a nonstandard proof of a related fact that close completely positive maps have close Kraus operators.
The year 2026 marks the fiftieth anniversary of the two seminal papers in which Gorini, Kossakowski, and Sudarshan, and independently Lindblad, characterized the generators of completely positive quantum dynamical semigroups. We revisit the conceptual and historical route leading to the Gorini-Kossakowski-Lindblad-Sudarshan (GKLS) master equation and examine several of its early developments and consequences. Our aim is to show how several initially separate mathematical and physical ideas converged in the GKLS structure theorem, imme- diately opening the way to manifold consequences for the description of dissipative quantum phenomena and how that theorem, fifty years later, remains both a foundational result and an active framework for open quantum dynamics.
We generalize the result of Gorini, Kossakowski, and Sudarshan [J. Math. Phys. 17:821, 1976] that every generator of a quantum-dynamical semigroup decomposes uniquely into a closed and a dissipative part, assuming the trace of both vanishes. More precisely, we show that given any generator [Formula: see text] of a completely positive dynamical semigroup and any matrix [Formula: see text] there exists a unique matrix [Formula: see text] and a unique completely positive map [Formula: see text] such that (i) [Formula: see text], (ii) the superoperator [Formula: see text] has trace zero, and (iii) [Formula: see text] is a real number. The key to proving this is the relation between the trace of a completely positive map, the trace of its Kraus operators, and expectation values of its Choi matrix. Moreover, we show that the above decomposition is orthogonal with respect to some [Formula: see text]-weighted inner product.
The description of the dynamics of an open quantum system in the presence of initial correlations with the environment needs different mathematical tools than the standard approach to reduced dynamics, which is based on the use of a time-dependent completely positive trace preserving (CPTP) map. Here, we take into account an approach that is based on a decomposition of any possibly correlated bipartite state as a conical combination involving statistical operators on the environment and general linear operators on the system, which allows one to fix the reduced-system evolution via a finite set of time-dependent CPTP maps. In particular, we show that such a decomposition always exists, also for infinite dimensional Hilbert spaces, and that the number of resulting CPTP maps is bounded by the Schmidt rank of the initial global state. We further investigate the case where the CPTP maps are semigroups with generators in the Gorini-Kossakowski-Lindblad-Sudarshan form; for two simple qubit models, we identify the positivity domain defined by the initial states that are mapped into proper states at any time of the evolution fixed by the CPTP semigroups.
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 related to their convergence by employing general results on Banach space-valued Fourier series, such as the generalized Carleson–Hunt theorem. We formulate Markovian dynamics in the generalized space of states by constructing appropriate time-independent Lindbladian in standard (Lindblad–Gorini–Kossakowski–Sudarshan) form, as well as one-parameter semigroup of bounded evolution maps. We show their similarity with Markovian generators and dynamical maps defined on matrix space, i.e. the generator still possesses a standard form (extended by closed perturbation) and the resulting semigroup is also completely positive, trace preserving and a contraction.