Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2209.08331

Topological Quantum Programming in TED-K

Hisham Sati, Urs Schreiber

Published Sep 17, 2022• 0 citations
arXivHTMLPDF

Abstract

While the realization of scalable quantum computation will arguably require topological stabilization and, with it, topological-hardware-aware quantum programming and topological-quantum circuit verification, the proper combination of these strategies into dedicated topological quantum programming languages has not yet received attention. Here we describe a fundamental and natural scheme that we are developing, for typed functional (hence verifiable) topological quantum programming which is topological-hardware aware -- in that it natively reflects the universal fine technical detail of topological q-bits, namely of symmetry-protected (or enhanced) topologically ordered Laughlin-type anyon ground states in topological phases of quantum materials. What makes this work is: (1) our recent result that wavefunctions of realistic and technologically viable anyon species -- namely of su(2)-anyons such as the popular Majorana/Ising anyons but also of computationally universal Fibonacci anyons -- are reflected in the twisted equivariant differential (TED) K-cohomology of configuration spaces of codimension=2 nodal defects in the host material's crystallographic orbifold; (2) combined with our earlier observation that such TED generalized cohomology theories on orbifolds interpret intuitionistically-dependent linear data types in cohesive homotopy type theory (HoTT), supporting a powerful modern form of modal quantum logic. In this short note we give an exposition of the basic ideas, a quick review of the underlying results and a brief indication of the basic language constructs for anyon braiding via TED-K in cohesive HoTT. The language system is under development at the "Center for Quantum and Topological Systems" at the Research Institute of NYU, Abu Dhabi.

DOI
10.48550/arxiv.2209.08331

Related papers

Topological and geometrical quantum computation in cohesive Khovanov homotopy type theory

Juan Ospina

The recently proposed Cohesive Homotopy Type Theory is exploited as a formal foundation for central concepts in Topological and Geometrical Quantum Computation. Specifically the Cohesive Homotopy Type Theory provides a formal, logical approach to concepts like smoothness, cohomology and Khovanov homology; and such approach permits to clarify the quantum algorithms in the context of Topological and Geometrical Quantum Computation. In particular we consider the so-called “open-closed stringy topological quantum computer” which is a theoretical topological quantum computer that employs a system of open-closed strings whose worldsheets are open-closed cobordisms. The open-closed stringy topological computer is able to compute the Khovanov homology for tangles and for hence it is a universal quantum computer given than any quantum computation is reduced to an instance of computation of the Khovanov homology for tangles. The universal algebra in this case is the Frobenius Algebra and the possible open-closed stringy topological quantum computers are forming a symmetric monoidal category which is equivalent to the category of knowledgeable Frobenius algebras. Then the mathematical design of an open-closed stringy topological quantum computer is involved with computations and theorem proving for generalized Frobenius algebras. Such computations and theorem proving can be performed automatically using the Automated Theorem Provers with the TPTP language and the SMT-solver Z3 with the SMT-LIB language. Some examples of application of ATPs and SMT-solvers in the mathematical setup of an open-closed stringy topological quantum computer will be provided.

Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE•May 21, 2015•0 citations

Twists in Topological Codes

Héctor Bombín

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.

•Jan 1, 2016•0 citations

Computing with quantum knots: Marjorana modes, non-Abelian anyons, and topological quantum computation

S. Das Sarma

I will discuss the revolutionary new concept of topological quantum computation, which is fault-tolerant at the hardware level with no need, in principle, of any quantum error correction protocols. Errors simply do not occur since the physical qubits and the computation steps are protected against decoherence by non-local topological correlations in the underlying physical system. The key idea is non-Abelian statistics of the quasiparticles (called 'anyons' as opposed to fermions or bosons), where the space-time braiding of the anyons around each other, i.e. quantum 'knots', form topologically protected quantum gate operations. I will describe in detail the theoretical principles guiding the experimental search for the appropriate topological phases of matter where such non-Abelian anyons, which are low-dimensional solid state versions of the elusive and exotic Majorana fermions hypothesized seventy-five years ago, may exist. I will critically discuss the recent experimental claims of observing the Majorana modes in semiconductor nanowire structures following earlier theoretical proposals, outlining the future developments which would be necessary to eventually build a topological quantum computer.

•Oct 3, 2012•0 citations

3-Fermion Topological Quantum Computation

Sam Roberts, Dominic J. Williamson

We present a scheme for universal topological quantum computation based on Clifford-complete braiding and fusion of symmetry defects in the 3-fermion anyon theory, supplemented with magic state injection. We formulate a fault-tolerant measurement-based realization of this computational scheme on the lattice using ground states of the Walker-Wang model for the 3-fermion anyon theory with symmetry defects. The Walker-Wang measurement-based topological quantum computation paradigm that we introduce provides a general construction of computational resource states with thermally stable symmetry-protected topological order. We also demonstrate how symmetry defects of the 3-fermion anyon theory can be realized in a two-dimensional subsystem code due to Bombín—making contact with an alternative implementation of the 3-fermion defect-computation scheme via code deformations. Published by the American Physical Society 2024

arXiv:2011.04693•PRX Quantum•Feb 2, 2024•13 citations

TOPOLOGICAL PHASES OF MATTER

Mohamad Mousa

Topological phases of matter have been the focus of intense research for the past decades. Their intrinsic topological nature exhibits perturbation-resilient effects in macroscopic materials. These properties have applications that span sensing, electronics, spintronics, lasers, and quantum computing. They have also inspired the development of new mathematical models to study their underlying topological quantum field theory. In this work, we visit three aspects of topological phases of matter. First, we use tensor-network tools, along with the aid of Purdue's high-performance computing clusters, to simulate symmetry-protected topological phases in 1D. We update works on the realization of the Haldane phase in Cu$_2$O excitons. In addition, we related the group-cohomological classification of these phases to their order parameters. Second, we design 2D topological insulators with higher Chern numbers. This is achieved through distant physical interactions in accordance with algebraic geometry arguments. Third, we study 2D topological quantum error-correcting codes. In particular, we construct the boundaries, domain walls, and $0$D defects of Abelian twisted quantum doubles leveraging anyon condensation. We discuss these codes' advantages in correcting errors for quantum computing. We also give microscopic and macroscopic methods for computing their ground state degeneracy. These distinct but related studies illustrate the power of using physical arguments and mathematical proofs in the simulation, design, and computing aspects of topological phases.

•Mar 4, 2026•0 citations

Universal Gates from Braiding and Fusing Anyons on Quantum Hardware

Chiu Fan Bowen Lo, Anasuya Lyons, Dan Gresh +8 more

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-pharXiv:2601.20956•Nature•Jan 30, 2026•0 citations
While the realization of scalable quantum computation will arguably require topological stabilization and, with it, topological-hardware-aware quantum programming and topological-quantum circuit verification, the proper combination of these strategies into dedicated topological quantum programming languages has not yet received attention. Here we describe a fundamental and natural scheme that we are developing, for typed functional (hence verifiable) topological quantum programming which is topological-hardware aware -- in that it natively reflects the universal fine technical detail of topological q-bits, namely of symmetry-protected (or enhanced) topologically ordered Laughlin-type anyon ground states in topological phases of quantum materials. What makes this work is: (1) our recent result that wavefunctions of realistic and technologically viable anyon species -- namely of su(2)-anyons such as the popular Majorana/Ising anyons but also of computationally universal Fibonacci anyons -- are reflected in the twisted equivariant differential (TED) K-cohomology of configuration spaces of codimension=2 nodal defects in the host material's crystallographic orbifold; (2) combined with our earlier observation that such TED generalized cohomology theories on orbifolds interpret intuitionistically-dependent linear data types in cohesive homotopy type theory (HoTT), supporting a powerful modern form of modal quantum logic. In this short note we give an exposition of the basic ideas, a quick review of the underlying results and a brief indication of the basic language constructs for anyon braiding via TED-K in cohesive HoTT. The language system is under development at the "Center for Quantum and Topological Systems" at the Research Institute of NYU, Abu Dhabi.
The recently proposed Cohesive Homotopy Type Theory is exploited as a formal foundation for central concepts in Topological and Geometrical Quantum Computation. Specifically the Cohesive Homotopy Type Theory provides a formal, logical approach to concepts like smoothness, cohomology and Khovanov homology; and such approach permits to clarify the quantum algorithms in the context of Topological and Geometrical Quantum Computation. In particular we consider the so-called “open-closed stringy topological quantum computer” which is a theoretical topological quantum computer that employs a system of open-closed strings whose worldsheets are open-closed cobordisms. The open-closed stringy topological computer is able to compute the Khovanov homology for tangles and for hence it is a universal quantum computer given than any quantum computation is reduced to an instance of computation of the Khovanov homology for tangles. The universal algebra in this case is the Frobenius Algebra and the possible open-closed stringy topological quantum computers are forming a symmetric monoidal category which is equivalent to the category of knowledgeable Frobenius algebras. Then the mathematical design of an open-closed stringy topological quantum computer is involved with computations and theorem proving for generalized Frobenius algebras. Such computations and theorem proving can be performed automatically using the Automated Theorem Provers with the TPTP language and the SMT-solver Z3 with the SMT-LIB language. Some examples of application of ATPs and SMT-solvers in the mathematical setup of an open-closed stringy topological quantum computer will be provided.
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.
I will discuss the revolutionary new concept of topological quantum computation, which is fault-tolerant at the hardware level with no need, in principle, of any quantum error correction protocols. Errors simply do not occur since the physical qubits and the computation steps are protected against decoherence by non-local topological correlations in the underlying physical system. The key idea is non-Abelian statistics of the quasiparticles (called 'anyons' as opposed to fermions or bosons), where the space-time braiding of the anyons around each other, i.e. quantum 'knots', form topologically protected quantum gate operations. I will describe in detail the theoretical principles guiding the experimental search for the appropriate topological phases of matter where such non-Abelian anyons, which are low-dimensional solid state versions of the elusive and exotic Majorana fermions hypothesized seventy-five years ago, may exist. I will critically discuss the recent experimental claims of observing the Majorana modes in semiconductor nanowire structures following earlier theoretical proposals, outlining the future developments which would be necessary to eventually build a topological quantum computer.
We present a scheme for universal topological quantum computation based on Clifford-complete braiding and fusion of symmetry defects in the 3-fermion anyon theory, supplemented with magic state injection. We formulate a fault-tolerant measurement-based realization of this computational scheme on the lattice using ground states of the Walker-Wang model for the 3-fermion anyon theory with symmetry defects. The Walker-Wang measurement-based topological quantum computation paradigm that we introduce provides a general construction of computational resource states with thermally stable symmetry-protected topological order. We also demonstrate how symmetry defects of the 3-fermion anyon theory can be realized in a two-dimensional subsystem code due to Bombín—making contact with an alternative implementation of the 3-fermion defect-computation scheme via code deformations. Published by the American Physical Society 2024
Topological phases of matter have been the focus of intense research for the past decades. Their intrinsic topological nature exhibits perturbation-resilient effects in macroscopic materials. These properties have applications that span sensing, electronics, spintronics, lasers, and quantum computing. They have also inspired the development of new mathematical models to study their underlying topological quantum field theory. In this work, we visit three aspects of topological phases of matter. First, we use tensor-network tools, along with the aid of Purdue's high-performance computing clusters, to simulate symmetry-protected topological phases in 1D. We update works on the realization of the Haldane phase in Cu2_22​O excitons. In addition, we related the group-cohomological classification of these phases to their order parameters. Second, we design 2D topological insulators with higher Chern numbers. This is achieved through distant physical interactions in accordance with algebraic geometry arguments. Third, we study 2D topological quantum error-correcting codes. In particular, we construct the boundaries, domain walls, and 000D defects of Abelian twisted quantum doubles leveraging anyon condensation. We discuss these codes' advantages in correcting errors for quantum computing. We also give microscopic and macroscopic methods for computing their ground state degeneracy. These distinct but related studies illustrate the power of using physical arguments and mathematical proofs in the simulation, design, and computing aspects of topological phases.
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, S3S_3S3​, 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 S3S_3S3​ TO as simple enough to be prepared efficiently, yet rich enough to enable universal topological quantum computation.