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
Apple Google Office 365 Outlook Outlook.com Yahoo
This virtual seminar is jointly sponsored by the Institute for Quantum Computing and the Joint Center for Quantum Information and Computer Science.
If you are interested in presenting at a future seminar, please email either Daniel Grier (daniel.grier@uwaterloo.ca) or Hakop Pashayan (hpashaya@uwaterloo.ca).