A highly coveted goal is to realize emergent non-Abelian gauge theories and their anyonic excitations, which encode decoherence-free quantum information. While measurements in quantum devices provide new hope for scalably preparing such long-range entangled states, existing protocols using the experimentally established ingredients of a finite-depth circuit and a single round of measurement produce only Abelian states. Surprisingly, we show there exists a broad family of non-Abelian states-namely those with a Lagrangian subgroup-which can be created using these same minimal ingredients, bypassing the need for new resources such as feed forward. To illustrate that this provides realistic protocols, we show how D_{4} non-Abelian topological order can be realized, e.g., on Google's quantum processors using a depth-11 circuit and a single layer of measurements. Our work opens the way toward the realization and manipulation of non-Abelian topological orders, and highlights counterintuitive features of the complexity of non-Abelian phases.
A highly coveted goal is to realize emergent non-Abelian gauge theories and their anyonic excitations, which encode decoherence-free quantum information. While measurements in quantum devices provide new hope for scalably preparing such long-range entangled states, existing protocols using the experimentally established ingredients of a finite-depth circuit and a single round of measurement produce only Abelian states. Surprisingly, we show there exists a broad family of non-Abelian states-namely those with a Lagrangian subgroup-which can be created using these same minimal ingredients, bypassing the need for new resources such as feed forward. To illustrate that this provides realistic protocols, we show how D_{4} non-Abelian topological order can be realized, e.g., on Google's quantum processors using a depth-11 circuit and a single layer of measurements. Our work opens the way toward the realization and manipulation of non-Abelian topological orders, and highlights counterintuitive features of the complexity of non-Abelian phases.
Long-range entanglement-the backbone of topologically ordered states-cannot be created in finite time using local unitary circuits, or, equivalently, adiabatic state preparation.Recently, it has come to light that single-site measurements provide a loophole, allowing for finite-time state preparation in certain cases.Here we show how this observation imposes a complexity hierarchy on long-range entangled states based on the minimal number of measurement layers required to create the state, which we call "shots."First, similar to Abelian stabilizer states, we construct single-shot protocols for creating any non-Abelian quantum double of a group with nilpotency class 2 (such as D 4 or Q 8 ).We show that after the measurement, the wave function always collapses into the desired non-Abelian topological order, conditional on recording the measurement outcome.Moreover, the clean quantum double ground state can be deterministically prepared via feedforward-gates that depend on the measurement outcomes.Second, we provide the first constructive proof that a finite number of shots can implement the Kramers-Wannier duality transformation (i.e., the gauging map) for any solvable symmetry group.As a special case, this gives an explicit protocol to prepare twisted quantum doubles for all solvable groups.Third, we argue that certain topological orders, such as nonsolvable quantum doubles or Fibonacci anyons, define nontrivial phases of matter under the equivalence class of finite-depth unitaries and measurement, which cannot be prepared by any finite number of shots.Moreover, we explore the consequences of allowing gates to have exponentially small tails, which enables, for example, the preparation of any Abelian anyon theory, including chiral ones.This hierarchy paints a new picture of the landscape of long-range entangled states, with practical implications for quantum simulators.
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.
Long-range entangled quantum states -- like cat states and topological order -- are key for quantum metrology and information purposes, but they cannot be prepared by any scalable unitary process. Intriguingly, using measurements as an additional ingredient could circumvent such no-go theorems. However, efficient schemes are known for only a limited class of long-range entangled states, and their implementation on existing quantum devices via a sequence of gates and measurements is hampered by high overheads. Here we resolve these problems, proposing how to scalably prepare a broad range of long-range entangled states with the use of existing experimental platforms. Our two-step process finds an ideal implementation in Rydberg atom arrays, only requiring time-evolution under the intrinsic atomic interactions, followed by measuring a single sublattice (by using, e.g., two atom species). Remarkably, this protocol can prepare the 1D Greenberger-Horne-Zeilinger (GHZ) 'cat' state and 2D toric code with fidelity per site exceeding 0.9999, and a 3D fracton state with fidelity ⪆0.998. In light of recent experiments showcasing 3D Rydberg atom arrays, this paves the way to the first experimental realization of fracton order. While the above examples are based on efficiently preparing and measuring cluster states, we also propose a multi-step procedure to create S3 and D4 non-Abelian topological order in Rydberg atom arrays and other quantum devices -- offering a route towards universal topological quantum computation.
Exactly solvable models of topologically ordered phases with non-abelian anyons typically require complicated many-body interactions which do not naturally appear in nature. This motivates the "inverse problem" of quantum many-body physics: given microscopic systems with experimentally realistic two-body interactions, how to design a Hamiltonian that realizes a desired topological phase? Here we solve this problem on a platform motivated by Rydberg atoms, where elementary two-level systems couple via simple blockade interactions. Within this framework, we construct Hamiltonians that realize topological orders described by non-abelian quantum double models. We analytically prove the existence of topological order in the ground state, and present efficient schemes to prepare these states. We also introduce protocols for the controlled adiabatic braiding of anyonic excitations to probe their non-abelian statistics. Our construction is generic and applies to quantum doubles D(G) for arbitrary finite groups G. We illustrate braiding for the simplest non-abelian quantum double D(S3).
We show that the low-energy states of non-Abelian topological orders possess extensive magic which is long-ranged, and cannot be eliminated by a constant-depth local unitary circuit. This refines conventional notions of complexity beyond the linear circuit depth which is required to prepare any topological phase, and provides a new resource-theoretic characterization of topological orders. A central technical result is a no-go theorem establishing that stabilizer states--even up to constant-depth local unitarie--cannot approximate low-energy states of non-Abelian string-net models which satisfy the entanglement bootstrap axioms. Moreover, we show that stabilizer-realizable Abelian string-net phases have mutual braiding phases quantized by the on-site qudit dimension, and that any violation of this condition necessarily implies extensive long-range magic. Extending to higher spatial dimensions, we argue that any state obeying an entanglement area law and hosting excitations with nontrivial fusion spaces must exhibit extensive long-range magic. This applies, in particular, to ground-states and low-energy states of higher-dimensional quantum double models.
Abstract Quantum many-body systems with a non-Abelian topological order can host anyonic quasiparticles. It has been proposed that anyons could be used to encode and manipulate information in a topologically protected manner that is immune to local noise, with quantum gates performed by braiding and fusing anyons. Unfortunately, realizing non-Abelian topologically ordered states is challenging, and it was not until recently that the signatures of non-Abelian statistics were observed through digital quantum simulation approaches. However, not all forms of topological order can be used to realize universal quantum computation. Here we use a superconducting quantum processor to simulate non-Abelian topologically ordered states of the Fibonacci string-net model and demonstrate braidings of Fibonacci anyons featuring universal computational power. We demonstrate the non-trivial topological nature of the quantum states by measuring the topological entanglement entropy. In addition, we create two pairs of Fibonacci anyons and demonstrate their fusion rule and non-Abelian braiding statistics by applying unitary gates on the underlying physical qubits. Our results establish a digital approach to explore non-Abelian topological states and their associated braiding statistics with current noisy intermediate-scale quantum processors.