在量子力学中，量子马尔可夫半群刻画了具备马尔可夫性质的的动力学演化。量子马尔可夫半群原型的公理定义最早由 于1972年提出，随后由V. Gorini、 Andrzej Kossakowski 、 和 于1976年进一步发展。

动机
理想的量子系统是完全孤立的，因而并不现实。在实践中，系统会受到与环境耦合的影响，而环境通常具有大量的自由度（例如原子与周围辐射场相互作用）。对环境自由度的完整微观描述通常过于复杂。因此，人们寻求对开放系统的演化的更简单描述。原则上，人们应该研究整个系统（即系统和环境）的幺正演化，通过对环境自由度上的适当可觀察量取平均来获得感兴趣的约化系统的信息。为了模拟与环境相互作用而产生的耗散效应，薛定谔方程被一个合适的主方程所取代，例如林德布拉德方程或随机薛定谔方程，其中环境的无限自由度被“合成”为一些量子噪声。从数学上讲，马尔可夫开放量子系统的时间演化不再由幺正映射的单参数群来描述，而是需要引入量子马尔可夫半群。

定义
量子动力学半群
一般而言，量子动力学半群可以定义在冯诺依曼代数上，这使得所考察的系统的维数可以是无限的。设 \mathcal{A} 是一个作用于希尔伯特空间 \mathcal{H} 上的冯诺依曼代数 ， \mathcal{A} 上的量子动力学半群是 \mathcal{A} 上有界算子的这样一种集合 \mathcal{T} ，其可用一非负实数 t\geq0 参数化从而其成员记作 \mathcal{T}_t ，且具有以下性质：

\forall a \in \mathcal{A} , \mathcal{T}_0 \left( a \right) = a

\forall s, t \ge 0 , \forall a \in \mathcal{A} , \mathcal{T}_{t + s} \left( a \right) = \mathcal{T}_t \left( \mathcal{T}_s \left( a \right) \right)

\forall t \ge 0 ， \mathcal{T}_t 都是一个

\forall t \ge 0 ， \mathcal{T}_t 都是 \mathcal{A} 上的意义上的连续算子

\forall a \in \mathcal{A} ，映射 t \mapsto \mathcal{T}_t \left( a \right) 在 \mathcal{A} 的意义上连续。

值得一提的是，在完全正性质的条件下，算子 \mathcal{T}_t 的超弱连续性等价于其正规性（normal）。注意这里所说的正规性不同于正规算子，而是定义如下：设 \mathcal{A}_+ 表示 \mathcal{A} 中正元素所构成的凸锥， T : \mathcal{A} \rightarrow \mathcal{A} 是一个正算子，若对于每个 \mathcal{A}_+ 中递增且有最小上界 x 的网 \left( x_\alpha \right)_\alpha ，性质

: \lim_{\alpha} \langle u, (T x_\alpha) u \rangle = \sup_{\alpha} \langle u, (T x_\alpha) u \rangle = \langle u, (T x) u \rangle

对 \mathcal{H} 的一个范数稠密的线性子流形中的任意 u 都成立，则称算子 T 是正规的。

量子马尔可夫半群
若量子动力学半群 \mathcal{T} 保单位元（或称是守恒的、马尔可夫的），也就是说对于单位元 \boldsymbol{1} \in \mathcal{A} 有{{NumBlk|:| \mathcal{T}_t \left( \boldsymbol{1} \right) = \boldsymbol{1}, \quad \forall t \ge 0, |}}则称 \mathcal{T} 是一个量子马尔可夫半群。注意 \mathcal{T}_t 的保单位元性和蕴含了 \forall t \ge 0,\left\| \mathcal{T}_t \right\| = 1 ，从而 \mathcal{T} 是一个收缩半群。

条件 (1) 不仅在证明Hudson – Parthasarathy量子随机微分方程解的唯一性和幺正性方面起着重要作用，而且在从算子理论的角度推导经典马尔可夫过程路径的正则性条件方面也起着重要作用 。

量子动力学半群的无穷小生成元
量子动力学半群 \mathcal{T} 的无穷小生成元 是这样一个算子 \mathcal{L} ，其定义在 \mathcal{A} 的使下列极限收敛的子集上，满足：

: \mathcal{L}(a) = \lim_{t \to 0} \frac{\mathcal{T}_t(a) - a}{t},

上式的极限在超弱拓扑意义上理解。

一致连续量子马尔可夫半群的生成元的典范形式
若量子马尔可夫半群 \mathcal{T} 还具有一致连续性质（使得 \lim_{t \rightarrow 0^+} \left\| \mathcal{T}_t - \mathcal{T}_0 \right\| = 0 ）， 于是有

• 无穷小生成元 \mathcal{L} 将是冯诺依曼代数 \mathcal{A} 上的一个有界算子，且其定义域为整个 \mathcal{A}
• 对于任意 a \in \mathcal{A} ，映射 t \mapsto \mathcal{T}_t a 将自动成为连续的

在这样的假设下，无穷小生成元 \mathcal{L} 具有下列典范形式

: \mathcal{L} \left( a \right) = i \left[ H, a \right] + \sum_{j} \left( V_j^\dagger a V_j - \frac{1}{2} \left\{ V_j^\dagger V_j, a \right\} \right),

其中： a \in \mathcal{A} , V_j \in \mathcal{B} (\mathcal{H}) , \sum_{j} V_j^\dagger V_j \in \mathcal{B} (\mathcal{H}) ； H \in \mathcal{B} (\mathcal{H}) 是自伴的； \left[ \cdot, \cdot \right] 表示对易子，而 \left\{ \cdot, \cdot \right\} 是反对易子。

近期发布作品精选
*
*
*
*
*
*

参见
*
*
*
*
*
*
*
*

参考资料