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:2505.22171

The 2-Category of Topological Quantum Computation

Fatimah Rita Ahmadi

Published May 28, 2025• 0 citations
arXivHTMLPDF

Abstract

Unitary Ribbon Fusion Categories (URFC) formalize anyonic theories. It has been widely assumed that the same category formalizes a topological quantum computing model. However, in previous work, we addressed and resolved this confusion and demonstrated while the former could be any fusion category, the latter is always a subcategory of Hilb. In this paper, we argue that a categorical formalism that captures and unifies both anyonic theories (the Hardware of quantum computing) and a model of topological quantum computing is a braided (fusion) 2-category. In this 2-category, 0-morphisms describe anyonic types and Hom-categories describe different models of quantum computing. This picture provides an insightful perspective on superselection rules. It presents furthermore a clear distinction between fusion of anyons versus tensor products as defined in linear algebra, between vector spaces of 1-morphisms. The former represents a monoidal product and sum between 0-morphisms and the latter a tensor product and direct sum between 1-morphisms.

DOI
10.48550/arxiv.2505.22171

Related papers

Bicategorical aspects of topological quantum computation

Ahmadi, Fatimah Rita

Topological quantum computation offers a paradigm shift for fault-tolerant quantum computation. It proposes encoding qubits in the mutual states of quasiparticles (called anyons) of 2-dimensional topologically ordered matter. Unitary ribbon fusion categories describe the algebraic theory of anyons. Although the category of an anyonic theory specifies suitable computational spaces, qubits, and quantum gates, it does not precisely formalise the category of topological quantum computation (TQC). We describe the TQC category using the elements of categorical quantum mechanics (CQM). Given the qubit-based graphical calculus accompanying CQM, called the ZX-calculus, we present the details of the ZX-representation of Fibonacci and Ising anyons. Finally, we propose a bicategorical approach to convene anyonic theory and TQC in one (bi)category. In the second part of the thesis, we discuss how the bicategory of module categories formalises boundary types and their excitations. We show theorems that reduce the data to physically meaningful data. A 2-category capable of describing topological quantum computation with point-like and string-like excitations is speculated to be a fusion 2-category. We discuss the available definition in the literature. The paper particularly lacks a rigorous definition for additive 2-categories; in this thesis, we give a definition. We propose the idea of typing higher-ranked matrices in additive 2-categories. Lastly, we overview the complete definition of monoidal 2-categories and recover Kapranov and Voevodsky's definition from the algebraic definition of tricategory by Gurski. This definition and the detailed list of data are the complete ingredients physicists need for quantum computation with higher dimensional excitations.

•Jan 1, 2022•0 citations

Sector Theory of Levin-Wen Models II : Fusion and Braiding

Alex Bols, Boris Kjær

This is the continuation of our study of the Levin-Wen model based on an arbitrary unitary fusion category $\mathcal{C}$ on the infinite plane. The ground state of the Levin-Wen model hosts anyonic excitations whose fusion and braiding properties are captured by the associated braided $\rm C^*$-tensor category of superselection sectors $\mathsf{SSS}$. By constructing explicit isomorphisms between the fusion spaces of $\mathsf{SSS}$ and those of the Drinfeld center $Z(\mathcal{C})$, we show that these two categories have isomorphic $F$- and $R$-symbols. It follows that the full subcategory of finite sectors is unitarily braided monoidally equivalent to the Drinfeld center, $$\,\mathsf{SSS}_f \simeq Z(\mathcal{C}).$$ This provides the first complete characterisation of the category of superselection sectors for a class of two-dimensional lattice models supporting anyons with non-integer quantum dimensions.

arXiv:2603.01936•Mar 2, 2026•0 citations

The ZX-calculus as a language for topological quantum computation

Fatimah Rita Ahmadi, Aleks Kissinger

Abstract Unitary fusion categories formalise the algebraic theory of topological quantum computation. These categories come naturally enriched in a subcategory of the category of Hilbert spaces, and by looking at this subcategory, one can identify a collection of generators for implementing quantum computation. We represent such generators for the Fibonacci and Ising models, namely the encoding of qubits and the associated braid group representations, with the ZX-calculus and show that in both cases, the Yang–Baxter equation is directly connected to an important rule in the complete ZX-calculus known as the P-rule, which enables one to interchange the phase gates defined with respect to complementary bases. In the Ising case, this reduces to a familiar rule relating two distinct Euler decompositions of the Hadamard gate as <?CDATA $\pi/2$?> π / 2 Z- and X-phase gates, whereas in the Fibonacci case, we give a previously unconsidered exact solution of the P-rule involving the Golden ratio. We demonstrate the utility of these representations by giving graphical derivations of the single-qubit braid equations for Fibonacci anyons and the single- and two-qubit braid equations for Ising anyons. We furthermore present a fully graphical procedure for simulating and simplifying braids with the ZX-representation of Fibonacci anyons.

arXiv:2211.03855•Journal of Physics A Mathematical and Theoretical•Aug 11, 2023•1 citation

Fusion structure from exchange symmetry in (2+1)-dimensions

Sachin J. Valera

Until recently, a careful derivation of the fusion structure of anyons from some underlying physical principles has been lacking. In Shi et al. (2020), the authors achieved this goal by starting from a conjectured form of entanglement area law for 2D gapped systems. In this work, we instead start with the principle of exchange symmetry, and determine the minimal prescription of additional postulates needed to make contact with unitary ribbon fusion categories as the appropriate algebraic framework for modelling anyons. Assuming that 2D quasiparticles are spatially localised, we build a functor from the coloured braid groupoid to the category of finite-dimensional Hilbert spaces. Using this functor, we construct a precise notion of exchange symmetry, allowing us to recover the core fusion properties of anyons. In particular, given a system of n quasiparticles, we show that the action of a certain n-braid βn uniquely specifies its superselection sectors. We then provide an overview of the braiding and fusion structure of anyons in the usual setting of braided 6j fusion systems. By positing the duality axiom of Kitaev (2006) and assuming that there are finitely many distinct topological charges, we arrive at the framework of ribbon categories.

arXiv:2004.06282•Annals of Physics•Apr 27, 2021•2 citations

Symmetry defects and their application to topological quantum computing

Colleen Delaney, Zhenghan Wang

We describe the mathematical theory of topological quantum computing with symmetry defects in the language of fusion categories and unitary representations. Symmetry defects together with anyons are modeled by G-crossed braided extensions of unitary modular tensor categories. The algebraic data of these categories afford projective unitary representations of the braid group. Elements in the image of such representations correspond to quantum gates arising from exchanging anyons and symmetry defects in topological phases of matter with symmetry. We provide some small examples that highlight features of practical interest for quantum computing. In particular, symmetry defects show the potential to generate non-abelian statistics from abelian topological phases and to be used as as a tool to enlarge the set of quantum gates accessible to an anyonic device.

arXiv:1811.02143•Nov 6, 2018•2 citations

Quantum computing with anyons: an $F$-matrix and braid calculator

Willie Aboumrad

We introduce a pentagon equation solver, available as part of SageMath, and use it to construct braid group representations associated to certain anyon systems. We recall the category-theoretic framework for topological quantum computation to explain how these representations describe the sets of logical gates available to an anyonic quantum computer for information processing. In doing so, we avoid venturing deep into topological or conformal quantum field theory. Instead, we present anyons abstractly as sets of labels together with a collection of data satisfying a number of axioms, including the pentagon and hexagon equations, and explain how these data characterize ribbon fusion categories (RFCs). In the language of RFCs, our solver can produce $F$-matrices for anyon systems corresponding to multiplicity-free fusion rings arising in connection with the representation theory of quantum groups associated to simple Lie algebras with deformation parameter a root of unity.

arXiv:2212.00831•Dec 1, 2022•0 citations
Unitary Ribbon Fusion Categories (URFC) formalize anyonic theories. It has been widely assumed that the same category formalizes a topological quantum computing model. However, in previous work, we addressed and resolved this confusion and demonstrated while the former could be any fusion category, the latter is always a subcategory of Hilb. In this paper, we argue that a categorical formalism that captures and unifies both anyonic theories (the Hardware of quantum computing) and a model of topological quantum computing is a braided (fusion) 2-category. In this 2-category, 0-morphisms describe anyonic types and Hom-categories describe different models of quantum computing. This picture provides an insightful perspective on superselection rules. It presents furthermore a clear distinction between fusion of anyons versus tensor products as defined in linear algebra, between vector spaces of 1-morphisms. The former represents a monoidal product and sum between 0-morphisms and the latter a tensor product and direct sum between 1-morphisms.
Topological quantum computation offers a paradigm shift for fault-tolerant quantum computation. It proposes encoding qubits in the mutual states of quasiparticles (called anyons) of 2-dimensional topologically ordered matter. Unitary ribbon fusion categories describe the algebraic theory of anyons. Although the category of an anyonic theory specifies suitable computational spaces, qubits, and quantum gates, it does not precisely formalise the category of topological quantum computation (TQC). We describe the TQC category using the elements of categorical quantum mechanics (CQM). Given the qubit-based graphical calculus accompanying CQM, called the ZX-calculus, we present the details of the ZX-representation of Fibonacci and Ising anyons. Finally, we propose a bicategorical approach to convene anyonic theory and TQC in one (bi)category. In the second part of the thesis, we discuss how the bicategory of module categories formalises boundary types and their excitations. We show theorems that reduce the data to physically meaningful data. A 2-category capable of describing topological quantum computation with point-like and string-like excitations is speculated to be a fusion 2-category. We discuss the available definition in the literature. The paper particularly lacks a rigorous definition for additive 2-categories; in this thesis, we give a definition. We propose the idea of typing higher-ranked matrices in additive 2-categories. Lastly, we overview the complete definition of monoidal 2-categories and recover Kapranov and Voevodsky's definition from the algebraic definition of tricategory by Gurski. This definition and the detailed list of data are the complete ingredients physicists need for quantum computation with higher dimensional excitations.
This is the continuation of our study of the Levin-Wen model based on an arbitrary unitary fusion category C\mathcal{C}C on the infinite plane. The ground state of the Levin-Wen model hosts anyonic excitations whose fusion and braiding properties are captured by the associated braided C∗\rm C^*C∗-tensor category of superselection sectors SSS\mathsf{SSS}SSS. By constructing explicit isomorphisms between the fusion spaces of SSS\mathsf{SSS}SSS and those of the Drinfeld center Z(C)Z(\mathcal{C})Z(C), we show that these two categories have isomorphic FFF- and RRR-symbols. It follows that the full subcategory of finite sectors is unitarily braided monoidally equivalent to the Drinfeld center,  SSSf≃Z(C).\,\mathsf{SSS}_f \simeq Z(\mathcal{C}).SSSf​≃Z(C). This provides the first complete characterisation of the category of superselection sectors for a class of two-dimensional lattice models supporting anyons with non-integer quantum dimensions.
Abstract Unitary fusion categories formalise the algebraic theory of topological quantum computation. These categories come naturally enriched in a subcategory of the category of Hilbert spaces, and by looking at this subcategory, one can identify a collection of generators for implementing quantum computation. We represent such generators for the Fibonacci and Ising models, namely the encoding of qubits and the associated braid group representations, with the ZX-calculus and show that in both cases, the Yang–Baxter equation is directly connected to an important rule in the complete ZX-calculus known as the P-rule, which enables one to interchange the phase gates defined with respect to complementary bases. In the Ising case, this reduces to a familiar rule relating two distinct Euler decompositions of the Hadamard gate as <?CDATA π/2\pi/2π/2?> π / 2 Z- and X-phase gates, whereas in the Fibonacci case, we give a previously unconsidered exact solution of the P-rule involving the Golden ratio. We demonstrate the utility of these representations by giving graphical derivations of the single-qubit braid equations for Fibonacci anyons and the single- and two-qubit braid equations for Ising anyons. We furthermore present a fully graphical procedure for simulating and simplifying braids with the ZX-representation of Fibonacci anyons.
Until recently, a careful derivation of the fusion structure of anyons from some underlying physical principles has been lacking. In Shi et al. (2020), the authors achieved this goal by starting from a conjectured form of entanglement area law for 2D gapped systems. In this work, we instead start with the principle of exchange symmetry, and determine the minimal prescription of additional postulates needed to make contact with unitary ribbon fusion categories as the appropriate algebraic framework for modelling anyons. Assuming that 2D quasiparticles are spatially localised, we build a functor from the coloured braid groupoid to the category of finite-dimensional Hilbert spaces. Using this functor, we construct a precise notion of exchange symmetry, allowing us to recover the core fusion properties of anyons. In particular, given a system of n quasiparticles, we show that the action of a certain n-braid βn uniquely specifies its superselection sectors. We then provide an overview of the braiding and fusion structure of anyons in the usual setting of braided 6j fusion systems. By positing the duality axiom of Kitaev (2006) and assuming that there are finitely many distinct topological charges, we arrive at the framework of ribbon categories.
We describe the mathematical theory of topological quantum computing with symmetry defects in the language of fusion categories and unitary representations. Symmetry defects together with anyons are modeled by G-crossed braided extensions of unitary modular tensor categories. The algebraic data of these categories afford projective unitary representations of the braid group. Elements in the image of such representations correspond to quantum gates arising from exchanging anyons and symmetry defects in topological phases of matter with symmetry. We provide some small examples that highlight features of practical interest for quantum computing. In particular, symmetry defects show the potential to generate non-abelian statistics from abelian topological phases and to be used as as a tool to enlarge the set of quantum gates accessible to an anyonic device.
Quantum computing with anyons: an FFF-matrix and braid calculator
We introduce a pentagon equation solver, available as part of SageMath, and use it to construct braid group representations associated to certain anyon systems. We recall the category-theoretic framework for topological quantum computation to explain how these representations describe the sets of logical gates available to an anyonic quantum computer for information processing. In doing so, we avoid venturing deep into topological or conformal quantum field theory. Instead, we present anyons abstractly as sets of labels together with a collection of data satisfying a number of axioms, including the pentagon and hexagon equations, and explain how these data characterize ribbon fusion categories (RFCs). In the language of RFCs, our solver can produce FFF-matrices for anyon systems corresponding to multiplicity-free fusion rings arising in connection with the representation theory of quantum groups associated to simple Lie algebras with deformation parameter a root of unity.