[论文解读] Exact quantum query complexity of EXACT and THRESHOLD

Andris Ambainis, Jānis Iraids+1 more|arXiv (Cornell University)|Feb 6, 2013

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

一句话总结

本文提出了对对称布尔函数 EXACTₖⁿ 和 THRESHOLDₖⁿ 的精确量子查询算法，证明了它们的精确量子查询复杂度分别为 max{k, n−k} 和 max{k, n−k+1}。这些算法基于量子态制备和受控相位旋转的新型递归构造，实现了相较于经典确定性算法的两倍速度提升，且不依赖于异或技巧。

ABSTRACT

A quantum algorithm is exact if it always produces the correct answer, on any input. Coming up with exact quantum algorithms that substantially outperform the best classical algorithm has been a quite challenging task. In this paper, we present two new exact quantum algorithms for natural problems: 1) for the problem EXACT_k^n in which we have to determine whether the sequence of input bits x_1, ..., x_n contains exactly k values x_i=1; 2) for the problem THRESHOLD_k^n in which we have to determine if at least k of n input bits are equal to 1.

研究动机与目标

• 为对称全布尔函数的精确量子查询复杂度理解中的空白提供填补。
• 构建针对 EXACTₖⁿ 和 THRESHOLDₖⁿ 的新型精确量子算法，突破以往工作中使用的异或技巧限制。
• 证明这些函数的猜想精确量子查询复杂度，解决先前工作中的开放问题。
• 扩展设计精确量子算法的技术工具包，目前该领域技术范围仍较有限。

提出的方法

• EXACTₖ²ₖ 的算法采用递归结构，通过酉变换在单量子比特和纠缠比特对上制备叠加态，随后进行一次查询和受控相位旋转。
• 状态演化的设计使得测量结果坍缩为单量子比特态或类似贝尔态的纠缠对，从而实现输入规模每次减少两位。
• 对于 THRESHOLDₖⁿ，算法通过追加 1 位将问题转化为更大输入规模上的多数函数计算，利用已知的 MAJORITY 函数的精确量子复杂度。
• 递归结构依赖于延迟测量原理，使得算法可转化为具有顺序查询的标准查询模型。
• 关键酉操作通过使用对称振幅和相位差来构造，以确保在所有输入配置下均表现正确。
• 分析利用了输入比特排列下的不变性以及异或函数的性质，以验证正确性并推导查询复杂度界。

实验结果

研究问题

• RQ1 EXACTₖⁿ 函数的精确量子查询复杂度是多少？是否可以在不依赖异或技巧的情况下实现？
• RQ2 THRESHOLDₖⁿ 函数的量子查询复杂度能否被精确界定？其结果是否与猜想值一致？
• RQ3 是否存在新的算法技术可用于设计超越标准异或方法的精确量子算法？
• RQ4 对称函数的精确量子查询复杂度能否系统性地表征，特别是针对具有多个输出条件的函数？

主要发现

• EXACTₖⁿ 的精确量子查询复杂度恰好为 max{k, n−k}，证实了先前工作的猜想。
• THRESHOLDₖⁿ 的精确量子查询复杂度恰好为 max{k, n−k+1}，与猜想一致，并扩展了对多数函数结果的认识。
• 所提算法相较于经典确定性算法实现了两倍速度提升，与精确设置下全函数的最佳已知加速一致。
• 所提算法采用不依赖异或技巧的新型递归量子构造，扩展了已知的精确量子算法技术集合。
• 结果表明，如 EXACTₖⁿ 和 THRESHOLDₖⁿ 这类对称函数可实现最优的精确量子查询复杂度，暗示其具有更广泛的应用潜力。
• 本文提供了一种通过约化至 OR 函数来证明下界的方法，确立了 THRESHOLDₖⁿ 的任何算法都无法使用少于 max{k, n−k+1} 次查询。