Fast and effective techniques for T-count reduction via spider nest identities

Niel de Beaudrap, Xiaoning Bian, Quanlong Wang

In fault-tolerant quantum computing systems, realising (approximately) universal quantum computation is usually described in terms of realising Clifford+T operations, which is to s…