[論文レビュー] 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極限は常に存在し、それは量子操作の単位固有値の固有空間への初期状態の直交射影に等しい。
• 単位固有値が単位円上に唯一の固有値である場合には、量子マルコフ連鎖は同じ直交射影へ通常の意味で収束する。
• 極限状態は初期状態の具体的な形に依存せず、単にその単位固有空間への射影にのみ依存する。
• 本結果は、有限グラフ上のユニタリ量子ウォークの極限分布について、作用素論的アプローチによる新たな導出を提供する。
• 量子操作のスペクトル的構造が、システムの長期的挙動を完全に決定する。