arXiv 0907.47372009-07quant-ph

QIP = PSPACE

Rahul Jain, Zhengfeng Ji, Sarvagya Upadhyay, John Watrous

备注：: 21 pages; v2 includes corrections and minor revisions

摘要：

我们证明了复杂性类QIP，其中包括所有的问题，量子交互式证明系统，包含在PSPACE。这种包容性证明了通过应用并行化形式的矩阵乘性权重更新方法的一类半定程序，捕获量子交互式证明的计算能力。由于PSPACE在QIP中的包容性直接来自众所周知的等式IP = PSPACE，等式QIP = PSPACE随之而来。

英文摘要：

We prove that the complexity class QIP, which consists of all problems having quantum interactive proof systems, is contained in PSPACE. This containment is proved by applying a parallelized form of the matrix multiplicative weights update method to a class of semidefinite programs that captures the computational power of quantum interactive proofs. As the containment of PSPACE in QIP follows immediately from the well-known equality IP = PSPACE, the equality QIP = PSPACE follows.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

超越 IP = PSPACE 和 QIP = PSPACE：任意物理理论中的交互式证明

Beyond IP = PSPACE and QIP = PSPACE: Interactive Proofs in Arbitrary Physical Theories

QuICS, NIST/University of Maryland（量子信息与计算科学研究所，美国国家标准与技术研究院/马里兰大学）；UMIACS, University of Maryland（计算机与信息系统研究所，马里兰大学）；IHPC, A*STAR（高性能计算研究所，新加坡科技研究局）；IonQ, Inc.（IonQ公司）

本文研究一般概率理论中的交互式证明，发现经典消息下各理论均决定PSPACE，量子验证者下量子理论不增加接受概率，而任意系统消息可严格超越PSPACE。

2026-10-02cs.CCquant-ph

平衡值法证明QIP = PSPACE

Equilibrium Value Method for the Proof of QIP=PSPACE

对最近的突破性结果给出了\class{QIP} = \class{PSPACE}的另一种证明.不像解决一些半定的程序，捕获量子交互式证明的计算能力，我们的方法开始于一个\class{QIP} -完全问题，计算两个容许的量子信道之间的钻石范数。关键的观察是，我们可以将钻石范数的计算转换为某个均衡值的计算。后者的问题，不同于以前的半定规划，是更好的形式，更容易解决，可能是有趣的，因为它本身的缘故。乘性权值更新方法也适用于解决平衡值问题，但在一个相对简单的方式比原来的证明。作为一个直接的副产品，我们还提供了一个NC算法来计算一类量子信道的钻石范数。此外，我们提供了一个广义形式的平衡值问题，可以解决以同样的方式，以及比较半定规划。

2011-03-12cs.CCquant-ph

QIP $ \subseteq $ AM（2QCFA）

QIP $ \subseteq $ AM(2QCFA)

具有多项式时间经典或量子交互证明系统（分别为$\mathsf{IP}$或$\mathsf{QIP}$）的语言类与$\mathsf{PSPACE}$相同。我们表明，$\mathsf{PSPACE}$（因此$\mathsf{QIP}$）是子集的$\mathsf{AM(2QCFA)}$，类语言的阿瑟-梅林证明系统的验证者是双向有限自动机与量子和经典状态（2 QCFAs）通信的证明者经典。我们的协议只使用有理数值量子跃迁，并在双指数预期时间内运行。此外，成员串以概率1被接受（即，完美的完整性）。

2025-08-28cs.CCcs.FLquant-ph

双消息量子交互式证明是在PSPACE

Two-message quantum interactive proofs are in PSPACE

我们证明了QIP（2）是PSPACE的一个子集，QIP（2）是具有两个消息的量子交互证明系统的一类问题。这种关系是通过一个有效的并行算法，基于乘法权更新方法，近似求解某一类半定规划。

2009-05-08cs.CCquant-ph

QMA/qpoly包含在PSPACE/poly中：去Merlinizing Quantum协议

QMA/qpoly Is Contained In PSPACE/poly: De-Merlinizing Quantum Protocols

本文介绍一种新的消除量子态上存在量词的方法。使用这种技术，我们表明，有没有办法包装成一个多项式大小的量子态的指数数量的位，在这样一种方式，这些位中的任何一个的值可以稍后证明的帮助下，一个多项式大小的量子证人。我们还表明，任何问题在QMA与多项式大小的量子咨询，也是在PSPACE与多项式大小的经典咨询。这建立在我们早期的结果，BQP/qpoly包含在PP/poly，并提供了一个有趣的对位最近发现的拉兹，QIP/qpoly = ALL。最后，我们证明了QCMA/qpoly包含在PP/poly中，并且QMA/rpoly = QMA/poly。

2006-04-02cs.CCquant-ph

具有弱误差界的量子交互式证明

Quantum interactive proofs with weak error bounds

本文证明了量子交互式证明系统的计算能力，在完全性和可靠性情况之间的接受概率具有双指数小的差距，精确地由EXP表征，EXP是确定性图灵机在指数时间内可解的一类问题。这一事实，以及我们对它的证明，对量子和经典交互式证明系统在无界误差的设置中具有影响，包括以下内容：* 量子交互式证明系统在无界误差设置中严格比它们的经典对应物更强大，除非PSPACE=EXP，因为即使是无界误差的经典交互式证明系统也可以在PSPACE中模拟。* Jain，Ji，Upadhyay和Watrous（STOC 2010）建立QIP=PSPACE的最新证明在很大程度上依赖于定义类QIP的量子交互证明系统具有有界误差的事实。我们的结果意味着，一些非平凡的假设量子交互证明的误差界是不可避免的建立这个结果（除非PSPACE=EXP）。* 为了证明我们的结果，我们给出了一个EXP的量子交互式证明系统，该系统具有完美完备性和可靠性误差1-2^{-2 ^poly}，并且可靠性误差界是可证明紧的。这建立了量子和经典交互式证明系统不同的另一个方面，因为这样的界限不能适用于任何经典交互式证明系统：经典交互式证明系统的不同接受概率必须由至少（单）指数小的差距分开。我们还研究了其他一些相关的无界错误复杂性类的计算能力。

2011-09-06cs.CCquant-ph

更多相关论文收起更多论文

量子统计零知识复杂度类的一个略微改进的上界

A slightly improved upper bound for quantum statistical zero-knowledge

Nagoya University（名古屋大学）；École Polytechnique Fédérale de Lausanne（洛桑联邦理工学院）；Shanghai Jiao Tong University（上海交通大学）

本文改进了量子统计零知识复杂度类QSZK的上界，提出使用量子线性空间诚实验证者的方法，同时改进了非交互变种NIQSZK的上界。

2026-06-28cs.CCcs.ITmath.IT

使用量子能量隐形传态的量子交互式证明

Quantum interactive proofs using quantum energy teleportation

该研究利用QST与QET构造兼具完备性、可靠性和零知识性的QIP协议，并扩展至分布式及多证明者场景，给出PSPACE内的安全量子认证方案。

2023-06-14cs.CCcs.CRcs.IT

量子复杂性理论中半定规划问题的简化解

Parallelized Solution to Semidefinite Programmings in Quantum Complexity Theory

在本文中，我们提出了一个平衡值为基础的框架，通过乘法的权重更新方法，这是不同于在Kale的论文\cite{Kale07}。新框架的一个主要优点是，我们可以保证从近似到精确的可行性转换在一个更一般的类的SDP比以前的结果。另一个优点是在一般情况下，应用乘性权重更新方法所需的预言机的设计被大大简化。这导致了在先前结果\class{QIP(2)} $\subseteq$ \class{PSPACE} \cite{JainUW09}和\class{QMAM} = \class{PSPACE} \cite{JainJUW09}中使用的SDP的替代和更容易的解决方案。此外，我们提供了一个通用形式的SDP，可以解决类似的方式。通过并行化解决方案中的每一步，我们能够在\class{NC}中解决一类SDP。虽然我们的动机是从量子计算，我们的结果也将直接适用于任何SDP，满足我们的条件。除了解决SDP的新框架外，我们还提供了一个新的框架，该框架提高了可以通过乘性权重更新方法解决的平衡值问题的范围。在此之前，我们只能计算两个凸集之一需要是密度算子集的平衡值。我们的工作表明，在一个集合的情况下，密度算子的进一步线性约束的集合，我们仍然能够近似的平衡值，以高精度通过乘法的权重更新方法。

2010-09-12cs.CCquant-ph

关于BQP的相对化MIP

A Relativizing MIP for BQP

UT Austin（德克萨斯大学奥斯汀分校）；MIT（麻省理工学院）；UC Berkeley（加州大学伯克利分校）

本文探讨BQP⊆IP的相对化问题，通过构造基于经典 oracle 的PCP证明系统，证明BQP^O⊆MIP，为量子计算的交互证明提供了新思路。

2026-10-06cs.CCquant-ph

单回合量子裁判博弈的复杂性限制

Complexity limitations on one-turn quantum refereed games

本文研究了量子裁判博弈的复杂性理论方面，量子裁判博弈是两个竞争的玩家之间的抽象博弈，将量子态发送给裁判，裁判对两个状态进行有效的联合测量，以确定哪个玩家获胜。复杂性类$\mathrm{QRG}(1)$包含这样的决策问题，对于这些决策问题，其中一个参与者总是可以在yes实例中以高概率获胜，而另一个参与者总是可以在no实例中以高概率获胜，而不管对手的策略如何。该类通常包含$\mathrm{QMA} \cup \text{co-}\mathrm{QMA}$，并且已知包含在$\mathrm{PSPACE}$中。我们证明了更强的包容性，这类的两个限制性的变种。具体来说，如果一个参与者被限制发送一个经典的（概率）状态而不是量子状态，因此产生的复杂性类$\mathrm{CQRG}(1)$包含在$\exists\cdot\mathrm{PP}$中（应用于$\mathrm{PP}$的非确定性多项式时间算子）;而如果两个参与者都发送量子态但裁判被迫首先测量其中一个状态，并将该测量的经典结果合并到第二状态的测量中，所得到的类$\mathrm{MQRG}(1)$包含在$\mathrm{P}\cdot\mathrm{PP}$（应用于$\mathrm{PP}$的无界误差概率多项式时间算子）中。

2020-02-04cs.CCquant-ph

有界误差复杂度类的非标准预言机

Non-Standard Oracles for Bounded-Error Complexity Classes

Institute for Quantum Computing（量子计算研究所）；University of Waterloo（滑铁卢大学）；Quantum Computing Research Centre（量子计算研究中心）；Hon Hai (Foxconn) Research Institute（鸿海（富士康）研究院）

研究有界误差复杂度类的非标准预言机问题，通过构造量子预言机问题，证明其在量子预言机下与特定类的包含关系和在经典预言机下不同，解决了 Aaronson（2009）的开放问题。

2026-07-07cs.CCquant-ph