The Clifford group forms a unitary 3-design
Zak Webb
TL;DR
The authors prove that the uniform Clifford group forms an exact unitary 3-design by introducing Pauli 2-mixing and showing it implies a 3-design for qubits. They leverage a Pauli-invariant, Pauli-mixing framework to compare the 3-fold twirl of such ensembles with the Haar 3-twirl, avoiding heavy representation theory. They also demonstrate limitations: the Clifford group is not a 4-design and the generalized Clifford group is not a 3-design when the local dimension is not a power of 2. These results clarify why Clifford unitaries closely approximate Haar randomness and guide future search for higher designs beyond Clifford structures. The work connects to independent results on exact 3-designs and highlights practical implications for quantum information tasks relying on randomized unitaries.
Abstract
Unitary $k$-designs are finite ensembles of unitary matrices that approximate the Haar distribution over unitary matrices. Several ensembles are known to be 2-designs, including the uniform distribution over the Clifford group, but no family of ensembles was previously known to form a 3-design. We prove that the Clifford group is a 3-design, showing that it is a better approximation to Haar-random unitaries than previously expected. Our proof strategy works for any distribution of unitaries satisfying a property we call Pauli 2-mixing and proceeds without the use of heavy mathematical machinery. We also show that the Clifford group does not form a 4-design, thus characterizing how well random Clifford elements approximate Haar-random unitaries. Additionally, we show that the generalized Clifford group for qudits is not a 3-design unless the dimension of the qudit is a power of 2.