[论文解读] Tight adversary bounds for composite functions

Peter Høyer, Lee, Troy+1 more|ArXiv.org|Sep 9, 2005

Quantum Computing Algorithms and Architecture参考文献 8被引用 13

一句话总结

本论文提出了一种广义的量子对抗方法，为输入位分配任意代价，从而实现了对复合函数对抗界限的精确刻画。证明了复合函数 h = f∘(g₁,…,gₖ) 的对抗界限等于 f 的对抗界限与各 gᵢ 函数的最小代价对抗界限的乘积，统一并扩展了量子查询复杂度中先前的组合结果。

ABSTRACT

The quantum adversary method is a versatile method for proving lower bounds on quantum algorithms. It yields tight bounds for many computational problems, is robust in having many equivalent formulations, and has natural connections to classical lower bounds. A further nice property of the adversary method is that it behaves very well with respect to composition of functions. We generalize the adversary method to include costs--each bit of the input can be given an arbitrary positive cost representing the difficulty of querying that bit. We use this generalization to exactly capture the adversary bound of a composite function in terms of the adversary bounds of its component functions. Our results generalize and unify previously known composition properties of adversary methods, and yield as a simple corollary the Omega(sqrt{n}) bound of Barnum and Saks on the quantum query complexity of read-once functions.

研究动机与目标

• 通过为输入位分配任意正代价来推广量子对抗方法，以实现对查询复杂度的更细粒度分析。
• 在子函数 gᵢ 具有不同的对抗界限时，建立复合函数 h = f∘(g₁,…,gₖ) 的对抗界限的确切组合规则。
• 在代价敏感框架下，统一并扩展先前关于对抗方法的组合定理，特别是 Ambainis 和 Laplante 等人的结果。
• 证明复合函数的对抗界限由顶层函数的对抗界限与子函数的最小代价调整对抗界限的乘积决定。

提出的方法

• 引入一种代价敏感的对抗界限，记为 ADVₐ(f)，其中每个输入位 i 具有正代价 αᵢ，定义为所有非负对抗矩阵 Γ 的最大值，取 Γ 的范数与 Γ∘Dᵢ 范数之比的最小值，再乘以 αᵢ。
• 利用半定规划的对偶理论，证明 ADVₐ(f) 的谱形式与一个最小最大形式 MMₐ(f) 等价，后者涉及输入位上的概率分布。
• 从顶层函数 f 和子函数 gᵢ 的最优分布 pᶠ 和 pᵍᵢ 分别构造一个复合概率分布 pʰ，以对 ADVₐ(h) 进行上界估计。
• 通过组合最小最大解，证明 ADVₐ(h) ≤ ADVᵦ(f)，其中 βᵢ 表示 f 中第 i 个输入位的有效代价，由 gᵢ 函数的代价导出。
• 建立对偶关系 ADVₐ(f) = MMₐ(f)，将先前的对偶结果推广至代价敏感设置。
• 将复合解应用于推导出确切的组合规则：ADV(h) = ADV(f) · minᵢ ADVₐⁱ(gᵢ)，其中 αⁱ 为每个 gᵢ 的代价向量。

实验结果

研究问题

• RQ1 当复合函数的组成部分函数具有不同的对抗界限时，量子对抗界限的确切组合规则是什么？
• RQ2 如何推广对抗方法以考虑不同输入位查询代价的差异？
• RQ3 当子函数在代价敏感模型下具有不等的查询复杂度时，对抗界限的组合能否被精确刻画？
• RQ4 在代价敏感输入下，对抗方法的最小最大形式与谱形式之间存在何种关系？
• RQ5 在任意输入位代价下，广义对抗方法是否保持紧致性与组合性？

主要发现

• 本文证明了复合函数 h = f∘(g₁,…,gₖ) 的对抗界限精确为 ADV(h) = ADV(f) · minᵢ ADVₐⁱ(gᵢ)，其中 αⁱ 为每个 gᵢ 的代价向量。
• 带有代价的广义对抗方法满足对偶关系 ADVₐ(f) = MMₐ(f)，将已知的谱形式与最小最大形式之间的对偶关系推广至代价敏感设置。
• 通过组合最小最大形式中的最优概率分布，证明了上界 ADVₐ(h) ≤ ADVᵦ(f)，表明在代价敏感模型下该界是紧致的。
• 该结果将已知的组合性质 ADV(fᵈ) = ADV(f)ᵈ 推广至具有非均匀子函数复杂度的任意复合函数。
• 作为推论，本文将 Barnum 和 Saks 的 read-once 函数 Ω(√n) 下界作为一般组合定理的特例重新获得。
• 该方法提供了一个统一的框架，涵盖了并扩展了先前关于对抗组合的研究成果，包括 Ambainis 和 Laplante 等人的工作，现均在代价敏感设置下得以统一。