[論文レビュー] Robust self-testing quantum states and binary nonlocal XOR games

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

Cryptography and Data Security被引用数 2

ひとこと要約

この論文は、二値非局所XORゲームを用いて、量子状態および測定のロバストな自己テストの基準を確立し、CHSHゲームとアシンらが提唱した一連のテストが最適にロバストであることを示している。この手法により、信頼できないハードウェアを用いた安全な量子暗号における誤差耐性のある量子デバイスの検証が可能になる。

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.

研究の動機と目的

• 二値XORゲームにおける量子状態および測定のロバストな自己テストの基準を開発すること。
• 与えられた二値XORゲームが自己テストにおいて漸近的に最適な誤差パラメータを達成できるかどうかを特定すること。
• CHSHゲームが量子状態および測定の最適にロバストな自己テストであることを証明すること。
• アシンらの乱数生成テストのロバスト性を、不完全または信頼できないデバイスに対しても拡張すること。

提案手法

• 著者らは、二値XORゲームが自己テストにおいて漸近的に最適な誤差パラメータを達成できるかどうかを評価する一般基準を導出する。
• この基準をCHSHゲームに適用し、自己テストの忠実度において最適なロバスト性を達成することを示す。
• この手法は、量子戦略が生成する非局所的相関を分析し、それらを基礎となる量子状態および測定の忠実度に関連付ける。
• この基準は、アシンらが提唱した一連のテストに対しても適用され、デバイス独立プロトコルにおけるロバスト性の確認が行われる。
• 量子相関の構造的性質とノイズに対する耐性に着目し、ベル不等式の違反に対する境界を用いる。

実験結果

リサーチクエスチョン

• RQ1 二値XORゲームは、漸近的に最適な誤差パラメータを用いてロバストに自己テスト可能か？
• RQ2 CHSHゲームは、量子状態および測定の最適にロバストな自己テストか？
• RQ3 アシンらが提唱した乱数生成のテストは、デバイスの不完全性下でもロバスト性を保つのか？
• RQ4 ノイズが存在する状況でも自己テストが信頼性を保つために必要な最小限の誤差耐性は何か？

主な発見

• CHSHゲームが最適にロバストな自己テストであることが証明され、自己テスト忠実度における最良の誤差耐性を達成している。
• 提案された基準は、自己テストにおいて漸近的に最適な誤差パラメータを達成できる二値XORゲームを的確に同定できた。
• アシンらが提唱した乱数生成のテストのファミリーはロバストであることが示され、信頼できないまたは不完全なデバイスへの適用範囲が拡張された。
• この手法により、ノイズ下でもデバイス独立の量子状態および測定の検証が可能となり、量子暗号プロトコルにおける信頼性が保証される。