[论文解读] Variations on Quantum Adversary

Aleksandrs Belovs|arXiv (Cornell University)|Apr 27, 2015

Quantum Computing Algorithms and Architecture参考文献 47被引用 11

一句话总结

本文将量子对抗方法推广至任意酉预言机和酉变换任务，将紧致对偶对抗界限的适用范围从态转换和函数计算扩展至更一般情形。提出了一种类紧致界限，该界限对精确变换为下界、对近似变换为上界，保持了紧致的复合性质，并可为具有通用输入预言机的函数与关系问题提供新的量子查询复杂度下界。

ABSTRACT

The (negative-weighted) quantum adversary bound is a tight characterisation of the quantum query complexity for any partial function. We analyse the extent to which this bound can be generalised. Ambainis et al. [arXiv:1012.2112] and Lee et al. [arXiv:1011.3020] generalised this bound to the state generation and state conversion problems, respectively. Using the ideas by Lee et al., we get even further generalisations of the bound. We obtain a version of the bound for general input oracles, which are just arbitrary unitaries. We also generalise the bound to the problem of implementing arbitrary unitary transformations. Similarly to the bound by Lee et al., our bound is a lower bound for exact transformation and an upper bound for approximate transformation. This version of the bound possesses the tight composition property. Using this construction, we also obtain lower bounds on the quantum query complexity of functions and relations with general input oracles.

研究动机与目标

• 将负权重量子对抗界限从函数计算和态转换推广至一般酉预言机与任意酉变换任务。
• 构建一个统一框架，保持量子查询复杂度的紧致复合性质。
• 提出一个类紧致界限，该界限对精确变换为下界、对近似变换为上界。
• 为涉及叠加态与通用输入预言机的问题提供新的量子查询复杂度下界。
• 探讨有效纯化器存在的条件，可能将界限扩展至近似情形。

提出的方法

• 通过将酉输入预言机的对偶对抗界限形式化为带过滤γ₂-范数的半定规划，推广至任意酉输入预言机。
• 将Lee等人 [34] 的有效谱间隙引理进行适配，以简化证明并为对偶变量提供算法洞察。
• 提出一种新的酉实现对抗界限形式，其精度高于态转换版本。
• 利用对偶问题的结构，推导出精确变换的下界与近似变换的上界。
• 将该界限应用于具有通用输入预言机的关系与函数，其中输入为叠加态而非基态。
• 推导出一个具体的半定规划（34），其约束条件涉及与输入规则相关向量的内积，从而可直接计算查询复杂度界限。

实验结果

研究问题

• RQ1 量子对抗方法能否推广至涉及任意酉预言机的问题，而不仅限于函数或态的查询预言机？
• RQ2 针对酉实现的类紧致对抗界限是否保持原始对偶对抗界限的紧致复合性质？
• RQ3 在何种条件下，对抗界限可作为近似变换的下界，而不仅限于精确变换？
• RQ4 具有叠加输入的关系问题的查询复杂度与标准函数相比如何？对抗方法能否捕捉这一差异？
• RQ5 能否将乘法对抗方法重新解释为Lee等人 [34] 风格的量子算法的松弛形式？

主要发现

• 本文提出了一种对偶对抗界限的推广，适用于任意酉输入预言机，显著扩展了其在函数计算与态转换之外的适用范围。
• 新界限保持了紧致复合性质，使得复合酉任务的复杂度可表示为各部分复杂度的乘积。
• 对于酉实现，对抗界限的精度高于态转换版本，暗示其在表达能力上存在层级结构。
• 该界限为类紧致：对精确变换为下界，对近似变换为上界，且后者可通过在邻近目标态中最小化而恢复。
• 为具有通用输入预言机的关系问题推导出一个新的半定规划（34），其中输入为子集或叠加态，且界限可直接从函数规则计算得出。
• 该框架可为涉及叠加态与关系型输入的问题（如基于规则的广义OR函数）推导出新的量子查询复杂度下界。