QIP=PSPACE证明的均衡值方法
量子物理
2011-03-15 v4 计算复杂性
摘要
我们为最近突破性的结果\class{QIP}=\class{PSPACE}提供了一种替代证明。不同于求解某些刻画量子交互证明计算能力的半定规划，我们的方法从一个\class{QIP}-完全问题开始，该问题计算两个可容许量子信道之间的金刚范数。关键观察是我们可以将金刚范数的计算转化为某个均衡值的计算。后一个问题，不同于前面的半定规划，形式更好，更容易求解，并且可能本身就有趣。乘法权重更新方法也被应用于求解均衡值问题，但比原始证明中的方法相对简单。作为直接副产品，我们还提供了一个NC算法来计算一类量子信道的金刚范数。此外，我们提供了均衡值问题的一种广义形式，可以用相同方式求解，并与半定规划进行了比较。
引用
@article{arxiv.1004.0264,
title = {Equilibrium Value Method for the Proof of QIP=PSPACE},
author = {Xiaodi Wu},
journal= {arXiv preprint arXiv:1004.0264},
year = {2011}
}
备注
21 pages; introduction rewritten, new results about computing the diamond norm added