Timeline for Presentation of the Clifford group by generators and relations?

3 events

when toggle format	what		by	license	comment
Jan 25, 2012 at 2:36	comment	added	David Gross		Hi Ross. The restriction to odd dimensions in my paper is not important for what you want to do. One can check equality of Clifford circuits efficiently by translating them back into the discrete symplectic picture. The problem then reduces to 2n-dimensional linear algebra (over the finite field $\mathbbm{Z}_2$). Email me if you want details.
Jan 24, 2012 at 13:27	comment	added	Ross Duncan		Thanks for this answer David, and the very interesting paper you linked to. I (still!) have not had enough time to digest it properly. It doesn't seem to help me much for my current problem though, because I am really interested in the qubit case. The reason that I am asking for a generators and relations is because I want to prove that a certain formal system (a variation on the one here: arxiv.org/abs/0906.4725 ) decides the equality of Clifford circuits. If someone had already worked out which equations were necessary then this would have helped immensely. Cheers!
Jan 2, 2012 at 13:30	history	answered	David Gross	CC BY-SA 3.0