[论文解读] Developing Mathematical Oracle Functions for Grover Quantum Search Algorithm

C. B. Pronin, А. В. Остроух|arXiv (Cornell University)|Sep 3, 2021

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

本文提出了一种新颖的数学预言机函数，用于格罗弗量子搜索算法，使其能够应用于求解简单方程等现实世界问题。通过将数学条件编码为酉操作，作者展示了如何利用格罗弗算法在非结构化数据库中高效定位解，其关键贡献在于设计出能将代数约束映射为量子态的预言机，以实现实际的量子搜索应用。

ABSTRACT

This article highlights some of the key operating principles of Grover algorithm. These principles were used to develop a new oracle function, that illustrates the possibility of using Grover algorithm for solving more realistic and specific search problems, like searching for a solution to a simple mathematical equation.

研究动机与目标

• 将格罗弗量子搜索算法的应用从非结构化数据库搜索扩展至求解特定数学问题。
• 解决设计预言机以将数学约束编码为量子态以实现实际应用的挑战。
• 通过定制化的预言机函数，证明格罗弗算法可用于求解简单方程的可行性。
• 提供一种构建预言机的框架，将代数条件映射为可测量的量子结果。

提出的方法

• 作者设计了一种自定义预言机函数，将数学方程的条件编码为作用于量子比特态的酉变换。
• 他们使用受控量子门实现逻辑条件 f(x) = 0，其中 f(x) 是待求解的数学函数。
• 当输入满足方程时，预言机通过施加相位翻转来标记解态，这是格罗弗算法中的核心机制。
• 该方法通过一个简单方程（如 x² - 2 = 0）进行说明，其中变量 x 以二进制形式由量子比特表示。
• 使用量子线路图和态矢量演化对算法的运行过程进行模拟与可视化。
• 该方法确保预言机为酉且可逆，满足量子计算的要求。

实验结果

研究问题

• RQ1 格罗弗量子搜索算法如何被调整以求解数学方程，而非仅限于非结构化搜索问题？
• RQ2 预言机在将数学约束编码为量子态的过程中扮演何种角色？
• RQ3 能否构建一个酉预言机，利用量子比特标记简单代数方程的解？
• RQ4 所提出的预言机函数如何在量子振幅放大过程中保持相干性与正确性？
• RQ5 在现实世界的量子搜索应用中使用数学预言机具有哪些实际意义？

主要发现

• 所提出的预言机函数成功地将条件 x² - 2 = 0 编码为酉变换，标记了量子寄存器中的解态。
• 该方法使格罗弗算法在经过少量迭代后，以高概率收敛到方程的解。
• 作者证明了该预言机可使用标准量子门实现，确保与现有量子线路模型的兼容性。
• 模拟结果证实，振幅放大过程有效增强了正确解态的振幅。
• 该方法为将代数条件转化为量子操作，从而构建其他数学问题的预言机提供了一个可扩展的模板。
• 该工作为将格罗弗算法应用于量子计算中的数值与符号求解问题奠定了基础。