Scifaro

中文

带经典信道的量子线路与延迟测量原理

量子物理 2021-07-20 v1 信息论计算机科学中的逻辑数学物理 math.IT math.MP

作者: Yuri Gurevich , Andreas Blass

在 arXiv 上查看 ↗ PDF ↗

摘要

我们定义了允许测量门和经典信道的量子线路的语法与语义。我们定义了基于线路的量子算法，并从语义上证明任何此类算法都等价于仅依赖于底层量子线路的单一测量。最后，我们利用对量子线路的形式化表述精确陈述并证明了延迟测量原理。

关键词

量子线路经典信道测量门量子算法延迟测量形式化语义

引用

@article{arxiv.2107.08324,
  title  = {Quantum circuits with classical channels and the principle of deferred measurements},
  author = {Yuri Gurevich and Andreas Blass},
  journal= {arXiv preprint arXiv:2107.08324},
  year   = {2021}
}