[論文レビュー] Asymptotic Equipartition Theorems in von Neumann algebras

Omar Fawzi, Li Gao+1 more|arXiv (Cornell University)|Dec 30, 2022

Neural dynamics and brain function被引用数 5

ひとこと要約

本稿は、一般のフォン・ノイマン代数における最大相対エントロピーの漸近的等分割定理を確立し、有限次元系に限らない独立同分布(i.i.d.)量子AEP結果を拡張する。平滑化された最大相対エントロピーが、有限次元のレートを伴い、$ O(\frac{\mathrm{log}\ n}{n}) $ の補正項を伴って量子相対エントロピーに漸近的に収束することを証明し、作用素代数的手法を用いて無限次元および古典的量子系の設定へとAEPを一般化する。

ABSTRACT

The Asymptotic Equipartition Property (AEP) in information theory establishes that independent and identically distributed (i.i.d.) states behave in a way that is similar to uniform states. In particular, with appropriate smoothing, for such states both the min and the max relative entropy asymptotically coincide with the relative entropy. In this paper, we generalize several such equipartition properties to states on general von Neumann algebras. First, we show that the smooth max relative entropy of i.i.d. states on a von Neumann algebra has an asymptotic rate given by the quantum relative entropy. In fact, our AEP not only applies to states, but also to quantum channels with appropriate restrictions. In addition, going beyond the i.i.d. assumption, we show that for states that are produced by a sequential process of quantum channels, the smooth max relative entropy can be upper bounded by the sum of appropriate channel relative entropies. Our main technical contributions are to extend to the context of general von Neumann algebras a chain rule for quantum channels, as well as an additivity result for the channel relative entropy with a replacer channel.

研究の動機と目的

• 有限次元量子系からの漸近的等分割性（AEP）を一般のフォン・ノイマン代数、特に無限次元および古典的量子系へと拡張すること。
• フォン・ノイマン代数上での独立同分布状態の平滑化された最大相対エントロピーに対する量子AEPを確立し、それが量子相対エントロピーに収束することを示すこと。
• i.i.d.仮定を超えて、量子チャネルの逐次的プロセスへとAEPを一般化し、平滑化された最大相対エントロピーがチャネル相対エントロピーの和によって上界で抑えられることを示すこと。
• 一般のフォン・ノイマン代数の文脈において、チャネル相対エントロピーのチェインルールおよび加法性に関する技術的ツールの開発

提案手法

• 作用素代数的手法を用いて、フォン・ノイマン代数上での独立同分布状態 $ \rho^{\otimes n} \| \sigma^{\otimes n} $ の一般化された平滑化最大相対エントロピー $ D_{\text{max}}^{\text{ε}} $ に対するAEPを導出する。
• フォン・ノイマン代数の文脈で量子チャネルのチェインルールを導入し、証明し、逐次的状態生成の解析を可能にする。
• 再配置チャネルを伴うチャネル相対エントロピーの加法性結果を確立し、非i.i.d.設定におけるエントロピーの上界を求める上で不可欠な役割を果たす。
• ペッツ＝レニー相対エントロピーと忠実度に基づく境界を用いて、最大相対エントロピー近似における $ \mu $-項を制御し、ラドン＝ニコディム微分のスペクトル的性質を活用する。
• $ \tilde{D}_\alpha $ を介した仮説検定相対エントロピー境界の洗練版を適用し、 $ \alpha = 1 + \frac{1}{2\lambda\sqrt{n}} $ における最適化により、 $ O(\log n / n) $ の補正項を導出する。
• ジェンセンの不等式および対数的作用素不等式を用いて、漸近展開における剰余項を上界で抑え、特に $ r_\beta(t) $ における $ \cosh $-型の境界を用いる。

実験結果

リサーチクエスチョン

• RQ1 最大相対エントロピーに対する漸近的等分割性（AEP）は、有限次元量子系から一般のフォン・ノイマン代数、特に無限次元および古典的量子系へと拡張可能か？
• RQ2 フォン・ノイマン代数上での独立同分布状態の平滑化された最大相対エントロピーは、量子相対エントロピーに漸近的に収束するか？その際、明確な有限サンプル補正項が得られるか？
• RQ3 i.i.d.状態を超えて、量子チャネルの逐次的プロセスへとAEPを一般化できるか？平滑化された最大相対エントロピーがチャネル相対エントロピーの和によって上界で抑えられるか？
• RQ4 AEPをフォン・ノイマン代数へ拡張するために必要な技術的ツール（例えばチェインルールや加法性の性質）は何か？それらはどのように厳密に確立できるか？

主な発見

• フォン・ノイマン代数上での独立同分布状態の平滑化された最大相対エントロピーは、漸近展開 $ \frac{1}{n}D_{\text{max}}^{\sqrt{\varepsilon}}(\rho^{\otimes n}\|\sigma^{\otimes n}) = D(\rho\|\sigma) - \sqrt{\frac{V(\rho\|\sigma)}{n}}\Phi^{-1}(\varepsilon) + O(\frac{\log n}{n}) $ を満たし、古典的AEPを無限次元設定へ一般化する。
• $ O(\frac{1}{n}) $ の補正項が $ O(\frac{\log n}{n}) $ に改善され、古典的 $ O(\frac{1}{\sqrt{n}}) $ よりもタイトであり、既知の有限次元の境界と一致する。
• AEPは量子チャネルへと拡張される：逐次的なチャネルによって生成される状態に対して、平滑化された最大相対エントロピーは、適切な有限性条件の下でチャネル相対エントロピーの和によって上界で抑えられる。
• フォン・ノイマン代数の枠組みにおいて、量子チャネルのチェインルールが確立され、逐次的状態生成の解析が可能となり、非i.i.d.プロセスへのAEPの一般化が可能になる。
• 再配置チャネルを伴うチャネル相対エントロピーの加法性結果が証明され、非i.i.d.設定における平滑化された最大相対エントロピーの上界を求める上で不可欠である。
• 証明は、 $ \tilde{D}_\alpha $ に関する作用素不等式、 $ \mu = \langle \rho | \sqrt{\Delta} + \sqrt{\Delta}^{-1} + 1 | \rho \rangle $ のスペクトル的境界、および $ \alpha $ における洗練された最適化により、 $ \log n / n $ 項を制御することに依存する。