[論文レビュー] Equivalence of three classical algorithms with quantum side information: Privacy amplification, error correction, and data compression

Toyohiro Tsurumaru|arXiv (Cornell University)|Sep 18, 2020

Quantum Information and Cryptography参考文献 34被引用数 9

ひとこと要約

本稿は、量子側情報が存在する状況下で、プライバシー強化（PA）、誤り訂正（EC）、データ圧縮（DC）の1ショット同等性を確立し、線形符号とハッシュ関数の双対性を通じて、これらが1つのフレームワークに統合されることを示している。主な貢献は、PAの既知の安全境界をECおよびDCの新しい符号理論的定理に翻訳できる、画期的な同等性を確立したことである。これにより、量子鍵配送（QKD）の安全証明が、残渣ハッシュ化補題と位相誤り訂正アプローチを統合することで簡略化される。

ABSTRACT

Privacy amplification (PA) is an indispensable component in classical and quantum cryptography. Error correction (EC) and data compression (DC) algorithms are also indispensable in classical and quantum information theory. We here study these three algorithms (PA, EC, and DC) in the presence of quantum side information, and show that they all become equivalent in the one-shot scenario. As an application of this equivalence, we take previously known security bounds of PA, and translate them into coding theorems for EC and DC which have not been obtained previously. Further, we apply these results to simplify and improve our previous result that the two prevalent approaches to the security proof of quantum key distribution (QKD) are equivalent. We also propose a new method to simplify the security proof of QKD.

研究の動機と目的

• 量子側情報が存在する状況下で、プライバシー強化（PA）、誤り訂正（EC）、データ圧縮（DC）を1つの理論的枠組みに統合すること。
• 量子側情報を考慮した1ショット状況において、これらの3つの古典的アルゴリズムが同等になることを示すこと。
• 残渣ハッシュ化補題を介して得られたPAの既知の安全境界を、量子側情報付きのECおよびDCの新しい、これまで未証明の符号理論的定理に変換すること。
• PA、EC、DCの同等性を活用することで、既存の量子鍵配送（QKD）安全証明を簡略化・改善すること。
• 滑らかな最大エントロピーを位相誤り率の代わりに用いることで、位相誤り訂正（PEC）に基づくQKD証明を簡素化する新手法を提案すること。

提案手法

• PAで用いられる線形ハッシュ関数とECおよびDCで用いられる線形符号の間の双対性フレームワークを導入し、それらの入出力の1対1対応を確立する。
• 従来のトレース距離の代わりに、PAの安全基準として純化距離を用いることで、よりタイトで一般的な同等性結果を得られるようにする。
• ハッシュ関数fとその双対符号gの双対性を応用し、共有される量子側情報を介してPAプロトコルを等価なECおよびDCプロトコルに写像する。
• ユニバーサル2、ほぼユニバーサル2、ほぼ双対ユニバーサル2のハッシュ関数に対する既知の残渣ハッシュ化補題（LHL）境界を変換することで、ECおよびDCの新しい符号理論的定理を導出する。
• 量子側情報を用いて、PA、EC、DCの等価プロトコルを構築し、3者間で安全/性能指標が同一になるようにする。
• ランダムネスの評価を滑らかな最大エントロピーを用いることで、PECベースのQKD証明を再定式化し、LHLベースのアプローチと完全に同等に保ち、余分な安全要因を排除する。

実験結果

リサーチクエスチョン

• RQ1 量子側情報が存在する状況下で、プライバシー強化、誤り訂正、データ圧縮を1つのフレームワークに統合できるか？
• RQ2 量子側情報付きの1ショット状況におけるPA、EC、DCの正確な数学的同等性は何か？
• RQ3 残渣ハッシュ化補題を介して得られたPAの既知の安全境界を、ECおよびDCの新しい符号理論的定理に変換できるか？
• RQ4 この同等性は、既存の量子鍵配送（QKD）安全証明をどのように簡略化・改善できるか？
• RQ5 位相誤り訂正（PEC）ベースのQKD証明を、LHLベースの証明と完全に一致させるように再定式化できるか？その際、追加の安全損失が生じないか？

主な発見

• 量子側情報が存在する1ショット状況下で、プライバシー強化、誤り訂正、データ圧縮という3つの古典的アルゴリズムは同等である。
• この同等性は、ユニバーサル2、ほぼユニバーサル2、ほぼ双対ユニバーサル2を含む広範なハッシュ関数クラスに適用可能であり、従来のユニバーサル2に限定された結果を拡張する。
• 既知のLHL境界を基に、量子側情報付きのECおよびDCの新しい符号理論的定理が導出され、これらは文献において以前に確立されていなかった画期的な結果である。
• LHLベースとPECベースのアプローチが新フレームワーク下で同等であることを示すことにより、QKDの安全証明が簡略化され、改善された。余分な安全要因は導入されない。
• 位相誤り率の代わりに滑らかな最大エントロピーを用いてQKDにおけるランダムネスを評価する新手法が提案され、LHLベースの証明と完全に同等に保たれ、近似誤差が排除される。
• 同等性は頑健である：状態変換Tが自己逆写像でないにもかかわらず、セキュリティ（PA）および性能（EC/DC）の観点から、得られる状態は操作的に同等である。