[论文解读] Quantum Merlin-Arthur Proof Systems: Are Multiple Merlins More Helpful to Arthur?

Hirotada Kobayashi, Keiji Matsumoto+1 more|ArXiv.org|Jun 6, 2003

Quantum Computing Algorithms and Architecture被引用 7

一句话总结

本文研究了具有多个非纠缠量子证明的量子梅林-亚瑟证明系统，建立了可将证明数量减少至两个的必要且充分条件。研究证明，在完美 soundness 情况下，多个量子证明并不会使亚瑟的验证能力超越单个证明所能提供的能力，凸显了由于量子纠缠约束，其与经典多证明系统存在根本性差异。

ABSTRACT

This paper introduces quantum ``multiple-Merlin''-Arthur proof systems in which Arthur receives multiple quantum proofs that are unentangled with each other. Although classical multi-proof systems are obviously equivalent to classical single-proof systems (i.e., usual Merlin-Arthur proof systems), it is unclear whether or not quantum multi-proof systems collapse to quantum single-proof systems (i.e., usual quantum Merlin-Arthur proof systems). This paper presents a necessary and sufficient condition under which the number of quantum proofs is reducible to two. It is also proved that, in the case of perfect soundness, using multiple quantum proofs does not increase the power of quantum Merlin-Arthur proof systems.

研究动机与目标

• 研究在量子梅林-亚瑟系统中，多个非纠缠量子证明是否相较于单个量子证明具有计算优势。
• 确定在何种条件下可将量子证明数量减少至两个。
• 阐明纠缠与测量限制在区分张量积态与纠缠态中的作用，特别是在量子验证中的影响。
• 检验在完美 soundness 条件下，具有 k 个量子证明的复杂性类 QMA(k) 是否坍缩为 QMA(2) 或 QMA。
• 回答一个基础性问题：与经典系统中多个证明等价于单个证明不同，量子多证明系统是否比单证明系统更具优势。

提出的方法

• 引入具有 k 个非纠缠量子证明的量子梅林-亚瑟证明系统，将 QMA(k) 定义为可在多项式时间由量子验证者使用 k 个量子证明验证的问题类。
• 利用正算子值测量（POVM）分析验证过程，以区分可分态（纯态的张量积）与纠缠态。
• 应用极小化极大优化框架，以界定在区分两种量子态时的误差概率：一种属于可分态集合，另一种与任一可分态的保真度有界。
• 在 d 维希尔伯特空间中，对最大纠缠态与乘积态采用均匀先验，构建对称的可区分性问题。
• 利用乘积态的平均与最大纠缠态的平均均产生最大混合态的事实，证明任何 POVM 均无法可靠区分二者。
• 证明对于任意 ε ≤ 1 − 2−n/2，任何 POVM 在均匀先验下均无法在区分随机乘积态与随机最大纠缠态时优于随机猜测。

实验结果

研究问题

• RQ1 在量子梅林-亚瑟系统中，多个非纠缠量子证明是否能提供超越单个量子证明的计算能力？
• RQ2 在何种条件下，k 个提供者（prover）的量子梅林-亚瑟系统可被简化为 2 个提供者系统？
• RQ3 由于量子态的非局域性与测量限制，是否存在经典与量子多证明系统之间的根本性差异？
• RQ4 完美 soundness 是否会阻止多个量子证明相较于单个证明的优势？
• RQ5 在复合系统中，是否存在任何 POVM 能有效区分一个随机乘积态与一个随机最大纠缠态？

主要发现

• 确立了在 QMA(k) 系统中可将量子证明数量减少至两个的必要且充分条件。
• 在完美 soundness 情况下，多个量子证明不会使亚瑟的验证能力超越单个量子证明所能实现的能力。
• 对于任意 ε ≤ 1−2−n/2，任何 POVM 均无法在均匀先验下优于随机猜测，以区分 2n 量子比特系统中一个与任一可分态保真度有界的随机乘积态与随机最大纠缠态。
• 在 d×d 系统中，所有乘积态的平均与所有最大纠缠态的平均均产生最大混合态，使得它们无法通过任何测量加以区分。
• 从单个未知态中无法检测张量积结构，意味着亚瑟无法通过标准预处理使用单个证明高效模拟多个证明。
• 该结果即使在多项式有界 k 情况下依然成立，扩展了以往仅适用于常数 k 的结果，并改进了早期会议版本，不再依赖于成功概率放大。