Quantum circuits with classical channels and the principle of deferred measurements

07/17/2021
by   Yuri Gurevich, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/14/2019

Circuit pedantry

Boolean and quantum circuits have commonalities and differences. To form...
research
05/01/2019

Dense Quantum Measurement Theory

Quantum measurement is a fundamental cornerstone of experimental quantum...
research
09/21/2023

Quantum complementarity: A novel resource for unambiguous exclusion and encryption

Complementarity is a phenomenon explaining several core features of quan...
research
09/07/2022

A learning theory for quantum photonic processors and beyond

We consider the tasks of learning quantum states, measurements and chann...
research
09/09/2021

Optimal Mapping for Near-Term Quantum Architectures based on Rydberg Atoms

Quantum algorithms promise quadratic or exponential speedups for applica...
research
04/26/2022

Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)

We introduce Qunity, a new quantum programming language designed to trea...
research
05/22/2018

Universal discriminative quantum neural networks

Quantum mechanics fundamentally forbids deterministic discrimination of ...

Please sign up or login with your details

Forgot password? Click here to reset