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

arXiv:2610.09678

The Differential Structure of Generators of KMS-Symmetric Quantum Markov Semigroups

Matthijs Vernooij, Melchior Wirth

math.OAmath-phmath.FAquant-phSubmitted Oct 7, 2026• Announced Oct 8, 2026
arXivHTMLPDF

Abstract

A KMS-symmetric quantum Markov semigroup is completely determined by the quadratic form in induces on the GNS Hilbert space. The quadratic forms that arise in this way are called quantum Dirichlet forms. In this article we give a complete description of bounded quantum Dirichlet forms in terms of derivations. In particular, we exhibit an explicit characterization of the bounded quantum Dirichlet forms on type I factors. We also show that any unbounded quantum Dirichlet form can be represented in terms of derivations. The key technical insight is that the modular group always restricts to a strongly continuous group on the domain of a quantum Dirichlet form such that the square root of the analytic generator is accretive with respect to the form norm.

Related papers

Symmetric Gaussian quantum Markov semigroups

Damiano Poletti, Emanuela Sasso, Veronica Umanità

We investigate symmetric Gaussian Quantum Markov Semigroups (G-QMSs), a class of quantum dynamical semigroups acting on the algebra of bounded operators over a bosonic Fock space, whose generators are given in generalized GKLS form with linear and quadratic terms in canonical operators. Our main goal is to characterize the symmetry of such semigroups with respect to a faithful invariant Gaussian state, in terms of explicit algebraic conditions on the generator’s parameters. We provide necessary and sufficient conditions for GNS-symmetry using the action of the semigroup on Weyl operators, and show that under natural assumptions, every symmetric G-QMS is unitarily equivalent to a direct sum of Ornstein–Uhlenbeck-type semigroups. The results are further linked to modular theory by confirming the well-known fact that GNS-symmetry implies commutation with the modular automorphism group. Technical appendices discuss the role of Bogoliubov and metaplectic transformations in simplifying the structure of symmetric semigroups.

Journal of Mathematical Physics•Feb 1, 2026•0 citations

4 GENERATORS OF QUANTUM MARKOV SEMIGROUPS

George Androulakis, Matthew Ziemke

Quantum Markov Semigroups (QMSs) originally arose in the study of the evolutions of irreversible open quantum systems. Mathematically, they are a generalization of classical Markov semigroups where the underlying function space is replaced by a non-commutative operator algebra. In the case when the QMS is uniformly continuous, theorems due to Lindblad \cite{lindblad}, Stinespring \cite{stinespring}, and Kraus \cite{kraus} imply that the generator of the semigroup has the form $$L(A)=\sum_{n=1}^{\infty}V_n^*AV_n +GA+AG^*$$ where $V_n$ and G are elements of the underlying operator algebra. In the present paper we investigate the form of the generators of QMSs which are not necessarily uniformly continuous and act on the bounded operators of a Hilbert space. We prove that the generators of such semigroups have forms that reflect the results of Lindblad and Stinespring. We also make some progress towards forms reflecting Kraus' result. Lastly we look at several examples to clarify our findings and verify that some of the unbounded operators we are using have dense domains.

•Aug 15, 2016•4 citations

Generators of quantum Markov semigroups

George Androulakis, Matthew Ziemke

Quantum Markov Semigroups (QMSs) originally arose in the study of the evolutions of irreversible open quantum systems. Mathematically, they are a generalization of classical Markov semigroups where the underlying function space is replaced by a non-commutative operator algebra. In the case when the QMS is uniformly continuous, theorems due to the works of Lindblad [Commun. Math. Phys. 48, 119-130 (1976)], Stinespring [Proc. Am. Math. Soc. 6, 211-216 (1955)], and Kraus [Ann. Phys. 64, 311-335 (1970)] imply that the generator of the semigroup has the form L(A)=∑n=1∞Vn∗AVn+GA+AG∗, where Vn and G are elements of the underlying operator algebra. In the present paper, we investigate the form of the generators of QMSs which are not necessarily uniformly continuous and act on the bounded operators of a Hilbert space. We prove that the generators of such semigroups have forms that reflect the results of Lindblad and Stinespring. We also make some progress towards forms reflecting Kraus’ result. Finally, we look at several examples to clarify our findings and verify that some of the unbounded operators we are using have dense domains.

arXiv:1406.3417•Journal of Mathematical Physics•Aug 1, 2015•7 citations

On The Generators of Quantum Dynamical Semigroups

Alexander Wiedemann

In recent years, digraph induced generators of quantum dynamical semigroups have been introduced and studied, particularly in the context of unique relaxation and invariance. 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 explicitly compute all invariant states of the semigroup. In order to define this class we provide a characterization of when the Gorini- Kossakowski-Sudarshan-Lindblad (GKSL) equation defines a proper generator when arbitrary Lindblad operators are allowed (in particular, they do not need to be trace- less as demanded by the GKSL Theorem). Moreover, we consider the converse con- struction to show that every generator naturally gives rise to a digraph, and that under certain assumptions the properties of this digraph can be exploited to gain knowledge of both the number and the structure of the invariant states of the corre- sponding semigroup. We also consider more general constructions on the von Neumann algebra of all bounded linear operators on a Hilbert space, perhaps infinite dimensional. In partic- ular, we prove that for every semigroup of Schwarz maps on such an algebra which has a subinvariant faithful normal state there exists an associated semigroup of con- tractions on the space of Hilbert-Schmidt operators of the Hilbert space. Moreover, we show that if the original semigroup is weak∗ continuous then the associated semigroup is strongly continuous. We introduce the notion of the extended generator of a semigroup on the bounded operators of a Hilbert space with respect to an or- thonormal basis of the Hilbert space. We describe this form of the generator of a quantum Markov semigroup on the von Neumann algebra of all bounded linear op- erators on a Hilbert space which has an invariant faithful normal state under the assumption that the generator of the associated semigroup has compact resolvent, or under the assumption that the minimal unitary dilation of the associated semigroup of contractions is compact.

•Jan 1, 2019•0 citations

On irreducibility of Gaussian quantum Markov semigroups

Franco Fagnola, Damiano Poletti

The generator of a Gaussian quantum Markov semigroup on the algebra of bounded operator on a [Formula: see text]-mode Fock space is represented in a generalized GKLS form with an operator [Formula: see text] quadratic in creation and annihilation operators and Kraus operators [Formula: see text] linear in creation and annihilation operators. Kraus operators, commutators [Formula: see text] and iterated commutators [Formula: see text] up to the order [Formula: see text], as linear combinations of creation and annihilation operators determine a vector in [Formula: see text]. We show that a Gaussian quantum Markov semigroup is irreducible if such vectors generate [Formula: see text], under the technical condition that the domains of [Formula: see text] and the number operator coincide. Conversely, we show that this condition is also necessary if the linear space generated by Kraus operators and their iterated commutator with [Formula: see text] is fully non-commutative.

Infinite Dimensional Analysis Quantum Probability and Related Topics•Oct 7, 2022•7 citations

Lecture 11: Semigroups and Dissipations. Markov Approximation. Quantum Dynamical Semigroups I

Gianfausto Dell’Antonio

In Lecture “Lecture 10: Derivations and Generators. K.M.S. Condition. Elements of Modular Structure. Standard Form” we have discussed some aspects of quantum dynamics when it is represented by a one-parameter group of automorphisms of a $$C^*$$ -algebra.

Atlantis studies in mathematical physics•Jan 1, 2015•0 citations
A KMS-symmetric quantum Markov semigroup is completely determined by the quadratic form in induces on the GNS Hilbert space. The quadratic forms that arise in this way are called quantum Dirichlet forms. In this article we give a complete description of bounded quantum Dirichlet forms in terms of derivations. In particular, we exhibit an explicit characterization of the bounded quantum Dirichlet forms on type I factors. We also show that any unbounded quantum Dirichlet form can be represented in terms of derivations. The key technical insight is that the modular group always restricts to a strongly continuous group on the domain of a quantum Dirichlet form such that the square root of the analytic generator is accretive with respect to the form norm.
We investigate symmetric Gaussian Quantum Markov Semigroups (G-QMSs), a class of quantum dynamical semigroups acting on the algebra of bounded operators over a bosonic Fock space, whose generators are given in generalized GKLS form with linear and quadratic terms in canonical operators. Our main goal is to characterize the symmetry of such semigroups with respect to a faithful invariant Gaussian state, in terms of explicit algebraic conditions on the generator’s parameters. We provide necessary and sufficient conditions for GNS-symmetry using the action of the semigroup on Weyl operators, and show that under natural assumptions, every symmetric G-QMS is unitarily equivalent to a direct sum of Ornstein–Uhlenbeck-type semigroups. The results are further linked to modular theory by confirming the well-known fact that GNS-symmetry implies commutation with the modular automorphism group. Technical appendices discuss the role of Bogoliubov and metaplectic transformations in simplifying the structure of symmetric semigroups.
Quantum Markov Semigroups (QMSs) originally arose in the study of the evolutions of irreversible open quantum systems. Mathematically, they are a generalization of classical Markov semigroups where the underlying function space is replaced by a non-commutative operator algebra. In the case when the QMS is uniformly continuous, theorems due to Lindblad \cite{lindblad}, Stinespring \cite{stinespring}, and Kraus \cite{kraus} imply that the generator of the semigroup has the form L(A)=∑n=1∞Vn∗AVn+GA+AG∗L(A)=\sum_{n=1}^{\infty}V_n^*AV_n +GA+AG^*L(A)=∑n=1∞​Vn∗​AVn​+GA+AG∗ where VnV_nVn​ and G are elements of the underlying operator algebra. In the present paper we investigate the form of the generators of QMSs which are not necessarily uniformly continuous and act on the bounded operators of a Hilbert space. We prove that the generators of such semigroups have forms that reflect the results of Lindblad and Stinespring. We also make some progress towards forms reflecting Kraus' result. Lastly we look at several examples to clarify our findings and verify that some of the unbounded operators we are using have dense domains.
Quantum Markov Semigroups (QMSs) originally arose in the study of the evolutions of irreversible open quantum systems. Mathematically, they are a generalization of classical Markov semigroups where the underlying function space is replaced by a non-commutative operator algebra. In the case when the QMS is uniformly continuous, theorems due to the works of Lindblad [Commun. Math. Phys. 48, 119-130 (1976)], Stinespring [Proc. Am. Math. Soc. 6, 211-216 (1955)], and Kraus [Ann. Phys. 64, 311-335 (1970)] imply that the generator of the semigroup has the form L(A)=∑n=1∞Vn∗AVn+GA+AG∗, where Vn and G are elements of the underlying operator algebra. In the present paper, we investigate the form of the generators of QMSs which are not necessarily uniformly continuous and act on the bounded operators of a Hilbert space. We prove that the generators of such semigroups have forms that reflect the results of Lindblad and Stinespring. We also make some progress towards forms reflecting Kraus’ result. Finally, we look at several examples to clarify our findings and verify that some of the unbounded operators we are using have dense domains.
In recent years, digraph induced generators of quantum dynamical semigroups have been introduced and studied, particularly in the context of unique relaxation and invariance. 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 explicitly compute all invariant states of the semigroup. In order to define this class we provide a characterization of when the Gorini- Kossakowski-Sudarshan-Lindblad (GKSL) equation defines a proper generator when arbitrary Lindblad operators are allowed (in particular, they do not need to be trace- less as demanded by the GKSL Theorem). Moreover, we consider the converse con- struction to show that every generator naturally gives rise to a digraph, and that under certain assumptions the properties of this digraph can be exploited to gain knowledge of both the number and the structure of the invariant states of the corre- sponding semigroup. We also consider more general constructions on the von Neumann algebra of all bounded linear operators on a Hilbert space, perhaps infinite dimensional. In partic- ular, we prove that for every semigroup of Schwarz maps on such an algebra which has a subinvariant faithful normal state there exists an associated semigroup of con- tractions on the space of Hilbert-Schmidt operators of the Hilbert space. Moreover, we show that if the original semigroup is weak∗ continuous then the associated semigroup is strongly continuous. We introduce the notion of the extended generator of a semigroup on the bounded operators of a Hilbert space with respect to an or- thonormal basis of the Hilbert space. We describe this form of the generator of a quantum Markov semigroup on the von Neumann algebra of all bounded linear op- erators on a Hilbert space which has an invariant faithful normal state under the assumption that the generator of the associated semigroup has compact resolvent, or under the assumption that the minimal unitary dilation of the associated semigroup of contractions is compact.
The generator of a Gaussian quantum Markov semigroup on the algebra of bounded operator on a [Formula: see text]-mode Fock space is represented in a generalized GKLS form with an operator [Formula: see text] quadratic in creation and annihilation operators and Kraus operators [Formula: see text] linear in creation and annihilation operators. Kraus operators, commutators [Formula: see text] and iterated commutators [Formula: see text] up to the order [Formula: see text], as linear combinations of creation and annihilation operators determine a vector in [Formula: see text]. We show that a Gaussian quantum Markov semigroup is irreducible if such vectors generate [Formula: see text], under the technical condition that the domains of [Formula: see text] and the number operator coincide. Conversely, we show that this condition is also necessary if the linear space generated by Kraus operators and their iterated commutator with [Formula: see text] is fully non-commutative.
In Lecture “Lecture 10: Derivations and Generators. K.M.S. Condition. Elements of Modular Structure. Standard Form” we have discussed some aspects of quantum dynamics when it is represented by a one-parameter group of automorphisms of a C∗C^*C∗ -algebra.