[论文解读] Invariant Quantum Algorithms for Insertion into an Ordered List

Edward Farhi, Jeffrey Goldstone+2 more|ArXiv.org|Jan 19, 1999

Quantum Computing Algorithms and Architecture被引用 37

一句话总结

本文提出了一种平移不变的量子算法，用于将项目插入有序列表中，将问题转化为对称形式，以实现更高效的量子搜索。该研究构建了一种贪心不变算法，其性能优于经典二分查找，并发现了精确的量子算法，其查询次数少于经典方法的可能值，对于较大的 N，可在 0.53 log N 次查询内完成插入。

ABSTRACT

We consider the problem of inserting one item into a list of N-1 ordered items. We previously showed that no quantum algorithm could solve this problem in fewer than log N/(2 log log N) queries, for N large. We transform the problem into a "translationally invariant" problem and restrict attention to invariant algorithms. We construct the "greedy" invariant algorithm and show numerically that it outperforms the best classical algorithm for various N. We also find invariant algorithms that succeed exactly in fewer queries than is classically possible, and iterating one of them shows that the insertion problem can be solved in fewer than 0.53 log N quantum queries for large N (where log N is the classical lower bound). We don't know whether a o(log N) algorithm exists.

研究动机与目标

• 开发用于将项目插入 N−1 个项目有序列表的量子算法，使其性能优于经典方法。
• 探索平移不变量子算法是否能实现优于经典算法的查询复杂度。
• 构建精确的量子算法，使其在少于经典下限 log₂N 次查询内以确定性方式成功。
• 研究特定 N 值下 k-查询平移不变算法的存在性，并推导出适用于更大 N 的递归构造方法。
• 分析渐近查询复杂度，确定此类问题是否存在 o(log N) 的量子算法。

提出的方法

• 通过将函数 F_j 的定义域加倍，将插入问题转化为平移不变的预言机问题，以支持基于对称性的量子算法设计。
• 通过在 2N 维希尔伯特空间上作用一系列幺正操作 V_1, ..., V_k 来定义量子算法，其中每个 V_ℓ 保持平移对称性。
• 采用贪心算法构造方法，在每一步最大化成功概率，并对特定 N 值（如 N=2048）进行数值评估。
• 通过求解由不变性条件和成功条件导出的多项式方程组，系统性地搜索精确的 k-查询算法。
• 利用递归组合：若存在 M−1 个项目下的 k-查询算法，则 h k 次查询足以处理 M^h −1 个项目，从而为更大的 N 构造精确解。
• 通过相位优化和傅里叶变换显式构造算法，通过使用 F_0 及其对称性，确保幺正演化和正确的预言机交互。

实验结果

研究问题

• RQ1 平移不变量子算法是否能在插入有序列表的查询复杂度上超越经典算法？
• RQ2 精确求解插入问题所需的最少量子查询次数是多少？是否可能少于 log₂N？
• RQ3 对于哪些 N 和 k 值，存在精确的 k-查询平移不变算法？
• RQ4 通过组合较小的精确算法，能否获得 o(log N) 查询复杂度的量子算法？
• RQ5 贪心不变算法在大 N 下是否表现出有利的成功概率增长趋势？其渐近行为能否被解析表征？

主要发现

• 本文建立了任何解决插入问题的算法的查询下限为 log N / (2 log log N)，即使成功概率远离零也成立。
• 对于 N=2048，贪心不变算法在 5 次查询后达到 99.39% 的成功概率，显著优于经典最佳情况下的 1/64 概率。
• 为 N=6 构建了一个精确的 2-查询量子算法，证明量子算法可在少于经典 log₂N 下限的查询次数内以确定性方式成功。
• 为 N=52 找到了一个精确的 3-查询算法，递归组合可导出查询复杂度被 (3 / log₂52) log₂N ≈ 0.53 log₂N 限制的量子算法，适用于大 N。
• 通过多项式约束参数的数值求解，确认了特定 N 值（如 N=6, 52）下精确 k-查询算法的存在性。
• 本文表明，通过用精确量子插入子程序替代经典二分插入，量子算法可在少于 n log₂n 次查询内完成 n 个项目的排序，从而突破经典下限。