[論文レビュー] Universal security for randomness expansion from the spot-checking protocol

Carl A. Miller, Yaoyun Shi|arXiv (Cornell University)|Nov 24, 2014

Quantum Mechanics and Applications参考文献 28被引用数 7

ひとこと要約

本論文は、スポットチェック方式プロトコルを用いたランダムネス拡張における普遍的なセキュリティ条件を確立し、特定のしきい値を超えるベル不等式の違反が、量子セキュアなランダムネスを保証できることを証明する。新たに導入されたシュタットノルムと一様凸性に基づく不確実性原理により、CHSHゲームにおけるノイズ耐性が1.5%から10.3%に向上し、初めてコーエン＝スプライカー不等式に対してもセキュリティを拡張する。

ABSTRACT

Colbeck (Thesis, 2006) proposed using Bell inequality violations to generate certified random numbers. While full quantum-security proofs have been given, it remains a major open problem to identify the broadest class of Bell inequalities and lowest performance requirements to achieve such security. In this paper, working within the broad class of spot-checking protocols, we prove exactly which Bell inequality violations can be used to achieve full security. Our result greatly improves the known noise tolerance for secure randomness expansion: for the commonly used CHSH game, full security was only known with a noise tolerance of 1.5%, and we improve this to 10.3%. We also generalize our results beyond Bell inequalities and give the first security proof for randomness expansion based on Kochen-Specker inequalities. The central technical contribution of the paper is a new uncertainty principle for the Schatten norm, which is based on the uniform convexity inequality of Ball, Carlen, and Lieb (Inventiones mathematicae, 115:463-482, 1994).

研究の動機と目的

• ランダムネス拡張プロトコルにおける完全な量子セキュリティを保証する、ベル不等式の最も広いクラスと最小限の性能しきい値を同定すること。
• 特にCHSHゲームに対して、従来の1.5%という限界を超えて、既存プロトコルのノイズ耐性を向上させること。
• ベル不等式にとどまらず、コーエン＝スプライカー不等式のような他の非局所性テストに対してもセキュリティを拡張すること。
• 非局所ゲームからのデバイスインデペンデントランダムネスを分析するための、シュタットノルムと一様凸性に基づく新しい不確実性原理の構築。
• デバイス動作に関する最小限の仮定の下で、安全なランダムネス拡張を実現する一般枠組みの確立。

提案手法

• 固定されたベル不等式を繰り返し適用するスポットチェック方式プロトコルの枠組みを用い、シード使用量を最小限に抑えるための入力分布の非対称化を実施。
• ボール、カーレン、リーブの均一凸性不等式を基盤とし、シュタットpノルムに適合した新しい不確実性原理を適用。
• 量子攻撃者システムに対するデバイス出力のスムーズなミニエンタロピーを分析し、予測可能性を制限。
• セキュリティ境界のタイトさを検証し、導出条件の必要性を検証するため、明示的な反事後的デバイスを構築。
• リャプノフエントロピー技法と量子プローフのランダムネス抽出器を用いて、生出力から一様なランダム文字列に変換。
• 特定のゲームにおいて、超古典的スコアを達成するいかなるデバイスであっても、しきい値を超えると、内部設計にかかわらず、認証済みのランダムネスを生成する、という証明。

実験結果

リサーチクエスチョン

• RQ1 どのベル不等式の違反が、ランダムネス拡張における完全な量子セキュリティを保証するのに十分か？
• RQ2 完全な量子セキュリティのもとで、CHSHゲームの最大ノイズ耐性はどの程度達成可能か？
• RQ3 コーエン＝スプライカー不等式に基づくランダムネス拡張に対しても、セキュリティを証明できるか？
• RQ4 スポットチェック方式プロトコルにおいて、認証済みランダムネスを生成するためのデバイスの最小性能しきい値は何か？
• RQ5 非局所ゲームから得られるデバイスインデペンデントランダムネスを分析するための一般不確実性原理をどのように構築できるか？

主な発見

• 本論文は、ランダムネス拡張における普遍的条件を確立した：特定のしきい値を超えるベル不等式の違反は、すべての量子セキュリティを保証する。
• CHSHゲームにおいて、ノイズ耐性が1.5%から10.3%に向上し、実用的実装の可能性が著しく向上した。
• コーエン＝スプライカー不等式に基づくランダムネス拡張に対する初めてのセキュリティ証明が確立され、デバイスインデペンデントランダムネスの適用範囲が拡張された。
• シュタットノルムと一様凸性に基づく新しい不確実性原理が、結果の証明の核心的技術的ツールとなった。
• スケーリングされた入力分布を用いることで、最小限の初期シード入力で超線形のランダムネス拡張が可能となるフレームワークが構築された。
• 結果は頑健である：古典的限界を超えるように見えるデバイスであっても、情報漏洩があるとランダムネスを生成できない場合があり、このフレームワークはそのような状況を検出できる。