两个 QCMA 完全问题
量子物理
2007-05-23 v1
摘要
QMA 与 QCMA 是复杂度类 NP 可能的量子类比。在 QCMA 中，验证者是一个量子程序而证明是经典的。相反，在 QMA 中证明也是量子态。我们表明两个已知的 QMA 完全问题可以自然的方式修改为 QCMA 完全问题：(1) 判定一个 3-局域哈密顿量是否具有可用至多 k 个基本门制备的低能态（能量小于给定值）是 QCMA 完全的，而当去掉制备复杂度的限制时它是 QMA 完全的。(2) 判定一个（经典描述的）量子线路在所有基态上是否几乎作用为恒等是 QCMA 完全的。判定它是否在所有态上几乎作用为恒等是 QMA 完全的。
引用
@article{arxiv.quant-ph/0305090,
title = {Two QCMA-complete problems},
author = {Pawel Wocjan and Dominik Janzing and Thomas Beth},
journal= {arXiv preprint arXiv:quant-ph/0305090},
year = {2007}
}
备注
9 pages