[論文レビュー] Quantum Interactive Oracle Proofs

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

Quantum Computing Algorithms and Architecture被引用数 0

ひとこと要約

この論文は量子対話型オラクル証明（qIOP）を導入し、対話型オラクル証明の量子一般化を提案し、常数クエリ複雑さを持つQMAのための2つの無条件構成を提示する。これらは検証者量子ビットの使用と通信複雑性の点で異なる。

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.

研究の動機と目的

• qIOPを古典的IOPの量子類似物として、またqPCPの緩和として研究を動機付ける。
• 量子対話型オラクル証明の複数のバリアントを定義し、完成性/健全性パラメータを確立する。
• QMAのためのqIOPを無条件に構成し、検証者と通信のトレードオフを distinct にする。
• 定数読み出しクエリを実現するためのTeleportationベースのエンコーディングとPCP of proximityなどのコア技術を強調する。
• qIOPとqPCPを結ぶオープンな課題と、潜在的な暗号用途を概説する。

提案手法

• クエリ複雑性q(n)と通信l(n)を持つ量子IOPフレームワークを導入する。
• 共有EPR対と定数量子ビット検証を用いて、q(n)=O(1)かつl(n)=poly(n)のQMA向けqIOPを示す。
• 検証者が定数ビット数で動作する、より強いstrong qIOPを、q(n)=O(1)かつl(n)=exp(poly(n))で示す。
• 本構成の重要部として新しい単一回答者多量子ビットテストを採用する。
• テレポーテーション、Pauli/XZ測定、PCP of proximityを活用し、非局所ハミルトニアン測定を定数クエリ検証へ結びつける。
• エラーレスコードエンコードを介してInteractive Oracle Proofモデルにコミットメントを導入し、量子測定を検証しながら古典的通信を可能にする。

実験結果

リサーチクエスチョン

• RQ1 量子IOPフレームワークはQMA言語の定数クエリ検証器を実現できるか？
• RQ2 検証者の量子資源制限と通信複雑性の間にどのようなトレードオフがあるか？
• RQ3 QMAのための多項式通信複雑性を持つ強いqIOPは存在するか、指数通信なしに達成できるか？
• RQ4 qIOPはqPCPとどのように関係するか、qIOPからqPCPへのブラックボックス変換は存在するか？
• RQ5 qIOP技術は暗号プロトコルやFiat-Shamir型非対話的量子主張（QMA向け）を可能にするか？

主な発見

• QMAのための定数クエリ複雑さq(n)=O(1)かつ通信複雑さl(n)=poly(n)で、完全性と健全性のギャップが一定のqIOPシステムが存在する。
• QMAのためのより強いstrong qIOPで、q(n)=O(1)かつl(n)=exp(poly(n))、かつ一定の完全性-健全性ギャップを持つものが存在する。
• 最初のプロトコルは証人のテレポーテーションと近接のPCPを用い、非局所測定の定数クエリ検証を可能にする。
• 二番目のプロトコルは多量子ビットテストに依存し、測定をプローバーへ委任し、エネルギー測定結果を回復するために古典的PCP技術を用いるが、通信は指数的になる。
• 新規の単一発言者多数量子ビットテストを導入し、独立した興味を持つ可能性がある。