[論文レビュー] Inequalities for the quantum Renyi divergences with applications to compound coding problems

Milán Mosonyi|arXiv (Cornell University)|Oct 28, 2013

Quantum Information and Cryptography参考文献 32被引用数 3

ひとこと要約

本稿では、従来の量子Rényi発散と、最近導入された量子Rényi発散の間の両側境界を確立し、α=1の近傍でそれらが相互に置き換え可能であることを示している。これにより、合成帰無仮説を伴う量子Steinの補題、ユニバーサル・ソース圧縮、および複合量子チャネルの古典的容量といった、量子情報理論の主要な定理の証明がより単純かつ効率的に行えるようになる。この利点は、新たに証明された発散の弱擬凹性性質に起因する。

ABSTRACT

We show two-sided bounds between the conventional quantum R\'enyi divergences and the new notion of R\'enyi divergences introduced recently in M\uller-Lennert, Dupuis, Szehr, Fehr and Tomamichel, J. Math. Phys. 54, 122203, (2013), and Wilde, Winter, Yang, arXiv:1306.1586. The bounds imply that the two versions can be used interchangeably near alpha=1, and hence one can benefit from the best properties of both when proving coding theorems in the case of asymptotically vanishing error. We illustrate this by giving short and simple proofs of the quantum Stein's lemma with composite null-hypothesis, universal source compression, and the achievability part of the classical capacity of compound quantum channels. Apart from the above interchangeability, we benefit from a weak quasi-concavity property of the new Renyi divergences that we also establish here.

研究の動機と目的

• 従来の量子Rényi発散と、Müller-LennertらおよびWildeらによって導入された新しいRényi発散との間の定量的関係を確立すること。
• 2つの発散定義が、誤差が消える漸近的状況において、特にα=1の近傍で相互に置き換え可能であることを示すこと。
• この置き換え可能性を活用し、量子情報理論における基本的符号化定理の証明を簡潔かつ明確に行うこと。
• 新しいRényi発散に弱擬凹性の性質が成り立つことを確立し、これが符号化定理における解析的応用を支援すること。
• 合成帰無仮説を伴う量子Steinの補題、ユニバーサル・ソース圧縮、および複合量子チャネルの古典的容量に関する、既存の証明を統合的かつ簡潔に再構成すること。

提案手法

• Müller-LennertらおよびWildeらが導入した新しいバージョンの量子Rényi発散と従来の発散との間の両側境界を導出し、特にα=1の近傍における振る舞いに注目する。
• 得られた境界を用いて、誤差が消える極限において、2つの発散定義が同様の漸近的結果をもたらすことを示し、符号化定理における相互に置き換え可能な使用を可能にする。
• 置き換え可能性を応用し、既知の結果—合成帰無仮説を伴う量子Steinの補題、ユニバーサル・ソース圧縮、複合チャネルの古典的容量—を、より単純で直接的な議論で再導出する。
• 新しいRényi発散に弱擬凹性の性質が成り立つことを確立し、これが符号化定理に共通する変分表現や最適化問題における応用を支援することを示す。
• 統一的な枠組みの中で、量子相対エントロピーおよびスイッチングRényi発散といった、量子情報理論の標準的ツールを用いる。

実験結果

リサーチクエスチョン

• RQ1 従来の量子Rényi発散と、最近導入された量子Rényi発散とは、α=1の近傍でどのように関係しているか？
• RQ2 2つのRényi発散バージョンは、誤差が消える漸近的符号化定理において、相互に置き換え可能か？
• RQ3 新しいRényi発散は、量子符号化定理の証明においてどのような解析的利点を提供するか？
• RQ4 新しいRényi発散は、証明の簡略化を促進する有用な凸性または凹性の性質を満たすか？
• RQ5 発散の置き換え可能性は、合成仮説を伴う量子Steinの補題や複合チャネルの古典的容量といった、基本的結果の証明を簡素化できるか？

主な発見

• 従来の量子Rényi発散と新しい発散との間で、両側境界が確立され、α=1の近傍における漸近的等価性が証明された。
• 2つの発散定義は、誤差が消える漸近的状況において、相互に置き換え可能であり、証明の異なる部分で最も解析的に都合の良いバージョンを用いることが可能になった。
• 新しいRényi発散は弱擬凹性の性質を満たしており、変分的特徴づけや最適化問題における応用を支援する。
• 合成帰無仮説を伴う量子Steinの補題、ユニバーサル・ソース圧縮、および複合量子チャネルの古典的容量について、短く概念的に明快な証明が提供された。
• 結果として、新しいRényi発散は数学的にも良好な性質を有するだけでなく、量子情報理論における符号化定理の導出において実用的にも優位であることが示された。