Sets of unitary operators with the features discussed above are plentiful in one of the foundational areas of quantum error correction, the `stablizer formalism' [1]}, which gives a toolbox for generating and identifying codes from the Pauli group.
