Quantum circuits with classical channels and the principle of deferred measurements

17 Jul 2021 · Yuri Gurevich, Andreas Blass ·

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.

PDF Abstract

Code

Add Remove Mark official

No code implementations yet. Submit your code now

Edit Social Preview

Quantum circuits with classical channels and the principle of deferred measurements

Code Edit Add Remove Mark official

Categories

Code

Add Remove Mark official