[論文レビュー] Beyond i.i.d. in Quantum Information Theory

Garry Bowen, Nilanjana Datta|ArXiv.org|Apr 4, 2006

Statistical Mechanics and Entropy参考文献 5被引用数 7

ひとこと要約

本稿では、非i.i.i.d.量子系における相対エントロピーの一般化として、量子スペクトル発散率を導入し、スペクトルエントロピーおよび相互情報量率に関する部分加法性、鎖則、およびアラキ＝リーブ不等式といった基礎的性質を確立する。主な貢献は、i.i.i.d.仮定を越えた量子情報率の分析を可能にする厳密なフレームワークを構築したことであり、一般の状態系列における量子通信および圧縮プロトコルの漸近的解析を可能にする。

ABSTRACT

The information spectrum approach gives general formulae for optimal rates of codes in many areas of information theory. In this paper the quantum spectral divergence rates are defined and properties of the rates are derived. The entropic rates, conditional entropic rates, and spectral mutual information rates are then defined in terms of the spectral divergence rates. Properties including subadditivity, chain rules, Araki-Lieb inequalities, and monotonicity are then explored.

研究の動機と目的

• i.i.d.仮定を越えた量子系への古典的情報スペクトル法の拡張。
• 相対エントロピーの一般化としての量子スペクトル発散率の定義および分析。
• スペクトルエントロピーおよび相互情報量率の基礎的性質（部分加法性、鎖則、単調性など）の導出。
• スペクトル領域における量子版古典的情報不等式（アラキ＝リーブおよび強い部分加法性）の確立。
• 一般かつ非i.i.i.d.状況における量子容量、データ圧縮、もつれ濃縮の分析を統合的に可能にするフレームワークの構築。

提案手法

• 量子状態系列と基準演算子の差分作用素のスペクトル射影を用いて、量子スペクトル上界および下界発散率を定義する。
• 正の作用素およびCPTP写像を含むトレース不等式を用いて、発散率の上限を導出する。
• 形 $\{\rho_n - e^{n\gamma}\omega_n \geq 0\}$ のスペクトル射影に関するトレース関数の極限として、スペクトル発散率を確立する。
• 最大混合基準状態に対して $\overline{S}(A) = \overline{D}(\rho^A \| \psi^A)$ という恒等式を用いて、スペクトルエントロピー率を導出する。
• スペクトル相互情報量率を $\overline{S}(A:B) = \overline{D}(\rho^{AB} \| \rho^A \otimes \rho^B)$ および $\underline{S}(A:B) = \underline{D}(\rho^{AB} \| \rho^A \otimes \rho^B)$ として定義する。
• スペクトル射影不等式およびCPTP写像不変性を用いて、単調性および鎖則関係などの重要な性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 スペクトル法を用いて、相対エントロピーの概念を非i.i.i.d.量子状態系列にどのように一般化できるか。
• RQ2 量子系におけるスペクトルエントロピーおよび相互情報量率の基礎的性質（部分加法性、鎖則、単調性など）は何か。
• RQ3 アラキ＝リーブおよび強い部分加法性といった古典的情報不等式の量子版が、スペクトル発散枠組みで成り立つかどうか。
• RQ4 CPTP操作および系の縮約に対して、スペクトル相互情報量率はどのように振る舞うか。
• RQ5 スペクトル的手法は、i.i.i.d.限界を超えた量子通信および圧縮プロトコルの分析を統合的に可能にするか。

主な発見

• スペクトル発散率 $\overline{D}(\rho\|\omega)$ および $\underline{D}(\rho\|\omega)$ は、量子状態および演算子の系列に対して適切に定義されており、$\overline{D}(\rho\|\omega) \geq \underline{D}(\rho\|\omega)$ が成り立つ。
• スペクトルエントロピー率は部分加法性を満たす：$\overline{S}(AB) \leq \overline{S}(A) + \overline{S}(B)$ および $\underline{S}(AB) \geq \underline{S}(A) + \underline{S}(B)$。
• スペクトル領域におけるアラキ＝リーブ不等式が成り立つ：$\overline{S}(AB) \geq |\overline{S}(A) - \overline{S}(B)|$ および $\underline{S}(AB) \geq \max\{\underline{S}(A) - \overline{S}(B), \underline{S}(B) - \overline{S}(A)\}$。
• スペクトル相互情報量率は非負である：$\overline{S}(A:B) \geq \underline{S}(A:B) \geq 0$、かついずれの系に対してもCPTP写像を施すと減少する。
• 鎖則不等式が成り立つ：$\overline{S}(A:B) \leq \overline{S}(A) - \underline{S}(A|B)$ および $\underline{S}(A:B) \geq \underline{S}(A) - \overline{S}(A|B)$、特に古典的状態ではより鋭い境界が得られる。
• 古典的双粒子源に対しては、条件付きスペクトルエントロピー率は非負である：$\underline{S}(A|B) \geq 0$、かつスペクトルエントロピー率は $\overline{S}(AB) \geq \max\{\overline{S}(A), \overline{S}(B)\}$ を満たす。