Qutrit toric code and parafermions in trapped ions
Mohsin Iqbal, Anasuya Lyons, Chiu Fan Bowen Lo, Nathanan Tantivasadakarn, Joan Dreiling, Cameron Foltz, Thomas M. Gatterman, Dan Gresh, Nathan Hewitt, C. A. Holliman, Jacob Johansen, Brian Neyenhuis, Y. Matsuoka, Michael Mills, Steven A. Moses, Peter Siegfried, Ashvin Vishwanath, Ruben Verresen, Henrik Dreyer
Abstract The development of programmable quantum devices can be measured by the complexity of many-body 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 realizations have thus far been limited to lattice models of qubits. Here, we prepare and measure a ground state of the $${{\mathbb{Z}}}_{3}$$ Z 3 toric code state on 24 qutrits (obtained by encoding one qutrit into two qubits) 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.
Abstract The development of programmable quantum devices can be measured by the complexity of many-body 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 realizations have thus far been limited to lattice models of qubits. Here, we prepare and measure a ground state of the Z3 Z 3 toric code state on 24 qutrits (obtained by encoding one qutrit into two qubits) 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.
Abstract Quantum systems evolve in time in one of two ways: through the Schrödinger equation or wavefunction collapse. So far, deterministic control of quantum many-body systems in the lab has focused on the former, due to the probabilistic nature of measurements. This imposes serious limitations: preparing long-range entangled states, for example, requires extensive circuit depth if restricted to unitary dynamics. In this work, we use mid-circuit measurement and feed-forward to implement deterministic non-unitary dynamics on Quantinuum’s H1 programmable ion-trap quantum computer. Enabled by these capabilities, we demonstrate a constant-depth procedure for creating a toric code ground state in real-time. In addition to reaching high stabilizer fidelities, we create a non-Abelian defect whose presence is confirmed by transmuting anyons via braiding. This work clears the way towards creating complex topological orders in the lab and exploring deterministic non-unitary dynamics via measurement and feed-forward.
Charge-4e superconductor with parafermionic vortices: A path to universal topological quantum computation
Topological superconductors (TSCs) provide a promising route to fault-tolerant quantum information processing. However, the canonical Majorana platform based on 2e TSCs remains computationally constrained. In this work, we find a 4e TSC that overcomes these constraints by combining a charge-4e condensate with an Abelian chiral Z3 topological order in an intertwined fashion. Remarkably, this 4e TSC can be obtained by proliferating vortex-antivortex pairs in a stack of two 2ep+ip TSCs, or by melting a ν=2/3 quantum Hall state. Specific to this TSC, the hc/(4e) fluxes act as charge-conjugation defects in the topological order, whose braiding with anyons transmutes anyons into their antiparticles. This symmetry enrichment leads to Z3 parafermion zero modes trapped in the elementary vortex cores, which naturally encode qutrits. Braiding the parafermion defects alone generates the full many-qutrit Clifford group. We further show that a single-probe interferometric measurement enables topologically protected magic-state preparation, promoting Clifford operations to a universal gate set. Because the non-Abelian modes are bound to flux defects, they can, in principle, be externally controlled using superconducting circuit-based technology. More broadly, our results highlight hierarchical electron aggregation, the formation and condensation of higher-charge electron clusters, as a design principle for topological quantum matter with increased computational capability.
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.
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.
Developing quantum systems which are robust against noise are of prime importance to the realisation of quantum technologies. Without fault tolerance, we will never be able to preserve delicate quantum states for macroscopic time scales, a necessary requirement in the construction of scalable quantum computer. Topologically ordered models offer very beautiful mechanisms for preserving quantum states. In such models, quantum information is encoded globally over a degenerate topological Hilbert space which offers a natural robustness against local environmental noise. Remarkably, topological order is present in certain realistic condensed-matter systems. This provides a platform for accessing topological order in a laboratory. Moreover, considering condensed-matter systems enables us to combine topological features with other physical effects to enhance their behaviour. In this Thesis we study the physics of topologically ordered lattice models with defects. We seek practical applications of lattice defects for the realisation of a fault-tolerant quantum computer. The first result we present shows that anyonic data of point-like lattice defects, called twists, can be found by measuring the entanglement of the ground state of the host system. The data we learn relates to the capacity of a twist defect to perform quantum computational tasks. The second result in this Thesis concerns the dynamics of the qudit toric code model with line-like defects coupled to a thermal bath. We show we can entropically inspire fragile glassy dynamics in the system. Such dynamics qualitatively improve the coherence times of quantum information encoded in the ground state of the lattice. A novel way of achieving fault-tolerant quantum computation is by producing and manipulating twist defects of topologically ordered systems. In many ways, this paradigm of topological quantum computation is analogous to quantum computation using anyons. The first area of study in this Thesis extends the analogy between anyons and twists. Specifically, we show that the anyonic data of twists in Kitaev's toric code model can be extracted using topological entanglement entropy calculations in the same way as the same data can be extracted from anyons. We show this using a rigorously solvable lattice model as an example to produce exact analytic results. In particular, our results show we can extract the quantum dimension of a twist, and that we can study the quantum dimension of their fusion products. We compare the obtained results with the anyonic data of the Ising anyon model, further probing an analogy drawn previously in the literature. The second result presented in this Thesis shows that the application of lattice defects can introduce novel dynamics to a two-dimensional topologically ordered quantum memory where excitations carry different masses. A two-dimensional topological model which supports an anyon model with a splitting structure allowed by its fusion channels should be able to entropically achieve high-energy excitation configurations before quantum information encoded in its ground state decoheres. We introduce a grid of lattice defects to a local two-dimensional Hamiltonian model, which, when coupled to a thermal bath, will dynamically steer the excitations into high energy configurations with high probability within a suitable temperature regime. We demonstrate the proliferating dynamics using numerical simulations in a low-temperature regime where we show polynomial improvements in coherence times by increasing the system size for small system sizes, as well as coherence times which scale weakly super exponentially with the inverse temperature of the bath. The dynamics we demonstrate provide the first example of a system which entropically steers excitations into high-energy configurations. The dynamics we demonstrate may lead to the development of experimentally tractable architectures for low dimensional quantum memories. The study of thermal stability in this Thesis requires the development of methods of correcting topologically ordered lattices which have suffered errors. Namely, we require a decoding algorithm for the qudit generalisation of Kitaev's toric code. Further work presented in this Thesis compares rigorously two different decoding algorithms which use renormalisation-group techniques to process classical syndrome information about noise suffered by the topological code. In particular, we study the improvement in their thresholds as the local dimension of its physical systems increase. Our numerical results enable us to analyse and identify the limitations of the different methods of decoding.
Bell nonlocality provides a robust scalable route to the efficient certification of quantum states. Here, we introduce a general framework for constructing Bell inequalities tailored to the Zd toric code for odd prime local dimensions. Selecting a suitable subset of stabilizer operators and mapping them to generalized measurement observables, we compute multipartite Bell expressions whose quantum maxima admit a sum-of-squares decomposition. We show that these inequalities are maximally violated by all states in the ground-state manifold of the Zd toric code, and determine their classical (local) bounds through a combination of combinatorial tiling arguments and explicit optimization. As a concrete application, we analyze the case of d=3 and demonstrate that the maximal violation self-tests the full qutrit toric-code subspace, up to local isometries and complex conjugation. This constitutes, to our knowledge, the first-ever example of self-testing a qutrit subspace. Extending these constructions, we further present schemes to enhance the ratio of classical--quantum bounds and thus improve robustness to experimental imperfections. Our results establish a pathway toward device-independent certification of highly entangled topological quantum matter and provide new tools for validating qudit states in error-correcting codes and quantum simulation platforms.