[論文レビュー] Reverse Test and Characterization of Quantum Relative Entropy

Keiji Matsumoto|arXiv (Cornell University)|Oct 5, 2010

Statistical Mechanics and Entropy参考文献 16被引用数 29

ひとこと要約

本稿は、リソース変換シナリオを用いて量子相対エントロピーの公理的特徴付けを提供し、仮説検定の双対として逆テストおよび漸近的逆テストを導入する。単調性および正規化の下で、量子相対エントロピーは標準的相対エントロピー D(ρ||σ) と RLD 相対エントロピー Dᴿ(ρ||σ) の間で有界であり、漸近的領域では D(ρ||σ) の定数倍を除いて一意に定まることが示される。

ABSTRACT

The aim of the present paper is to give axiomatic characterization of quantum relative entropy utilizing resource conversion scenario. We consider two sets of axioms: non-asymptotic and asymptotic. In the former setting, we prove that the upperbound and the lowerbund of $\mathrm{D}^{Q}(ρ||σ) $ is $\mathrm{D}^{R}(ρ||σ) :=\mathrm{tr}% \,ρ\ln\sqrtρσ^{-1}\sqrtρ$ and $\mathrm{D}(ρ||σ) :=$ $\mathrm{tr}\,ρ(\lnρ-\lnσ) $, respectively. In the latter setting, we prove uniqueness of quantum relative entropy, that is, $\mathrm{D}^{Q}(ρ||σ) $ should equal a constant multiple of $\mathrm{D}(ρ||σ) $. In the analysis, we define and use reverse test and asymptotic reverse test, which are natural inverse of hypothesis test.

研究の動機と目的

• リソース変換シナリオを用いて量子相対エントロピーの公理的基盤を提供すること。
• 逆テストを通じて、量子相対エントロピーの操作的および情報理論的妥当性を確立すること。
• 弱加法性および下からの漸近的連続性の下で、量子相対エントロピーの漸近的挙動を特徴付けること。
• 逆テスト解析を通じて、RLD フィッシャー情報の操作的意味を明確化すること。
• 漸近的公理の下で、量子相対エントロピーが D(ρ||σ) の定数倍を除いて一意に定まることを証明すること。

提案手法

• 逆テストを、古典的確率対 (p,q) を量子状態対 (ρ,σ) に変換する CPTP マップとして導入し、仮説検定の逆として機能させる。
• 漸近的逆テストを、古典的 n 重分布 (pⁿ,qⁿ) を量子状態 (ρⁿ,σⁿ) に近似的に変換するものとして定義し、漸近的リソース変換をモデル化する。
• 逆テストを用いて下界を導出する：Dᴿ(ρ||σ) = tr[ρ ln(√ρ σ⁻¹ √ρ)] は、(ρ,σ) のすべての逆テストにおける D(p||q) の最小値である。
• Hiai-Petz の定理を適用して、ρⁿ と σⁿ を指数的に小さな誤差で漸近的に区別できる射影測定を構成し、漸近的解析を可能にする。
• 単調性 (M)、正規化 (N)、弱加法性 (A)、下からの漸近的連続性 (C) の公理を課して一意性を導出する。
• 仮説検定と逆テストの双対性を用いて、(M)、(A)、(C) を満たす任意の関数的は D(ρ||σ) の定数倍に限られることを証明する。

実験結果

リサーチクエスチョン

• RQ1 単調性および古典的正規化を満たす量子相対エントロピー関数 D^Q(ρ||σ) の、最もきつい上界と下界は何か？
• RQ2 自然なリソース理論的公理を用いて、漸近的領域における量子相対エントロピーの一意的特徴付けは可能か？
• RQ3 量子推定理論における RLD フィッシャー情報の操作的意味は何か？
• RQ4 漸近的逆テストは、量子相対エントロピーおよび仮説検定の漸近的挙動とどのように関係するか？
• RQ5 漸近的連続性条件 (C) は、相対 Rénnyi エントロピーなどの他の発散にも緩和可能か？

主な発見

• 単調性 (M) および正規化 (N) の下で、D^Q(ρ||σ) は D(ρ||σ) = tr[ρ(lnρ − lnσ)] で下界され、Dᴿ(ρ||σ) = tr[ρ ln(√ρ σ⁻¹ √ρ)] で上界される。
• 弱加法性 (A) を追加すると、下界は D(ρ||σ) ≤ D^Q(ρ||σ) ≤ Dᴿ(ρ||σ) に厳しくなり、Dᴿ(ρ||σ) が最もきつい上界であることが示される。
• (M)、(A)、(C) を満たす場合、D^Q(ρ||σ) は D(ρ||σ) の定数倍に限られ、漸近的設定における量子相対エントロピーの一意性が証明される。
• RLD 相対エントロピー Dᴿ(ρ||σ) は jointly convex である。これは逆テスト解析によって確立された結果である。
• fidelity を用いた発散 D^F(ρ||σ) = ln||√ρ√σ||₁ は下からの漸近的連続性 (C) を満たさないため、量子相対エントロピーの有効な候補でないことが示される。
• 適切に正規化された単調な計量 g に対して、ρⁿ に収束する列 ˜ρⁿ における (1/n)D^g(˜ρⁿ||σⁿ) の下限は D(ρ||σ) に等しく、操作的収束が標準的相対エントロピーに達することが示される。