[论文解读] Extending the Fisher metric to density matrices

D. Petz, Cs. Sudar|ArXiv.org|Feb 27, 2001

Mathematical Inequalities and Applications参考文献 11被引用 19

一句话总结

本文通过使用算子单调函数表征有限维密度算符空间上的单调黎曼度量，将经典Fisher信息度量推广至量子密度矩阵。证明了此类度量大量存在——与经典统计中唯一的Fisher度量不同——并表明向纯态的径向延拓当且仅当关联的算子单调函数在零处非零时，会得到Fubini-Study度量。

ABSTRACT

Chentsov studied Riemannian metrics on the set of probability measures from the point of view of decision theory. He proved that up to a constant factor the Fisher information is the only metric which is monotone under stochastic transformations. The present paper deals with monotone metrics on the space of finite density matrices on the basis motivated by quantum mechanics. A characterization of those metrics is given in terms of operator monotone functions. Several concrete metrics are constructed and analyzed, in particular, instead of the uniqueness in the probabilistic case, there is a large class of monotone metrics. Some of those appeared already in the physics literature a long time ago. A limiting procedure to pure states is discussed as well.

研究动机与目标

• 将经典Fisher信息度量推广至有限维希尔伯特空间中的密度矩阵量子设定。
• 识别并表征在量子随机映射（即完全正且保迹的映射）下单调的密度矩阵空间上的黎曼度量。
• 建立单调黎曼度量与正实轴上算子单调函数之间的一一对应关系。
• 研究当密度矩阵通过径向投影趋近于纯态时，这些度量的极限行为。
• 确定密度矩阵空间上的度量在何种条件下可光滑延拓至纯态流形。

提出的方法

• 采用Chentsov在经典统计中关于单调度量的框架，并通过完全正映射将其适配至量子力学。
• 利用算子单调函数 f: R⁺ → R⁺ 表征密度矩阵空间上的单调黎曼度量，其中在密度矩阵 D 处的度量通过 f(D) 在Hilbert-Schmidt内积中的定义来确定。
• 从密度矩阵空间内部（非退化矩阵）到边界（纯态）应用径向投影，使用最大特征值定义径向方向。
• 通过将切向量在径向投影微分的核正交补空间上投影，定义纯态处切向量的水平提升。
• 在2×2情形下，以特征值和算子单调函数 f 表示提升切向量上的度量，特别地进行计算。
• 通过取沿趋近于纯态的径向路径上度量 g 的极限，推导出密度矩阵上的度量 g 到纯态空间上度量 k 的径向延拓。

实验结果

研究问题

• RQ1 哪些密度矩阵空间上的黎曼度量在量子随机映射下是单调的，以及如何系统地表征它们？
• RQ2 算子单调函数在参数化量子态空间上单调度量中起什么作用？
• RQ3 密度矩阵上的单调度量能否连续延拓至纯态边界，其延拓存在的条件是什么？
• RQ4 当密度矩阵上的单调度量被径向延拓时，其在纯态流形上的结果度量是什么？
• RQ5 单调度量的径向延拓与纯态上的标准Fubini-Study度量有何关系？

主要发现

• 密度矩阵空间上的单调黎曼度量与算子单调函数 f: R⁺ → R⁺ 之间存在一一对应关系。
• 与经典情形中Fisher度量唯一（至多标量倍）不同，在量子情形下存在一大类此类度量，由算子单调函数参数化。
• 单调度量 g 向纯态空间的径向延拓存在，当且仅当与 g 关联的算子单调函数 f 满足 f(0) ≠ 0。
• 当 f(0) ≠ 0 时，径向延拓在纯态流形上给出Fubini-Study度量，其缩放因子为 1/f(0)。
• 在2×2情形下，纯态处切向量的水平提升可显式计算，且与度量选择无关，仅依赖于特征值间隙。
• 当且仅当 f(0) ≠ 0 时，沿径向路径的度量极限为有限且定义良好，从而确保向纯态的光滑延拓。