马尔可夫量子动力学中刘维拉算符本征值非正性的直接代数证明

A direct algebraic proof for the non-positivity of Liouvillian eigenvalues in Markovian quantum dynamics

摘要 Abstract

马尔可夫开放量子系统由林德布洛姆主方程 $\partial_t\rho =\mathcal{L}(\rho)$ 描述,其中 $\rho$ 表示系统的密度算符,$\mathcal{L}$ 是刘维拉算符,也称为刘维拉算符。对于具有有限维希尔伯特空间的系统,刘维拉算符的一个基本性质是其所有本征值的实部均为非正,这在物理意义上对应于系统的稳定性。这一性质的通常论证是间接的,基于 $\mathcal{L}$ 生成一个量子通道且量子通道是压缩的。我们基于刘维拉算符的林德布洛姆形式提供了直接的代数证明。

Markovian open quantum systems are described by the Lindblad master equation $\partial_t\rho =\mathcal{L}(\rho)$, where $\rho$ denotes the system's density operator and $\mathcal{L}$ the Liouville super-operator, which is also known as the Liouvillian. For systems with a finite-dimensional Hilbert space, it is a fundamental property of the Liouvillian, that the real-parts of all its eigenvalues are non-positive which, in physical terms, corresponds to the stability of the system. The usual argument for this property is indirect, using that $\mathcal{L}$ generates a quantum channel and that quantum channels are contractive. We provide a direct algebraic proof based on the Lindblad form of Liouvillians.