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

No Previously Unknown Multiplicity-Free Unitary Modular Tensor Category of Rank at Most Four: A Certified Computational Search

Zijian Zeng

Published Aug 24, 2026• 0 citations
Publisher

Abstract

We investigate whether a previously unknown two-dimensional non-Abelian quasiparticle type can exist as a multiplicity-free unitary modular tensor category (UMTC) of rank at most four. Existence is understood at the mathematical and model level, as a skeletal UMTC over the complex numbers with exact algebraic F, R, S, and T data, rather than as a claim of a new material or Standard-Model particle.An exhaustive enumeration yields 1, 2, 4, and 10 commutative multiplicity-free based fusion rings of ranks 1, 2, 3, and 4, respectively. Exact residual-zero checks of the pentagon and hexagon equations, unitarity, Verlinde relations, and projective SL(2,Z) identities are carried out for the Rowell–Stong–Wang prime theories with explicitly available F-symbols, including Fibonacci and Ising theories as positive controls. Verification is performed independently using a fusion-tree implementation that does not rely on discovery caches.Fusion rings outside the known catalog produce no modular ribbon data in a conductor-≤16 scan, with Rep(S3) providing an explicit non-modular counterexample. Combined with the published classification of all UMTCs of rank at most four, the results show that there is no previously unknown multiplicity-free UMTC within this cutoff. A Levin–Wen parent Hamiltonian is also constructed from Fibonacci F-symbols; its bulk excitations are described by the Drinfeld center Z(Fib), rather than by a chiral Fibonacci theory alone.The results are mathematical and model-level statements. They do not establish the experimental realization of a new quasiparticle, material, or fundamental particle.

DOI
10.6084/m9.figshare.33318282

Related papers

On Classification of Modular Tensor Categories

Eric C. Rowell, Richard Stong, Zhenghan Wang

We classify all unitary modular tensor categories (UMTCs) of rank ≤ 4. There are a total of 35 UMTCs of rank ≤ 4 up to ribbon tensor equivalence. Since the distinction between the modular S -matrix S and − S has both topological and physical significance, so in our convention there are a total of 70 UMTCs of rank ≤ 4. In particular, there are two trivial UMTCs with S = (±1). Each such UMTC can be obtained from 10 non-trivial prime UMTCs by direct product, and some symmetry operations. Explicit data of the 10 non-trivial prime UMTCs are given in Sect. 5. Relevance of UMTCs to topological quantum computation and various conjectures are given in Sect. 6.

arXiv:0712.1377•Communications in Mathematical Physics•Aug 24, 2009•314 citations

Classification of modular data up to rank 12

Siu‐Hung Ng, Eric C. Rowell, Xiao-Gang Wen

We use the computer algebra system GAP to classify modular data up to rank 12. This extends the previously obtained classification of modular data up to rank 6. Our classification includes all the modular data from modular tensor categories up to rank 12, with a few possible exceptions at rank 12 and levels $5,7$ and $14$. Those exceptions are eliminated up to a certain bound by an extensive finite search in place of required infinite search. Our list contains a few potential unitary modular data which are not known to correspond to any unitary modular tensor categories (such as those from Kac-Moody algebra, twisted quantum doubles of finite group, as well as their Abelian anyon condensations). It remains to be shown if those potential modular data can be realized by modular tensor categories or not. We provide some evidence that all may be constructed from centers of near-group categories or gauging group symmetries of known modular tensor categories, with the exception of a total of five cases at rank 11 (with $D^2 =1964.590$) and 12 (with $D^2 =3926.660$). The classification of modular data corresponds to a classification of modular tensor categories (up to modular isotopes which are not expected to be present at low ranks). The classification of modular tensor categories leads to a classification of gapped quantum phases of matter in 2-dimensional space for bosonic lattice systems with no symmetry, as well as a classification of generalized symmetries in 1-dimensional space.

arXiv:2308.09670•Aug 18, 2023•3 citations

Majorana Zero Modes, Super-Modular Categories, and the Indistinguishability of $\pi/2$ Berry Phase in Vortex Exchange

Rowan Brad Quni-Gudzinas

The exchange statistics of Majorana zero modes (MZMs) in a two-dimensional topological superconductor are commonly modeled using the Ising anyon theory. However, the intrinsic topological order of a fermionic system is described by a super-modular tensor category (SMC), specifically sIsing, which contains a transparent fermion. We rigorously demonstrate that the modular data of the underlying SMC is insufficient to uniquely determine the braiding statistics of vortices binding MZMs. Fixing the exchange statistics requires specifying a minimal modular extension (MME) of the SMC. When the Ising unitary modular tensor category (UMTC) is chosen as the MME, the vortex exchange statistics exactly match those of Ising anyons, yielding a non-Abelian Berry phase difference of $\pi/2$ between fusion channels. Consequently, this $\pi/2$ phase is not distinguishable from standard Ising anyon braiding in interferometric measurements; rather, it is identical to it. We conclude that distinguishing fermionic topological orders requires probing the specific MME via observables beyond standard anyon interferometry. ## 1. Introduction Majorana zero modes (MZMs) localized at vortices in two-dimensional (2D) topological superconductors are prime candidates for topological quantum computation. The non-Abelian exchange statistics of these vortices are widely described using the Ising anyon theory. However, a 2D topological superconductor is an intrinsically fermionic system, meaning its topological order is not strictly captured by a standard unitary modular tensor category (UMTC). Instead, it is described by a super-modular tensor category (SMC). This raises a fundamental question: can the exchange statistics of MZMs be uniquely derived from the modular data of the underlying SMC? Furthermore, does this derivation predict a non-Abelian Berry phase of $\pi/2$ for vortex exchange that is distinguishable from standard Ising anyon braiding in interferometry? In this preprint, we address t

•Sep 7, 2026•0 citations

Anyons and Inherently Complex F-symbols

Matthew Buican, Peter Huston, Jiannis K. Pachos

Anyons in $2+1$ dimensions are not only characterized by exotic braiding statistics but also by intricate fusion properties. Two anyons may fuse into multiple topological charge sectors, and associativity of fusing three anyons to produce a fixed charge sector is governed by $F$-symbols. While braiding invariants, such as the modular data, are typically complex valued, a complete description of general anyon models requires understanding the arithmetic properties of its fusion associativity data as well. The $F$-symbols for many of the most common $2+1$d topological orders, including all Abelian anyon models as well as Fibonacci and Ising anyons, can be made real valued. We show this phenomenon is not universal by exhibiting braided fusion categories whose $F$-symbols cannot be made real. We call such $F$-symbols "inherently complex." The examples we study lack a charge-conjugation symmetry and our results are therefore consistent with the converse of a statement proved in a companion work linking real $F$-symbols in braided fusion categories with the existence of a suitable charge-conjugation symmetry. We analyse the smallest-rank braided fusion categories we know of with inherently complex $F$-symbols: ${\rm Rep}(\mathbb{Z}_7\rtimes\mathbb{Z}_3)$ and ${\rm Rep}(\mathbb{Z}_5\rtimes\mathbb{Z}_4)$. Consequently, the corresponding $\mathcal Z({\rm Rep}(\mathbb{Z}_7\rtimes\mathbb{Z}_3))$ and $\mathcal Z({\rm Rep}(\mathbb{Z}_5\rtimes\mathbb{Z}_4))$ anyon models also have inherently complex $F$-symbols. Our presentation connects these examples with recent results on classifying anyons beyond modular data.

cond-mat.str-elCross-listedarXiv:2607.10181•Jul 14, 2026•0 citations

Braid Group Representations, Modular Data, and the Classification of Majorana Zero Mode Fusion Rules in 2D Topological Superconductors

Rowan Brad Quni-Gudzinas

Majorana zero modes (MZMs) localized on vortices of a two-dimensional topological superconductor carry a projective representation of the braid group, and the associated anyon theory is encoded in a modular tensor category whose fusion rules and modular data ($S$ and $T$ matrices) determine the topological order. We address two questions: whether the braid group representation on $N$ anyons uniquely determines the modular data of the underlying non-Abelian topological order, and whether a representation-theoretic framework can classify all possible fusion rules for MZMs in 2D topological superconductors. We develop a classification pipeline that (i) fixes the local MZM algebra as the Clifford algebra generated by $2n$ Majorana operators, (ii) imposes the pentagon and hexagon coherence equations on candidate braided fusion structures, and (iii) filters candidates by modular-data consistency conditions, including the Verlinde formula and Frobenius–Schur indicators. As a fully worked example we compute, with explicit arithmetic, the modular $S$ matrix and total quantum dimension for the Ising-type theory relevant to chiral $p$-wave superconductors, obtaining $\mathcal{D} = 2$ and verifying unitarity of $S$ to machine precision. We then analyze metaplectic categories $SO(N)_2$, which generalize the Ising/MZM fusion pattern, and show how Property F (finiteness of braid images) constrains the classification. We argue that the framework classifies MZM fusion rules up to gauging and extension operations, but that non-semisimple and non-unitary candidates escape the semisimple machinery; we state falsification criteria and open problems. ## 1. Introduction A two-dimensional topological superconductor (2D TSC) supports vortices that bind Majorana zero modes (MZMs): self-adjoint fermionic operators $\gamma_i = \gamma_i^\dagger$ obeying the Clifford algebra $\{\gamma_i,\gamma_j\} = 2\delta_{ij}$. Exchanging vortices $i$ and $j$ acts on the ground-state manifold by the operato Full text and updates: papers.qnfo.org/papers/braid-group-representations-modular-data-and-the-classification-of-majo-5099abb8/

•Oct 1, 2026•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
We investigate whether a previously unknown two-dimensional non-Abelian quasiparticle type can exist as a multiplicity-free unitary modular tensor category (UMTC) of rank at most four. Existence is understood at the mathematical and model level, as a skeletal UMTC over the complex numbers with exact algebraic F, R, S, and T data, rather than as a claim of a new material or Standard-Model particle.An exhaustive enumeration yields 1, 2, 4, and 10 commutative multiplicity-free based fusion rings of ranks 1, 2, 3, and 4, respectively. Exact residual-zero checks of the pentagon and hexagon equations, unitarity, Verlinde relations, and projective SL(2,Z) identities are carried out for the Rowell–Stong–Wang prime theories with explicitly available F-symbols, including Fibonacci and Ising theories as positive controls. Verification is performed independently using a fusion-tree implementation that does not rely on discovery caches.Fusion rings outside the known catalog produce no modular ribbon data in a conductor-≤16 scan, with Rep(S3) providing an explicit non-modular counterexample. Combined with the published classification of all UMTCs of rank at most four, the results show that there is no previously unknown multiplicity-free UMTC within this cutoff. A Levin–Wen parent Hamiltonian is also constructed from Fibonacci F-symbols; its bulk excitations are described by the Drinfeld center Z(Fib), rather than by a chiral Fibonacci theory alone.The results are mathematical and model-level statements. They do not establish the experimental realization of a new quasiparticle, material, or fundamental particle.
We classify all unitary modular tensor categories (UMTCs) of rank ≤ 4. There are a total of 35 UMTCs of rank ≤ 4 up to ribbon tensor equivalence. Since the distinction between the modular S -matrix S and − S has both topological and physical significance, so in our convention there are a total of 70 UMTCs of rank ≤ 4. In particular, there are two trivial UMTCs with S = (±1). Each such UMTC can be obtained from 10 non-trivial prime UMTCs by direct product, and some symmetry operations. Explicit data of the 10 non-trivial prime UMTCs are given in Sect. 5. Relevance of UMTCs to topological quantum computation and various conjectures are given in Sect. 6.
We use the computer algebra system GAP to classify modular data up to rank 12. This extends the previously obtained classification of modular data up to rank 6. Our classification includes all the modular data from modular tensor categories up to rank 12, with a few possible exceptions at rank 12 and levels 5,75,75,7 and 141414. Those exceptions are eliminated up to a certain bound by an extensive finite search in place of required infinite search. Our list contains a few potential unitary modular data which are not known to correspond to any unitary modular tensor categories (such as those from Kac-Moody algebra, twisted quantum doubles of finite group, as well as their Abelian anyon condensations). It remains to be shown if those potential modular data can be realized by modular tensor categories or not. We provide some evidence that all may be constructed from centers of near-group categories or gauging group symmetries of known modular tensor categories, with the exception of a total of five cases at rank 11 (with D2=1964.590D^2 =1964.590D2=1964.590) and 12 (with D2=3926.660D^2 =3926.660D2=3926.660). The classification of modular data corresponds to a classification of modular tensor categories (up to modular isotopes which are not expected to be present at low ranks). The classification of modular tensor categories leads to a classification of gapped quantum phases of matter in 2-dimensional space for bosonic lattice systems with no symmetry, as well as a classification of generalized symmetries in 1-dimensional space.
Majorana Zero Modes, Super-Modular Categories, and the Indistinguishability of π/2\pi/2π/2 Berry Phase in Vortex Exchange
The exchange statistics of Majorana zero modes (MZMs) in a two-dimensional topological superconductor are commonly modeled using the Ising anyon theory. However, the intrinsic topological order of a fermionic system is described by a super-modular tensor category (SMC), specifically sIsing, which contains a transparent fermion. We rigorously demonstrate that the modular data of the underlying SMC is insufficient to uniquely determine the braiding statistics of vortices binding MZMs. Fixing the exchange statistics requires specifying a minimal modular extension (MME) of the SMC. When the Ising unitary modular tensor category (UMTC) is chosen as the MME, the vortex exchange statistics exactly match those of Ising anyons, yielding a non-Abelian Berry phase difference of π/2\pi/2π/2 between fusion channels. Consequently, this π/2\pi/2π/2 phase is not distinguishable from standard Ising anyon braiding in interferometric measurements; rather, it is identical to it. We conclude that distinguishing fermionic topological orders requires probing the specific MME via observables beyond standard anyon interferometry. ## 1. Introduction Majorana zero modes (MZMs) localized at vortices in two-dimensional (2D) topological superconductors are prime candidates for topological quantum computation. The non-Abelian exchange statistics of these vortices are widely described using the Ising anyon theory. However, a 2D topological superconductor is an intrinsically fermionic system, meaning its topological order is not strictly captured by a standard unitary modular tensor category (UMTC). Instead, it is described by a super-modular tensor category (SMC). This raises a fundamental question: can the exchange statistics of MZMs be uniquely derived from the modular data of the underlying SMC? Furthermore, does this derivation predict a non-Abelian Berry phase of π/2\pi/2π/2 for vortex exchange that is distinguishable from standard Ising anyon braiding in interferometry? In this preprint, we address t
Anyons in 2+12+12+1 dimensions are not only characterized by exotic braiding statistics but also by intricate fusion properties. Two anyons may fuse into multiple topological charge sectors, and associativity of fusing three anyons to produce a fixed charge sector is governed by FFF-symbols. While braiding invariants, such as the modular data, are typically complex valued, a complete description of general anyon models requires understanding the arithmetic properties of its fusion associativity data as well. The FFF-symbols for many of the most common 2+12+12+1d topological orders, including all Abelian anyon models as well as Fibonacci and Ising anyons, can be made real valued. We show this phenomenon is not universal by exhibiting braided fusion categories whose FFF-symbols cannot be made real. We call such FFF-symbols "inherently complex." The examples we study lack a charge-conjugation symmetry and our results are therefore consistent with the converse of a statement proved in a companion work linking real FFF-symbols in braided fusion categories with the existence of a suitable charge-conjugation symmetry. We analyse the smallest-rank braided fusion categories we know of with inherently complex FFF-symbols: Rep(Z7⋊Z3){\rm Rep}(\mathbb{Z}_7\rtimes\mathbb{Z}_3)Rep(Z7​⋊Z3​) and Rep(Z5⋊Z4){\rm Rep}(\mathbb{Z}_5\rtimes\mathbb{Z}_4)Rep(Z5​⋊Z4​). Consequently, the corresponding Z(Rep(Z7⋊Z3))\mathcal Z({\rm Rep}(\mathbb{Z}_7\rtimes\mathbb{Z}_3))Z(Rep(Z7​⋊Z3​)) and Z(Rep(Z5⋊Z4))\mathcal Z({\rm Rep}(\mathbb{Z}_5\rtimes\mathbb{Z}_4))Z(Rep(Z5​⋊Z4​)) anyon models also have inherently complex FFF-symbols. Our presentation connects these examples with recent results on classifying anyons beyond modular data.
Majorana zero modes (MZMs) localized on vortices of a two-dimensional topological superconductor carry a projective representation of the braid group, and the associated anyon theory is encoded in a modular tensor category whose fusion rules and modular data (SSS and TTT matrices) determine the topological order. We address two questions: whether the braid group representation on NNN anyons uniquely determines the modular data of the underlying non-Abelian topological order, and whether a representation-theoretic framework can classify all possible fusion rules for MZMs in 2D topological superconductors. We develop a classification pipeline that (i) fixes the local MZM algebra as the Clifford algebra generated by 2n2n2n Majorana operators, (ii) imposes the pentagon and hexagon coherence equations on candidate braided fusion structures, and (iii) filters candidates by modular-data consistency conditions, including the Verlinde formula and Frobenius–Schur indicators. As a fully worked example we compute, with explicit arithmetic, the modular SSS matrix and total quantum dimension for the Ising-type theory relevant to chiral ppp-wave superconductors, obtaining D=2\mathcal{D} = 2D=2 and verifying unitarity of SSS to machine precision. We then analyze metaplectic categories SO(N)2SO(N)_2SO(N)2​, which generalize the Ising/MZM fusion pattern, and show how Property F (finiteness of braid images) constrains the classification. We argue that the framework classifies MZM fusion rules up to gauging and extension operations, but that non-semisimple and non-unitary candidates escape the semisimple machinery; we state falsification criteria and open problems. ## 1. Introduction A two-dimensional topological superconductor (2D TSC) supports vortices that bind Majorana zero modes (MZMs): self-adjoint fermionic operators γi=γi†\gamma_i = \gamma_i^\daggerγi​=γi†​ obeying the Clifford algebra {γi,γj}=2δij\{\gamma_i,\gamma_j\} = 2\delta_{ij}{γi​,γj​}=2δij​. Exchanging vortices iii and jjj acts on the ground-state manifold by the operato Full text and updates: papers.qnfo.org/papers/braid-group-representations-modular-data-and-the-classification-of-majo-5099abb8/
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.