The Clifford group fails gracefully to be a unitary 4-design

Abstract

A unitary t-design is a set of unitaries that is "evenly distributed" in the sense that the average of any t-th order polynomial over the design equals the average over the entire unitary group. In various fields -- e.g. quantum information theory -- one frequently encounters constructions that rely on matrices drawn uniformly at random from the unitary group. Often, it suffices to sample these matrices from a unitary t-design, for sufficiently high t. This results in more explicit, derandomized constructions. The most prominent unitary t-design considered in quantum information is the multi-qubit Clifford group. It is known to be a unitary 3-design, but, unfortunately, not a 4-design. Here, we give a simple, explicit characterization of the way in which the Clifford group fails to constitute a 4-design. Our results show that for various applications in quantum information theory and in the theory of convex signal recovery, Clifford orbits perform almost as well as those of true 4-designs. Technically, it turns out that in a precise sense, the 4th tensor power of the Clifford group affords only one more invariant subspace than the 4th tensor power of the unitary group. That additional subspace is a stabilizer code -- a structure extensively studied in the field of quantum error correction codes. The action of the Clifford group on this stabilizer code can be decomposed explicitly into previously known irreps of the discrete symplectic group. We give various constructions of exact complex projective 4-designs or approximate 4-designs of arbitrarily high precision from Clifford orbits. Building on results from coding theory, we give strong evidence suggesting that these orbits actually constitute complex projective 5-designs.

arXiv comment49 pages, many representations. Not. A. Single. Figure. See also related work by Helsen, Wallman, and Wehner

References in corpus (28)

• Quantum Teleportation is a Universal Computational Primitive
• Quantum state tomography via compressed sensing
• Symmetric Informationally Complete Quantum Measurements
• Randomized Benchmarking of Quantum Gates
• Robust randomized benchmarking of quantum processes
• On mutually unbiased bases
• Exact and Approximate Unitary 2-Designs: Constructions and Applications
• Entropic Uncertainty Relations and their Applications
• Entanglement Measures under Symmetry
• Evenly distributed unitaries: on the structure of unitary designs
• Random Quantum Circuits are Approximate 2-designs
• SIC-POVMs and the Extended Clifford Group
• SIC-POVMs: A new computer study
• The mother of all protocols: Restructuring quantum information's family tree
• Equiangular lines, mutually unbiased bases, and spin models
• Optimizing quantum process tomography with unitary 2-designs
• Unitary designs and codes
• A Partial Derandomization of PhaseLift using Spherical Designs
• Quantum State Tomography with Joint SIC POMs and Product SIC POMs
• Reexamination of optimal quantum state estimation of pure states
• Multipartite Entanglement in Stabilizer Tensor Networks
• Unconditionally Secure Key Distribution In Higher Dimensions By Depolarization
• Quantum state estimation with informationally overcomplete measurements
• Permutation Symmetry Determines the Discrete Wigner Function
• Super-symmetric informationally complete measurements
• Construction of mutually unbiased bases with cyclic symmetry for qubit systems
• Near-linear constructions of exact unitary 2-designs
• Sharply covariant mutually unbiased bases

Cited by in corpus (30)

• Stabilizer Rényi entropy
• Multiqubit Clifford groups are unitary 3-designs
• Introduction to Haar Measure Tools in Quantum Information: A Beginner's Tutorial
• Schur-Weyl Duality for the Clifford Group with Applications: Property Testing, a Robust Hudson Theorem, and de Finetti Representations
• Classical Shadows With Noise
• Recovering quantum gates from few average gate fidelities
• Entanglement, quantum randomness, and complexity beyond scrambling
• Random Matrix Theory of the Isospectral twirling
• Analysing quantum systems with randomised measurements
• Near-optimal covariant quantum error-correcting codes from random unitaries with symmetries
• Entanglement characterization using quantum designs
• Guaranteed recovery of quantum processes from few measurements
• Performance analysis of multi-shot shadow estimation
• Characterizing correlation within multipartite quantum systems via local randomized measurements
• Exact solution of long-range stabilizer Rényi entropy in the dual-unitary XXZ model
• Representations of the multi-qubit Clifford group
• Entanglement and Stabilizer entropies of random bipartite pure quantum states
• Entanglement of random hypergraph states
• Any modification of the Born rule leads to a violation of the purification and local tomography principles
• Low rank matrix recovery from Clifford orbits
• Efficient unitary designs and pseudorandom unitaries from permutations
• Efficient Unitary T-designs from Random Sums
• Rank-deficient representations in the Theta correspondence over finite fields arise from quantum codes
• Fast and robust quantum state tomography from few basis measurements
• Estimating Gibbs partition function with quantumClifford sampling
• On construction of finite averaging sets for $SL(2,\mathbb{C})$ via its Cartan decomposition
• Charge-conserving unitaries typically generate optimal covariant quantum error-correcting codes
• On character table of Clifford groups
• Sampling and the complexity of nature
• Quantum Private Broadcasting