[论文解读] Quantum Fisher Information as the Convex Roof of Variance

Sixia Yu|arXiv (Cornell University)|Feb 21, 2013

Quantum Mechanics and Applications被引用 31

一句话总结

本文通过显式构造任意混合态的纯态系综，严格证明了量子费舍尔信息（QFI）是可观测量方差的凸包。该结果确立了QFI为所有态制备方案中可实现的最小平均方差，为量子计量学提供了根本性的操作解释。

ABSTRACT

Quantum Fisher information places the fundamental limit to the accuracy of estimating an unknown parameter. Here we shall provide the quantum Fisher information an operational meaning: a mixed state can be so prepared that a given observable has the minimal averaged variance, which equals exactly to the quantum Fisher information for estimating an unknown parameter generated by the unitary dynamics with the given observable as Hamiltonian. In particular we shall prove that the quantum Fisher information is the convex roof of the variance, as conjectured by Toth and Petz based on numerical and analytical evidences, by constructing explicitly a pure-state ensemble of the given mixed state in which the averaged variance of a given observable equals to the quantum Fisher information.

研究动机与目标

• 建立量子费舍尔信息（QFI）在混合态纯态系综中最小平均方差的严格操作解释。
• 通过解析构造，解决Tóth和Petz提出的猜想：QFI等于方差的凸包。
• 证明对于给定可观测量，QFI是任何混合态纯态分解中可能实现的最小平均方差。
• 将此最小平均方差系综与最大平均方差系综进行对比，确认方差本身是其自身的凹包。

提出的方法

• 引入两个辅助可观测量 $ Z_H $ 和 $ Y_H $，分别通过密度矩阵 $ \varrho $ 和可观测量 $ H $ 的本征态与本征值定义。
• 利用将 $ Y_H $ 对角化的酉矩阵 $ U $，从 $ \varrho $ 的本征态构造纯态系综 $ \mathcal{U} = \{ u_k, |U_k\rangle \} $。
• 将纯态 $ |U_k\rangle $ 定义为 $ \varrho $ 本征态的归一化叠加，权重为 $ U_{ka} \sqrt{\lambda_a} $，以确保 $ \varrho = \sum_k u_k |U_k\rangle\langle U_k| $。
• 证明由 $ U $ 导出的正交算符 $ \Gamma_k $ 允许对 $ Z_H $ 进行精确分解，从而得到 $ \sum_k u_k \langle U_k|H|U_k\rangle^2 = \mathrm{Tr}(Z_H^2) $。
• 表明在此系综中，平均方差满足 $ \sigma_\varrho^\mathcal{U}(H) = \mathrm{Tr}(\varrho H^2) - \mathrm{Tr}(Z_H^2) = I_\varrho(H) $，从而证明QFI是方差的凸包。
• 构造另一系综 $ \mathcal{V} $，利用酉变换使 $ \sqrt{\varrho}H\sqrt{\varrho} - \varrho\,\mathrm{Tr}(\varrho H) $ 的对角元为零，从而实现最大平均方差，其值等于标准方差。

实验结果

研究问题

• RQ1 量子费舍尔信息能否被操作性地解释为给定混合态所有纯态系综中最小平均方差？
• RQ2 正如Tóth和Petz所猜想的那样，量子费舍尔信息是否精确等于方差的凸包？
• RQ3 何种结构条件可保证最小平均方差系综的唯一性？
• RQ4 最小平均方差系综与对称对数导数及量子Cramér-Rao界之间有何关系？

主要发现

• 量子费舍尔信息 $ F_\varrho(H) $ 精确等于所有混合态 $ \varrho $ 的纯态系综中最小平均方差，即 $ \min_\phi \sigma_\varrho^\phi(H) = \frac{1}{4}F_\varrho(H) $。
• 显式构造了一个纯态系综 $ \mathcal{U} $，使得 $ H $ 的平均方差等于量子费舍尔信息，从而确认了凸包结构。
• 当可观测量 $ Y_H $ 非简并时，最小平均方差系综唯一，因为此时对角化 $ Y_H $ 的酉矩阵唯一。
• 标准方差是其自身的凹包，通过构造另一系综 $ \mathcal{V} $ 得到验证，其中平均方差达到最大值 $ \sigma_\varrho(H) $。
• 在一般参数估计中，量子费舍尔信息可分解为经典费舍尔信息与一个等于四倍哈密顿量 $ H_\theta $ 方差凸包的量子部分。
• 该构造确认了 $ I_\varrho(H) = \mathrm{Tr}(\varrho H^2) - \mathrm{Tr}(Z_H^2) $，其中 $ Z_H $ 通过 $ \varrho $ 的本征基定义，且在最小系综中 $ \mathrm{Tr}(Z_H^2) = \sum_k u_k \langle U_k|H|U_k\rangle^2 $。