[論文レビュー] Finite-key security for quantum key distribution systems utilizing weak coherent states

Anton Kozubov, Andrei Gaidash+1 more|arXiv (Cornell University)|Mar 11, 2019

Quantum Information and Cryptography参考文献 2被引用数 5

ひとこと要約

本稿では、弱いコherent状態、特に位相符号化状態を用いた量子鍵配送（QKD）プロトコルの有限キーセキュリティ解析を、完全量子漸近的等分配性性質（QAAP）手法を用いて提示する。ホールボの上限がアリスとイヴの間の最大相互情報量を提供することを示し、サブキャリア波（SCW）QKDプロトコルに応用することで、実用的パラメータを用いたチャネル損失と有限キーレングスに依存する秘密鍵レートを示している。

ABSTRACT

In this paper we present finite-key security analysis for quantum key distribution protocol based on weak coherent (in particular phase-coded) states using a fully quantum asymptotic equipartition property technique. This work is the extension of the proof for non-orthogonal states on the coherent states. Below we consider two types of attacks each of them maximizes either Alice-Eve or Eve-Bob mutual information. The cornerstone of this paper is that we do assume the possibility of crucial intercept-resend attack based on errorless unambiguous state discrimination measurement. We demonstrate that Holevo bound always gives the highest mutual information between Alice and Eve regardless particular kind of isometry. As the main result we present the dependence of the extracted secret key length. As the example we implement the proposed analysis to the subcarrier wave quantum key distribution protocol.

研究の動機と目的

• 弱いコherent（非直交）状態に基づく実用的QKDシステムの有限キーセキュリティ証明におけるギャップを埋めること。既存の無条件証明ではカバーされない。
• 単一光子源の実用的制限に対処するため、実世界のQKD実装で標準的である弱いコherent状態を用いたプロトコルを分析すること。
• 装置の不具合に起因して実現可能な誤りなし明確な状態判別攻撃（インターセプ・リサイクル）の可能性を組み込むこと。
• 実世界のQKDシステム（例：サブキャリア波（SCW）QKD）に適用可能な厳密な有限キーセキュリティフレームワークを提供し、有限リソース下での実用的セキュリティを保証すること。
• 有限キーレングス、誤り訂正、プライバシー強化を考慮した明示的な秘密鍵レート式を導出することにより、実際の条件下での性能評価を可能にすること。

提案手法

• 弱いコherent状態QKDプロトコルの有限キーセキュリティ解析に、完全量子漸近的等分配性性質（QAAP）手法を適用する。
• 2種類の攻撃を想定：i.i.d.ラウンドを仮定したもとで、アリスとイヴの相互情報量を最大化する攻撃と、イヴとボブの相互情報量を最大化する攻撃。
• アドバーザリー（イヴ）の量子状態への作用をCPTPマップ形式でモデル化し、ホールボの上限を相互情報量の上界として導出する。
• アーベル巡回群 $ C_M $ を用いた状態空間表現を導入し、位相符号化コherent状態 $ |ar{oldsymbol{ u}}_j angle $ を用い、既約表現を用いて状態空間を対称化する。
• ゲーゲルモード検出器のマネル近似を用いて検出確率を導出し、検出器効率 $ ho_D $、ダークカウントレート $ ho_{ ext{dark}} $、パルス幅 $ T $ を組み込む。
• スペクトルフィルタリングを適用してキャリア波からのサイドバンドを分離し、残存キャリア漏れを $ heta \to \theta \times \nu $ としてモデル化し、Wigner d関数 $ d^S_{nk}(eta) $ を用いてサイドバンド内の光子数を計算する。

実験結果

リサーチクエスチョン

• RQ1 一般の攻撃下で、特に位相符号化状態を用いた弱いコherent状態QKDプロトコルに対して、有限キーセキュリティ証明を厳密に確立できるか？
• RQ2 誤りなし明確な状態判別攻撃が存在する状況下で、ホールボの上限はアリスとイヴの間の最大相互情報量をどのように制限するか？
• RQ3 有限キーレングスが、誤り訂正およびプライバシー強化を考慮した弱いコherent状態QKDにおける秘密鍵レートに与える影響は何か？
• RQ4 サブキャリア波（SCW）QKDプロトコルは有限キーアナリシス下でどのように動作するか？また、実用的実験パラメータ下での達成可能な秘密鍵レートは何か？
• RQ5 残存キャリア漏れや位相不安定性などの不具合が、弱いコherent状態QKDシステムのセキュリティおよび性能に及ぼす影響の程度はどの程度か？

主な発見

• ホールボの上限は、イヴが使用する特定の等長写像にかかわらず、常にアリスとイヴの間の最大相互情報量を提供する。これは根本的なセキュリティ限界を確立する。
• サブキャリア波（SCW）QKDシステムでは、チャネル損失の関数として秘密鍵レートが導出され、有限キーレングス $ n $ に明示的な依存関係を示し、誤り訂正、プライバシー強化、セキュリティパラメータの補正項を含む。
• 秘密鍵レート式（式40）は、$ \frac{1}{\bar{n}} $ スケーリングの有限キーペナルティを示し、$ \frac{1}{\bar{n}} \times \big( k + \text{code}_{\text{EC}} + \text{log}(1/\bar{\rho}_{\text{EC}}) + \text{log}(1/\bar{\rho}_{\text{PA}}) - 2 \big) $ を含む補正項を有する。これは実用的オーバーヘッドを反映している。
• $ n = 10^6 $ の場合、誤り訂正のサンプルサイズ $ k $ は全受信パルスの約4%である。$ n = 10^7 $ の場合、約2%に低下し、より長い鍵ではオーバーヘッドが減少することが示された。
• 実用的パラメータ（例：$ \theta = 10^{-3} $、$ \rho_D = 25\text{\%} $、$ \rho_{\text{dark}} = 25 \text{Hz} $、$ \text{loss} = 6.4 \text{dB} $）下でも、高い損失下でも秘密鍵レートが実用的であることが示され、長距離QKDを支持する。
• 性能シミュレーション（図2）は、さまざまなチャネル損失下で秘密鍵レートが達成可能であることを示し、高帯域幅・長距離量子ネットワークにおけるSCW QKDの実用性を検証している。