[論文レビュー] The Computational Power of the W and GHZ states

Ellie D’Hondt, Prakash Panangaden|ArXiv.org|Dec 22, 2004

Quantum Computing Algorithms and Architecture参考文献 13被引用数 8

ひとこと要約

この論文は、匿名な量子ネットワークにおいて正確なリーダー選出を可能にする唯一の純粋なエンタングル状態がW状態であることを示しており、同様に、古典的後処理なしに正確な分散コンセンサスを可能にするのはGHZ状態であることを示している。対称性に基づく不可能性証明を用いて、著者たちは、これらの状態が量子環境下での基本的な分散計算問題を解くために、唯一特権的な能力を発揮することを示しており、協調タスクにおける量子リソース要件の基礎的限界を確立している。

ABSTRACT

It is well understood that the use of quantum entanglement significantly enhances the computational power of systems. Much of the attention has focused on Bell states and their multipartite generalizations. However, in the multipartite case it is known that there are several inequivalent classes of states, such as those represented by the W-state and the GHZ-state. Our main contribution is a demonstration of the special computational power of these states in the context of paradigmatic problems from classical distributed computing. Concretely, we show that the W-state is the only pure state that can be used to exactly solve the problem of leader election in anonymous quantum networks. Similarly we show that the GHZ-state is the only one that can be used to solve the problem of distributed consensus when no classical post-processing is considered. These results generalize to a family of W- and GHZ-like states. At the heart of the proofs of these impossibility results lie symmetry arguments.

研究の動機と目的

• WやGHZのような多粒子もつれ状態の計算的パワーが、分散量子計算において果たす役割を調査すること。
• 匿名な量子ネットワークにおける基本的問題、たとえばリーダー選出や分散コンセンサスを解くために、特定のもつれ状態が必須であるかどうかを特定すること。
• 対称性の議論を用いた不可能性結果を確立し、これらの問題を正確に解けるのは、W状態やGHZ状態（またはそれらのユニタリ変換）に限られることを示すこと。
• 古典的通信や確率的手法を超えて、量子もつれが自律的エージェント間の協調を可能にする役割を明確にすること。

提案手法

• 著者たちは、k対称配置に基づく対称性の議論を用いて、匿名ネットワークにおける量子プロトコルの振る舞いを分析している。
• 全正しさ（total correctness）を定義し、すべての対称的実行経路において、停止性と合意達成の両方が必要とされる。
• 証明は、すべてのnプロセッサが測定後に同一の知識を得ることを保証できるのは、特定のn対称初期状態、すなわちGHZ状態またはそのユニタリ変換に限られることを示す。
• リーダー選出のためのプロトコルでは、各プロセッサが計算基底で自分のキュービットを測定する。W状態により、すべてのキュービットのうち、正確に一つの|1⟩の結果が得られる。
• 分散コンセンサスのためのプロトコルでは、GHZ状態を測定し、状態の対称性により、すべてのプロセッサが同一の結果（|0⟩または|1⟩）を得る。
• 各プロセッサが複数のキュービットを保持する場合にも一般化され、全正しさを満たすのは、∑ᵢ αᵢ |φᵢ⟩⊗ⁿ の形をとる状態に限られることを示している。

実験結果

リサーチクエスチョン

• RQ1 W状態は、匿名な量子ネットワークにおける正確なリーダー選出を可能にする唯一の純粋な量子状態であるか？
• RQ2 古典的後処理なしに、量子環境下で分散コンセンサスを正確に解くことは可能か？ もしそうなら、必要なもつれ状態は何か？
• RQ3 分散量子システムにおける協調問題を解くために使用可能なもつれ状態の種類に、根本的な制限はあるか？
• RQ4 対称性は、分散量子プロトコルの実現可能性を決定づける役割を果たすか？
• RQ5 W状態やGHZ状態以外のもつれ状態でも、同様の協調性を分散量子アルゴリズムで実現できるか？

主な発見

• W状態は、匿名な量子ネットワークにおける正確なリーダー選出を可能にする唯一の純粋なもつれ状態である。他の状態では、一意なリーダー選出を妨げる対称的配置が生じるためである。
• GHZ状態は、古典的後処理なしに正確な分散コンセンサスを可能にする唯一の純粋なもつれ状態であり、最大のn対称性と均一な測定結果のおかげである。
• 非n対称初期状態を用いたプロトコルは、部分的正しさや非停止性を引き起こし、すべてのプロセッサ間での合意を保証できなくなる。
• プロセッサが複数のキュービットを保持するシステムでは、全正しさを満たすのは、∑ᵢ αᵢ |φᵢ⟩⊗ⁿ の形をとる状態に限られる。
• 結果は、非同期ネットワークや任意の通信グラフを含む、さまざまなネットワークモデルにおいても堅牢である。
• これらの発見により、W状態とGHZ状態が、反応型量子計算タスクにおいて一意に強力であることが示され、いかなる古典的シミュレーションでもそれらの協調行動を再現できないことが明らかになった。