[論文レビュー] Optimal robust quantum self-testing by binary nonlocal XOR games

Carl A. Miller, Yaoyun Shi|arXiv (Cornell University)|Jul 7, 2012

Quantum Computing Algorithms and Architecture被引用数 27

ひとこと要約

本稿は、2値非局所XORゲームが最適なロバスト量子自己テストを可能にする簡単な基準を確立する。第二順位の誤差項（O(√ε)）を伴う。CHSHゲームとAcínらが提唱した乱数生成ゲームの族が、最適にロバストな自己テストであることを証明する。これにより、実験的誤差に耐性を持ちながらも、セキュリティと乱 randomness の保証を維持するデバイスインdependent量子プロトコルが可能になる。

ABSTRACT

Self-testing a quantum device means verifying the existence of a certain quantum state as well as the effect of the associated measurements based only on the statistics of the measurement outcomes. Robust, i.e., error-tolerant, self-testing quantum devices are critical building blocks for quantum cryptographic protocols that rely on imperfect or untrusted quantum devices. We give a criterion which determines whether a given binary XOR game is robust self-testing with the asymptotically optimal error parameter. As an application, we prove that the celebrated CHSH game is an optimally robust self-test. We also prove the same for a family of tests recently proposed by Acin et al. (PRL 108:100402, 2012) for random number generation, thus extending the benefit of the latter tests to allow imperfect or untrusted quantum devices.

研究の動機と目的

• 2値非局所XORゲームが最適な第二順位の誤差項（O(√ε)）を伴うロバストな自己テストを可能にする、一般的で検証可能な基準を確立すること。
• CHSHゲームが最適にロバストな自己テストであることを証明し、先行研究の誤差境界を改善すること。
• Acínらが最近提唱した量子乱数生成のための非局所ゲームの族に対し、最適なロバスト性を拡張すること。
• 多変数正弦関数とそのヘッセ行列に基づく統一的枠組みを提供し、量子非局所ゲームにおけるロバストな自己テストを分析すること。

提案手法

• 著者らは、2値XORゲームfと関連する多項式Pfを定義し、ゲームの得点関数から導出する。
• 最適な量子スコアを、多変数正弦関数Zf(θ1,…,θn)の最大値として表現する。これはWernerとWolfによる構成を一般化したものである。
• ロバストな自己テストは、Zfの局所的および大域的性質、特に最大値におけるヘッセ行列の非特異性を分析することで決定される。
• 基準は、Zfの最大値が対称性を除いて一意であること、およびその最大値におけるヘッセ行列が非特異であることである。
• 一般の量子戦略を、分解定理を用いてn-qubit戦略に還元することで、有限次元ヒルベルト空間の解析を可能にする。
• スコアのずれεを、量子状態と測定の目標配置との間のFidelityと関連づけることで、O(√ε)の誤差項が得られる。

実験結果

リサーチクエスチョン

• RQ1 2値XORゲームがO(√ε)誤差を伴い、最適なロバストな自己テストを可能にする、簡単で一般的な基準を定式化できるか？
• RQ2 CHSHゲームは最適にロバストな自己テストであり、最良の誤差スケーリングを達成するか？
• RQ3 Acínらが乱数生成のために提唱した非局所ゲームは、ロバストに自己テスト可能であり、実験的ノイズ下でもその利点を維持するか？
• RQ4 自己テストのロバスト性は、スコア関数の最大値におけるヘッセ行列から純粋に決定できるか？

主な発見

• CHSHゲームは提案された基準を満たす：その得点関数は対称性を除いて一意な最大値を持ち、この最大値におけるヘッセ行列は非特異である。これにより、最適な第二順位のロバストな自己テストであることが確認される。
• Acínらが乱数拡張のために導入したα > 1のゲーム族hαについても、同様に基準を満たすことが示され、最適にロバストな自己テストであることが証明される。
• ロバストネスの境界はO(√ε)であり、定数倍を除けば、これ以上にタイトな誤差スケーリングは不可能である。これにより、O(ε^{1/4})やO(ε^{1/2})の誤差項を持つ先行研究を改善する。
• Fidelityの境界‖(U₁⊗⋯⊗Uₙ)Φ − χ⊗Γ‖ ≤ K√εにおけるロバストネス係数Kは、関数Zfから明示的に決定可能であり、ゲームのパrameterの最適化が可能になる。
• 解析により、3プレイヤーGHZゲームも最適にロバストな自己テストであることが確認され、先行研究と整合的であるが、本稿の新しい基準を用いて初めて証明された。
• 本フレームワークは、スコア関数のヘッセ行列に関する解析的条件に還元することで、既存の自己テスト結果を統一的かつ一般化し、新たな最適自己テストの体系的発見を可能にする。