[論文レビュー] The Parallel-Repeated Magic Square Game is Rigid

Matthew Coudron, Anand Natarajan|arXiv (Cornell University)|Sep 20, 2016

Quantum Mechanics and Applications参考文献 11被引用数 23

ひとこと要約

この論文は、マジック・スクエア・ゲームのnラウンド並列繰り返しの剛性を確立し、任意の量子戦略が確率1−εで成功する場合、その戦略は局所等長写像のもとで2n EPR対とO(poly(nε))-近傍になければならないことを証明している。また、プレイヤーの測定も、理想のパウリ演算子と同様に近いものでなければならない。この結果は、先行の並列自己テストに比べて誤差依存性において指数的改善を達成し、すべてのn-qubitパウリ測定をロバストに認証する。

ABSTRACT

We show that the $n$-round parallel repetition of the Magic Square game of Mermin and Peres is rigid, in the sense that for any entangled strategy succeeding with probability $1 -\varepsilon$, the players' shared state is $O(\mathrm{poly}(n\varepsilon))$-close to $2n$ EPR pairs under a local isometry. Furthermore, we show that, under local isometry, the players' measurements in said entangled strategy must be $O(\mathrm{poly}(n\varepsilon))$ close to the "ideal" strategy when acting on the shared state.

研究の動機と目的

• マジック・スクエア・ゲームのnラウンド並列繰り返しを用いて、2n EPR対のロバストな自己テストを確立すること。
• 従来の並列自己テストには、誤差依存性が悪かったり、測定構造を完全に認証できなかったりするという限界を克服すること。
• 状態とすべてのn-qubitパウリ測定演算子を同時にロバストに認証する、完全に並列なテストを提供すること。
• 量子複雑性理論やデバイス・インDEPENDENTプロトコルの応用を可能にするために、強い誤差スケーリングと完全な測定認証を備えたテストを提供すること。

提案手法

• Wuら（2016）による単一ラウンドマジック・スクエア・ゲームの既知の剛性を、基礎的構成要素として活用する。
• 異なるラウンドからの演算子間の近似的可換性を保証するために、並列繰り返しゲーム全体にわたるグローバルな整合性チェックを導入する。
• ラウンド間の測定結果の整合性関係を用いて、結合状態および測定演算子の境界を導出する。
• ノルム不等式を用いて、プレイヤーの状態を2n EPR対に近い目標状態に写像する等長写像を適用し、近さを定量的に評価する。
• 2-ノルム距離ではなく期待値に基づく保証を用いることで、性質テストに対してより自然な枠組みを提供する。
• nとεにおける多項式的依存性を制御することで、誤差の蓄積を制御し、単一ラウンドの解析を全並列繰り返しに拡張する。

実験結果

リサーチクエスチョン

• RQ1 マジック・スクエア・ゲームのnラウンド並列繰り返しは、2n EPR対のロバストな自己テストとして使用可能か？
• RQ2 並列繰り返しゲームは、戦略におけるすべてのn-qubitパウリ測定演算子をロバストに認証するか？
• RQ3 誤差依存性を指数的スケーリングを超えて改善しつつ、完全な測定認証を維持できるか？
• RQ4 多項式的誤差依存性と完全な状態・測定認証を備えた、完全に並列なテストを達成できるか？
• RQ5 並列ゲームにおけるグローバルな整合性構造を活用して、異なるラウンドからの演算子間の近似的可換性を強制できるか？

主な発見

• 確率1−εでnラウンド並列マジック・スクエア・ゲームに勝利する任意のエンタングルド戦略は、局所等長写像のもとで2n EPR対とO(poly(nε))-近傍になければならない。
• 同じ等長写像のもとで、プレイヤーの測定演算子は理想のパウリ演算子とO(poly(nε))-近傍になければならない。これにより、完全な測定認証が保証される。
• 誤差依存性はnεの多項式的関数で表され、従来の完全に並列な自己テスト（指数的誤差依存性）に比べて指数的改善が達成される。
• この結果は、状態とすべてのn-qubitパウリ測定演算子を同時に認証するロバストで完全に並列なテストを提供する。
• 単一ラウンドの剛性への拡張を可能にするために、ゲーム構造に内在するグローバルな整合性チェックを用いて、ラウンド間の近似的可換性を強制する。
• 保証はパウリ演算子の期待値に基づいており、2-ノルム状態距離よりも性質テストに対してより自然な枠組みを提供する。