[论文解读] Equilibrium Value Method for the Proof of QIP=PSPACE

Xiaodi Wu|arXiv (Cornell University)|Apr 2, 2010

Quantum Computing Algorithms and Architecture参考文献 39被引用 10

一句话总结

本文通过将先前已知为QIP完全的量子电路可区分性问题重新表述为均衡值问题，提出了一种QIP = PSPACE的替代证明。该均衡值问题更适用于空间高效计算。通过将乘法权重更新方法应用于此均衡形式，作者获得了一个避免复杂半定规划的PSPACE算法，从而导出了一类特定量子通道的钻石范数计算的NC算法。

ABSTRACT

We provide an alternative proof of \class{QIP}=\class{PSPACE} to the recent breakthrough result. Unlike solving some semidefinite programs that captures the computational power of quantum interactive proofs, our method starts with one \class{QIP}-Complete problem which computes the diamond norm between two admissible quantum channels. The key observation is that we can convert the computation of the diamond norm into the computation of some equilibrium value. The later problem, different from the former semidefinite programs, is of better form, easier to solve and could be interesting for its own sake. The multiplicative weight update method is also applied to solve the equilibrium value problem, however, in a relatively simpler way than the one in the original proof. As a direct byproduct, we also provide a NC algorithm to compute the diamond norm of a class of quantum channels. Furthermore, we provide a generalized form of equilibrium value problems that can be solved in the same way as well as comparisons to semidefinite programs.

研究动机与目标

• 提供QIP = PSPACE的一个新替代证明，避免先前工作中使用的复杂半定规划框架。
• 将量子电路可区分性这一QIP完全问题重新表述为更适用于空间高效计算的均衡值问题。
• 证明乘法权重更新方法可被更简单、更直接地应用于求解该均衡值问题，相较于先前方法。
• 作为主要结果的副产品，推导出计算特定类量子通道钻石范数的NC算法。
• 推广均衡值框架，并将其计算特性与半定规划进行比较。

提出的方法

• 利用关于优化问题结构的关键观察，将两个量子通道之间钻石范数的计算重新表述为均衡值问题。
• 使用乘法权重更新方法求解均衡值问题，相比原始证明以更简明的方式应用该方法。
• 应用矩阵乘法权重更新（MMW）框架，迭代更新密度算符和测量算符，使其收敛至最优值。
• 通过使用NC可计算的方法近似矩阵指数和正特征子空间投影，处理数值精度问题，利用已知的复杂性理论结果控制误差界。
• 采用波浪号记号约定，以区分实际计算的矩阵与理想化值，确保误差传播可分析。
• 证明最终近似误差被有界于一个较小常数内，使算法能够以高置信度区分问题中的承诺间隙。

实验结果

研究问题

• RQ1 量子电路可区分性问题能否被重新表述为一种避免复杂半定规划、并支持更直接空间高效解法的形式？
• RQ2 钻石范数计算的均衡值形式是否允许比以往基于SDP的方法更简单地应用乘法权重更新方法？
• RQ3 该结果算法能否在NC中实现，从而通过空间高效计算确立QIP的PSPACE上界？
• RQ4 对于特定类量子通道，计算其钻石范数的计算复杂度是多少？能否在NC中求解？
• RQ5 在计算结构和效率方面，均衡值框架与半定规划相比如何？

主要发现

• 本文成功地将量子电路可区分性这一QIP完全问题重新表述为更适用于空间高效计算的均衡值问题。
• 与原始证明相比，乘法权重更新方法以更简化、更直接的方式应用，降低了算法复杂度。
• 推导出计算特定类量子通道钻石范数的NC算法，是主结果的重要副产品。
• 对近似矩阵指数和正特征子空间投影所引发的精度问题进行了严格分析，证明其在NC可计算误差界内可控。
• 最终算法实现了PSPACE中承诺问题的常数间隙可区分性，通过均衡值方法确认了QIP = PSPACE。
• 均衡值框架得到推广，并被证明是某些量子复杂性问题中半定规划的可行替代方案。