A Universal Two--Bit Gate for Quantum Computation

A. Barenco

DOI: https://doi.org/10.1098/rspa.1995.0066

1995-05-24

Abstract:We prove the existence of a class of two--input, two--output gates any one of which is universal for quantum computation. This is done by explicitly constructing the three--bit gate introduced by Deutsch [Proc.~R.~Soc.~London.~A {\bf 425}, 73 (1989)] as a network consisting of replicas of a single two--bit gate.

Quantum Physics

What problem does this paper attempt to address?

Universality in Quantum Computation

D DEUTSCH,A BARENCO,A EKERT

DOI: https://doi.org/10.1098/rspa.1995.0065

1995-01-01

Proceedings of the Royal Society of London Series A Mathematical and Physical Sciences

Abstract:We show that in quantum computation almost every gate that operates on two or more bits is a universal gate. We discuss various physical considerations bearing on the proper definition of universality for computational components such as logic gates.
Quantum Computing with Hermitian Gates

Ben Zindorf,Sougato Bose

2024-02-20

Abstract:Universal gate sets for quantum computation, when single and two qubit operations are accessible, include both Hermitian and non-Hermitian gates. Here we show that any single-qubit operator may be implemented as two Hermitian gates, and thus a purely Hermitian universal set is possible. An implementational convenience can be that non-identity single-qubit Hermitian gates are equivalent to pi rotations up to a global phase. We show that a gate set comprised of pi rotations about two fixed axes, along with the CNOT gate, is universal for quantum computation. Moreover, we show that two pi rotations can transform the axis of any multi-controlled unitary, a special case being a single CNOT sufficing for any controlled pi rotation. These gates simplify the process of circuit compilation in view of their Hermitian nature. Further, the insights are used to design an efficient circuit for a controlled-U(4) gate with any arbitrary operator on two target qubits.

Quantum Physics
Universal Quantum Computation via Superposed Orders of Single-Qubit Gates

Kyrylo Simonov,Marcello Caleffi,Jessica Illiano,Angela Sara Cacciapuoti

2023-11-23

Abstract:Superposed orders of quantum channels have already been proved - both theoretically and experimentally - to enable unparalleled opportunities in the quantum communication domain. As a matter of fact, superposition of orders can be exploited within the quantum computing domain as well, by relaxing the (traditional) assumption underlying quantum computation about applying gates in a well-defined causal order. In this context, we address a fundamental question arising with quantum computing: whether superposed orders of single-qubit gates can enable universal quantum computation. As shown in this paper, the answer to this key question is a definitive "yes". Indeed, we prove that any two-qubit controlled quantum gate can be deterministically realized, including the so-called Barenco gate that alone enables universal quantum computation.

Quantum Physics,Networking and Internet Architecture
Optimal Implementation of Quantum Gates with Two Controls

Jens Palsberg,Nengkun Yu

DOI: https://doi.org/10.1016/j.laa.2024.03.039

IF: 1.307

2024-04-05

Linear Algebra and its Applications

Abstract:We give a detailed proof of a well-known theorem in quantum computing. The theorem characterizes the number of two-qubit gates that is necessary for implementing three-qubit quantum gates with two controls. For example, the theorem implies that five 2-qubit gates are necessary for implementing the Toffoli gate. No detailed proof was available earlier.

mathematics, applied
Universal quantum computing with a single arbitrary gate

Zhong-Yi Ni,Yu-Sheng Zhao,Jin-Guo Liu

2024-09-30

Abstract:This study presents a roadmap towards utilizing a single arbitrary gate for universal quantum computing. Since two decades ago, it has been widely accepted that almost any single arbitrary gate with qubit number $>2$ is universal. Utilizing a single arbitrary gate for compiling is beneficial for systems with limited degrees of freedom, e.g. the scattering based quantum computing schemes. However, how to efficiently compile the wanted gate with a single arbitrary gate, and finally achieve fault-tolerant quantum computing is unknown. In this work, we show almost any target gate can be compiled to precision $\epsilon$ with a circuit depth of approximately $\log(\epsilon^{-1})$ with an improved brute-force compiling method. Under the assumption of reasonable classical resource, we show the gate imperfection can be lowered to $10^{-3}$. By treating the imperfection as coherent error, we show that the error can be further reduced by roughly two orders of magnitude with a measurement-free quantum error correction method.

Quantum Physics
On Universal and Fault-Tolerant Quantum Computing

P. Oscar Boykin,Tal Mor,Matthew Pulver,Vwani Roychowdhury,Farrokh Vatan

DOI: https://doi.org/10.48550/arXiv.quant-ph/9906054

1999-06-16

Abstract:A novel universal and fault-tolerant basis (set of gates) for quantum computation is described. Such a set is necessary to perform quantum computation in a realistic noisy environment. The new basis consists of two single-qubit gates (Hadamard and ${\sigma_z}^{1/4}$), and one double-qubit gate (Controlled-NOT). Since the set consisting of Controlled-NOT and Hadamard gates is not universal, the new basis achieves universality by including only one additional elementary (in the sense that it does not include angles that are irrational multiples of $\pi$) single-qubit gate, and hence, is potentially the simplest universal basis that one can construct. We also provide an alternative proof of universality for the only other known class of universal and fault-tolerant basis proposed by Shor and by Kitaev.

Quantum Physics
Universal transversal gates

Pragati Gupta,Andrea Morello,Barry C. Sanders

2024-10-10

Abstract:A long-standing challenge in quantum error correction is the infeasibility of universal transversal gates, as shown by the Eastin-Knill theorem. We obtain a necessary and sufficient condition for a quantum code to have universal transversal gates and show that the Eastin-Knill no-go result is a special case that does not hold for a general error model. We present a code construction using~$n$~$d$-dimensional systems that changes the logical error probability from a lower bound~$ \Omega(\nicefrac{1}{n\log d})$ to an upper bound~$\mathcal O (\nicefrac{1}{n d})$ and allows exact correction of both local and correlated errors. Our universality condition determines the existence of a universal gate set for any quantum error-correcting code.

Quantum Physics
Universal Quantum Computing with Field-Mediated Unruh--DeWitt Qubits

Eric Aspling,Michael Lawler

2024-02-16

Abstract:A set of universal quantum gates is a vital part of the theory of quantum computing, but is absent in the developing theory of Relativistic Quantum Information (RQI). Yet, the Unruh--DeWitt (UDW) detector formalism can be elevated to unitary gates between qubits and quantum fields and has allowed RQI applications in quantum Shannon theory, such as mutual information, coherent information, and quantum capacity in field-mediated quantum channels. Recently, experimental realizations of UDW-style qubits have been proposed in two-dimensional quantum materials, but their value as a quantum technology, including quantum communication and computation, is not yet clear, especially since fields introduce many avenues for decoherence. We introduce controlled-unitary UDW logic gates between qubit and field that are comparable to the two-qubit CNOT gate. We then extend this formalism to demonstrate Quantum State Transfer (QST) (two CNOT gates) and SWAP (three CNOT gates) channels. We illustrate the performance of these quantum operation gates with the diamond distance, a measure of distinguishability between quantum channels. Distinguishability measures like diamond distance allow for a rigorous comparison between field-mediated transduction through UDW detectors and local quantum mechanical operations and so quantify the performance of UDW detectors in quantum technological applications. Using the controlled-unitary qubit-field interactions we define an exact form of the CNOT gate. With this technique we also define quantum field-mediated single qubit operations associated with the Hadamard $H$, the $S$, and $T$ gates. Thus, UDW detectors in simple settings enable a collection of gates known to provide universal quantum computing.

Quantum Physics,High Energy Physics - Theory
Universal Gates via Fusion and Measurement Operations on SU$(2)_4$ Anyons

Claire Levaillant,Bela Bauer,Michael Freedman,Zhenghan Wang,Parsa Bonderson

DOI: https://doi.org/10.48550/arXiv.1504.02098

2015-04-08

Quantum Physics

Abstract:We examine a class of operations for topological quantum computation based on fusing and measuring topological charges for systems with SU$(2)_4$ or $k=4$ Jones-Kauffman anyons. We show that such operations augment the braiding operations, which, by themselves, are not computationally universal. This augmentation results in a computationally universal gate set through the generation of an exact, topologically protected irrational phase gate and an approximate, topologically protected controlled-$Z$ gate.
Deutsch, Toffoli, and CNOT Gates via Rydberg Blockade of Neutral Atoms

Xiao-Feng Shi

DOI: https://doi.org/10.1103/PhysRevApplied.9.051001

2018-05-23

Abstract:Universal quantum gates and quantum error correction~(QEC) lie in the heart of quantum information science. Large-scale quantum computing depends on a universal set of quantum gates, in which some gates may be easily carried out, while others are hard with a certain physical system. There is a unique three-qubit quantum gate called the Deutsch gate~[$\mathbb{D}(\theta)$], from which alone a circuit can be constructed so that any feasible quantum computing is attainable. As far as we know, however, $\mathbb{D}(\theta)$ has not been demonstrated. Here we design an easily realizable $\mathbb{D}(\theta)$ by using Rydberg blockade of neutral atoms, where $\theta$ can be tuned to any value in $[0,\pi]$ by adjusting the strengths of external control fields. Using similar protocols, we further show that both the Toffoli and CNOT gates can be achieved with only three laser pulses. The Toffoli gate, being universal for classical reversible computing, is also useful for QEC that plays an important role in quantum communication and fault-tolerant quantum computation. The possibility and briefness to realize these gates shed new light on the study of quantum information with neutral atoms.

Quantum Physics
Universal quantum Controlled-NOT gate

Michael Siomau,Stephan Fritzsche

DOI: https://doi.org/10.1140/epjd/e2010-00226-1

2010-07-28

Abstract:An investigation of an optimal universal unitary Controlled-NOT gate that performs a specific operation on two unknown states of qubits taken from a great circle of the Bloch sphere is presented. The deep analogy between the optimal universal C-NOT gate and the `equatorial' quantum cloning machine (QCM) is shown. In addition, possible applications of the universal C-NOT gate are briefly discussed.

Quantum Physics
Experimental characterization of universal one-way quantum computing

B A Bell,M S Tame,A S Clark,R W Nock,W J Wadsworth,J G Rarity

DOI: https://doi.org/10.1088/1367-2630/15/5/053030

2013-05-20

New Journal of Physics

Abstract:We report the characterization of a universal set of logic gates for one-way quantum computing using a four-photon ‘star’ cluster state generated by fusing photons from two independent photonic crystal fibre sources. We obtain a fidelity for the cluster state of 0.66 ± 0.01 with respect to the ideal case. We perform quantum process tomography to completely characterize a controlled-NOT, Hadamard and T gate all on the same compact entangled resource. Together, these operations make up a universal set of gates such that arbitrary quantum logic can be efficiently constructed from combinations of them. We find process fidelities with respect to the ideal cases of 0.64 ± 0.01 for the CNOT, 0.67 ± 0.03 for the Hadamard and 0.76 ± 0.04 for the T gate. The characterization of these gates enables the simulation of larger protocols and algorithms. As a basic example, we simulate a Swap gate consisting of three concatenated CNOT gates. Our work provides some pragmatic insights into the prospects for building up to a fully scalable and fault-tolerant one-way quantum computer with photons in realistic conditions.

physics, multidisciplinary
Quantum Computation with Untunable Couplings

XX Zhou,ZW Zhou,GC Guo,MJ Feldman

DOI: https://doi.org/10.1103/physrevlett.89.197903

IF: 8.6

2002-01-01

Physical Review Letters

Abstract:Most quantum computer realizations require the ability to apply local fields and tune the couplings between qubits, in order to realize single bit and two bit gates which are necessary for universal quantum computation. We present a scheme to remove the necessity of switching the couplings between qubits for two bit gates, which are more costly in many cases. Our strategy is to compute with encoded qubits in and out of carefully designed interaction free subspaces analogous to decoherence free subspaces. We give two examples to show how universal quantum computation is realized in our scheme with local manipulations to physical qubits only, for both diagonal and off diagonal interactions.
Universal Sets of Quantum Gates for Detected Jump-Error Correcting Quantum Codes

G. Alber,M. Mussinger,A. Delgado

DOI: https://doi.org/10.48550/arXiv.quant-ph/0208177

2002-08-30

Abstract:A universal set of quantum gates is constructed for the recently developed jump-error correcting quantum codes. These quantum codes are capable of correcting errors arising from the spontaneous decay of distinguishable qubits into statistically independent reservoirs. The proposed universal quantum gates are constructed with the help of Heisenberg- and Ising-type Hamiltonians acting on these physical qubits. This way it is guaranteed that the relevant error correcting code space is not left at any time even during the application of one of these quantum gates. The proposed entanglement gate is particularly well suited for scalable quantum processing units whose elementary registers are based on four-qubit systems.

Quantum Physics
A Universal Circuit Set Using the $S_3$ Quantum Double

Liyuan Chen,Yuanjie Ren,Ruihua Fan,Arthur Jaffe

2024-11-15

Abstract:One potential route toward fault-tolerant universal quantum computation is to use non-Abelian topological codes. In this work, we investigate how to achieve this goal with the quantum double model $\mathcal{D}(S_3)$ -- a specific non-Abelian topological code. By embedding each on-site Hilbert space into a qubit-qutrit pair, we give an explicit construction of the circuits for creating, moving, and locally measuring all non-trivial anyons. We also design a specialized anyon interferometer to measure the total charge remotely for well-separated anyons; this avoids fusing them together. These protocols enable the implementation of a universal gate set proposed by Cui et al. and active quantum error correction of the circuit-level noise during the computation process. To further reduce the error rate and facilitate error correction, we encode each physical degree of freedom of $\mathcal{D}(S_3)$ into a novel, quantum, error-correcting code, enabling fault-tolerant realization, at the logical level, of all gates in the anyon manipulation circuits. Our proposal offers a promising path to realize universal topological quantum computation in the NISQ era.

Quantum Physics,Strongly Correlated Electrons
Universal quantum circuits for quantum chemistry

Juan Miguel Arrazola,Olivia Di Matteo,Nicolás Quesada,Soran Jahangiri,Alain Delgado,Nathan Killoran

DOI: https://doi.org/10.22331/q-2022-06-20-742

2022-06-21

Quantum

Abstract:Quantum 6, 742 (2022). https://doi.org/10.22331/q-2022-06-20-742 Universal gate sets for quantum computing have been known for decades, yet no universal gate set has been proposed for particle-conserving unitaries, which are the operations of interest in quantum chemistry. In this work, we show that controlled single-excitation gates in the form of Givens rotations are universal for particle-conserving unitaries. Single-excitation gates describe an arbitrary rotation on the two-qubit subspace spanned by the states , while leaving other states unchanged – a transformation that is analogous to a single-qubit rotation on a dual-rail qubit. The proof is constructive, so our result also provides an explicit method for compiling arbitrary particle-conserving unitaries. Additionally, we describe a method for using controlled single-excitation gates to prepare an arbitrary state of a fixed number of particles. We derive analytical gradient formulas for Givens rotations as well as decompositions into single-qubit and CNOT gates. Our results offer a unifying framework for quantum computational chemistry where every algorithm is a unique recipe built from the same universal ingredients: Givens rotations.

physics, multidisciplinary,quantum science & technology
Universal Nonadiabatic Geometric Gates in Two-Qubit Decoherence-Free Subspaces.

Guofu Xu,Guilu Long

DOI: https://doi.org/10.1038/srep06814

IF: 4.6

2014-01-01

Scientific Reports

Abstract:Geometric quantum computation in decoherence-free subspaces is of great practical importance because it can protect quantum information from both control errors and collective dephasing. However, previous proposed schemes have either states leakage or four-body interactions problems. Here, we propose a feasible scheme without these two problems. Our scheme is realized in two-qubit decoherence-free subspaces. Since the Hamiltonian we use is generic, our scheme looks promising to be demonstrated experimentally in different systems, including superconducting charge qubits.
Programmable quantum gate arrays

M. A. Nielsen,Isaac L. Chuang

DOI: https://doi.org/10.1103/PhysRevLett.79.321

1997-03-19

Abstract:We show how to construct quantum gate arrays that can be programmed to perform different unitary operations on a data register, depending on the input to some program register. It is shown that a universal quantum gate array - a gate array which can be programmed to perform any unitary operation - exists only if one allows the gate array to operate in a probabilistic fashion. The universal quantum gate array we construct requires an exponentially smaller number of gates than a classical universal gate array.

Quantum Physics
Universal Quantum Entanglement Concentration Gate

Zi-Yang Wang,Chuan-Wei Zhang,Chuan-Feng Li,Guang-Can Guo

2000-01-01

Abstract:We construct a Universal Quantum Entanglement Concentration Gate (QEC-Gate). Special times operations of QEC-Gate can transform a pure 2-level bipartite entangled state to nearly maximum entanglement. The transformation can attain any required fidelity with optimal probability by adjusting concentration step. We also generate QEC-Gate to the Schmidt decomposable multi-partite system.
Experimental Realization of Non-Adiabatic Universal Quantum Gates Using Geometric Landau-Zener-Stückelberg Interferometry

Li Wang,Tao Tu,Bo Gong,Cheng Zhou,Guang-Can Guo

DOI: https://doi.org/10.1038/srep19048

IF: 4.6

2016-01-01

Scientific Reports

Abstract:High fidelity universal gates for quantum bits form an essential ingredient of quantum information processing. In particular, geometric gates have attracted attention because they have a higher intrinsic resistance to certain errors. However, their realization remains a challenge because of the need for complicated quantum control on a multi-level structure as well as meeting the adiabatic condition within a short decoherence time. Here, we demonstrate non-adiabatic quantum operations for a two-level system by applying a well-controlled geometric Landau-Zener-Stückelberg interferometry. By characterizing the gate quality, we also investigate the operation in the presence of realistic dephasing. Furthermore, the result provides an essential model suitable for understanding an interplay of geometric phase and Landau-Zener-Stückelberg process which are well explored separately.

A Universal Two--Bit Gate for Quantum Computation

Universality in Quantum Computation

Quantum Computing with Hermitian Gates

Universal Quantum Computation via Superposed Orders of Single-Qubit Gates

Optimal Implementation of Quantum Gates with Two Controls

Universal quantum computing with a single arbitrary gate

On Universal and Fault-Tolerant Quantum Computing

Universal transversal gates

Universal Quantum Computing with Field-Mediated Unruh--DeWitt Qubits

Universal Gates via Fusion and Measurement Operations on SU$(2)_4$ Anyons

Deutsch, Toffoli, and CNOT Gates via Rydberg Blockade of Neutral Atoms

Universal quantum Controlled-NOT gate

Experimental characterization of universal one-way quantum computing

Quantum Computation with Untunable Couplings

Universal Sets of Quantum Gates for Detected Jump-Error Correcting Quantum Codes

A Universal Circuit Set Using the $S_3$ Quantum Double

Universal quantum circuits for quantum chemistry

Universal Nonadiabatic Geometric Gates in Two-Qubit Decoherence-Free Subspaces.

Programmable quantum gate arrays

Universal Quantum Entanglement Concentration Gate

Experimental Realization of Non-Adiabatic Universal Quantum Gates Using Geometric Landau-Zener-Stückelberg Interferometry