Non-Abelian anyons are exotic quasiparticle excitations hosted by certain topological phases of matter. They break the fermion-boson dichotomy and obey non-Abelian braiding statistics: their interchanges yield unitary operations, rather than merely a phase factor, in a space spanned by topologically degenerate wavefunctions. They are the building blocks of topological quantum computing. However, experimental observation of non-Abelian anyons and their characterizing braiding statistics is notoriously challenging and has remained elusive hitherto, in spite of various theoretical proposals. Here, we report an experimental quantum digital simulation of projective non-Abelian anyons and their braiding statistics with up to 68 programmable superconducting qubits arranged on a two-dimensional lattice. By implementing the ground states of the toric-code model with twists through quantum circuits, we demonstrate that twists exchange electric and magnetic charges and behave as a particular type of non-Abelian anyons, i.e., the Ising anyons. In particular, we show experimentally that these twists follow the fusion rules and non-Abelian braiding statistics of the Ising type, and can be explored to encode topological logical qubits. Furthermore, we demonstrate how to implement both single- and two-qubit logic gates through applying a sequence of elementary Pauli gates on the underlying physical qubits. Our results demonstrate a versatile quantum digital approach for simulating non-Abelian anyons, offering a new lens into the study of such peculiar quasiparticles.
Anyons are quasiparticles that may be realized in two dimensional systems. They come in two types, the simpler Abelian anyons and the more complex non-Abelian anyons. Both of these have been considered as a means for quantum computation, but non-Abelian anyons are usually assumed to be better suited to the task. Here we challenge this view, demonstrating that Abelian anyon models have as much potential as some simple non-Abelian models. First the means to perform quantum computation with Abelian anyon models is considered. These models, like many non-Abelian models, cannot realize universal quantum computation by braiding alone. Non-topological operations must be used in addition, whose complexity depends on the physical means by which the anyons are realized. Here we consider anyons based on spin lattice models, with single spin measurements playing the role of non-topological operations. The computational power achieved by various kinds of measurement is explored and the requirements for universality are determined. The possibility to simulate non-Abelian anyons using Abelian ones is then considered. Finally, a non-Abelian quantum memory is dissected in order to determine the means by which it provides fault-tolerant storage of information. This understanding is then employed to build equivalent quantum memories with Abelian anyon models. The methodology provides with the means to demonstrate that Abelian models have the capability to simulate non-Abelian anyons, and to realize the same computational power and fault-tolerance as non Abelian models. Apart from the intellectual interest in relating topological models with each other, and of understanding the properties of non-Abelian anyons in terms of the simpler Abelian ones, these results can also be applied in the lab. The simpler structure of Abelian anyons means that their physical realization is more straightforward. The demonstration of non-Abelian properties with Abelian models therefore allows features of non-Abelian anyons to be realized with present and near future technology. Based on this possibility, proposals are made here for proof of principle experiments.
Topological quantum computation relies on braiding non-Abelian anyons, but requires the underlying topological order to survive imperfect state preparation and environmental noise. We show that the instability of topological order to wavefunction deformations and to decoherence, with the latter probed by syndrome distributions, is generically captured by stat-mech models whose
G×Rep(G) symmetry naturally exposes the corrupting anyonic excitations. As an example, we combine this framework with Monte-Carlo simulations to resolve the stability of
D4 topological order under deformations and quantum channels that proliferate multiple non-Abelian anyon species that are individually unable to condense. We show that beyond a finite threshold, proliferation of two non-Abelian anyon species parasitically condenses a shared Abelian-anyon fusion outcome---destroying the topological order. Our symmetry-based approach suggests the resulting trivial phase is distinct from that obtained by condensing all Abelian anyons; in other words, the trivial phase "remembers" which anyons condensed. This framework provides a first step into identifying the relevant symmetry for optimal decoders, conditioned on syndrome measurements, of non-Abelian topological order.