Revision as of 11:33, 22 May 2026

← Back to Open quantum systems Book I

Markov semigroup in quantum mechanics, a quantum Markov semigroup describes the dynamics in a Markovian open quantum system. The axiomatic definition of the prototype of quantum Markov semigroups was first introduced by A. Kossakowski in 1972, and then developed by V. In quantum mechanics, a quantum Markov semigroup describes the dynamics in a Markovian open quantum system. The axiomatic definition of the prototype of quantum Markov semigroups was first introduced by A. Kossakowski in 1972, and then developed by V. An ideal quantum system is not realistic because it should be completely isolated while, in practice, it is influenced by the coupling to an environment, which typically has a large number of degrees of freedom (for example an atom interacting with the surrounding radiation field).

Motivation

An ideal quantum system is not realistic because it should be completely isolated while, in practice, it is influenced by the coupling to an environment, which typically has a large number of degrees of freedom (for example an atom interacting with the surrounding radiation field). A complete microscopic description of the degrees of freedom of the environment is typically too complicated. Hence, one looks for simpler descriptions of the dynamics of the open system. In principle, one should investigate the unitary dynamics of the total system, i.e. the system and the environment, to obtain information about the reduced system of interest by averaging the appropriate observables over the degrees of freedom of the environment. To model the dissipative effects due to the interaction with the environment, the Schrödinger equation is replaced by a suitable master equation, such as a Lindblad equation or a stochastic Schrödinger equation in which the infinite degrees of freedom of the environment are "synthesized" as a few quantum noises. Mathematically, time evolution in a Markovian open quantum system is no longer described by means of one-parameter groups of unitary maps, but one needs to introduce quantum Markov semigroups.

Definitions

Quantum dynamical semigroup (QDS)

In general, quantum dynamical semigroups can be defined on von Neumann algebras, so the dimensionality of the system could be infinite. Let $𝒜$ be a von Neumann algebra acting on Hilbert space $ℋ$ , a quantum dynamical semigroup on $𝒜$ is a collection of bounded operators on $𝒜$ , denoted by $𝒯 : = {(𝒯_{t})}_{t \geq 0}$ , with the following properties:^[1]

$𝒯_{0} (a) = a$ , $\forall a \in 𝒜$ ,
$𝒯_{t + s} (a) = 𝒯_{t} (𝒯_{s} (a))$ , $\forall s, t \geq 0$ , $\forall a \in 𝒜$ ,
$𝒯_{t}$ is completely positive for all $t \geq 0$ ,
$𝒯_{t}$ is a $σ$ -weakly continuous operator in $𝒜$ for all $t \geq 0$ ,
For all $a \in 𝒜$ , the map $t \mapsto 𝒯_{t} (a)$ is continuous with respect to the $σ$ -weak topology on $𝒜$ .

It is worth mentioning that, under the condition of complete positivity, the operators $𝒯_{t}$ are $σ$ -weakly continuous if and only if $𝒯_{t}$ are normal.^[1] Recall that, letting $𝒜_{+}$ denote the convex cone of positive elements in $𝒜$ , a positive operator $T : 𝒜 \to 𝒜$ is said to be normal if for every increasing net ${(x_{α})}_{α}$ in $𝒜_{+}$ with least upper bound $x$ in $𝒜_{+}$ one has

\lim_{α} ⟨ u, (T x_{α}) u ⟩ = \sup_{α} ⟨ u, (T x_{α}) u ⟩ = ⟨ u, (T x) u ⟩

for each $u$ in a norm-dense linear sub-manifold of $ℋ$ .

Quantum Markov semigroup (QMS)

A quantum dynamical semigroup $𝒯$ is said to be identity-preserving (or conservative, or Markovian) if

$𝒯_{t} (1) = 1, \forall t \geq 0,$

(1)

where $1 \in 𝒜$ is the identity element. For simplicity, $𝒯$ is called quantum Markov semigroup. Notice that, the identity-preserving property and positivity of $𝒯_{t}$ imply $‖ 𝒯_{t} ‖ = 1$ for all $t \geq 0$ and then $𝒯$ is a contraction semigroup.^[2]

The Condition (1) plays an important role not only in the proof of uniqueness and unitarity of solution of a Hudson–Parthasarathy quantum stochastic differential equation, but also in deducing regularity conditions for paths of classical Markov processes in view of operator theory.^[3]

Infinitesimal generator of QDS

The infinitesimal generator of a quantum dynamical semigroup $𝒯$ is the operator $ℒ$ with domain $Dom (ℒ)$ , where

Dom (ℒ) : = {a \in 𝒜 | \lim_{t \to 0} \frac{𝒯_{t} (a) - a}{t} = b in σ -weak topology}

and $ℒ (a) : = b$ .

Characterization of generators of uniformly continuous QMSs

Related topic: Lindbladian

If the quantum Markov semigroup $𝒯$ is uniformly continuous in addition, which means $\lim_{t \to 0^{+}} ‖ 𝒯_{t} - 𝒯_{0} ‖ = 0$ , then

the infinitesimal generator $ℒ$ will be a bounded operator on von Neumann algebra $𝒜$ with domain $D o m (ℒ) = 𝒜$ ,^[4]
the map $t \mapsto 𝒯_{t} a$ will automatically be continuous for every $a \in 𝒜$ ,^[4]
the infinitesimal generator $ℒ$ will be also $σ$ -weakly continuous.^[5]

Under such assumption, the infinitesimal generator $ℒ$ has the characterization^[6]

ℒ (a) = i [H, a] + \sum_{j} (V_{j}^{†} a V_{j} - \frac{1}{2} {V_{j}^{†} V_{j}, a})

where $a \in 𝒜$ , $V_{j} \in ℬ (ℋ)$ , $\sum_{j} V_{j}^{†} V_{j} \in ℬ (ℋ)$ , and $H \in ℬ (ℋ)$ is self-adjoint. Moreover, above $[\cdot, \cdot]$ denotes the commutator, and ${\cdot, \cdot}$ the anti-commutator.

@@ Line 2: / Line 2: @@
 {{Quantum book backlink|Open quantum systems}}
 {{Quantum article nav|previous=Physics:Quantum dissipation|previous label=Dissipation|next=Physics:Quantum Markovian dynamics|next label=Markovian dynamics}}
 <div style="display:flex; gap:24px; align-items:flex-start; max-width:1200px;">

Anonymous

Search

Physics:Quantum Markov semigroup: Difference between revisions

Revision as of 11:33, 22 May 2026

Motivation

Definitions

Quantum dynamical semigroup (QDS)

Quantum Markov semigroup (QMS)

Infinitesimal generator of QDS

Characterization of generators of uniformly continuous QMSs

Selected recent publications

See also

See also

Table of contents (217 articles)

Index

Full contents

References

Navigation

Wiki tools

Page tools

Categories