Generators and Relations for the Group U₄(ℤ[1/√2, i])
Date
2014-08-22
Authors
Greylyn, Seth E. M.
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
We give a presentation by generators and relations of the group U₄(ℤ[1/√2, i]) of unitary 4×4 matrices with entries in the ring ℤ[1/√2, i]. This is motivated by the problem of exact synthesis for the Clifford+T gate set in quantum computation.
Description
Keywords
quantum computing, synthesis of quantum circuits, circuit simplification, Clifford+T circuits, generators and relations, unitary group