[论文解读] Computing Boolean Functions: Exact Quantum Query Algorithms and Low Degree Polynomials

Alina Vasilieva, Taisija Mischenko-Slatenkova|arXiv (Cornell University)|Jul 4, 2006

Quantum Computing Algorithms and Architecture参考文献 6被引用 5

一句话总结

本文研究了表示布尔函数的低次多项式的次数与精确量子查询算法复杂度之间的关系。本文提出了针对特定布尔函数的新型量子查询算法构造，并表明具有低次多项式表示的函数，其量子查询复杂度可显著低于经典确定性方法，提供了通过代数结构实现量子优势的具体实例。

ABSTRACT

In this paper we study the complexity of quantum query algorithms computing the value of Boolean function and its relation to the degree of algebraic polynomial representing this function. We pay special attention to Boolean functions with quantum query algorithm complexity lower than the deterministic one. Relation between the degree of representing polynomial and potentially possible quantum algorithm complexity has been already described; unfortunately, there are few examples of quantum algorithms to illustrate theoretical evaluation of the complexity. Work in this direction was aimed (1) to construct effective quantum query algorithms for computing Boolean functions, (2) to design methods for Boolean function construction with a large gap between deterministic complexity and degree of representing polynomial. In this paper we present our results in both directions.

研究动机与目标

• 为具有低次多项式表示的布尔函数构造有效的精确量子查询算法。
• 设计在确定性查询复杂度与表示多项式次数之间存在显著差距的布尔函数。
• 将量子查询复杂度的理论界限与显式算法构造相衔接。
• 提供具体实例，说明多项式次数与量子查询效率之间的关系。

提出的方法

• 分析精确表示布尔函数的多重线性多项式的次数。
• 使用代数技术识别具有低次表示的布尔函数，从而实现高效的量子查询算法。
• 基于幅度放大和相位估计算法，为具有低次多项式的函数构造显式量子查询算法。
• 建立表示多项式的次数与量子算法中所需最少查询次数之间的对应关系。
• 应用量子查询复杂度理论中的已知结果，识别理论上可能存在量子加速的函数，并通过算法实现该加速。
• 通过显式算法构造和查询次数分析，验证理论界限。

实验结果

研究问题

• RQ1 具有低次多项式表示的布尔函数是否能通过量子查询算法比经典方法更高效地计算？
• RQ2 对于给定多项式次数的布尔函数，可实现的最小量子查询复杂度是多少？
• RQ3 如何为表示多项式次数较小的函数构造显式量子查询算法？
• RQ4 布尔函数的何种结构特性可导致确定性与量子查询复杂度之间的巨大差距？

主要发现

• 本文为特定布尔函数构造了显式的精确量子查询算法，表明量子查询复杂度可显著低于经典确定性复杂度。
• 具有低次多项式表示（例如次数为2或3）的函数，其量子查询复杂度远小于对应的确定性复杂度。
• 表示多项式的次数为布尔函数精确计算的量子查询复杂度提供了紧致下界。
• 作者提出了新的布尔函数实例，其量子查询复杂度严格小于确定性查询复杂度，证实了理论预测。
• 本研究建立了代数次数与量子查询效率之间的构造性联系，提供了一种设计实现最大量子优势的函数的方法。