[論文レビュー] Computing secure key rates for quantum key distribution with untrusted devices

Ernest Y.-Z. Tan, René Schwonnek+3 more|arXiv (Cornell University)|Aug 29, 2019

Quantum Mechanics and Applications参考文献 48被引用数 10

ひとこと要約

本稿では、信頼できないデバイスを用いたデバイスインディペンデント量子鍵配送（DIQKD）プロトコルの漸近的秘密鍵レートに対する信頼性の高い下界を計算するための半定値計画（SDP）ベースのフレームワークを提示する。エントロピー生成とNPA階層を活用することで、任意のベル不等式および測定統計に対してタイトで計算可能な鍵レート推定が可能となり、複雑でノイズ耐性を持つDIQKDプロトコルのセキュリティ解析を顕著に進展させる。

ABSTRACT

Device-independent quantum key distribution (DIQKD) provides the strongest form of secure key exchange, using only the input-output statistics of the devices to achieve information-theoretic security. Although the basic security principles of DIQKD are now well-understood, it remains a technical challenge to derive reliable and robust security bounds for advanced DIQKD protocols that go beyond the previous results based on violations of the CHSH inequality. In this work, we present a framework based on semi-definite programming that gives reliable lower bounds on the asymptotic secret key rate of any QKD protocol using untrusted devices. In particular, our method can in principle be utilized to find achievable secret key rates for any DIQKD protocol, based on the full input-output probability distribution or any choice of Bell inequality. Our method also extends to other DI cryptographic tasks.

研究の動機と目的

• CHSHに基づく手法を超える高度なDIQKDプロトコルの信頼性の高いタイトなセキュリティ境界を導出する課題に対処すること。
• 従来の手法がキュービット系に限定されるか、最適でない最小エントロピー境界をもたらすという制限を克服すること。
• 完全な入出力統計を用いて、デバイスの詳細を一切知らずにフォン・ノイマンエントロピーを推定するための汎用的な計算ツールを開発すること。
• DI、1sDI、および完全にデバイスインディペンデントな状況への拡張を図り、量子暗号分野における広範な適用性を高めること。
• 最小限のデバイス仮定のもとで、秘密鍵レートをスケーラブルかつ数値的に取り扱える方法を提供すること。

提案手法

• 変分原理とジェンセンの作用素不等式を用いて、測定前の状態と測定後の状態間のエントロピー差を評価する。
• 測定演算子に関する非可換多項式最適化を定式化し、ラグランジュ乗数と補助演算子でパラメータ化する。
• 一般化されたゴールデン–トムソン不等式を用いてエントロピー生成を評価し、チャネルと制約に依存する演算子Kを含む下界を導出する。
• NPA階層を用いて⟨K⟩ρの期待値を評価し、行列表現が明示的に得られないDI設定でも数値計算が可能になる。
• SDPに段階的に制約を追加することで、DI、1sDI、DDの状況にフレームワークを適応させ、達成可能な鍵レートを向上させる。
• YALMIPとMOSEKを用いて実装され、高性能クラスタ上で計算が実行される。

実験結果

リサーチクエスチョン

• RQ1 入出力統計のみを用い、デバイスの詳細を一切知らずに、DIQKDプロトコルの漸近的秘密鍵レートに対してタイトで信頼性の高い下界を計算できるか？
• RQ2 既存のSDPベースのセキュリティ解析を、任意のベル不等式を許容する完全にデバイスインディペンデントな状況にどのように拡張できるか？
• RQ3 エントロピー生成は、信頼できないデバイスプロトコルにおける情報損失とセキュリティの定量化に果たす役割は何か？
• RQ4 この手法は、ランダムネス拡張などの他のデバイスインディペンデントな暗号的タスクに一般化可能か？
• RQ5 デバイスの特徴付けのレベル（DI、1sDI、DD）の違いが、実際の達成可能な鍵レートにどのように影響を与えるか？

主な発見

• 本フレームワークは、任意のDIQKDプロトコルに対して、完全な測定統計を用いて秘密鍵レートの下界を一般に計算可能かつ実行可能な方法を提供する。
• 従来の最小エントロピーに基づく手法と比較して、特に高次元またはCHSH以外の状況において顕著にタイトな鍵レート境界を達成する。
• NPA階層を用いることで、行列表現が明示的に得られないDI設定においても⟨K⟩ρの数値評価が可能になる。
• デバイスの特徴付けレベルがDIから1sDI、DDへと上昇するに従い、鍵レートの下界が向上し、より信頼できる仮定による利得が期待される。
• 本手法はQKDにとどまらず、ランダムネス拡張や自己テストなどの他のデバイスインディペンデントなタスクへの応用が可能である。
• 数値的実装により妥当性が検証され、任意のベル不等式を用いた複雑で現実的なプロトコルに対してもスケーラブルであることが示された。