The Clifford group encompasses a set of quantum operations that map the set of n-fold Pauli group products into itself. It is most famously studied for its use in quantum error correction. [1]
The Pauli matrices,
provide a basis for the density operators of a single qubit, as well as for the unitaries that can be applied to them. For the -qubit case, one can construct a group, known as the Pauli group, according to
The Clifford group is defined as the group of unitaries that normalize the Pauli group: This definition is equivalent to stating that the Clifford group consists of unitaries generated by the circuits using Hadamard, Phase, and CNOT gates. The n-qubit Clifford group contains elements. [2]
Some authors choose to define the Clifford group as the quotient group , which counts elements in that differ only by an overall global phase factor as the same element. The smallest global phase is , the eighth complex root of the number 1, arising from the circuit identity , where is the Hadamard gate and is the Phase gate. For 1, 2, and 3, this group contains 24, 11,520, and 92,897,280 elements, respectively. [3] The number of elements in is .
A third possible definition of the Clifford group can be obtained from the above by further factoring out the Pauli group on each qubit. The leftover group is isomorphic to the group of symplectic matrices Sp(2n,2) over the field of two elements. [2] It has elements.
In the case of a single qubit, each element in the single-qubit Clifford group can be expressed as a matrix product , where and . Here is the Hadamard gate and the Phase gate.
The Clifford group is generated by three gates, Hadamard, phase gate S, and CNOT.
Arbitrary Clifford group element can be generated as a circuit with no more than gates. [4] [5] Here, reference [4] reports an 11-stage decomposition -H-C-P-C-P-C-H-P-C-P-C-, where H, C, and P stand for computational stages using Hadamard, CNOT, and Phase gates, respectively, and reference [5] shows that the CNOT stage can be implemented using gates (stages -H- and -P- rely on the single-qubit gates and thus can be implemented using linearly many gates, which does not affect asymptotics).
The Clifford group has a rich subgroup structure often exposed by the quantum circuits generating various subgroups. The subgroups of the Clifford group include:
The order of Clifford gates and Pauli gates can be interchanged. For example, this can be illustrated by considering the following operator on 2 qubits
We know that: . If we multiply by CZ from the right
So A is equivalent to
The Gottesman–Knill theorem states that a quantum circuit using only the following elements can be simulated efficiently on a classical computer:
The Gottesman–Knill theorem shows that even some highly entangled states can be simulated efficiently. Several important types of quantum algorithms use only Clifford gates, most importantly the standard algorithms for entanglement distillation and for quantum error correction.
The Clifford group encompasses a set of quantum operations that map the set of n-fold Pauli group products into itself. It is most famously studied for its use in quantum error correction. [1]
The Pauli matrices,
provide a basis for the density operators of a single qubit, as well as for the unitaries that can be applied to them. For the -qubit case, one can construct a group, known as the Pauli group, according to
The Clifford group is defined as the group of unitaries that normalize the Pauli group: This definition is equivalent to stating that the Clifford group consists of unitaries generated by the circuits using Hadamard, Phase, and CNOT gates. The n-qubit Clifford group contains elements. [2]
Some authors choose to define the Clifford group as the quotient group , which counts elements in that differ only by an overall global phase factor as the same element. The smallest global phase is , the eighth complex root of the number 1, arising from the circuit identity , where is the Hadamard gate and is the Phase gate. For 1, 2, and 3, this group contains 24, 11,520, and 92,897,280 elements, respectively. [3] The number of elements in is .
A third possible definition of the Clifford group can be obtained from the above by further factoring out the Pauli group on each qubit. The leftover group is isomorphic to the group of symplectic matrices Sp(2n,2) over the field of two elements. [2] It has elements.
In the case of a single qubit, each element in the single-qubit Clifford group can be expressed as a matrix product , where and . Here is the Hadamard gate and the Phase gate.
The Clifford group is generated by three gates, Hadamard, phase gate S, and CNOT.
Arbitrary Clifford group element can be generated as a circuit with no more than gates. [4] [5] Here, reference [4] reports an 11-stage decomposition -H-C-P-C-P-C-H-P-C-P-C-, where H, C, and P stand for computational stages using Hadamard, CNOT, and Phase gates, respectively, and reference [5] shows that the CNOT stage can be implemented using gates (stages -H- and -P- rely on the single-qubit gates and thus can be implemented using linearly many gates, which does not affect asymptotics).
The Clifford group has a rich subgroup structure often exposed by the quantum circuits generating various subgroups. The subgroups of the Clifford group include:
The order of Clifford gates and Pauli gates can be interchanged. For example, this can be illustrated by considering the following operator on 2 qubits
We know that: . If we multiply by CZ from the right
So A is equivalent to
The Gottesman–Knill theorem states that a quantum circuit using only the following elements can be simulated efficiently on a classical computer:
The Gottesman–Knill theorem shows that even some highly entangled states can be simulated efficiently. Several important types of quantum algorithms use only Clifford gates, most importantly the standard algorithms for entanglement distillation and for quantum error correction.