[论文解读] Quantum Approximate Counting, Simplified

Scott Aaronson, Patrick Rall|arXiv (Cornell University)|Aug 28, 2019

Quantum Computing Algorithms and Architecture被引用 26

一句话总结

本文提出了一种简化版的、无需量子傅里叶变换（QFT）的量子近似计数算法，仅使用Grover迭代即实现了最优的查询复杂度 $O(\varepsilon^{-1}\sqrt{N/K})$，与原始BHMT算法的性能完全一致。该方法依赖于Grover的扩散算符和经典估计技术，以乘法误差 $\varepsilon$ 估计标记项数量 $K$，同时仅引入 $O(\log N)$ 的计算开销，使其更适合近中期量子设备。

ABSTRACT

In 1998, Brassard, Hoyer, Mosca, and Tapp (BHMT) gave a quantum algorithm for approximate counting. Given a list of $N$ items, $K$ of them marked, their algorithm estimates $K$ to within relative error $\varepsilon$ by making only $O\left( \frac{1}{\varepsilon}\sqrt{\frac{N}{K}} ight) $ queries. Although this speedup is of "Grover" type, the BHMT algorithm has the curious feature of relying on the Quantum Fourier Transform (QFT), more commonly associated with Shor's algorithm. Is this necessary? This paper presents a simplified algorithm, which we prove achieves the same query complexity using Grover iterations only. We also generalize this to a QFT-free algorithm for amplitude estimation. Related approaches to approximate counting were sketched previously by Grover, Abrams and Williams, Suzuki et al., and Wie (the latter two as we were writing this paper), but in all cases without rigorous analysis.

研究动机与目标

• 在保持最优查询复杂度的前提下，消除量子近似计数中对量子傅里叶变换（QFT）的需求。
• 对基于Grover的近似计数算法提供严格的分析，弥补Grover、Abrams和Williams等人先前基于启发式方法的不足。
• 将简化后的计数算法推广至振幅估计，实现对量子态之间内积模长的估计。
• 通过减少量子深度和对复杂量子操作（如受控-Grover）的依赖，提升在近中期量子硬件上的实用性。
• 建立一种清晰且分析严谨的替代方案，以取代BHMT算法，仅使用标准Grover操作和经典统计估计。

提出的方法

• 该算法在初始化为均匀叠加态的系统上重复执行Grover迭代，其中标记态定义为最后两个量子比特为 |00⟩ 的态。
• 通过测量经过 $r$ 次迭代后观测到标记态的概率来估计Grover角度 $\theta = \arcsin(\sqrt{K/N})$，该概率为 $\sin^2(r\theta)$。
• 采用经典估计程序识别出观测到的最大概率，以估计 $r\theta$，进而推断 $\theta$，从而得到 $K$。
• 该算法应用一种经过修改的Grover扩散算符，作用于扩展的希尔伯特空间，通过引入一个辅助量子比特，利用受控相位翻转来定义标记态。
• 估计过程采用置信区间方法，以确保最终估计值 $\hat{K}$ 满足 $|\hat{K} - K| \leq \varepsilon K$ 的概率较高。
• 该方法可推广至振幅估计，通过重新定义 $\theta = \arcsin(a)$，其中 $a = |\langle\psi|\phi\rangle| $，并利用相同的迭代Grover过程来估计 $a$。

实验结果

研究问题

• RQ1 是否可以在不使用量子傅里叶变换（QFT）的前提下实现量子近似计数算法，同时保持最优查询复杂度？
• RQ2 是否可能对基于Grover的振幅估计实现严格、无需QFT的分析，并保证乘法误差？
• RQ3 与原始BHMT算法相比，仅使用Grover的算法在查询次数和计算开销方面表现如何？
• RQ4 该算法能否在深度受限的量子计算环境下高效运行，即在有限操作后对量子比特进行测量？
• RQ5 在无需QFT的框架下，是否可以使用并行化的Grover调用，在保持最优查询复杂度的同时改善电路深度？

主要发现

• 所提出的算法在不使用量子傅里叶变换（QFT）的情况下，实现了最优的查询复杂度 $O(\varepsilon^{-1}\sqrt{N/K})$，与BHMT算法的性能完全一致。
• 计算复杂度仅比查询复杂度高出 $O(\log N)$ 因子，因此高效且适用于近中期量子设备。
• 该算法使用经典统计技术进行了严格分析，与Grover、Abrams和Williams等人先前的启发式方法形成对比。
• 该方法可推广至振幅估计，提供对 $a = |\langle\psi|\phi\rangle|$ 的估计 $\hat{a}$，在至少 $1-\delta$ 的概率下，使用 $O(a^{-1}\varepsilon^{-1}\log(\delta^{-1}))$ 次查询，且具有乘法误差 $\varepsilon$。
• 该分析纠正了原始版本中的代数错误，并改进了证明结构，提升了清晰度与正确性。
• 与BHMT相比，该算法更简单，更易于实现，因为它避免了受控酉操作和QFT，仅依赖标准Grover迭代和经典后处理。