Clifford groups are not always 2-designs
Matthew Graydon, Institute for Quantum Computing
A group 2-design is a unitary 2-design arising via the image of a suitable compact group under a projective unitary representation in dimension d. The Clifford group in dimension d is the quotient of the normalizer of the Weyl-Heisenberg group in dimension d, by its centre: namely U(1). In this talk, we prove that the Clifford group is not a group 2-design when d is not prime. Our main proofs rely, primarily, on elementary representation theory, and so we review the essentials. We also discuss the general structure of group 2-designs. In particular, we show that the adjoint action induced by a group 2-design splits into exactly two irreducible components; moreover, a group is a group 2-design if and only if the norm of the character of its so-called U-Ubar representation is the square root of two. Finally, as a corollary, we see that the multipartite Clifford group (on some finite number of quantum systems) also often fails to be a group 2-design. This talk is based on joint work with Joshua Skanes-Norman and Joel J. Wallman; arXiv:2108.04200 [quant-ph].
Join the seminar on Zoom!
Meeting link: https://uwaterloo.zoom.us/j/93025194699?pwd=bjVJZVpIQXJkS1U2aXg2d3Q3QVhBdz09
Add event to calendar
This virtual seminar is jointly sponsored by the Institute for Quantum Computing and the Joint Center for Quantum Information and Computer Science.