[论文解读] On the condition of conversion of classical probability distribution families into quantum families

Keiji Matsumoto|arXiv (Cornell University)|Dec 11, 2014

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

一句话总结

本文確立了通過完全正且跡保持（CPTP）映射將一類經典概率分佈家族轉換為量子密度算符家族的必要且充分條件。文章引入了一種最大量子 f-散度 $ D_f^{ ext{max}} $，用以表征實現此類轉換所需的最小經典 f-散度，並證明 f 的算子凸性對於 CPTP 映射的存在至關重要，從而將量子統計可區分性與經典資訊度量聯繫起來。

ABSTRACT

The purpose of the paper is to study the condition for a probability distribution family to a quantum state family. This is an (relatively) easy example of quantum version of "comparison of statistical experiments", which had turned out to supply deep insight into the foundation of classical and quantum statistics \cite{Strasser}\cite{Torgersen}. It turns out use of maximal quantum $f$-divergence is useful in characterizing the classical-quantum transformability.

研究动机与目标

• 確定經典概率分佈家族透過 CPTP 映射轉換為量子密度算符家族的必要且充分條件。
• 表徵模擬給定量子統計模型所需的最小經典 f-散度，並引入 f-散度的量子版本。
• 透過最大 f-散度 $ D_f^{\text{max}} $，建立量子統計可區分性與經典資訊度量之間的聯繫。
• 釐清算子凸性在確保此類 CPTP 映射存在的作用，從而連結量子資訊理論與經典散度理論。

提出的方法

• 將最大量子 f-散度 $ D_f^{\text{max}}(\sigma_0||\sigma_1) $ 定義為所有能產生目標量子態的 CPTP 映射與輸入分佈下經典 f-散度的下確界。
• 利用 Naimark 擴張定理，以等距算子與投影算子表示 CPTP 映射，從而將最小化問題重構為算子代數形式。
• 當 f 為算子凸函數時，推導出 $ D_f^{\text{max}} $ 的顯式表達式：$ \mathrm{tr}\,\sigma_1 f(\sigma_1^{-1/2} \tilde{\sigma}_0 \sigma_1^{-1/2}) + (1 - \mathrm{tr}\,\tilde{\sigma}_0) \lim_{\lambda\to\infty} f(\lambda)/\lambda $，其中 $ \tilde{\sigma}_0 $ 為 $ \sigma_0 $ 對 $ \sigma_1 $ 的 Schur 補子。
• 應用 f-散度在 CPTP 映射下保持單調性的性質，證明任何有效的量子 f-散度必須以 $ D_f^{\text{max}} $ 為上界。
• 利用性質：對所有等距算子 V，僅當 f 為算子凸時，有 $ f(V^\dagger d' V) \leq V^\dagger f(d') V $，從而推導出 CPTP 映射存在的必要條件。
• 分析二元參數空間的情形，並構造反例，表明僅基於所有算子凸 f 的 $ D_f^{\text{max}} $ 條件不充分，除非額外施加約束。

实验结果

研究问题

• RQ1 在何種條件下，經典概率分佈家族可透過 CPTP 映射轉換為量子密度算符家族？
• RQ2 在經典到量子轉換的背景下，最大量子 f-散度 $ D_f^{\text{max}} $ 如何與經典 f-散度相關？
• RQ3 f 的算子凸性在決定此類轉換中 CPTP 映射存在的角色為何？
• RQ4 能否明確表徵模擬量子模型所需的最小經典 f-散度？
• RQ5 基於所有算子凸 f 的 $ D_f^{\text{max}} $ 條件是否足以確保 CPTP 映射的存在？

主要发现

• 存在 CPTP 映射 $ \Gamma $ 使得對所有 $ \theta \in \{0,1\} $ 滿足 $ \Gamma(p_\theta) = \sigma_\theta $ 的必要且充分條件是：對所有定義在 $[0,\infty)$ 上的算子凸函數 f，均有 $ D_f^{\text{max}}(\sigma_0||\sigma_1) \leq D_f(p_0||p_1) $。
• 最大量子 f-散度 $ D_f^{\text{max}}(\sigma_0||\sigma_1) $ 的顯式表達式為 $ \mathrm{tr}\,\sigma_1 f(\sigma_1^{-1/2} \tilde{\sigma}_0 \sigma_1^{-1/2}) + (1 - \mathrm{tr}\,\tilde{\sigma}_0) \lim_{\lambda\to\infty} f(\lambda)/\lambda $，其中 $ \tilde{\sigma}_0 $ 為 $ \sigma_0 $ 對 $ \sigma_1 $ 的 Schur 補子。
• 基於所有算子凸 f 的 $ D_f^{\text{max}} $ 條件不足以確保 CPTP 映射的存在，如涉及三次曲線與代數凸性約束的反例所示。
• f 的算子凸性是不等式 $ f(V^\dagger d' V) \leq V^\dagger f(d') V $ 對所有等距算子 V 成立的必要條件，而此不等式是確保最小化問題被 $ D_f^{\text{max}} $ 控制的關鍵。
• RLD Fisher 信息與一種量子相對熵版本被操作性地表徵為模擬給定量子模型所需的最小經典 Fisher 信息與最小經典熵。
• 本文表明，$ D_f^{\text{max}} $ 是與經典 f-散度在交換情形下一致的最小量子 f-散度，且在 CPTP 映射下保持單調性。