DeepAI AI Chat
Log In Sign Up

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

10/14/2019

Circuit pedantry

Boolean and quantum circuits have commonalities and differences. To form...
09/09/2021

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

Quantum algorithms promise quadratic or exponential speedups for applica...
05/01/2019

Dense Quantum Measurement Theory

Quantum measurement is a fundamental cornerstone of experimental quantum...
09/07/2022

A learning theory for quantum photonic processors and beyond

We consider the tasks of learning quantum states, measurements and chann...
03/01/2022

Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond

Satisfiability Testing (SAT) techniques are well-established in classica...
09/11/2019

Efficient template matching in quantum circuits

Given a large and a small quantum circuit, we are interested in finding ...
06/05/2020

Eliminating Intermediate Measurements in Space-Bounded Quantum Computation

A foundational result in the theory of quantum computation known as the ...