量子图灵机与有限生成一致量子电路族间的完全计算等价性
量子物理
2013-12-18 v3
摘要
为了利用 Yao 的量子图灵机 (QTM) 量子电路模拟建立量子图灵机 (QTM) 与量子电路族 (QCF) 之间的计算等价性，我们此前引入了基于无限基本门集合的一致 QCF 类，并已证明其在有界误差模拟意义下与多项式时间 QTM（对振幅作适当限制）计算等价。该结果表明 Bernstein 和 Vazirani 为 QTM 引入的复杂度类 BQP 等于一致 QCF 的对应类。然而，QTM 的复杂度类 ZQP 和 EQP 似乎不等于一致 QCF 的对应类。本文中，我们引入一致 QCF 的一个子类——基于有限个基本门的有限生成一致 QCF，并证明有限生成一致 QCF 类与多项式时间 QTM 类完全等价；它们可精确相互模拟。这自然意味着 BQP 以及 ZQP 和 EQP 都等于有限生成一致 QCF 的相应复杂度类。
引用
@article{arxiv.quant-ph/0511117,
title = {Perfect Computational Equivalence between Quantum Turing Machines and Finitely Generated Uniform Quantum Circuit Families},
author = {Harumichi Nishimura and Masanao Ozawa},
journal= {arXiv preprint arXiv:quant-ph/0511117},
year = {2013}
}
备注
11pages