Search papers, labs, and topics across Lattice.
This paper identifies the minimal circuit resources for braiding and fusing anyons in quantum double models, demonstrating that ancillas are unnecessary for braiding through graph rewiring and sequential unitaries. For fusion, a no-go theorem for purely unitary protocols is established, with a novel solution found by incorporating a qudit reset, thus enabling input-agnostic fusion without ancillas. The key result is that both braiding and fusion of non-Abelian anyons can be achieved with minimal resources, challenging prior assumptions.
Forget ancillas: braiding and fusing non-Abelian anyons can be done with just rewiring and resets, fundamentally simplifying topological quantum computation.
Braiding and fusing anyons are fundamental to topological quantum computation, yet existing circuit protocols often employ ancillas and measurements. We determine the minimal circuit resources for performing such anyon operations in quantum double models of generic finite groups. Our approach braids anyons through a sequential unitary circuit without ancillas. Intuitively, this is obtained by deforming the underlying graph on which the anyons live. More generally, we introduce graph rewiring, a diagrammatic calculus that assigns a geometric interpretation to individual two-qudit gates and tracks their action on stabilizers. For fusion, we prove a general no-go theorem excluding purely unitary protocols for fusing unknown anyon types without introducing ancillas. Remarkably, we show such "input-agnostic" fusion is enabled by simply using a qudit reset. Hence, contrary to folklore, ancilla resources are not needed to braid or fuse non-Abelian anyons (non-Abelions). This work has implications in experimental efforts in error correction: our fusion protocol highlights reset as an underutilized primitive for error correction without the spacetime-overhead of ancillas and measurements.