arXiv subjects

Anasuya Lyons

Publications and source records attributed to Anasuya Lyons.

7 recordsLinked to original sources

arXiv2026

Universal Gates from Braiding and Fusing Anyons on Quantum Hardware

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, $S_3$, 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 $S_3$ TO as simple enough to be prepared efficiently, yet rich enough to enable universal topological quantum computation.

quant-ph↗

arXiv2026

Quantum computing with anyons is fault tolerant

In seminal work (arxiv:quant-ph/9707021) Alexei Kitaev proposed topological quantum computing (arXiv:cond-mat/0010440, arxiv:quant-ph/9707021, arXiv:quant-ph/0001108, arXiv:0707.1889), whereby logic gates of a quantum computer are conducted by creating, braiding and fusing anyonic particles on a two-dimensional plane. Furthermore, he showed the proposal is inherently robust to local perturbations (arXiv:cond-mat/0010440, arxiv:quant-ph/9707021, arXiv:1001.0344, arXiv:1001.4363) when anyons are created as quasiparticle excitations of a topologically ordered lattice model prepared at zero temperature. Over the decades following this proposal there have been considerable technological developments towards the construction of a fault-tolerant quantum computer. Rather than maintaining some target ground state at zero temperature, a modern approach is to actively correct the errors a target state experiences, where we use noisy quantum circuit elements to identify and subsequently correct for deviations from the ideal state. We present an error-correction scheme that enables us to carry out robust universal quantum computation by braiding anyons. We show that our scheme can be carried out on a suitably large device with an arbitrarily small failure rate assuming circuit elements are below some threshold level of local noise. The error-corrected scheme we have developed therefore enables us to carry out fault-tolerant topological quantum computation using modern quantum hardware that is now under development.

quant-ph↗

arXiv2025

Protocols for Creating Anyons and Defects via Gauging

Creating and manipulating anyons and symmetry defects in topological phases, especially those with a non-Abelian character, constitutes a primitive for topological quantum computation. We provide a physical protocol for implementing the ribbon operators of non-Abelian anyons and symmetry defects. We utilize dualities, in particular the Kramers-Wannier or gauging map, which have previously been used to construct topologically ordered ground states by relating them to simpler states. In this work, ribbon operators are implemented by applying a gauging procedure to a lower-dimensional region of such states. This protocol uses sequential unitary circuits or, in certain cases, constant-depth adaptive circuits. We showcase this for anyons and defects in the $\mathbb{Z}_3$ toric code and $S_3$ quantum double. The general applicability of our method is demonstrated by deriving unitary expressions for ribbon operators of various (twisted) quantum doubles.

quant-ph↗

arXiv2025

Universal Quantum Computation with the $S_3$ Quantum Double: A Pedagogical Exposition

Non-Abelian topological order (TO) enables topologically protected quantum computation with its anyonic quasiparticles. Recently, TO with $S_3$ gauge symmetry was identified as a sweet spot -- simple enough to emerge from finite-depth adaptive circuits yet powerful enough to support a universal topological gate-set. In these notes, we review how anyon braiding and measurement in $S_3$ TO are primitives for topological quantum computation and we explicitly demonstrate universality. These topological operations are made concrete in the $S_3$ quantum double lattice model, aided by the introduction of a generalized ribbon operator. This provides a roadmap for near-term quantum platforms.

quant-ph↗

arXiv2024

Qutrit Toric Code and Parafermions in Trapped Ions

The development of programmable quantum devices can be measured by the complexity of manybody states that they are able to prepare. Among the most significant are topologically ordered states of matter, which enable robust quantum information storage and processing. While topological orders are more readily accessible with qudits, experimental realisations have thus far been limited to lattice models of qubits. Here, we prepare a ground state of the Z3 toric code state on 24 qutrits in a trapped ion quantum processor with fidelity per qutrit exceeding 96.5(3)%. We manipulate two types of defects which go beyond the conventional qubit toric code: a parafermion, and its bound state which is related to charge conjugation symmetry. We further demonstrate defect fusion and the transfer of entanglement between anyons and defects, which we use to control topological qutrits. Our work opens up the space of long-range entangled states with qudit degrees of freedom for use in quantum simulation and universal error-correcting codes.

quant-ph↗

arXiv2024

Understanding Stabilizer Codes Under Local Decoherence Through a General Statistical Mechanics Mapping

We consider the problem of a generic stabilizer Hamiltonian under local, incoherent Pauli errors. Using two different approaches -- (i) Haah's polynomial formalism arXiv:1204.1063 and (ii) the homological perspective on CSS codes -- we construct a mapping from the $n$th moment of the decohered ground state density matrix to a classical statistical mechanics model. We demonstrate that various measures of information capacity -- (i) quantum relative entropy, (ii) coherent information, and (iii) entanglement negativity -- map to thermodynamic quantities in the statistical mechanics model and can be used to characterize the decoding phase transition. As examples, we analyze the 3D toric code and X-cube model, deriving bounds on their optimal decoding thresholds and gaining insight into their information properties under decoherence. Additionally, we demonstrate that the SM mapping acts an an "ungauging" map; the classical models that describe a given code under decoherence also can be gauged to obtain the same code. Finally, we comment on correlated errors and non-CSS stabilizer codes.

quant-ph↗

arXiv2023

A universal crossover in quantum circuits governed by a proximate classical error correction transition

We formulate a semi-classical circuit model to clarify the role of quantum entanglement in the recently discovered encoding phase transitions in quantum circuits with measurements. As a starting point we define a random circuit model with nearest neighbor classical gates interrupted by erasure errors. In analogy with the quantum setting, this system undergoes a purification transition at a critical error rate above which the classical information entropy in the output state vanishes. We show that this phase transition is in the directed percolation universality class, consistent with the fact that having zero entropy is an absorbing state of the dynamics; this classical circuit cannot generate entropy. Adding an arbitrarily small density of quantum gates in the presence of errors eliminates the transition by destroying the absorbing state: the quantum gates generate internal entanglement, which can be effectively converted to classical entropy by the errors. We describe the universal properties of this instability in an effective model of the semi-classical circuit. Our model highlights the crucial differences between information dynamics in classical and quantum circuits.

quant-ph↗