[论文解读] Quantum Adversary (Upper) Bound

Shelby Kimmel|arXiv (Cornell University)|Jan 4, 2011

Quantum Computing Algorithms and Architecture被引用 8

一句话总结

本文提出了一种非构造性方法，利用广义对手界限及其复合性质，对布尔函数的量子查询复杂度进行上界估计。通过分析复合函数 $f^d$，该方法证明了常数故障直接树存在一个 $O(1)$-查询的量子算法——相比以往的对数多边形界实现显著改进——尽管该方法并未显式构造出该算法。随后，通过一种跨度程序构造，给出了一个显式的 $O(1)$-查询解决方案。

ABSTRACT

We describe a method to upper bound the quantum query complexity of Boolean formula evaluation problems, using fundamental theorems about the general adversary bound. This nonconstructive method can give an upper bound on query complexity without producing an algorithm. For example, we describe an oracle problem which we prove (non-constructively) can be solved in $O(1)$ queries, where the previous best quantum algorithm uses a polylogarithmic number of queries. We then give an explicit $O(1)$-query algorithm for this problem based on span programs.

研究动机与目标

• 开发一种利用广义对手界限非构造性地对量子查询复杂度进行上界估计的方法。
• 证明对函数 $f$ 的次优量子算法进行复合，可隐含推导出 $f$ 本身存在更高效的算法。
• 证明常数故障直接树这一类预言机问题存在一个常数查询的量子算法，该类问题此前所需的查询复杂度为对数多边形级别。
• 通过构造一个跨度程序，弥合理论界限与显式量子算法之间的鸿沟，实现 $O(1)$ 的查询复杂度。

提出的方法

• 利用广义对手界限的复合性质：$\mathrm{ADV}^\pm(f^d) \geq (\mathrm{ADV}^\pm(f))^d$。
• 利用广义对手界限的紧致性作为量子查询复杂度的下界，从而从 $f^d$ 的查询复杂度界推导出 $Q(f)$ 的上界。
• 利用复合函数的对偶程序的张量积与哈达玛积结构，验证对偶对手解的可行性。
• 通过 $f$ 和 $g$ 的对偶解构造 $f \circ g$ 的对偶可行解，确保半正定性与迹归一化。
• 利用对称矩阵与结构化张量积简化对偶程序的约束条件与目标函数评估。
• 构造一个显式的跨度程序算法，用于常数故障直接树，其查询复杂度与 $O(1)$ 上界一致。

实验结果

研究问题

• RQ1 能否通过分析复合版本 $f^d$，利用广义对手界限非构造性地对基函数 $f$ 的量子查询复杂度进行上界估计？
• RQ2 即使基础算法次优，复合后的量子算法是否仍能在 $d$ 上实现亚指数级增长，从而对 $Q(f)$ 获得更紧的界？
• RQ3 若 $f^d$ 存在一个常数查询算法，是否能隐含推导出 $f$ 也存在一个常数查询算法，即使不显式构造它？
• RQ4 能否通过跨度程序显式实现一个达到非构造性推导出的 $O(1)$ 查询复杂度边界的量子算法？

主要发现

• 本文证明：若 $f^d$ 可在 $O(J^d)$ 次查询内求解，则 $Q(f) = O(J)$，从而为 $f$ 的查询复杂度建立了非构造性上界。
• 对于常数故障直接树，该方法证明了存在一个 $O(1)$-查询的量子算法，显著优于此前的最佳对数多边形界。
• 显式构造了一个跨度程序，其在常数故障直接树上的查询复杂度为 $O(1)$，从而验证了非构造性上界的有效性。
• 通过张量积与哈达玛积验证了复合函数 $f \circ g$ 的对偶程序的可行性，包括半正定性与迹归一化。
• 复合函数 $f \circ g$ 的对偶解的目标函数值被证明为 $d_f d_g$，与对手界限的归一化要求一致。
• 该方法揭示了一种类反直觉现象：对 $f$ 的非最优算法，当其被复合后，可产生亚指数级增长，从而隐含表明 $f$ 存在一个更优的算法。