[論文レビュー] Quantum Computers Render Quantum Key Distribution Unconditionally Secure Over Arbitrarily Long Distance

Hoi‐Kwong Lo, H. F. Chau|arXiv (Cornell University)|Mar 3, 1998

Quantum Computing Algorithms and Architecture被引用数 7

ひとこと要約

この論文は、量子計算機を用いて、量子方式を古典的方式に還元し、耐障害性のある量子計算を活用することで、任意の長距離にわたる量子鍵配送（QKD）を絶対的に安全に実現できることを証明している。

ABSTRACT

Quantum cryptography has long been claimed to be useful for achieving many tasks that are impossible from the perspective of conventional cryptography. Arguably, the most important problem in quantum cryptography has been a rigorous proof of the security of quantum key distribution, the most well-known application. This notoriously hard problem has eluded researchers for years and has become even more important after the recent surprising demonstration of the insecurity of many other quantum cryptographic schemes including quantum bit commitment. Here, we solve this long standing problem by showing that, given quantum computers, quantum key distribution over an arbitrarily long distance of a realistic noisy channel can be made unconditionally secure. The novel technique we use is reduction from a quantum scheme to a classical scheme. The security in realistic noisy environments is then proven by using the recent theory of fault-tolerant quantum computation.

研究の動機と目的

• 長距離にわたる量子鍵配送（QKD）の絶対的安全性を証明するという長年の課題を解決すること。
• 量子ビットコミットメントなどの他の量子暗号プロトコルの不安全性に対する懸念を扱うこと。
• 量子計算リソースを用いて、現実的なノイズのある環境におけるQKDの厳密な安全証明を確立すること。
• チャネルのノイズが存在する状況でも、耐障害性のある量子計算がQKDを安全に保証できることを示すこと。

提案手法

• 著者らは還元技術を用い、量子鍵配送プロトコルを同等の古典的スキームに変換することで、安全分析を簡素化している。
• 耐障害性のある量子計算の理論を活用し、通信チャネルのノイズがあっても量子操作が信頼性を保つようにしている。
• 安全証明は、量子方式に対する攻撃が、同等の攻撃を古典的スキームに対して行えることによって構築されている。
• この手法は、量子計算機が利用可能であるという仮定に依存しており、耐障害性のある量子エラー訂正の実装を可能にしている。
• 量子から古典への還元により、量子プロトコルに既存の古典的安全性フレームワークを適用できるようになっている。
• このアプローチにより、チャネルがノイズを含んでも、距離が任意に長くても安全が維持されることを保証している。

実験結果

リサーチクエスチョン

• RQ1 量子計算機が利用可能である場合、量子鍵配送を任意の長距離にわたって絶対的に安全にできるか？
• RQ2 耐障害性のある量子計算は、ノイズのある環境下でのQKDをどのように安全に保証できるか？
• RQ3 絶対的安全性を損なわずに、量子プロトコルの安全を古典的ものに還元することは可能か？
• RQ4 量子計算機は、長距離にわたる安全な鍵配布を実現するために果たす役割は何か？
• RQ5 この新しいアプローチにより、他の量子暗号スキームの不安全性はQKDにおいて回避可能か？

主な発見

• 量子計算機が利用可能である場合、量子鍵配送は任意の長距離にわたって絶対的に安全にできる。
• 耐障害性のある量子計算のおかげで、現実的なチャネルのノイズが存在しても安全証明が成立する。
• 量子方式から古典方式への還元が、絶対的安全性を証明するための厳密な基盤を提供する。
• この手法により、量子計算機が長距離におけるQKDの絶対的安全性を実現するために不可欠であることが示された。
• この研究は、量子暗号分野における長年の未解決問題を、完全で厳密な安全証明によって解決した。
• このアプローチは、耐障害性のある量子計算が、長距離にわたる実用的で証明可能な安全な鍵配布を可能にすることを示している。