Stabilizer codes allow for non-local encoding and processing of quantum information. Deformations of stabilizer surface codes introduce new and non-trivial geometry, in particular leading to emergence of long sought after objects known as projective Ising non-Abelian anyons. Braiding of such anyons is a key ingredient of topological quantum computation. We suggest a simple and systematic approach to construct effective unitary protocols for braiding, manipulation and readout of non-Abelian anyons and preparation of their entangled states. We generalize the surface code to a more generic graph with vertices of degree 2, 3 and 4. Our approach is based on the mapping of the stabilizer code defined on such a graph onto a model of Majorana fermions charged with respect to two emergent gauge fields. One gauge field is akin to the physical magnetic field. The other one is responsible for emergence of the non-Abelian anyonic statistics and has a purely geometric origin. This field arises from assigning certain rules of orientation on the graph known as the Kasteleyn orientation in the statistical theory of dimer coverings. Each 3-degree vertex on the graph carries the flux of this “Kasteleyn” field and hosts a non-Abelian anyon. In our approach all the experimentally relevant operators are unambiguously fixed by locality, unitarity and gauge invariance. We illustrate the power of our method by making specific prescriptions for experiments verifying the non-Abelian statistics.
Stabilizer codes allow for non-local encoding and processing of quantum information. Deformations of stabilizer surface codes introduce new and non-trivial geometry, in particular leading to emergence of long sought after objects known as projective Ising non-Abelian anyons. Braiding of such anyons is a key ingredient of topological quantum computation. We suggest a simple and systematic approach to construct effective unitary protocols for braiding, manipulation and readout of non-Abelian anyons and preparation of their entangled states. We generalize the surface code to a more generic graph with vertices of degree 2, 3 and 4. Our approach is based on the mapping of the stabilizer code defined on such a graph onto a model of Majorana fermions charged with respect to two emergent gauge fields. One gauge field is akin to the physical magnetic field. The other one is responsible for emergence of the non-Abelian anyonic statistics and has a purely geometric origin. This field arises from assigning certain rules of orientation on the graph known as the Kasteleyn orientation in the statistical theory of dimer coverings. Each 3-degree vertex on the graph carries the flux of this “Kasteleyn” field and hosts a non-Abelian anyon. In our approach all the experimentally relevant operators are unambiguously fixed by locality, unitarity and gauge invariance. We illustrate the power of our method by making specific prescriptions for experiments verifying the non-Abelian statistics.
Abstract Indistinguishability of particles is a fundamental principle of quantum mechanics 1 . For all elementary and quasiparticles observed to date—including fermions, bosons and Abelian anyons—this principle guarantees that the braiding of identical particles leaves the system unchanged 2,3 . However, in two spatial dimensions, an intriguing possibility exists: braiding of non-Abelian anyons causes rotations in a space of topologically degenerate wavefunctions 4–8 . Hence, it can change the observables of the system without violating the principle of indistinguishability. Despite the well-developed mathematical description of non-Abelian anyons and numerous theoretical proposals 9–22 , the experimental observation of their exchange statistics has remained elusive for decades. Controllable many-body quantum states generated on quantum processors offer another path for exploring these fundamental phenomena. Whereas efforts on conventional solid-state platforms typically involve Hamiltonian dynamics of quasiparticles, superconducting quantum processors allow for directly manipulating the many-body wavefunction by means of unitary gates. Building on predictions that stabilizer codes can host projective non-Abelian Ising anyons 9,10 , we implement a generalized stabilizer code and unitary protocol 23 to create and braid them. This allows us to experimentally verify the fusion rules of the anyons and braid them to realize their statistics. We then study the prospect of using the anyons for quantum computation and use braiding to create an entangled state of anyons encoding three logical qubits. Our work provides new insights about non-Abelian braiding and, through the future inclusion of error correction to achieve topological protection, could open a path towards fault-tolerant quantum computing.
Indistinguishability of particles is a fundamental principle of quantum mechanics. For all elementary and quasiparticles observed to date - including fermions, bosons, and Abelian anyons - this principle guarantees that the braiding of identical particles leaves the system unchanged. However, in two spatial dimensions, an intriguing possibility exists: braiding of non-Abelian anyons causes rotations in a space of topologically degenerate wavefunctions. Hence, it can change the observables of the system without violating the principle of indistinguishability. Despite the well developed mathematical description of non-Abelian anyons and numerous theoretical proposals, the experimental observation of their exchange statistics has remained elusive for decades. Controllable many-body quantum states generated on quantum processors offer another path for exploring these fundamental phenomena. While efforts on conventional solid-state platforms typically involve Hamiltonian dynamics of quasi-particles, superconducting quantum processors allow for directly manipulating the many-body wavefunction via unitary gates. Building on predictions that stabilizer codes can host projective non-Abelian Ising anyons, we implement a generalized stabilizer code and unitary protocol to create and braid them. This allows us to experimentally verify the fusion rules of the anyons and braid them to realize their statistics. We then study the prospect of employing the anyons for quantum computation and utilize braiding to create an entangled state of anyons encoding three logical qubits. Our work provides new insights about non-Abelian braiding and - through the future inclusion of error correction to achieve topological protection - could open a path toward fault-tolerant quantum computing.
The manipulation of non-Abelian anyons is a foundational ingredient for topological quantum computing and underlies topologically protected quantum memories. Here we analyze a quantum-impurity-based protocol for braiding non-Abelian anyons. Exploiting mobile impurities with addressable internal spin states, we provide a concrete protocol to experimentally measure the matrix elements of the R and F matrices that characterize the non-Abelian statistics of anyons. In particular, focusing on the case of Ising and Fibonacci anyons, we illustrate how the anyonic nature of the excitations emerges directly in the Ramsey interferometer we propose. Building on this framework, we further introduce a conventional-to-topological qubit encoder to transfer quantum information from conventional flying qubits into a topologically protected quantum memory.
Topological quantum computation encodes quantum information in the internal fusion space of non-Abelian anyonic quasiparticles, whose braiding implements logical gates. This goes beyond Abelian topological order (TO) such as the toric code, as its anyons lack internal structure. However, the simplest non-Abelian generalizations of the toric code do not support universality via braiding alone. Here we demonstrate that such minimally non-Abelian TOs can be made universal by treating anyon fusion as a computational primitive. We prepare a 54-qubit TO wavefunction associated with the smallest non-Abelian group, S3, on Quantinuum's H2 quantum processor. This phase of matter exhibits cyclic anyon fusion rules, known to underpin universality, which we evidence by trapping a single non-Abelian anyon on the torus. We encode logical qutrits in the nonlocal fusion space of non-Abelian fluxes and, by combining an entangling braiding operation with anyon charge measurements, realize a universal topological gate set and read-out, which we further demonstrate by topologically preparing a magic state. This work establishes S3 TO as simple enough to be prepared efficiently, yet rich enough to enable universal topological quantum computation.
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.
There exists a close relationship between topological quantum error-correcting codes and topological order in condensed matter systems. Indeed, a topological stabilizer code can be regarded as the ground state of a suitable Hamiltonian model, so that "wrong" syndromes correspond to excitations. These excitations are anyons, quasiparticles that carry a topological charge and exhibit exotic statistics. Anyon models can be symmetric under some permutations of their topological charges. One can then conceive topological defects that, under monodromy, transform anyons according to a symmetry. We call these defects twists. Twists give rise to new topological degrees of freedom in the ground state, useful as a quantum memory. Moreover, twists can be braided to perform topologically protected gates on these topological qubits. Thus, twists provide a new way to encode and compute with topological codes through code deformations. Because the properties of twists depend on the anyon model, codes with different anyon content give rise to different computational capabilities. E.g., in the well-known toric code a process where suitable twists are braided and fused has the same outcome as if they were Ising anyons. These are non-abelian anyons: braiding produces non-trivial gates on encoded qubits.