Quantum circuits with classical channels and the principle of deferred measurements

DOI10.1016/J.TCS.2022.02.002arXiv2107.08324WikidataQ114129132 ScholiaQ114129132MaRDI QIDQ6373047

Publication date: 17 July 2021

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.

Mathematics Subject Classification ID

Quantum computation (81P68) Quantum algorithms and complexity in the theory of computing (68Q12) Networks and circuits as models of computation; circuit complexity (68Q06) Quantum gates (81P65)

This page was built for publication: Quantum circuits with classical channels and the principle of deferred measurements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6373047)