Universality of single quantum gates
  We supply a rigorous proof that an open dense set of all possible 2-qubit gates G has the property that if the quantum circuit model is restricted to only permit swap of qubits lines and the application of G to pairs of lines, then the model is still computationally universal. 
Bela Bauer and Claire Levaillant and Michael Freedman
math.GR quant-ph