Qubit stabilizer states are complex projective 3-designs

Abstract

A complex projective $t$-design is a configuration of vectors which is ``evenly distributed'' on a sphere in the sense that sampling uniformly from it reproduces the moments of Haar measure up to order $2t$. We show that the set of all $n$-qubit stabilizer states forms a complex projective $3$-design in dimension $2^n$. Stabilizer states had previously only been known to constitute $2$-designs. The main technical ingredient is a general recursion formula for the so-called frame potential of stabilizer states. To establish it, we need to compute the number of stabilizer states with pre-described inner product with respect to a reference state. This, in turn, reduces to a counting problem in discrete symplectic vector spaces for which we find a simple formula. We sketch applications in quantum information and signal analysis.

12 pages, 0 figures. See also closely related work by Zhu and by Webb

Cited by in corpus (18)

• Chaos and complexity by design
• Pseudorandom States, Non-Cloning Theorems and Quantum Money
• Models of quantum complexity growth
• Schur-Weyl Duality for the Clifford Group with Applications: Property Testing, a Robust Hudson Theorem, and de Finetti Representations
• Improved Recovery Guarantees for Phase Retrieval from Coded Diffraction Patterns
• Unitary designs from statistical mechanics in random quantum circuits
• Entanglement, quantum randomness, and complexity beyond scrambling
• Experimentally exploring compressed sensing quantum tomography
• Real Randomized Benchmarking
• Stabilizer extent is not multiplicative
• Spectral decoupling in many-body quantum chaos
• Randomized benchmarking in measurement-based quantum computing
• Low rank matrix recovery from Clifford orbits
• Rank-deficient representations in the Theta correspondence over finite fields arise from quantum codes
• Predicting Features of Quantum Systems from Very Few Measurements
• Fast and robust quantum state tomography from few basis measurements
• Wigner's Theorem for stabilizer states and quantum designs
• Clifford Circuits can be Properly PAC Learned if and only if $\text{RP}=\text{NP}$