[论文解读] Oracle Separation of QMA and QCMA with Bounded Adaptivity

Shalev Ben-David, Srijita Kundu|arXiv (Cornell University)|Jan 1, 2024

graph theory and CDMA systems被引用 1

一句话总结

本文在量子算法具有有界自适应性的背景下，建立了QMA与QCMA之间的预言机分离——即查询在少数轮次内进行，尽管每轮可包含多项式数量的并行查询。通过引入关系中的‘滑动性’概念并简化先前的构造，作者证明了在此有界自适应模型中，QMA严格包含QCMA，表明在这些约束下，量子证明比经典证明更强大。

ABSTRACT

We give an oracle separation between QMA and QCMA for quantum algorithms that have bounded adaptivity in their oracle queries; that is, the number of rounds of oracle calls is small, though each round may involve polynomially many queries in parallel. Our oracle construction is a simplified version of the construction used recently by Li, Liu, Pelecanos, and Yamakawa (2023), who showed an oracle separation between QMA and QCMA when the quantum algorithms are only allowed to access the oracle classically. To prove our results, we introduce a property of relations called \emph{slipperiness}, which may be useful for getting a fully general classical oracle separation between QMA and QCMA.

研究动机与目标

• 解决在有界自适应量子查询算法背景下，量子证明（QMA）是否比经典证明（QCMA）更强大的问题。
• 将先前关于QMA与QCMA之间预言机分离的结果扩展到更自然的模型，即量子算法仅进行少量查询轮次的模型。
• 简化并推广Li等人（2023年）近期的构造，该构造在经典预言机访问下实现了类似的分离。
• 引入关系中‘滑动性’的概念，作为在一般经典预言机分离中证明QMA与QCMA之间分离的新工具。

提出的方法

• 作者定义了一个受Yamakawa和Zhandry工作启发的关系问题，该问题在无结构条件下展现出量子优势。
• 他们引入了关系中‘滑动性’的性质，该性质捕捉了一种结构特征，使得在查询模型中能够区分量子与经典证明。
• 使用递归对角化论证，限制在分布支持的预言机中被固定为1的输入对数量，确保仍有足够的输入空间未被占用。
• 该构造使用一系列预言机上的概率分布，逐步细化部分赋值，并确保在有界自适应条件下，量子算法无法区分0-输入与1-输入。
• 证明利用了酉模拟和迹距离界，表明量子算法无法可靠地区分两个仅在大量非结构化输入上不同的预言机。
• 通过限制量子算法在两个不同预言机上输出态之间的总变差距离，作者推导出矛盾：若QCMA能解决该问题，则与假设矛盾。

实验结果

研究问题

• RQ1 在有界自适应查询模型中，QMA是否严格包含QCMA，即算法仅进行常数轮查询？
• RQ2 关系中的‘滑动性’性质是否足以在经典预言机模型中构造出QMA与QCMA之间的一般预言机分离？
• RQ3 Li等人（2023年）的构造能否在不损失分离效果的前提下，被简化并适配到有界自适应设置中？
• RQ4 在关系问题中存在量子优势是否意味着在有界自适应条件下，QMA与QCMA之间存在分离？
• RQ5 本文所用技术能否扩展至证明标准经典预言机模型中QMA与QCMA之间的完整预言机分离？

主要发现

• 本文在有界自适应查询模型中建立了QMA与QCMA之间的严格预言机分离，表明在该约束下QMA严格强于QCMA。
• 作者引入了关系中‘滑动性’的概念，这是一种结构特性，使得在查询模型中能够区分量子与经典证明。
• 该构造确保对于0-输入，任何QCMA证明者都无法以高概率成功，而QMA证明者可以成功，这是由于其能够利用叠加与纠缠。
• 在预言机分布中被固定为1的输入对数量增长缓慢——受2^{o(n)}限制——确保了大量输入保持未被占用，这对分离至关重要。
• 证明表明，在有界自适应条件下，量子算法无法区分0-输入与1-输入，若QCMA能解决该问题，则导致矛盾。
• 最终矛盾源于量子算法在两个预言机上输出态之间迹距离至多为1/10，这意味着在0-输入上接受概率不可能超过1/2，与QMA的假设成功相矛盾。