[论文解读] Quantum Oracle Classification - The Case of Group Structure

Mark Zhandry|arXiv (Cornell University)|Oct 28, 2015

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

一句话总结

本文对涉及群结构预言机的一类广泛问题的量子查询复杂度提供了完整表征，其中函数输出属于阿贝尔群，目标是计算函数空间上的同态。研究证明，成功概率精确取决于求解一个计数问题，统一了奇偶性、预言机评估和多项式插值的结果，并在这些设定下给出了量子查询复杂度的紧致界。

ABSTRACT

The Quantum Oracle Classification (QOC) problem is to classify a function, given only quantum black box access, into one of several classes without necessarily determining the entire function. Generally, QOC captures a very wide range of problems in quantum query complexity. However, relatively little is known about many of these problems. In this work, we analyze the a subclass of the QOC problems where there is a group structure. That is, suppose the range of the unknown function A is a commutative group G, which induces a commutative group law over the entire function space. Then we consider the case where A is drawn uniformly at random from some subgroup A of the function space. Moreover, there is a homomorpism f on A, and the goal is to determine f(A). This class of problems is very general, and covers several interesting cases, such as oracle evaluation; polynomial interpolation, evaluation, and extrapolation; and parity. These problems are important in the study of message authentication codes in the quantum setting, and may have other applications. We exactly characterize the quantum query complexity of every instance of QOC with group structure in terms of a particular counting problem. That is, we provide an algorithm for this general class of problems whose success probability is determined by the solution to the counting problem, and prove its exact optimality. Unfortunately, solving this counting problem in general is a non-trivial task, and we resort to analyzing special cases. Our bounds unify some existing results, such as the existing oracle evaluation and parity bounds. In the case of polynomial interpolation and evaluation, our bounds give new results for secret sharing and information theoretic message authentication codes in the quantum setting.

研究动机与目标

• 理解预言机映射到阿贝尔群且目标是计算函数空间上同态的量子查询复杂度问题。
• 在单一框架下统一并推广已知的量子查询复杂度结果，如预言机评估、奇偶性与多项式插值。
• 通过将问题约化为群结构上的计数问题，建立精确的量子查询复杂度界。
• 分析在秘密共享和消息认证码等场景下，量子优势的极限。
• 为具体实例（包括查询受限的多项式外推与插值）提供紧致的上下界。

提出的方法

• 将预言机函数空间建模为在逐点加法下构成群，其上、下文为有限阿贝尔群 G。
• 考虑预言机 A 从函数空间的子群 A 中均匀随机选取，目标是计算 A 上同态 f 的 f(A)。
• 将量子算法的成功概率约化为在有限域上求解线性方程组解的计数问题。
• 使用代数技术，包括有限域上的线性代数及范德蒙德矩阵的性质，分析同态输出的互异数量。
• 应用对偶性与对称性论证，表明互异 z 值（输出）的数量对应于量子算法的成功概率。
• 采用构造性方法，通过展示实现所推导边界的显式预言机构造，证明匹配的下界。

实验结果

研究问题

• RQ1 当函数 A 从函数空间的子群 A 中均匀随机选取，且 A 映射到阿贝尔群 G 时，计算同态 f 的精确量子查询复杂度是多少？
• RQ2 量子查询复杂度如何依赖于群 G 的结构与同态 f？
• RQ3 能否以计数问题的形式精确表征奇偶性、预言机评估与多项式插值等量子算法的成功概率？
• RQ4 在 Z2 上奇偶性的量子加速（因子为 2）是否可推广到非二元群？其随群大小如何变化？
• RQ5 当查询受限且多项式次数超过查询数时，多项式外推与插值的紧致界是什么？

主要发现

• 任何针对群结构 QOC 问题的量子算法的成功概率，精确由有限域上计数问题的互异解数量决定，这是表征的核心。
• 在多项式外推中，当 d = 2q - 1 时，最大成功概率至多为 (|F| - 1)/q，且当 q 整除 |F| - 1 时该界是紧致的。
• 当 d < 2q - 1 时，多项式仍可高概率插值，成功概率至少为 1 - ((d/2 + 1)! + d + 1)/|F|。
• 在 Z2 上计算奇偶性的量子查询复杂度为 ⌈|X|/2⌉ 次查询时可实现完美成功，且该界是最优的。
• 对于具有 N 个输出的预言机评估，当 N 为常数时，成功概率被限制在 k 的常数倍以内；但当 N ≫ k 时，成功概率降至 O(k/N)，表明在此参数范围内量子优势有限。
• 结果统一并推广了先前关于预言机评估、奇偶性与多项式插值的界，表明它们均为同一基础计数问题的特例。