Criteria for universality of quantum gates
Adam Sawicki, Katarzyna Karnas · Physical Review A · 2017
Compact-form criteria are provided for deciding universality of a given set of gates in a finite number of steps. The criteria may also indicate what types of gates can be added to a set of nonuniversal gates to turn it into a universal set.