[论文解读] Error-disturbance relations for finite dimensional systems

Asger C. Ipsen|arXiv (Cornell University)|Nov 1, 2013

Quantum Mechanics and Applications参考文献 16被引用 3

一句话总结

本文提出了一种针对有限维量子系统的操作性误差-扰动关系，采用校准误差和变分误差度量来量化测量精度与扰动之间的权衡。对于量子比特，推导出紧致不等式，表明非对易可观测量的联合测量在根本上受限于量子不确定度，且显式边界取决于其本征基之间的重叠。

ABSTRACT

We propose an error-disturbance relation for general observables on finite dimensional Hilbert spaces based on operational notions of error and disturbance. For two-dimensional systems we derive tight inequalities expressing the trade-off between accuracy and disturbance.

研究动机与目标

• 基于误差与扰动的操作性定义，为有限维量子系统制定误差-扰动关系。
• 解决在联合测量非对易可观测量时扰动量化缺乏共识的问题。
• 为二维系统（量子比特）推导测量误差与扰动之间的紧致、定量权衡不等式。
• 比较两种不同的误差度量——校准误差与变分误差——在最优联合测量方案中的影响。
• 建立依赖于可观测量本征基之间重叠的联合可测量性边界。

提出的方法

• 使用两种度量定义误差与扰动：校准误差 $ d_c(M,P) = \sup_a (1 - \tr(M_a P_a)) $，以及变分误差 $ d_v(M,P) = \sup_\rho \frac{1}{2} \sum_a |\tr(M_a\rho) - \tr(P_a\rho)| $。
• 通过正算子值测度（POVMs）$ F_{ab} $ 建模联合测量，其中边缘POVMs为 $ M_a = \sum_b F_{ab} $ 和 $ \bar{M}_a = \sum_b F_{ba} $。
• 利用算子范数等价性 $ d_v(M,P) = \sup_{X \in \mathcal{F}} \| M(X) - P(X) \| $，将变分误差表示为算子范数形式。
• 利用柯西-施瓦茨不等式与算子的正定性约束，推导出 $ \bar{M}_1 $ 矩阵元的边界，从而导出涉及 $ \epsilon = d_\beta(M,P) $ 与 $ \bar{\epsilon} = d_\beta(\bar{M},\bar{P}) $ 的不等式。
• 构造函数 $ I(\epsilon, \bar{\epsilon}; t, t') $，其在有效联合测量下必须非负，其中 $ t = |\langle \bar{1}|1\rangle| $，由此推导出 $ \epsilon $ 与 $ \bar{\epsilon} $ 的约束。
• 将所有基向量对的边界组合，定义可行区域 $ H $ 与 $ H' $，从而得出 $ \epsilon + \bar{\epsilon} $ 的下界。

实验结果

研究问题

• RQ1 在有限维希尔伯特空间中，两个非对易可观测量的测量误差与扰动之间，最紧致的权衡关系是什么？
• RQ2 不同的操作性误差定义（校准误差 vs. 变分误差）如何导致不同的最优联合测量策略？
• RQ3 能否推导出依赖于可观测量本征基之间重叠的联合可测量性的显式边界？
• RQ4 互 unbiased 基的存在如何影响误差-扰动权衡？
• RQ5 是否可能推导出即使在测量后进行误差校正也依然成立的一般性误差-扰动关系？

主要发现

• 对于量子比特，本文推导出紧致的误差-扰动不等式，量化了非对易可观测量联合测量中精度与扰动之间的根本权衡。
• 校准误差 $ d_c $ 与变分误差 $ d_v $ 导致非等价的最优联合测量方案，表明误差度量的选择会影响可实现的权衡。
• 推导出一般性边界 $ I(\epsilon, \bar{\epsilon}; t, t') \geq 0 $，其中 $ t = |\langle \bar{1}|1\rangle| $，该边界约束了误差与扰动的可能取值。
• 只要重叠 $ |\langle \bar{1}|1\rangle||\langle \bar{1}|2\rangle| > 0 $，该边界即为非平凡的，表明当可观测量未完全对齐时，扰动无法被消除。
• 总误差 $ d_c(M,P) + d_c(\bar{M},\bar{P}) $ 的下界由可行区域 $ H \cap H' $ 上 $ \epsilon + \bar{\epsilon} $ 的下确界给出，提供了总误差的全局下界。
• 所推导的关系即使在测量后应用误差校正时依然有效，表明其对后处理具有鲁棒性。