Elementary gates for quantum computation

A. Barenco, C. H. Bennett, R. Cleve +6

We show that a set of gates that consists of all one-bit quantum gates (U(2)) and the two-bit exclusive-or gate (that maps Boolean values $(x,y)$ to $(x,x\oplus y)$) is universal…