Reducing Quantum Computations to Elementary Unitary Operations
Computing in Science and Engineering
Quantum Computation and Quantum Information: 10th Anniversary Edition
Quantum Computation and Quantum Information: 10th Anniversary Edition
ROM-based computation: quantum versus classical
Quantum Information & Computation
Both Toffoli and controlled-NOT need little help to do universal quantum computing
Quantum Information & Computation
Optimal realizations of controlled unitary gates
Quantum Information & Computation
An arbitrary twoqubit computation In 23 elementary gates or less
Proceedings of the 40th annual Design Automation Conference
High-level interconnect model for the quantum logic array architecture
ACM Journal on Emerging Technologies in Computing Systems (JETC)
An XQDD-Based Verification Method for Quantum Circuits
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Block-based quantum-logic synthesis
Quantum Information & Computation
Transformation of quantum states using uniformly controlled rotations
Quantum Information & Computation
On the CNOT-cost of TOFFOLI gates
Quantum Information & Computation
Hi-index | 0.00 |
A unitary operator U = Σj,k uj,k|k〉〈j| is called diagonal when uj,k = 0 unless j = k. The definition extends to quantum computations, where j and k vary over the 2n binary expressions for integers 0,1 ...,2n - 1, given n qubits. Such operators do not affect outcomes of the projective measurement {|j〉〈j|; 0 ≤ j ≤ 2n - 1} but rather create arbitrary relative phases among the computational basis states {|j〉 ; 0 ≤ j ≤ 2n - 1}. Prior quantum circuits for diagonal computations require O(n22n) controlled-not gates and one-qubit Blodl sphere rotations. This work provides a recursive, constructive procedure which inputs U and outputs such a diagram containing 2n+1 - 3 alternating controlled-not gates and one-qubit z- axis Bloch sphere rotations. Up to a factor of two, these circuits are provably the smallest possible. Moreover, the algorithm recognizes certain special case structures within U. For example, if U is a full diagonal tensor of Rz(α) = e-iα/2|0〉〈0| + e-iα/2|1〉〈1| rotations, then a cancellation of controlled-not gates reduces our circuit to the n gate tensor. Moreover, any V ⊕ Rz will output half as many gates as a generic U.