2000 character limit reached
Quantum circuits with classical channels and the principle of deferred measurements (2107.08324v1)
Published 17 Jul 2021 in quant-ph, cs.IT, cs.LO, math-ph, math.IT, and 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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.