恒等性检查是 QMA 完全的
量子物理
2016-09-08 v1
摘要
我们定义了恒等性检查问题：给定一个量子电路的经典描述，判断它是否几乎等价于恒等变换。具体来说，任务是决定相应的酉算子是否在算子范数意义上接近恒等矩阵的复数倍。我们证明该问题是 QMA 完全的。该问题的一个推广是等价性检查：给定两个量子电路的描述和一个共同不变子空间的描述，判断电路在该子空间上的限制是否几乎一致。我们证明等价性检查也属于 QMA，因此也是 QMA 完全的。
引用
@article{arxiv.quant-ph/0305050,
title = {Identity check is QMA-complete},
author = {Dominik Janzing and Pawel Wocjan and Thomas Beth},
journal= {arXiv preprint arXiv:quant-ph/0305050},
year = {2016}
}
备注
9 pages