Recognition: unknown
Elementary gates for quantum computation
read the original abstract
We show that a set of gates that consists of all one-bit quantum gates (U(2)) and the two-bit exclusive-or gate (that maps Boolean values $(x,y)$ to $(x,x \oplus y)$) is universal in the sense that all unitary operations on arbitrarily many bits $n$ (U($2^n$)) can be expressed as compositions of these gates. We investigate the number of the above gates required to implement other gates, such as generalized Deutsch-Toffoli gates, that apply a specific U(2) transformation to one input bit if and only if the logical AND of all remaining input bits is satisfied. These gates play a central role in many proposed constructions of quantum computational networks. We derive upper and lower bounds on the exact number of elementary gates required to build up a variety of two-and three-bit quantum gates, the asymptotic number required for $n$-bit Deutsch-Toffoli gates, and make some observations about the number required for arbitrary $n$-bit unitary operations.
This paper has not been read by Pith yet.
Forward citations
Cited by 4 Pith papers
-
Quantum measurements and the Abelian Stabilizer Problem
Kitaev presents a polynomial quantum algorithm for the Abelian stabilizer problem based on measuring eigenvalues of unitary operators, generalizing Shor's factoring and discrete-log algorithms.
-
Bridging Krylov Complexity and Universal Analog Quantum Simulator
Generalized Krylov complexity predicts the minimum time to realize target operations in analog quantum simulators such as Rydberg atom arrays.
-
Quantum Simulation of the Real-time Dynamics in the multi-flavor Gross-Neveu Model at the utility scale using Superconducting Quantum Computers
A scalable Trotterization and Localized Diagonal Operator Approximation enable real-time quantum simulation of the multi-flavor Gross-Neveu model on utility-scale superconducting hardware.
-
Quantum simulating multi-particle processes in high energy nuclear physics: dijet production and color (de)coherence
A framework is developed that encodes leading-order QCD antenna and dipole processes as quantum circuits, with benchmarks against analytic limits in simplified media.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.