Quantum circuits with classical channels and the principle of deferred measurements
Quantum Physics
2021-07-20 v1 Information Theory
Logic in Computer Science
Mathematical Physics
math.IT
math.MP
Abstract
We define syntax and semantics of quantum circuits, allowing measurement gates and classical channels. We define circuit-based quantum algorithms and prove that, semantically, any such algorithm is equivalent to a single measurement that depends only on the underlying quantum circuit. Finally, we use our formalization of quantum circuits to state precisely and prove the principle of deferred measurements.
Keywords
Cite
@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}
}