[論文レビュー] Parallel DIQKD from parallel repetition

Thomas Vidick|arXiv (Cornell University)|Mar 24, 2017

Quantum Computing Algorithms and Architecture参考文献 6被引用数 11

ひとこと要約

本稿では、並列反復と免疫化技術を用いて、並列設定におけるデバイス独立型量子鍵配送（DIQKD）の簡略化された証明を提示する。エンタングルドゲームの並列反復とマジック・スクエア・ゲームの性質を組み合わせることで、ノイズおよびデバイスの不完全性下でも、生鍵の条件付き最小エントロピーに下界を確立し、正の鍵レートを保証する。

ABSTRACT

We give an arguably simpler and more direct proof of a recent result by Miller, Jain and Shi, who proved device-independent security of a protocol for quantum key distribution in which the devices can be used in parallel. Our proof combines existing results on immunization (Kempe et al., SICOMP 2011) and parallel repetition (Bavarian et al., STOC 2017) of entangled games.

研究の動機と目的

• 既存の結果を用いて、並列デバイス独立型量子鍵配送（DIQKD）のより直接的かつ初等的な証明を提供すること。
• マジック・スクエア・ゲームに基づく並列DIQKDプロトコルのセキュリティおよびエントロピー生成を分析すること。
• アリスの生鍵の量子的条件付き最小エントロピーに定量的境界を確立し、正の鍵レートを保証すること。
• エンタングルドゲームのしきい値定理を活用して、ノイズのあるデバイスおよび盗聴者に対してロバストであることを示すこと。
• 元の証明 [JMS17] とは別視点を提供し、セキュリティ保証を維持したまま分析を簡略化すること。

提案手法

• エントロピー生成の証明としてマジック・スクエア・ゲーム（MS）を用い、その性質である「勝利戦略が共有ビット $ f_{xy}(a) = g_{xy}(b) $ を生成すること」を活用する。
• KKM+11 で提案された免疫化技術を応用し、エンタングルドしたプレイヤーですら確率1で勝利できない $\eta$-推測ゲーム $G_\eta$ を構築する。
• 審査官が少なくとも割合 $t$ のラウンドが勝利条件を満たす場合にのみ受容する、しきい値ベースの並列反復ゲーム $G^{(n,t)}$ を導入する。
• アンカーディング・エンタングルドゲームのしきい値定理（補題4）を用い、$t < \omega^*(G_\eta)$ のとき、エンタングルド値 $\tau^{*}_{n,t}(G)$ が $n$ に対して指数的に小さくなることを示す。
• 推測確率と条件付き最小エントロピーとの関係を用いて、$H_\infty^{\varepsilon_s}(K_A|E)$ の下界を導出する。
• 集中不等式を用いて、テストラウンドの性能が悪いことによる中止確率を制御し、誠実なデバイスに対して高い受容確率を保証する。

実験結果

リサーチクエスチョン

• RQ1 並列反復および免疫化に関する既存の結果のみを用いて、並列DIQKDのセキュリティを証明できるか？
• RQ2 ノイズ下で、並列DIQKDプロトコルにおける生鍵の最小条件付きエントロピーは、最小でどの程度保証できるか？
• RQ3 デバイスがノイズを含むか、攻撃的である場合でも、プロトコルはどのようにしてセキュリティを維持するか？
• RQ4 マジック・スクエア・ゲームの構造とエンタングルドゲームの反復のみを用いて、鍵レートを定量的に境界づけられるか？
• RQ5 パrameter（例：$\eta$, $\gamma$, $\varepsilon$）の選択が、最終的な鍵レートおよびプロトコルのロバスト性に与える影響は何か？

主な発見

• 生鍵の条件付き最小エントロピーに下界が得られる：$ H_{\infty}^{\varepsilon_s}(K_A|E) \geq \Omega((C^{*}_{\text{MS}} - 2\varepsilon)^9 n) - \log p_a^{-1} - O(\gamma n) $、ここで $ C^{*}_{\text{MS}} = 1 - \omega^{(\text{MS}_{1/8})} > 0 $。
• 並列反復ゲームのエンタングルド値 $ \tau^{*}_{n,t}(G) $ は、$ \exp(-\Omega((t - (1 - C^{*}_{\text{MS}}))^9 n)) $ のように指数的に減少し、エンタングルド攻撃者に対しても強いセキュリティを保証する。
• ノイズ付き設定 $ \varepsilon/2 $ を用いる誠実なデバイスは、確率 $ 1 - \exp(-\Omega(\varepsilon^2 \gamma n)) $ で受容され、ノイズに対してロバストであることを示す。
• テストラウンドの性能が悪いことによるプロトコルの失敗確率は、$ \exp(-\Omega(\varepsilon^2 \gamma n)) $ で抑えられ、$n$ に対して指数的に小さくなる。
• 新規技術を用いず、免疫化と並列反復に関する既存の結果を組み合わせることで、[JMS17] よりも簡潔で直接的な証明が得られる。
• 上記の条件下で、エントロピー項が $ O(\gamma n) $ の漏洩項を上回るため、鍵レートは正である。