[論文レビュー] The Impossibility of Pseudo-Telepathy Without Quantum Entanglement

Viktor Galliard, Stefan Wolf+1 more|ArXiv.org|Nov 4, 2002

Quantum Computing Algorithms and Architecture参考文献 3被引用数 17

ひとこと要約

この論文は、16ビットの文字列が等しいか、ちょうど8つの位置で異なる場合にのみアリスとボブが等しい4ビットの文字列を出力しなければならないという、最初に提起された2人用擬似透視力ゲームが、無制限の古典的通信を許容しても、古典的共有ランダムネスのみを用いては、常に成功することができないことを証明している。主な結果は、このゲームで決定論的な成功を達成するには、量子もつれが本質的に必要であるということであり、n=4のこの特定の例では、量子もつれなしに擬似透視力は不可能であることを確立している。

ABSTRACT

Imagine that Alice and Bob, unable to communicate, are both given a 16-bit string such that the strings are either equal, or they differ in exactly 8 positions. Both parties are then supposed to output a 4-bit string in such a way that these short strings are equal if and only if the original longer strings given to them were equal as well. It is known that this task can be fulfilled without failure and without communication if Alice and Bob share 4 maximally entangled quantum bits. We show that, on the other hand, they CANNOT win the same game with certainty if they only share classical bits, even if it is an unlimited number. This means that for fulfilling this particular distributed task, quantum entanglement can completely replace communication. This phenomenon has been called pseudo-telepathy. The results of this paper complete the analysis of the first proposed game of this type between two players.

研究の動機と目的

• n=4の最初に提起されたゲームについて、古典的不可能性を証明することで、擬似透視力の理論的基盤における空白を埋めること。
• 2002年以降未解決のままであった、n=4のとき古典的戦略で確実に勝てないという予想を解消すること。
• 漸近的不可能性ではなく、明示的かつ非漸近的な証明により、このゲームで決定論的成功を達成するには量子もつれが不可欠であることを示すこと。
• 16を超える色数を持つ特定のグラフG_16の彩色数が16を超えることを示すこと、これは古典的失敗を証明することに等しい。

提案手法

• 著者たちは、擬似透視力ゲームをグラフ彩色問題に変換し、頂点は16ビットの文字列を表し、ハミング距離がちょうど8の文字列間に辺を張る。
• ゲームが古典的に達成可能であるための必要十分条件として、グラフG_16の彩色数χ(G_16)が16以下であること、すなわちχ(G_16) ≤ 16であることを証明する。
• 任意の独立集合の最大サイズMに対する上界を用いて、χ(G_16)の下界を導出する。その不等式はχ(G) ≥ |V(G)| / Mである。
• 極値集合論の組合せ的境界、特にErdős–Ko–Rado定理を用いて、ハミング距離6, 8, 10, 12の独立集合を分析する。
• ハミング距離10および12の頂点ペアを含む独立集合について、グリーディなクリーク分解法を用いて最大独立集合サイズの上限を求める。
• 異なる頂点タイプについて独立集合サイズの明示的境界を計算し、いかなる独立集合も4020を超えることはない、したがってχ(G_16) > 16であることを示す。

実験結果

リサーチクエスチョン

• RQ1 n=4のとき、古典的共有ランダムネスのみを用いて、最初に提起された2人用擬似透視力ゲームを確実に勝つことは可能か？
• RQ2 古典的戦略が失敗する、明示的かつ非漸近的なnの値が存在するか？ これは、従来の漸近的結果が残した空白を解消する。
• RQ3 頂点が16ビットの文字列であり、ハミング距離がちょうど8の文字列間に辺が張られるグラフG_16の彩色数は何か？
• RQ4 n=4のとき、このゲームは古典的に確実に勝てないという予想を、厳密に証明できるか？
• RQ5 このゲームで決定論的成功を達成するには、量子もつれが本質的に必要であるのか、それとも十分な共有ランダムネスがあれば古典的戦略が存在するのか？

主な発見

• グラフG_16の彩色数χ(G_16)は16を超えており、具体的にはχ(G_16) > 16である。これは、ゲームに対して古典的彩色戦略が存在しないことを証明する。
• G_16におけるいかなる独立集合も、4020を超えることはない。これは|V(G_16)| / 16 = 4096より小さいため、古典的可解性の必要条件を満たさない。
• G_16における独立集合の最大サイズは4020で抑えられ、これは16色で古典的解法を達成するのに必要な4096より厳密に小さい。
• この証明により、n=4のとき、古典的共有ランダムネスのみを用いた確実な勝利は不可能であることが示され、このnが最小であるという予想が裏付けられた。
• 量子もつれは単に有利ではなく、この擬似透視力ゲームで決定論的成功を達成するには本質的に不可欠である。古典的戦略では確実性を達成できない。