Number-theoretic methods in quantum computing
Selinger
Peter
An important problem in quantum computing is the so-called approximate synthesis problem: to find a quantum circuit, preferably as short as possible, that approximates a given unitary operator