Secure One-Sided Device-Independent Quantum Key Distribution Under Collective Attacks with Enhanced Robustness

技術要約：集団攻撃下における堅牢性を高めた、安全な片側デバイス独立量子鍵配送（1sDI-QKD）

問題提起
量子鍵配送（QKD）の安全性は、従来、すべてのデバイスを信頼するデバイス依存（DD）の仮定、あるいはベル不等式の破れのみによって安全性が保証されるデバイス独立（DI）の仮定のいずれかに依存してきました。DI-QKDは最高の安全性を提供しますが、その実験的実装には、高い検出効率（多くの場合92%以上）やループホールフリーのベルテストといった厳しい要件が障壁となります。一方、DD-QKDは実験的には実現可能ですが、デバイスが未特性化である場合、サイドチャネル攻撃に対して脆弱です。片側デバイス独立QKD（1sDI-QKD）は、片方の測定デバイス（通常はボブ）のみを信頼すると仮定することで、量子ステアリングを利用して安全性を証明する、その中間的な選択肢を提供します。しかし、既存の1sDIプロトコルの多くは、観測されたステアリングの破れと盗聴者の情報との間を直接結びつける閉形式の漸近的鍵生成率の式を持たないか、あるいは明示的なステアリング不等式ではなく、量子ビット誤り率（QBER）のみに依存する境界値に依存しています。本論文は、3設定のCavalcanti–Jones–Wiseman–Reid（CJWR）ステアリング不等式を用いて、集団攻撃下における1sDI-QKDの解析的な閉形式の鍵生成率を導出するという課題に対処します。

手法
著者らは、アリス（信頼できない）とボブ（信頼できる）が最大もつれベル状態を共有する、もつれベースの1sDI-QKDプロトコルを提案しています。このプロトコルは、各当事者が3つのバイナリ・パウリ測定を行うことを採用しています。鍵ビットは、両者が$\sigma_z$基底で測定したラウンドから抽出され、他のラウンドはCJWRステアリングパラメータ$F_3$を推定するために使用されます。

安全性解析は、盗聴者（イブ）が各ラウンドに対して同一かつ独立した操作を行う最適な集団攻撃に対して行われます。導出は以下の4段階の削減戦略に従います：

1. 次元削減： CJWR不等式の対称性を利用し、基礎となるヒルベルト空間が高次元であっても、イブによる最適な攻撃を2量子ビット部分空間に限定できることを証明します。
2. 状態削減： 解析はさらにベル対角状態へと簡略化されます。著者らは、いかなる2量子ビット状態も、CJWR関数の値を変化させることなくベル対角形式へと対称化できることを示し、これによりイブがアクセス可能な情報の計算を簡素化します。
3. ホレボ境界の計算： ベル対角状態に対するイブのアクセス可能な情報（ホレボ量$\chi$によって定量化される）の上界を導出します。エントロピー不等式を利用することで、この上界を観測されたCJ有两个CJWRの破れ$F_3$に直接関連付けます。
4. 鍵生成率の導出： アリスとボブの相互情報量（QBERから導出）とイブの情報の上界を組み合わせ、デベタック・ウィンターの公式を適用して、漸近的秘密鍵生成率の閉形式の下限を得ます。

主な貢献

• 閉形式の鍵生成率： 本論文は、1sDI-QKDにおける漸近的鍵生成率の明示的な解析的表現を導出しました：
  $$r_{1sDI} \geq 1 - h(Q) - h\left(\frac{1 + \sqrt{(F_3^2 - 1)/2}}{2}\right)$$
  ここで、$Q$はQBER、$F_3$は観測されたCJWRステアリングパラメータ、そして$h(x)$は二値エントロピー関数です。これは、DI-QKDがベルの破れとレートを結びつけるのと同様に、鍵生成率をステアリングの破れに直接結びつけています。
• ノイズ耐性分析： プロトコルは、デポラリゼーション・ノイズの下でベンチマークされています。著者らは、本プロトコルが**8.62%**の臨界QBER（$Q_c$）を許容することを示しています。これは標準的なDI-QKDプロトコル（CHSHベースのスキームでは通常約7.1%）よりも大幅に高く、DDスキームの堅牢性（約11%）に近づきつつ、DDよりも弱い信頼仮定を維持しています。
• 検出効率の閾値： 本研究では、信頼できない側（アリス）における検出不全をヌル結果としてモデル化しています。
  • ポストセレクション（事後選択）を行わない場合、理想的な可視性の下で、検出効率が**82.7%**という低さでも安全な鍵生成が可能です。
  • ポストセレクションを行う場合、閾値は**74.5%**まで低下します。
    これらの閾値はDI-QKDで要求されるもの（しばしば92%超）よりも著しく低く、損失の多い環境における1sDI設定の実用的な利点を強調しています。

結果

• 堅牢性： 本プロトコルは、既存のDI-QKDプロトコルと比較して優れたノイズ耐性を示します。3設定のベル不等式に基づくDI-QKDは最大7.5%のQBERを、非対称ベル不等式は8.34%のQBERを許容しますが、提案されたCJWRベースの1sDIプロトコルは8.62%を達成します。
• 効率性： 解析により、検出効率が74.5%（ポストセレクションあり）という低さでも安全な鍵生成が可能であることが明らかになりました。これは、DI-QKDの典型的な要件である92%%超を大きく下回っています。
• 比較： 本論文は、他の1sDIプロトコル（Branciardら、Tomamichelら、Pramanikらなど）と比較を行っています。QBERを通じて、あるいは明示的なステアリング依存性なしにエントロピー不確定関係を用いてイブの情報量を制限する、あるいは半正定値計画法による数値的な境界のみを提供する先行研究とは異なり、本研究は$(Q, F_3)$のペアに依存する、モデルに依存しない閉形式の解析的境界を提供します。

意義および主張
著者らは、本研究が1sDI-QKDの実験的実現可能性に向けた重要な一歩であると主張しています。ステアリング不等式の破れに明示的に依存する閉形式の鍵生成率を確立することで、プロトコルはセキュリティ認証を簡素化し、実用的な関連性を高めています。これらの知見は、1sDI-QKDを、DD-QKDの実験的実現可能性とDI-QKDの最小限の信頼仮定の間のバランスを取った、堅牢なステアリングベースの代替手段として位置づけています。著者らは、現在の解析は集団攻撃に対する漸近的安全性に限定されているものの、導出された単一ラウンドの境界は、一般的なコヒーレント攻撃に対する合成可能（composable）な安全性への将来的な拡張のための基礎的な構成要素として機能すると述べています。本論文は、これらの結果が、特に不完全な検出やノイズの多いチャネルを伴うシナリオにおいて、近い将来の実験的実装に関連する洞察を提供すると結論付けています。