[Paper Review] A resolution of quantum dynamical semigroups

Anilesh Mohari|ArXiv.org|May 18, 2005

Quantum Information and Cryptography15 references3 citations

TL;DR

This paper introduces a classification of quantum dynamical semigroups using recurrent and metastable projections within von Neumann algebras, proving that the identity operator decomposes into orthogonal projections that are either recurrent or metastable. The key contribution is a necessary and sufficient condition for metastability and transience in finite-dimensional systems, extending classical Markov chain concepts to non-commutative quantum dynamics.

ABSTRACT

We consider a class of quantum dissipative systems governed by a one parameter completely positive maps on a von-Neumann algebra. We introduce a notion of recurrent and metastable projections for the dynamics and prove that the unit operator can be decomposed into orthogonal projections where each projections are recurrent or metastable for the dynamics.

Motivation & Objective

• To extend the classical classification of Markov chains—recurrent and metastable states—into the non-commutative framework of quantum dynamical semigroups.
• To define and characterize recurrent and metastable projections in the context of completely positive, normal, weak*-continuous semigroups on von Neumann algebras.
• To establish conditions under which a sub-harmonic projection is metastable or transient, particularly in finite-dimensional Hilbert spaces.
• To prove that in finite-dimensional systems, metastable projections are necessarily transient and recurrent projections are positive recurrent, preserving classical features.
• To provide a decomposition of the identity into orthogonal recurrent and metastable projections under type-I, center-completely-atomic conditions.

Proposed method

• Introduces sub-harmonic and harmonic projections via the condition τt(p) ≥ p and τt(p) = p for all t ≥ 0.
• Defines reduced dynamics τtp on pA0p via τtp(x) = pτt(x)p for sub-harmonic p, enabling analysis of restricted systems.
• Uses strong limit y = s.limₜ→∞ τt(p) to classify 1−p as metastable (y injective) or transient (y=1).
• Applies the generator representation τt(x) = e^{tY*}xe^{tY} + ∫₀ᵗ e^{(t−s)Y*}Φ(τs(x))e^{(t−s)Y}ds for norm-continuous semigroups.
• Derives necessary and sufficient conditions for transience via the condition that p and the ranges of L*i₁…L*in p generate H₀.
• Uses Proposition 2.2 and induction to relate vanishing of z*τt(p)z to annihilating chains of operators Lk and Y applied to z.

Experimental results

Research questions

• RQ1 Can the classical classification of Markov chains into recurrent and metastable states be generalized to quantum dynamical semigroups?
• RQ2 Under what conditions is a sub-harmonic projection metastable or transient in a quantum dynamical system?
• RQ3 Does the finite-dimensionality of the system ensure that metastable projections are transient and recurrent projections are positive recurrent?
• RQ4 What is the precise algebraic condition for the strong limit y = s.limₜ→∞ τt(p) to equal 1 (transience) in terms of the Lindblad generators?
• RQ5 How does the structure of the von Neumann algebra, particularly its center, affect the existence and uniqueness of the decomposition into recurrent and metastable components?

Key findings

• The identity operator in a von Neumann algebra admits an orthogonal decomposition into recurrent and metastable projections when the algebra is type-I with completely atomic center.
• In finite-dimensional Hilbert spaces, every metastable projection is transient, and every recurrent projection is positive recurrent, preserving classical behavior.
• A sub-harmonic projection p is transient (i.e., y=1) if and only if the closed linear span of p and the ranges of L*i₁…L*in p (for all finite sequences) equals the full Hilbert space H₀.
• The condition for transience is independent of the choice of Lindblad generators (Y, Lk), ensuring robustness of the criterion.
• For finite-dimensional 1−p, the condition that p and the iterated ranges of L*k generate H₀ is both necessary and sufficient for transience.
• The existence of a unique recurrent projection in finite-dimensional systems implies the existence of a unique invariant normal state, and the semigroup is ergodic with respect to that state.