论区分混合态量子计算的困难性
计算复杂性
2007-05-23 v1 量子物理
摘要
本文考虑以下问题。给定两个混合态量子电路 Q 和 R，目标是确定以下哪种情况成立： Q 和 R 对所有可能的量子态输入的作用几乎相同，或者 存在某个输入态，Q 和 R 将其变换为几乎可完美区分的输出。这个问题可以看作是对以下问题的抽象：给定两个由局部相互作用序列描述的物理过程，这两个过程实际上是相同的还是不同的？我们证明，对于具有量子交互式证明系统的问题类 QIP 而言，该问题是一个完全承诺问题，因此是 PSPACE-hard 的。这与以下事实形成鲜明对比：经典（概率）电路的类似问题属于 AM，而酉量子电路的类似问题属于 QMA。
关键词
引用
@article{arxiv.cs/0407056,
title = {On the hardness of distinguishing mixed-state quantum computations},
author = {Bill Rosgen and John Watrous},
journal= {arXiv preprint arXiv:cs/0407056},
year = {2007}
}
备注
17 pages