[论文解读] Quantum Interactive Oracle Proofs

Baocheng Sun, Thomas Vidick|arXiv (Cornell University)|Jan 19, 2026

Quantum Computing Algorithms and Architecture被引用 0

一句话总结

本文提出量子交互式预言机证明（qIOPs），是对交互式预言机证明的量子化泛化，并给出两种对QMA的无条件构造，查询复杂度为常数，但在验算量子比特使用和通信复杂度上有所差异。

ABSTRACT

We initiate the study of quantum Interactive Oracle Proofs (qIOPs), a generalization of both quantum Probabilistically Checkable Proofs and quantum Interactive Proofs, as well as a quantum analogue of classical Interactive Oracle Proofs. In the model of quantum Interactive Oracle Proofs, we allow multiple rounds of quantum interaction between the quantum prover and the quantum verifier, but the verifier has limited access to quantum resources. This includes both queries to the prover's messages and the complexity of the quantum circuits applied by the verifier. The question of whether QMA admits a quantum interactive oracle proof system is a relaxation of the quantum PCP Conjecture. We show the following two main constructions of qIOPs, both of which are unconditional: - We construct a qIOP for QMA in which the verifier shares polynomially many EPR pairs with the prover at the start of the protocol and reads only a constant number of qubits from the prover's messages. - We provide a stronger construction of qIOP for QMA in which the verifier not only reads a constant number of qubits but also operates on a constant number of qubits overall, including those in their private registers. However, in this stronger setting, the communication complexity becomes exponential. This leaves open the question of whether strong qIOPs for QMA, with polynomial communication complexity, exist. As a key component of our construction, we introduce a novel single prover many-qubits test, which may be of independent interest.

研究动机与目标

• 将qIOPs作为经典IOPs的量子对等物和对qPCP的放宽进行动机阐释。
• 给出多种量子交互式预言机证明变体并确立完备性/健壮性参数。
• 提供针对QMA的无条件qIOP构造，具不同的验算者和通信权衡。
• 突出核心技术，如基于隐形传态的编码和近似PCP以实现常量读查询。
• 概述将qIOPs与qPCPs以及潜在的密码学应用之间的开放问题。

提出的方法

• 引入带查询复杂度q(n)和通信量l(n)的量子IOP框架。
• 给出一个q(n)=O(1)、l(n)=poly(n)的QMA qIOP，利用共享EPR对和常数比特验算。
• 给出一个更强的强qIOP，在QMA中q(n)=O(1)、l(n)=exp(poly(n))，其中验算者仅使用常数数量的量子比特。
• 将一个新颖的单一致证多量子比特测试作为构造的关键组成部分。
• 利用隐形传态、Pauli/XZ测量和近似PCP来将非局部哈密顿量测量与常量查询验算联系起来。
• 在交互式预言机证明模型中通过纠错编码来引入承诺，以实现经典通信同时验证量子测量。

实验结果

研究问题

• RQ1 一个量子IOP框架是否能够实现QMA语言的常量查询验算者？
• RQ2 在qIOPs中，验算者的量子资源限制与通信复杂度之间有哪些权衡？
• RQ3 是否存在对QMA的多项式通信复杂度的强qIOP，并且能否在不需要指数级通信的情况下实现？
• RQ4 qIOPs与qPCP之间的关系如何，是否存在将qIOP到qPCP的黑箱变换？
• RQ5 qIOP技术是否可能实现密码协议或Fiat-Shamir式的非交互式量子QMA证明等密码学应用？

主要发现

• 存在一个QMA的qIOP系统，其查询复杂度q(n)=O(1)、通信复杂度l(n)=poly(n)，完备-健壮性间隙为常数。
• 存在一个更强的强qIOP用于QMA，q(n)=O(1)、l(n)=exp(poly(n))，且完备性-健壮性间隙为常数。
• 第一个协议利用 witnesses 的隐形传态和近似PCP以实现对非局部测量的常量查询验算。
• 第二个协议依赖多量子比特测试将测量委托给证明者，并使用经典PCP技术来恢复能量测量结果，但代价是通信指数级。
• 引入了一种新颖的单证明者多量子比特测试，可能具有独立的研究价值。