[論文レビュー] Reachability Probabilities of Quantum Markov Chains

Shenggang Ying, Yuan Feng+2 more|arXiv (Cornell University)|Mar 30, 2013

Bayesian Modeling and Causal Inference被引用数 11

ひとこと要約

本稿では、量子マルコフ連鎖（qMCs）におけるボトム強連結成分（BSCCs）の概念を導入し、到達可能性、繰り返し到達可能性、および持続確率の計算のための古典的アルゴリズムを開発する。スーパーオペレータ表現と行列代数を活用することで、持続確率の計算にO(n⁸)時間のアルゴリズムを提供し、安全かつライブネス性を含む長期間の量子システム行動の検証を可能にする。

ABSTRACT

This paper studies three kinds of long-term behaviours, namely reachability, repeated reachability and persistence, of quantum Markov chains (qMCs). As a stepping-stone, we introduce the notion of bottom strongly connected component (BSCC) of a qMC and develop an algorithm for finding BSCC decompositions of the state space of a qMC. As the major contribution, several (classical) algorithms for computing the reachability, repeated reachability and persistence probabilities of a qMC are presented, and their complexities are analysed.

研究の動機と目的

• 量子マルコフ連鎖（qMCs）における定量的到達可能性解析の欠如に応えること。これまでは定性的な到達可能性のみがサポートされていた。
• 長期間の挙動を分析するための主要な構造的抽象化たる、量子マルコフ連鎖におけるボトム強連結成分（BSCCs）の定式化。
• 量子マルコフ連鎖における到達可能性、繰り返し到達可能性、および持続確率の計算のための効率的な古典的アルゴリズムの開発。
• 量子システムおよび量子プログラムにおける安全かつライブネス性の性質の検証のための理論的基盤の確立。

提案手法

• ヒルベルト部分空間上に作用するスーパーオペレータの不動点特性を用いて、qMCsにおけるBSCCの概念を導入する。
• スーパーオペレータの不動点を分析することにより、与えられた部分空間がBSCCであるかどうかを判定するアルゴリズムを開発する。
• ヒルベルト空間を一時的部分空間と不変なBSCC成分に分解することで、状態空間のBSCC分解を構築する。
• スーパーオペレータの行列表現と行列演算アルゴリズム（例：CLRSからのもの）を用いて、BSCC分解および不変部分空間を計算する。
• 特定の不変部分空間（X(G)およびY(G)）への射影を用いて、到達可能性、繰り返し到達可能性、および持続確率を定義する。
• アルゴリズム3を用いて、漸近的状態をE∞(G⊥)の直交補空間への射影のトレースとして持続確率を計算し、O(n⁸)の時間計算量を達成する。

実験結果

リサーチクエスチョン

• RQ1 量子状態空間の非一意性および非古典的構造を考慮すると、量子マルコフ連鎖におけるボトム強連結成分（BSCCs）を形式的に定義・計算する方法は何か？
• RQ2 qMCsにおける到達可能性、繰り返し到達可能性、および持続確率を決定する計算複雑度は何か？
• RQ3 古典的グラフアルゴリズムによるBSCC検出は、量子設定ではなぜ失敗するのか。新たな数学的道具は何か必要となるか？
• RQ4 スーパーオペレータの不動点によって定義される不変部分空間を用いて、qMCsの漸近的挙動を特徴づけることは可能か？

主な発見

• qMCのBSCC分解は一意的ではないが、その成分の次元は異なる分解に対しても不変である。
• スーパーオペレータ表現の行列代数を用いてBSCC分解を計算するアルゴリズムを開発し、O(n⁸)の時間計算量を達成した。
• 持続確率Pr(ρ ⊨ pers(G))は、tr(P_Y∞ ρ∞)として計算され、ここでP_Y∞はE∞(G⊥)の直交補空間への射影である。この計算はO(n⁸)時間で実行可能である。
• 繰り返し到達可能性確率はPr(ρ ⊨ rep(G)) = 1 − Pr(ρ ⊨ pers(G⊥))を満たし、同じアルゴリズムを用いて効率的に計算可能である。
• 部分空間X(G)およびY(G)はスーパーオペレータに関して不変であり、確率列の収束性および極限のwell-defined性を保証する。
• 本フレームワークにより、量子システムおよび並行量子プログラムにおける安全（持続性）およびライブネス（到達可能性）性の検証が可能になる。