[论文解读] Quantum algorithms for formula evaluation

Andris Ambainis|arXiv (Cornell University)|Jun 18, 2010

Quantum Computing Algorithms and Architecture参考文献 24被引用 7

一句话总结

本文提出了一组用于评估由 NAND 门组成的布尔公式的量子算法，采用量子行走与泛函程序技术。对于平衡公式，其查询复杂度达到最优的 $O(\sqrt{N})$；对于一般公式，查询复杂度为 $O(\sqrt{N}\log N)$，显著优于经典界限，并通过泛函程序的推广实现了近乎最优。

ABSTRACT

We survey the recent sequence of algorithms for evaluating Boolean formulas consisting of NAND gates.

研究动机与目标

• 开发高效量子算法以评估由 NAND 门组成的布尔公式。
• 将 Grover 搜索推广至复杂 AND-OR 与 NAND 公式，实现更低的查询复杂度。
• 建立量子行走算法与泛函程序之间在布尔公式评估中的联系。
• 通过基于泛函程序的量子算法，为任意布尔函数实现近乎最优的查询复杂度。
• 证明基于量子行走的方法可使用 $O(\sqrt{N}\log N)$ 次查询评估任意 NAND 公式。

提出的方法

• 该算法在树结构上使用长度为 2 的尾部进行量子行走，以模拟 NAND 公式的评估。
• 采用酉变换 $SC$，其中 $S$ 为移位算子，$C$ 为基于公式结构的相位翻转操作。
• 行走从一个编码公式根值的叠加态 $|\psi_{\text{start}}\rangle$ 初始化。
• 通过估计 $SC$ 算子的本征值，检测 $1/\sqrt{N}$ 量级的相位跃迁，以区分公式输出（0 或 1）。
• 通过使用基于子树大小的权重邻接矩阵作为哈密顿量，将方法推广至任意 NAND 公式结构。
• 采用泛函程序技术将框架扩展至任意布尔函数，实现近乎最优的查询复杂度。

实验结果

研究问题

• RQ1 基于量子行走的算法能否比经典方法更高效地评估 NAND 公式？
• RQ2 使用量子算法评估一般 NAND 公式所需的最小查询复杂度是多少？
• RQ3 如何将量子行走框架适配以处理任意深度与结构的公式？
• RQ4 泛函程序形式化能否统一并推广用于布尔公式评估的量子算法？
• RQ5 是否能够基于泛函程序的量子算法，为任意布尔函数实现近乎最优的查询复杂度？

主要发现

• 该算法以 $O(\sqrt{N})$ 次查询评估平衡 NAND 公式，达到最优量子查询复杂度。
• 对于一般 NAND 公式，该算法实现 $O(\sqrt{N}\log N)$ 的查询复杂度，优于经典复杂度 $\Theta(N^{0.754})$。
• 通过使用 Bshouty 等人的变换减少公式深度，查询复杂度变为 $O(N^{1/2 + O(1/\sqrt{\log N})})$。
• 泛函程序框架使任意布尔函数的近乎最优量子查询算法成为可能，对于需要 $t$ 次查询的函数，其复杂度为 $O(t)$ 或 $O(t \log t / \log \log t)$。
• 连续时间哈密顿模型与离散时间量子行走模型在查询能力上大致等价。
• 该算法性能稳健：即使尾部长度仅为 2，其行为仍与更长尾部一致，简化了实现。