Clifford group

This article is about a group in quantum mechanics. For the subgroups of the Clifford algebra, see Lipschitz group.

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]

Definition

The Pauli matrices,

${\displaystyle \sigma _{0}=I={\begin{bmatrix}1&0\\0&1\end{bmatrix}},\quad \sigma _{1}=X={\begin{bmatrix}0&1\\1&0\end{bmatrix}},\quad \sigma _{2}=Y={\begin{bmatrix}0&-i\\i&0\end{bmatrix}},{\text{ and }}\sigma _{3}=Z={\begin{bmatrix}1&0\\0&-1\end{bmatrix}}}$

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 ${\displaystyle n}$-qubit case, one can construct a group, known as the Pauli group, according to

${\displaystyle \mathbf {P} _{n}=\left\{e^{i\theta \pi /2}\sigma _{j_{1}}\otimes \cdots \otimes \sigma _{j_{n}}\mid \theta =0,1,2,3,j_{k}=0,1,2,3\right\}.}$

The Clifford group is defined as the group of unitaries that normalize the Pauli group: ${\displaystyle \mathbf {C} _{n}=\{V\in U_{2^{n}}\mid V\mathbf {P} _{n}V^{\dagger }=\mathbf {P} _{n}\}.}$ Under this definition, ${\displaystyle \mathbf {C} _{n}}$ is infinite, since it contains all unitaries of the form ${\displaystyle e^{i\theta }I}$ for a real number ${\displaystyle \theta }$ and the identity matrix ${\displaystyle I}$. ^[2] Any unitary in ${\displaystyle \mathbf {C} _{n}}$ is equivalent (up to a global phase factor) to a circuit generated using Hadamard, Phase, and CNOT gates, ^[3] so the Clifford group is sometimes defined as the (finite) group of unitaries generated using Hadamard, Phase, and CNOT gates. The n-qubit Clifford group ${\displaystyle \mathbf {C} _{n}}$ defined in this manner contains ${\displaystyle 2^{n^{2}+2n+3}\prod _{j=1}^{n}(4^{j}-1)}$ elements. ^[4]

Some authors choose to define the Clifford group as the quotient group ${\displaystyle \mathbf {C} _{n}/U(1)}$, which counts elements in ${\displaystyle \mathbf {C} _{n}}$ that differ only by an overall global phase factor as the same element. The smallest global phase is ${\displaystyle {\frac {1+i}{\sqrt {2}}}}$, the eighth complex root of the number 1, arising from the circuit identity ${\displaystyle HSHSHS={\frac {1+i}{\sqrt {2}}}I}$, where ${\displaystyle H}$ is the Hadamard gate and ${\displaystyle S}$ is the Phase gate. For ${\displaystyle n=}$ 1, 2, and 3, this group contains 24, 11,520, and 92,897,280 elements, respectively. ^[5] The number of elements in ${\displaystyle \mathbf {C} _{n}/U(1)}$ is ${\displaystyle 2^{n^{2}+2n}\prod _{j=1}^{n}(4^{j}-1)}$.

Another possible definition of the Clifford group can be obtained from the above by further factoring out the Pauli group ${\displaystyle \{I,X,Y,Z\}}$ on each qubit. The leftover group is isomorphic to the group of ${\displaystyle 2n\times 2n}$ symplectic matrices Sp(2n,2) over the field ${\displaystyle \mathbb {F} _{2}}$ of two elements. ^[4] It has ${\displaystyle 2^{n^{2}}\prod _{j=1}^{n}(4^{j}-1)}$ elements.

Example

In the case of a single qubit, each element in the single-qubit Clifford group ${\displaystyle \mathbf {C} _{1}/U(1)}$ can be expressed as a matrix product ${\displaystyle \mathbf {A} \mathbf {B} }$, where ${\displaystyle \mathbf {A} \in \{I,H,S,HS,SH,HSH\}}$ and ${\displaystyle \mathbf {B} =\{I,X,Y,Z\}}$. Here ${\displaystyle H}$ is the Hadamard gate and ${\displaystyle S}$ the Phase gate.

Generating gate library

Further information: Clifford gates

The Clifford group is generated by three gates, Hadamard, phase gate S, and CNOT.

Circuit complexity

Arbitrary Clifford group element can be generated as a circuit with no more than ${\displaystyle O(n^{2}/\log(n))}$ gates. ^{[6] [7]} Here, reference ^[6] 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 ^[7] shows that the CNOT stage can be implemented using ${\displaystyle O(n^{2}/\log(n))}$ 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).

Notable subgroups

The Clifford group has a rich subgroup structure often exposed by the quantum circuits generating various subgroups. The subgroups of the Clifford group ${\displaystyle \mathbf {C} _{n}}$ include:

• n-fold Pauli product group ${\displaystyle \mathbf {P} _{n}}$. It has ${\displaystyle 2^{2n+2}}$ elements (${\displaystyle 2^{2n}}$ without the global phase) and it is generated by the quantum circuits with Pauli-X and Pauli-Z gates.
• General linear group GL${\displaystyle (n,\mathbb {F} _{2})}$. It has ${\displaystyle \prod _{j=0}^{n-1}(2^{n}-2^{j})=2^{n^{2}+O(1)}}$ elements and it is generated by the circuits with the CNOT gates.
• Symmetric group ${\displaystyle \mathrm {S} _{n}}$. It has ${\displaystyle n!}$ elements and it is generated by the circuits with the SWAP gates.
• Diagonal subgroup, consisting of diagonal Clifford unitaries. It has ${\displaystyle 2^{0.5n^{2}+O(n)}}$ elements and it is generated by the quantum circuits with Phase and CZ gates.
• Hadamard-free subgroup is generated by the quantum circuits over Phase and CNOT gates. It has ${\displaystyle 2^{1.5n^{2}+O(n)}}$ elements.
• Weyl group, which is generated by the SWAP and Hadamard gates. ^[8] It has ${\displaystyle 2^{n\log(n)+O(n)}}$ elements.
• Borel group, a maximal solvable subgroup, which is generated by the product of the lower triangular invertible Boolean matrices (CNOT circuits with controls on top qubits and targets on the bottom qubits) with diagonal subgroup elements (circuits with Phase and CZ gates). ^[8] This group is a subgroup of the Hadamard-free subgroup; it has ${\displaystyle 2^{n^{2}+O(n)}}$ elements.

Properties

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

${\displaystyle A=(X\otimes Z)CZ}$.

We know that: ${\displaystyle CZ(X\otimes I)CZ^{\dagger }=X\otimes Z}$. If we multiply by CZ from the right

${\displaystyle CZ(X\otimes I)=(X\otimes Z)CZ}$.

So A is equivalent to

${\displaystyle A=(X\otimes Z)CZ=CZ(X\otimes I)}$.

Simulatability

The Gottesman–Knill theorem states that a quantum circuit using only the following elements can be simulated efficiently on a classical computer:

1. Preparation of qubits in computational basis states,
2. Clifford gates, and
3. Measurements in the computational basis.

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.

See also

• Magic state distillation
• Clifford algebra
• Clifford gates

References

1. Nielsen, Michael A.; Chuang, Isaac L. (2010-12-09). Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press. ISBN   978-1-107-00217-3.
2. Gottesman, Daniel (2024). "Chapter 6.1". Surviving as a Quantum Computer in a Classical World (PDF).
3. Gottesman, Daniel (2024). "Chapter 6.3". Surviving as a Quantum Computer in a Classical World (PDF).
4. Calderbank, A. R.; Rains, E. M.; Shor, P. W.; Sloane, N. J. A. (1998). "Quantum Error Correction via Codes over GF(4)". IEEE Transactions on Information Theory. 44 (4): 1369–1387. arXiv: quant-ph/9608006 . doi:10.1109/18.681315. S2CID   1215697.
5. Sloane, N. J. A. (ed.). "SequenceA003956(Order of Clifford group)". The On-Line Encyclopedia of Integer Sequences . OEIS Foundation.
6. Aaronson, Scott; Gottesman, Daniel (2004). "Improved simulation of stabilizer circuits". Physical Review A. 70 (5): 052328. arXiv: quant-ph/0406196 . doi:10.1103/PhysRevA.70.052328.
7. Patel, Ketan N.; Markov, Igor L.; Hayes, John P. (2008). "Optimal synthesis of linear reversible circuits". Quantum Information and Computation. 8 (3). arXiv: quant-ph/0302002 .
8. Maslov, Dmitri; Roetteler, Martin (2018). "Shorter stabilizer circuits via Bruhat decomposition and quantum circuit transformations". IEEE Transactions on Information Theory. 64 (7): 4729–4738. arXiv: 1705.09176 . doi:10.1109/TIT.2018.2825602.