[論文レビュー] A one-shot quantum joint typicality lemma.

Pranab Kumar Sen|arXiv (Cornell University)|Jun 19, 2018

Wireless Communication Security Techniques参考文献 15被引用数 12

ひとこと要約

本稿では、量子ネットワーク情報理論における主要な障壁を克服するため、一回限りの量子同時典型性補題を導入し、強固な和集合・積集合の性質を備えている。著者らは、部分空間の角度を増大させるための「ねじり（tilting）」と、多部量子状態を摂動するための「平滑化（smoothing）」という、新しい道具を開発することで、マルチターミナルチャネルにおける同時量子デコーダの構築を可能にした。これにより、古典的内境界技術が量子領域へと拡張された。

ABSTRACT

A fundamental tool to prove inner bounds in classical network information theory is the so-called `conditional joint typicality lemma'. In addition to the lemma, one often uses unions and intersections of typical sets in the inner bound arguments without so much as giving them a second thought. These arguments fail spectacularly in the quantum setting. This bottleneck shows up in the fact that so-called `simultaneous decoders', as opposed to `successive cancellation decoders', are known for very few channels in quantum network information theory. Another manifestation of this bottleneck is the lack of so-called `simutaneous smoothing' theorems for quantum states. In this paper, we overcome the bottleneck by proving for the first time a one-shot quantum joint typicality lemma with robust union and intersection properties. To do so, we develop two novel tools in quantum information theory which may be of independent interest. The first tool is a simple geometric idea called `tilting', which increases the angles between a family of subspaces in orthogonal directions. The second tool, called `smoothing', is a way of perturbing a multipartite quantum state such that the partial trace over any subset of registers does not increase the operator norm by much. Our joint typicality lemma allows us to construct simultaneous quantum decoders for many multiterminal quantum channels. It provides a powerful tool to extend many results in classical network information theory to the one-shot quantum setting.

研究の動機と目的

• 量子ネットワーク情報理論における強固な同時典型性ツールの欠如が、同時デコーダの開発を妨げているという問題に取り組む。
• 特に典型集合の和集合・積集合の取り扱いにおいて、古典的典型性の議論が量子設定で失敗する問題を克服する。
• 古典的内境界技術を一回限りの量子領域へと拡張する基盤を確立する。
• 量子状態解析やチャネル符号化において独立して応用可能な可能性を有する、新しい量子情報理論的ツールを開発する。

提案手法

• 直交方向における部分空間族同士の角度を増大させる幾何的技法「ねじり（tilting）」を導入し、量子状態空間内での分離性を向上させる。
• 任意の部分トレースの作用素ノルムがほとんど変化しないようにする、多部量子状態の摂動手法「平滑化（smoothing）」を構築する。
• ねじりと平滑化を組み合わせ、強力な和集合・積集合の性質を備えた一回限りの量子同時典型性補題を構築する。
• 補題を用いて、マルチターミナル量子チャネルにおける同時デコーダの存在を証明し、古典的符号戦略を量子領域へと一般化する。
• 補題を用いて、量子ネットワークにおける逐次キャンセレーションデコーダの制限を回避する。
• 作用素ノルムの境界と部分空間幾何学を用いて、部分トレース操作に対して強い耐性を確保する。

実験結果

リサーチクエスチョン

• RQ1 一回限りの量子同時典型性補題を構築可能か。その際、古典的典型集合の和集合・積集合の性質が保たれるか。
• RQ2 量子部分空間をどのように幾何学的に操作すれば、分離性が向上し、強固な典型性の議論が可能になるか。
• RQ3 状態の平滑化において、部分トレースの作用素ノルムをどの程度維持できる摂動法が適切か。
• RQ4 提案されたツールを用いて、量子マルチターミナルチャネルにおける同時デコーダを構築可能か。
• RQ5 このフレームワークを用いて、古典的ネットワーク情報理論の内境界が、どの程度一回限りの量子設定へと拡張可能か。

主な発見

• 本稿は、量子ネットワーク情報理論における長年の障壁を解消する、強固な和集合・積集合の性質を備えた最初の「一回限りの量子同時典型性補題」を確立した。
• 「ねじり（tilting）」技法により、直交方向における部分空間間の角度が有意に増大し、量子典型部分空間の分離性が向上した。
• 「平滑化（smoothing）」手順により、多部量子状態への摂動が、部分トレースの作用素ノルムに顕著な増加をもたらさないことが保証された。
• 同時典型性補題により、マルチターミナル量子チャネルにおける同時量子デコーダの構築が可能となり、これは従来、逐次キャンセレーションデコーダに限定されていた能力である。
• 本フレームワークにより、古典的内境界技術を一回限りの量子領域へと拡張する道筋が提供され、達成可能なレートの範囲が著しく拡大された。
• 開発されたツール、すなわち「ねじり」と「平滑化」は、量子状態解析、エラー訂正、チャネル符号化において、独立した応用可能性を有している。