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

Journal of Mathematical Physics

Symmetric Gaussian quantum Markov semigroups

Damiano Poletti, Emanuela Sasso, Veronica Umanità

Published Feb 1, 2026• 0 citations
Publisher

Abstract

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.

DOI
10.1063/5.0305359

Related papers

Gaussian Quantum Markov Semigroups on a One-Mode Fock Space: Irreducibility and Normal Invariant States

Julián Agredo, Franco Fagnola, Damiano Poletti

We consider the most general Gaussian quantum Markov semigroup on a one-mode Fock space, discuss its construction from the generalized GKSL representation of the generator. We prove the known explicit formula on Weyl operators, characterize irreducibility and its equivalence to a Hörmander type condition on commutators and establish necessary and sufficient conditions for existence and uniqueness of normal invariant states. We illustrate these results by applications to the open quantum oscillator and the quantum Fokker-Planck model.

Open Systems & Information Dynamics•Mar 1, 2021•19 citations

Characterization of Gaussian quantum Markov semigroups

Damiano Poletti

We give a characterization of QMSs on the Bosonic Fock Space [Formula: see text] whose predual preserves the set of gaussian states. We show they can be obtained via certain generalized GKLS generators and they satisfy an explicit formula for their action on Weyl operators.

Infinite Dimensional Analysis Quantum Probability and Related Topics•Jul 12, 2022•10 citations

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

Matthijs Vernooij, Melchior Wirth

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.

math.OACross-listedarXiv:2610.09678•Oct 8, 2026

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

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

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
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.
We consider the most general Gaussian quantum Markov semigroup on a one-mode Fock space, discuss its construction from the generalized GKSL representation of the generator. We prove the known explicit formula on Weyl operators, characterize irreducibility and its equivalence to a Hörmander type condition on commutators and establish necessary and sufficient conditions for existence and uniqueness of normal invariant states. We illustrate these results by applications to the open quantum oscillator and the quantum Fokker-Planck model.
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.
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.
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.
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.