In gate-based quantum computing, various sets of quantum logic gates are commonly used to express quantum operations. The following tables list several unitary quantum logic gates, together with their common name, how they are represented, and some of their properties. Controlled or conjugate transpose (adjoint) versions of some of these gates may not be listed.
Name | # qubits | Operator symbol | Matrix | Circuit diagram | Properties | Refs |
---|---|---|---|---|---|---|
Identity, no-op | 1 (any) | , 𝟙 | or | [1] | ||
Global phase | 1 (any) | , or |
| [1] |
The identity gate is the identity operation , most of the times this gate is not indicated in circuit diagrams, but it is useful when describing mathematical results.
It has been described as being a "wait cycle", [2] and a NOP. [3] [1]
The global phase gate introduces a global phase to the whole qubit quantum state. A quantum state is uniquely defined up to a phase. Because of the Born rule, a phase factor has no effect on a measurement outcome: for any .
Because when the global phase gate is applied to a single qubit in a quantum register, the entire register's global phase is changed.
Also,
These gates can be extended to any number of qubits or qudits.
This table includes commonly used Clifford gates for qubits. [1] [4] [5]
Names | # qubits | Operator symbol | Matrix | Circuit diagram | Some properties | Refs |
---|---|---|---|---|---|---|
Pauli X, NOT, bit flip | 1 |
| [1] [6] | |||
Pauli Y | 1 |
| [1] [6] | |||
Pauli Z, phase flip | 1 |
| [1] [6] | |||
Phase gate S, square root of Z | 1 | [1] [6] | ||||
Square root of X, square root of NOT | 1 | , , | [1] [7] | |||
Hadamard, Walsh-Hadamard | 1 |
| [1] [6] | |||
Controlled NOT, controlled-X, controlled-bit flip, reversible exclusive OR, Feynman | 2 | , | |
Implementation: | [1] [6] | |
Anticontrolled-NOT, anticontrolled-X, zero control, control-on-0-NOT, reversible exclusive NOR | 2 | , , |
| [1] | ||
Controlled-Z, controlled sign flip, controlled phase flip | 2 | , , , |
Implementation:
| [1] [6] | ||
Double-controlled NOT | 2 | [8] | ||||
Swap | 2 | or |
| [1] [6] | ||
Imaginary swap | 2 | or |
| [1] |
Other Clifford gates, including higher dimensional ones are not included here but by definition can be generated using and .
Note that if a Clifford gate A is not in the Pauli group, or controlled-A are not in the Clifford gates.[ citation needed ]
The Clifford set is not a universal quantum gate set.
Names | # qubits | Operator symbol | Matrix | Circuit diagram | Properties | Refs |
---|---|---|---|---|---|---|
Phase shift | 1 |
| [9] [10] [11] | |||
Phase gate T, π/8 gate, fourth root of Z | 1 | or | [1] [6] | |||
Controlled phase | 2 |
Implementation:
| [11] | |||
Controlled phase S | 2 |
| [6] |
The phase shift is a family of single-qubit gates that map the basis states and . The probability of measuring a or is unchanged after applying this gate, however it modifies the phase of the quantum state. This is equivalent to tracing a horizontal circle (a line of latitude), or a rotation along the z-axis on the Bloch sphere by radians. A common example is the T gate where (historically known as the gate), the phase gate. Note that some Clifford gates are special cases of the phase shift gate:
The argument to the phase shift gate is in U(1), and the gate performs a phase rotation in U(1) along the specified basis state (e.g. rotates the phase about ). Extending to a rotation about a generic phase of both basis states of a 2-level quantum system (a qubit) can be done with a series circuit: . When this gate is the rotation operator gate and if it is a global phase. [lower-alpha 1] [lower-alpha 2]
The T gate's historic name of gate comes from the identity , where .
Arbitrary single-qubit phase shift gates are natively available for transmon quantum processors through timing of microwave control pulses. [13] It can be explained in terms of change of frame. [14] [15]
As with any single qubit gate one can build a controlled version of the phase shift gate. With respect to the computational basis, the 2-qubit controlled phase shift gate is: shifts the phase with only if it acts on the state :
The controlled-Z (or CZ) gate is the special case where .
The controlled-S gate is the case of the controlled- when and is a commonly used gate. [6]
Names | # qubits | Operator symbol | Exponential form | Matrix | Circuit diagram | Properties | Refs |
---|---|---|---|---|---|---|---|
Rotation about x-axis | 1 |
| [1] [6] | ||||
Rotation about y-axis | 1 |
| [1] [6] | ||||
Rotation about z-axis | 1 |
| [1] [6] |
The rotation operator gates and are the analog rotation matrices in three Cartesian axes of SO(3) [lower-alpha 3] , along the x, y or z-axes of the Bloch sphere projection.
As Pauli matrices are related to the generator of rotations, these rotation operators can be written as matrix exponentials with Pauli matrices in the argument. Any unitary matrix in SU(2) can be written as a product (i.e. series circuit) of three rotation gates or less. Note that for two-level systems such as qubits and spinors, these rotations have a period of 4π. A rotation of 2π (360 degrees) returns the same statevector with a different phase. [16]
We also have and for all
The rotation matrices are related to the Pauli matrices in the following way:
It's possible to work out the adjoint action of rotations on the Pauli vector, namely rotation effectively by double the angle a to apply Rodrigues' rotation formula:
Taking the dot product of any unit vector with the above formula generates the expression of any single qubit gate when sandwiched within adjoint rotation gates. For example, it can be shown that . Also, using the anticommuting relation we have .
Rotation operators have interesting identities. For example, and Also, using the anticommuting relations we have and
Global phase and phase shift can be transformed into each others with the Z-rotation operator: . [5] : 11 [1] : 77–83
The gate represents a rotation of π/2 about the x axis at the Bloch sphere .
Similar rotation operator gates exist for SU(3) using Gell-Mann matrices. They are the rotation operators used with qutrits.
Names | # qubits | Operator symbol | Exponential form | Matrix | Circuit diagram | Properties | Refs |
---|---|---|---|---|---|---|---|
XX interaction | 2 | , |
Implementation: | [ citation needed ] | |||
YY interaction | 2 | , |
Implementation: | [ citation needed ] | |||
ZZ interaction | 2 | , |
| [ citation needed ] | |||
XY, XX plus YY | 2 | , |
| [ citation needed ] |
The qubit-qubit Ising coupling or Heisenberg interaction gates Rxx, Ryy and Rzz are 2-qubit gates that are implemented natively in some trapped-ion quantum computers, using for example the Mølmer–Sørensen gate procedure. [17] [18]
Note that these gates can be expressed in sinusoidal form also, for example .
The CNOT gate can be further decomposed as products of rotation operator gates and exactly a single two-qubit interaction gate, for example
The SWAP gate can be constructed from other gates, for example using the two-qubit interaction gates: .
In superconducting circuits, the family of gates resulting from Heisenberg interactions is sometimes called the fSim gate set. They can be realized using flux-tunable qubits with flux-tunable coupling, [19] or using microwave drives in fixed-frequency qubits with fixed coupling. [20]
Names | # qubits | Operator symbol | Matrix | Circuit diagram | Properties | Refs |
---|---|---|---|---|---|---|
Square root swap | 2 | [1] | ||||
Square root imaginary swap | 2 |
| [11] | |||
Swap (raised to a power) | 2 |
| [1] | |||
Fredkin, controlled swap | 3 | , | or |
| [1] [6] |
The √SWAP gate performs half-way of a two-qubit swap (see Clifford gates). It is universal such that any many-qubit gate can be constructed from only √SWAP and single qubit gates. More than one application of the √SWAP is required to produce a Bell state from product states. The √SWAP gate arises naturally in systems that exploit exchange interaction. [21] [1]
For systems with Ising like interactions, it is sometimes more natural to introduce the imaginary swap [22] or iSWAP. [23] [24] Note that and , or more generally for all real n except 0.
SWAPα arises naturally in spintronic quantum computers. [1]
The Fredkin gate (also CSWAP or CS gate), named after Edward Fredkin, is a 3-bit gate that performs a controlled swap. It is universal for classical computation. It has the useful property that the numbers of 0s and 1s are conserved throughout, which in the billiard ball model means the same number of balls are output as input.
Names | # qubits | Operator symbol | Matrix | Circuit diagram | Properties | Named after | Refs |
---|---|---|---|---|---|---|---|
General single qubit rotation | 1 |
| OpenQASM U gate [lower-alpha 4] | [11] [25] | |||
Barenco | 2 |
| Adriano Barenco | [1] | |||
Berkeley B | 2 |
| University of California Berkeley [26] | [1] | |||
Controlled-V, controlled square root NOT | 2 | [9] | |||||
Core entangling, canonical decomposition | 2 | , |
| [1] | |||
Dagwood Bumstead | 2 |
| Comicbook Dagwood Bumstead [27] | [28] [27] | |||
Echoed cross resonance | 2 |
| [29] | ||||
Fermionic simulation | 2 | , |
| [30] [19] [31] | |||
Givens | 2 | , |
| Givens rotations | [32] | ||
Magic | 2 | [1] | |||||
Sycamore | 2 | , | Google's Sycamore processor | [33] | |||
CZ-SWAP | 2 | , |
| [34] | |||
Deutsch | 3 | , |
| David Deutsch | [1] | ||
Margolus, simplified Toffoli | 3 | , |
| Norman Margolus | [35] [36] | ||
Peres | 3 | , |
| Asher Peres | [37] | ||
Toffoli, controlled-controlled NOT | 3 |
| Tommaso Toffoli | [1] [6] | |||
Fermionic-Fredkin, Controlled-fermionic SWAP | 3 | , , | [34] |
Quantum teleportation is a technique for transferring quantum information from a sender at one location to a receiver some distance away. While teleportation is commonly portrayed in science fiction as a means to transfer physical objects from one location to the next, quantum teleportation only transfers quantum information. The sender does not have to know the particular quantum state being transferred. Moreover, the location of the recipient can be unknown, but to complete the quantum teleportation, classical information needs to be sent from sender to receiver. Because classical information needs to be sent, quantum teleportation cannot occur faster than the speed of light.
In quantum computing, a qubit or quantum bit is a basic unit of quantum information—the quantum version of the classic binary bit physically realized with a two-state device. A qubit is a two-state quantum-mechanical system, one of the simplest quantum systems displaying the peculiarity of quantum mechanics. Examples include the spin of the electron in which the two levels can be taken as spin up and spin down; or the polarization of a single photon in which the two spin states can also be measured as horizontal and vertical linear polarization. In a classical system, a bit would have to be in one state or the other. However, quantum mechanics allows the qubit to be in a coherent superposition of multiple states simultaneously, a property that is fundamental to quantum mechanics and quantum computing.
Shor's algorithm is a quantum algorithm for finding the prime factors of an integer. It was developed in 1994 by the American mathematician Peter Shor. It is one of the few known quantum algorithms with compelling potential applications and strong evidence of superpolynomial speedup compared to best known classical (non-quantum) algorithms. On the other hand, factoring numbers of practical significance requires far more qubits than available in the near future. Another concern is that noise in quantum circuits may undermine results, requiring additional qubits for quantum error correction.
In quantum mechanics, a density matrix is a matrix that describes an ensemble of physical systems as quantum states. It allows for the calculation of the probabilities of the outcomes of any measurements performed upon the systems of the ensemble using the Born rule. It is a generalization of the more usual state vectors or wavefunctions: while those can only represent pure states, density matrices can also represent mixed ensembles. Mixed ensembles arise in quantum mechanics in two different situations:
In physics, the CHSH inequality can be used in the proof of Bell's theorem, which states that certain consequences of entanglement in quantum mechanics cannot be reproduced by local hidden-variable theories. Experimental verification of the inequality being violated is seen as confirmation that nature cannot be described by such theories. CHSH stands for John Clauser, Michael Horne, Abner Shimony, and Richard Holt, who described it in a much-cited paper published in 1969. They derived the CHSH inequality, which, as with John Stewart Bell's original inequality, is a constraint—on the statistical occurrence of "coincidences" in a Bell test—which is necessarily true if an underlying local hidden-variable theory exists. In practice, the inequality is routinely violated by modern experiments in quantum mechanics.
In quantum computing and specifically the quantum circuit model of computation, a quantum logic gate is a basic quantum circuit operating on a small number of qubits. Quantum logic gates are the building blocks of quantum circuits, like classical logic gates are for conventional digital circuits.
Superconducting quantum computing is a branch of solid state quantum computing that implements superconducting electronic circuits using superconducting qubits as artificial atoms, or quantum dots. For superconducting qubits, the two logic states are the ground state and the excited state, denoted respectively. Research in superconducting quantum computing is conducted by companies such as Google, IBM, IMEC, BBN Technologies, Rigetti, and Intel. Many recently developed QPUs use superconducting architecture.
A trapped-ion quantum computer is one proposed approach to a large-scale quantum computer. Ions, or charged atomic particles, can be confined and suspended in free space using electromagnetic fields. Qubits are stored in stable electronic states of each ion, and quantum information can be transferred through the collective quantized motion of the ions in a shared trap. Lasers are applied to induce coupling between the qubit states or coupling between the internal qubit states and the external motional states.
In computer science, the controlled NOT gate, controlled-X gate, controlled-bit-flip gate, Feynman gate or controlled Pauli-X is a quantum logic gate that is an essential component in the construction of a gate-based quantum computer. It can be used to entangle and disentangle Bell states. Any quantum circuit can be simulated to an arbitrary degree of accuracy using a combination of CNOT gates and single qubit rotations. The gate is sometimes named after Richard Feynman who developed an early notation for quantum gate diagrams in 1986.
The spin qubit quantum computer is a quantum computer based on controlling the spin of charge carriers in semiconductor devices. The first spin qubit quantum computer was first proposed by Daniel Loss and David P. DiVincenzo in 1997, also known as the Loss–DiVincenzo quantum computer. The proposal was to use the intrinsic spin-1/2 degree of freedom of individual electrons confined in quantum dots as qubits. This should not be confused with other proposals that use the nuclear spin as qubit, like the Kane quantum computer or the nuclear magnetic resonance quantum computer. Intel has developed quantum computers based on silicon spin qubits, also called hot qubits.
The one-way quantum computer, also known as measurement-based quantum computer (MBQC), is a method of quantum computing that first prepares an entangled resource state, usually a cluster state or graph state, then performs single qubit measurements on it. It is "one-way" because the resource state is destroyed by the measurements.
In quantum information and quantum computing, a cluster state is a type of highly entangled state of multiple qubits. Cluster states are generated in lattices of qubits with Ising type interactions. A cluster C is a connected subset of a d-dimensional lattice, and a cluster state is a pure state of the qubits located on C. They are different from other types of entangled states such as GHZ states or W states in that it is more difficult to eliminate quantum entanglement in the case of cluster states. Another way of thinking of cluster states is as a particular instance of graph states, where the underlying graph is a connected subset of a d-dimensional lattice. Cluster states are especially useful in the context of the one-way quantum computer. For a comprehensible introduction to the topic see.
In quantum computing, the quantum Fourier transform (QFT) is a linear transformation on quantum bits, and is the quantum analogue of the discrete Fourier transform. The quantum Fourier transform is a part of many quantum algorithms, notably Shor's algorithm for factoring and computing the discrete logarithm, the quantum phase estimation algorithm for estimating the eigenvalues of a unitary operator, and algorithms for the hidden subgroup problem. The quantum Fourier transform was discovered by Don Coppersmith. With small modifications to the QFT, it can also be used for performing fast integer arithmetic operations such as addition and multiplication.
Linear optical quantum computing or linear optics quantum computation (LOQC), also photonic quantum computing (PQC), is a paradigm of quantum computation, allowing (under certain conditions, described below) universal quantum computation. LOQC uses photons as information carriers, mainly uses linear optical elements, or optical instruments (including reciprocal mirrors and waveplates) to process quantum information, and uses photon detectors and quantum memories to detect and store quantum information.
In quantum mechanics, weak measurement is a type of quantum measurement that results in an observer obtaining very little information about the system on average, but also disturbs the state very little. From Busch's theorem any quantum system is necessarily disturbed by measurement, but the amount of disturbance is described by a parameter called the measurement strength.
The KLM scheme or KLM protocol is an implementation of linear optical quantum computing (LOQC) developed in 2000 by Emanuel Knill, Raymond Laflamme and Gerard J. Milburn. This protocol allows for the creation of universal quantum computers using solely linear optical tools. The KLM protocol uses linear optical elements, single-photon sources and photon detectors as resources to construct a quantum computation scheme involving only ancilla resources, quantum teleportations and error corrections.
In quantum computing, Mølmer–Sørensen gate scheme refers to an implementation procedure for various multi-qubit quantum logic gates used mostly in trapped ion quantum computing. This procedure is based on the original proposition by Klaus Mølmer and Anders Sørensen in 1999-2000.
In quantum computing and quantum information theory, the Clifford gates are the elements of the Clifford group, a set of mathematical transformations which normalize the n-qubit Pauli group, i.e., map tensor products of Pauli matrices to tensor products of Pauli matrices through conjugation. The notion was introduced by Daniel Gottesman and is named after the mathematician William Kingdon Clifford. Quantum circuits that consist of only Clifford gates can be efficiently simulated with a classical computer due to the Gottesman–Knill theorem.
In quantum computing, the variational quantum eigensolver (VQE) is a quantum algorithm for quantum chemistry, quantum simulations and optimization problems. It is a hybrid algorithm that uses both classical computers and quantum computers to find the ground state of a given physical system. Given a guess or ansatz, the quantum processor calculates the expectation value of the system with respect to an observable, often the Hamiltonian, and a classical optimizer is used to improve the guess. The algorithm is based on the variational method of quantum mechanics.
A neutral atom quantum computer is a modality of quantum computers built out of Rydberg atoms; this modality has many commonalities with trapped-ion quantum computers. As of December 2023, the concept has been used to demonstrate a 48 logical qubit processor.
{{cite journal}}
: CS1 maint: multiple names: authors list (link){{cite journal}}
: Cite journal requires |journal=
(help){{cite journal}}
: Cite journal requires |journal=
(help)