[论文解读] Theoretical Analyses of Quantum Counting against Decoherence Errors

Jun Hasegawa, Fumitaka Yura|ArXiv.org|Mar 25, 2005

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

一句话总结

本文分析了退相干对量子计数的影响，这是利用量子傅里叶变换估算问题解数量的关键量子算法。通过在去极化通道下对比受控-Grover 操作的升序与降序电路，研究发现升序电路在退相干下表现出更强的鲁棒性，错误峰更少，且与正确输出的保真度更高，该发现可推广至相位估计算法和 Shor 因子分解。

ABSTRACT

In this paper, we analyze the quantum counting under the decoherence, which can find the number of solutions satisfying a given oracle. We investigate probability distributions related to the first order term of the error rate on the quantum counting with the depolarizing channel. We also implement two circuits for the quantum counting -- the ascending-order circuit and the descending-order circuit -- by reversing ordering of application of controlled-Grover operations. By theoretical and numerical calculations for probability distributions, we reveal the difference of probability distributions on two circuits in the presence of decoherence and show that the ascending-order circuit is more robust against the decoherence than the descending-order circuit. This property of the robustness is applicable to the phase estimation such as the factoring.

研究动机与目标

• 研究退相干对量子计数的影响，这是估算数据库中解数量的基本量子算法。
• 在退相干条件下，比较量子计数中受控-Grover 操作的两种电路实现方式——升序与降序——的鲁棒性。
• 将电路鲁棒性的发现推广至相位估计算法，如依赖相似量子傅里叶变换结构的 Shor 因子分解。
• 识别误差分布与电路排序如何影响退相干存在下的概率分布，特别是在第一和第二量子寄存器中。
• 评估半经典实现对退相干的脆弱性，鉴于其在相位估计中的效率。

提出的方法

• 使用去极化通道作为误差源建模退相干，独立应用于量子计数电路中的第一和第二量子寄存器。
• 通过涉及复指数和三角函数的求和，推导升序与降序电路最终态的概率振幅的解析表达式。
• 通过识别退相干率的一阶误差项，对概率分布进行理论与数值分析，特别关注振幅函数中的峰值。
• 比较两种电路顺序的输出概率分布，识别出由误差引起的显著峰值，如降序情况下在 m′=0 和 m′=2^p/2 处的虚假峰值。
• 以量子傅里叶变换和受控-Grover 操作为核心组件，电路结构差异源于受控操作的排序。
• 通过将量子计数结构与相位估计框架关联，将分析应用于相位估计，将鲁棒性结论推广至相关算法。

实验结果

研究问题

• RQ1 当退相干被建模为去极化通道时，它如何影响量子计数算法中的概率分布？
• RQ2 在量子计数中，受控-Grover 操作的升序与降序实现方式在退相干鲁棒性方面有何差异？
• RQ3 为何在退相干下，两种电路顺序的概率分布会发散，特别是在第二寄存器中？
• RQ4 是否存在仅在一种电路配置中出现的特定误差诱导峰值，它们如何影响输出的准确性？
• RQ5 升序电路的鲁棒性优势是否可推广至其他相位估计算法，如 Shor 因子分解？

主要发现

• 在第一寄存器发生退相干时，升序与降序电路均产生具有多个峰值的概率分布，这些峰值位于与正确峰值距离为 2 的幂的位置。
• 当退相干影响第二寄存器时，升序电路仅在 m′=f 和 m′=2^p−f 处产生两个强峰值，对应正确解，伴有微弱的侧峰。
• 相比之下，第二寄存器的降序电路在 m′=0 和 m′=2^p/2 处产生两个额外的强虚假峰值，且与预言机或误差类型无关，主导了输出分布。
• 在相同退相干条件下，升序电路获得正确输出的概率高于降序电路。
• 降序电路的概率分布中在 m′=2^p/2 处表现出强峰值，对应于 Grover 算子的 −1 特征值，而该峰值在升序电路中不存在。
• 总体而言，升序电路更具鲁棒性，因为它避免了形成如 m′=0 和 m′=2^p/2 这类固定且高概率的错误输出，而这些是降序结构固有的。