量子电路的自检测
量子物理
2007-05-23 v1
摘要
我们证明，量子电路连同测量装置与EPR源可以在不参考任何其他可信量子设备集合的情况下被完全验证。我们的主要假设是，我们所处理的物理系统由若干可辨识的子系统组成，可在这些子系统上局域地施加某些给定门。为实现目标，我们定义了模拟与等价的概念。模拟概念指在测量物理系统时产生正确的概率。为能够高效检测量子操作的复合，我们引入等价概念。与涉及被测物理量（即结果概率）的模拟不同，等价关联的是态、子空间或门等数学对象。利用这两个概念，我们证明若某系统满足某些模拟条件，则它等价于其旨在实现的系统。此外，借助我们的形式体系，可表明这些命题具有鲁棒性，且鲁棒程度可被显式给出（不同于[DMMS00]的鲁棒性结果）。特别地，我们还证明了EPR检验[MY98]的鲁棒性。最后，我们设计了一种对任意量子电路的检测，其复杂度在门数与量子比特数上呈线性，在所需精度上呈多项式。
引用
@article{arxiv.quant-ph/0512111,
title = {Self-Testing of Quantum Circuits},
author = {Frederic Magniez and Dominic Mayers and Michele Mosca and Harold Ollivier},
journal= {arXiv preprint arXiv:quant-ph/0512111},
year = {2007}
}
备注
22 pages, 1 figure