[论文解读] On metric of quantum channel spaces

Keiji Matsumoto|arXiv (Cornell University)|Jun 2, 2010

Mathematical Inequalities and Applications参考文献 10被引用 8

一句话总结

本文通过在量子通道空间中施加与单位通道张量积不变性及通道级联下的单调性，建立了单调度量的公理化框架。它确定了此类度量的最大值与最小值，并表明对于有噪声通道，任何通道估计的均方误差（MSE）均被下界限制在 $O(1/n)$，这意味着在任意微弱噪声下，Heisenberg 极限 $O(1/n^2)$ 会崩溃。

ABSTRACT

So far, there have been plenty of literatures on the metric in the space of probability distributions and quantum states. As for channels, however, only a little had been known. In this paper, we impose monotonicity by concatenation of channels before and after the given channel families, and invariance by tensoring identity channels. Under these axioms, we identify the largest and the smallest metrics. Also, we studied asymptotic theory of metric in parallel and adaptive repetition settings, and applied them to the study of channel estimation. First we express the achievable lower bound of the mean square error (MSE) of an estimate by a monotone channel metric, and show this equals O(1/n) for noisy channels, where n is the number of times of channel use. This result shows Heisenberg rate, or O(1/n^2)-rate of the MSE observed in case of estimation of unitary, collapses with very small arbitrary noise.

研究动机与目标

• 开发量子通道空间中单调度量的公理化表征。
• 识别满足单调性及与单位通道张量积不变性的最大和最小度量。
• 研究这些度量在并行和自适应通道重复使用设置下的渐近行为。
• 将理论应用于推导通道估计精度的根本极限。
• 证明当在通道中引入任意微弱噪声时，MSE 中的 Heisenberg 标度 $O(1/n^2)$ 会退化为 $O(1/n)$。

提出的方法

• 施加两个公理：与单位通道张量积的不变性，以及在通道级联下的单调性。
• 将最小度量识别为通道切空间中的 SLD Fisher 信息，将最大度量识别为 RLD Fisher 信息。
• 使用渐近切空间模拟技术分析并行和自适应设置下的重复通道使用。
• 应用理论通过单调度量推导通道估计均方误差（MSE）的下界。
• 采用切空间分析与范数等价性论证，将通道度量与输入-输出空间中的量子 Fisher 信息联系起来。
• 利用高斯近似和经典切空间模拟定理（例如定理 15）构建通道族的渐近有效模拟。

实验结果

研究问题

• RQ1 在满足单调性及与单位通道张量积不变性的条件下，量子通道空间中最大和最小的度量是什么？
• RQ2 在并行和自适应设置下重复使用时，单调通道度量的渐近行为如何？
• RQ3 使用单调度量估计量子通道时，均方误差（MSE）的根本下界是什么？
• RQ4 当在通道中引入任意微弱噪声时，MSE 中的 Heisenberg 标度 $O(1/n^2)$ 是否仍然成立？
• RQ5 在有限维条件下，通道空间上的最大单调度量能否用 RLD Fisher 信息表征？

主要发现

• 量子通道空间上的最小单调度量由 SLD Fisher 信息给出，$G_{\rm \boldsymbol{\rho}}^{\rm min} = \max_x J_{\rho_x}^S(\delta_x)$。
• 在有限维假设下，最大单调度量由 RLD Fisher 信息表征，$\tilde{G}_{\Phi}^{\max,p}(\Delta) = \max_x J_{\rho_x}^R(\delta_x)$。
• 对于有噪声通道，任何估计方案的均方误差（MSE）均被下界限制在 $O(1/n)$，其中 $n$ 为通道使用次数。
• 在噪声通道中，MSE 的 Heisenberg 极限 $O(1/n^2)$ 会退化为 $O(1/n)$，即使噪声极小。
• 通过经典高斯模型和 RLD Fisher 信息，可实现通道族的渐近切空间模拟，且误差随 $n \to \infty$ 趋于零。
• 在有限维条件下，对于 CQ 通道，猜想 $G_{\Phi}^{R,p}(\Delta) = \tilde{G}_{\Phi}^{\max,p}(\Delta) \lneqq G_{\Phi}^{\max,p}(\Delta)$ 成立。