[論文レビュー] A Framework for Non-Asymptotic Quantum Information Theory

Marco Tomamichel|arXiv (Cornell University)|Mar 9, 2012

Quantum Mechanics and Applications被引用数 6

ひとこと要約

本稿では、滑らかさのエントロピー（smooth min-および max-エントロピー）を用いた非漸近的量子情報理論の枠組みを提案する。この枠組みは、非正規化された量子状態に対する新しい距離計測である純粋距離（purified distance）に基づいている。主な貢献は、漸近的等分割性定理のエントロピー的表現の確立であり、独立同分布（i.i.d.）極限において滑らかエントロピーがフォン・ノイマンエントロピーに収束することを示している。応用分野には量子暗号、情報圧縮、および鍵配布が含まれる。

ABSTRACT

This thesis consolidates, improves and extends the smooth entropy framework for non-asymptotic information theory and cryptography. We investigate the conditional min- and max-entropy for quantum states, generalizations of classical Rényi entropies. We introduce the purified distance, a novel metric for unnormalized quantum states and use it to define smooth entropies as optimizations of the min- and max-entropies over a ball of close states. We explore various properties of these entropies, including data-processing inequalities, chain rules and their classical limits. The most important property is an entropic formulation of the asymptotic equipartition property, which implies that the smooth entropies converge to the von Neumann entropy in the limit of many independent copies. The smooth entropies also satisfy duality and entropic uncertainty relations that provide limits on the power of two different observers to predict the outcome of a measurement on a quantum system. Finally, we discuss three example applications of the smooth entropy framework. We show a strong converse statement for source coding with quantum side information, characterize randomness extraction against quantum side information and prove information theoretic security of quantum key distribution using an intuitive argument based on the entropic uncertainty relation.

研究の動機と目的

• 有限系や小さな鍵長に適用可能な、厳密な非漸近的量子情報理論の枠組みを構築すること。
• 暗号やデータ圧縮などの実用的量子情報処理タスクにおいて、漸近的エントロピー測度の限界を克服すること。
• 新たな距離計測（純粋距離）を用いて滑らかエントロピーを導入することで、既存のエントロピーに基づくアプローチを統合・拡張すること。
• 滑らかエントロピーの双対性、不確実性関係、鎖則（chain rules）といった基礎的性質を確立すること。
• 量子鍵配布、ランダムネス抽出、側情報付き情報圧縮といった分野への応用を通じて、本枠組みの実用的有用性を示すこと。

提案手法

• 非正規化された量子状態に対する距離計測として、純粋距離を導入し、類縁度とトレース距離を一般化する。
• 与えられた純粋距離の近傍にある状態の集合内での最小・最大エントロピーの最適化として、滑らか最小・最大エントロピーを定義する。
• 演算子単調性および半正定値計画法の技法を用いて、データ処理不等式、鎖則、双対性関係を導出する。
• 滑らかエントロピーが独立同分布（i.i.d.）極限においてフォン・ノイマンエントロピーに収束することを示し、漸近的等分割性定理のエントロピー的表現を確立する。
• 本枠組みを用いて、側情報付き量子情報圧縮の強力な逆定理を導出し、エントロピー的不確実性関係を用いて量子鍵配布の安全性を証明する。
• 有効な重ね合わせ（effective overlap）を用いて不確実性関係を滑らかエントロピーへ一般化し、CHSH不等式を通じて非局所性と結びつける。

実験結果

リサーチクエスチョン

• RQ1 有限量子系における非漸近的領域で、滑らかエントロピーをどのように厳密に定義できるか？
• RQ2 多数の独立同分布コピーの極限において、滑らかエントロピーとフォン・ノイマンエントロピーの関係は何か？
• RQ3 本枠組みは、側情報付き情報圧縮のような量子情報処理タスクに対して、強力な逆定理を提供できるか？
• RQ4 エントロピー的不確実性関係を滑らかエントロピーへ一般化し、デバイスに依存しない量子暗号に応用できるか？
• RQ5 純粋距離が、状態近似とエントロピー滑らか化の統一的取り扱いを可能にする役割は何か？

主な発見

• 滑らか最小・最大エントロピーは、漸近的i.i.d.極限においてフォン・ノイマンエントロピーに収束し、エントロピー的漸近的等分割性定理が確立された。
• 純粋距離は、非正規化された量子状態に対する頑健な距離計測を提供し、近接する状態の集合における最適化を通じて滑らかエントロピーの定義を可能にする。
• 本枠組みにより、量子側情報付き情報圧縮に対する強力な逆定理が得られ、滑らか最小エントロピー率を超えるすべてのプロトコルは高確率で失敗することが示された。
• 量子側情報付きランダムネス抽出は、滑らか最大エントロピーによって特徴づけられ、抽出可能な一様ランダムネスの明示的上限が得られた。
• エントロピー的不確実性関係を用いて、量子鍵配布の情報理論的セキュリティが証明され、滑らか最小エントロピーが鍵の予測不可能性を定量化した。
• 一般化された不確実性関係により、有効な重ね合わせを用いて滑らか最小エントロピーの和が上限付けられ、最大CHSH値と関連づけることで、デバイスに依存しないセキュリティ解析が可能になった。