2
如何证明/反驳一组门的通用性?
如果有足够的门,则通用门集可以模仿任何其他类型的门的操作。例如,一组通用的量子门是Hadamard( HHH ),π/ 8π/8\pi/8相移( ŤTT )和CNOTCNOT\mathrm{CNOT}门。一个人如何反驳或证明诸如{H,T}{H,T}\{H,T\},{CNOT,T}{CNOT,T}\{\mathrm{CNOT},T\}或{CNOT,H}{CNOT,H}\{\mathrm{CNOT}, H\}之类的一组门的普遍性?