[论文解读] A theorem on the limiting distributions of quantum Markov chains

Chaobin Liu, Nelson Petulante|arXiv (Cornell University)|Oct 5, 2010

Quantum Computing Algorithms and Architecture被引用 1

一句话总结

本文通过分析在重复应用双随机量子操作下量子系统的长期演化，建立了量子马尔可夫链中极限分布的存在性与结构。证明了Cesàro极限始终存在，且等于单位特征值对应特征空间上的正交投影；若单位特征值是单位圆上唯一的谱值，则收敛在经典意义下成立。

ABSTRACT

In a quantum Markov chain, the temporal succession of states is modeled by the repeated action of a quantum operation on the density matrix of a quantum system. Based on this conceptual framework, we derive some new results concerning the evolution of a quantum system, including its long-term behavior. Among our findings is the fact that the Ces$\grave{a}$ro limit of any quantum Markov chain always exists and equals the orthogonal projection of the initial state upon the eigenspace of the unit eigenvalue of the bistochastic quantum operation. Moreover, if the unit eigenvalue is the only eigenvalue on the unit circle, then the quantum Markov chain converges in the conventional sense to the said orthogonal projection. As a corollary, we offer a new derivation of the classic result describing limiting distributions of unitary quantum walks on finite graphs \cite{AAKV01}.

研究动机与目标

• 分析由重复量子操作控制的量子马尔可夫链的长期行为。
• 建立此类系统中极限分布的存在性与表征。
• 为有限图上酉量子行走的极限分布提供一种新推导。
• 阐明量子马尔可夫链在经典意义下收敛的条件。

提出的方法

• 分析密度矩阵上双随机量子操作的谱性质。
• 应用Cesàro平均以研究量子态的长期平均演化。
• 利用与单位特征值相关的特征空间上的正交投影来表征极限态。
• 基于单位圆上特征值的位置建立收敛条件。
• 利用算子理论与线性代数推导量子操作的结构性结果。
• 通过谱分析为酉量子行走的极限分布提供新证明。

实验结果

研究问题

• RQ1 量子马尔可夫链的Cesàro极限是否始终存在？
• RQ2 量子马尔可夫链中极限分布的精确形式是什么？
• RQ3 在何种谱条件下，量子马尔可夫链在经典意义下收敛？
• RQ4 如何利用该框架重新推导经典关于有限图上酉量子行走极限分布的结果？

主要发现

• 任何量子马尔可夫链的Cesàro极限始终存在，且等于初始态在量子操作的单位特征值特征空间上的正交投影。
• 若单位特征值是单位圆上唯一的特征值，则量子马尔可夫链以经典意义收敛于同一正交投影。
• 极限态与初始态的具体形式无关，仅取决于其在单位特征值空间上的投影。
• 该结果为有限图上酉量子行走的极限分布提供了基于算子理论的新推导。
• 量子操作的谱结构完全决定了系统的长期行为。