[论文解读] Phase estimation as a quantum nondemolition measurement

B. C. Travaglione, G. J. Milburn+1 more|ArXiv.org|Mar 27, 2002

Quantum Computing Algorithms and Architecture参考文献 5被引用 3

一句话总结

本文证明了量子相位估计算法——肖尔因式分解及其他量子算法的核心——在数学上等价于量子无坍缩（QND）测量。通过表明相位估计算法满足QND测量的三个标准（与自由哈密顿量、相互作用哈密顿量及计数器变量对易），作者统一了量子信息中的两个关键概念：量子算法设计与反作用规避测量，将这种等价性扩展至离散与连续变量量子系统。

ABSTRACT

The phase estimation algorithm, which is at the heart of a variety of quantum algorithms, including Shor's factoring algorithm, allows a quantum computer to accurately determine an eigenvalue of an unitary operator. Quantum nondemolition measurements are a quantum mechanical procedure, used to overcome the standard quantum limit when measuring an observable. We show that the phase estimation algorithm, in both the discrete and continuous variable setting, can be viewed as a quantum nondemolition measurement.

研究动机与目标

• 建立相位估计算法与量子无坍缩（QND）测量之间的理论等价性。
• 证明相位估计算法满足QND测量的三个基本标准：与自由哈密顿量对易、与相互作用哈密顿量对易，以及与非对易计数器变量对易。
• 将这种等价性扩展至连续变量量子系统，表明连续变量相位估计算法与连续变量QND测量同构。
• 统一量子算法设计与量子测量理论中的概念，突出量子信息处理中共享的原理。

提出的方法

• 形式化QND测量的三个标准：[ĤF, Â] = 0，[ĤSM, Â] = 0，以及[ĤSM, B̂] ≠ 0。
• 将相位估计算法分为三个阶段：初始化（将计数器准备为零本征态）、纠缠（应用受控酉操作Û = e^{iĤUΛ}），以及测量（傅里叶变换与计算基测量）。
• 将离散量子比特相位估计算法电路映射至QND测量框架，使用Hadamard门作为傅里叶变换，受控-非门作为相互作用哈密顿量。
• 通过将量子比特寄存器替换为无限维系统，将分析扩展至连续变量，使用位置本征态作为计算基，动量作为共轭计数器变量。
• 证明相互作用哈密顿量e^{iX̂IÂT}满足QND标准，其中Â为待测量的可观测量。
• 利用最终在傅里叶基上的测量对应于测量共轭变量的事实，与QND原理一致。

实验结果

研究问题

• RQ1 相位估计算法能否被解释为量子无坍缩测量？
• RQ2 QND测量的三个定义性标准是否在相位估计算法协议中成立？
• RQ3 相位估计算法与QND测量之间的等价性在连续变量范围内是否保持？
• RQ4 相位估计算法的结构如何与量子测量中的反作用规避原理对齐？
• RQ5 量子算法与精密测量技术之间在操作与概念上存在何种联系？

主要发现

• 相位估计算法满足量子无坍缩测量的全部三个标准：可观测量与自由哈密顿量对易，相互作用哈密顿量与可观测量对易，且计数器变量与相互作用哈密顿量不对易。
• 在离散情况下，受控-非门实现了相互作用哈密顿量e^{iĤSM} = e^{iχX̂aŶb}，满足[ĤSM, X̂a] = 0与[ĤSM, Ŷb] ≠ 0。
• 初始态|x⟩a|0⟩b在相互作用下演化为∫dy |x⟩a|y⟩b，表明系统与计数器之间产生纠缠，与QND测量一致。
• 通过Hadamard门实现的傅里叶基上的最终测量将计数器变量投影至系统可观测量的共轭变量，实现对本征值的提取，且不对被测量可观测量造成反作用。
• 在连续变量极限下，相位估计算法直接映射为理想的正交QND测量，其中索引系统制备于动量本征态（零动量），最终测量在位置基上进行。
• 由于理想位置本征态在物理上不可达，实际中等价性为近似，需借助压缩态或其他近似方法实现实验化。