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

In the paper's words

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. [...]

The abstract, verbatim, and its opening sentence is the claim. Every line below is quoted from the text.

Numbers it reports

No sentence of this paper reports a figure with a unit or a quantity word, so none is shown.

How it is done

1. 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.

   from Abstract

2. This is the algebraic ancestor of our approach: the classification of MZM fusion rules is precisely the classification of such braided tensor categories subject to the additional physical constraint that the theory be realizable by Majorana vortices in a superconductor.

   from 2. Background and Related Work

3. Operationally, we use the hexagon equation in the form: the braiding eigenvalue $\theta_{X_a\times X_b}/(\theta_{X_a}\theta_{X_b})$ on each fusion channel $c$ is determined by the $R$-symbols $R^{ab}_c$, and consistency with associativity forces the well-known constraint that the Ising-type $R$-symbols are $\pm 1$ on the two $\sigma\times\sigma$ channels.

   from 3.3 Coherence equations

4. For each surviving braided fusion category we compute: Topological spins $\theta_a$ from the twist (rotation) eigenvalues; by [5], these are determined by fusion rules plus generalized Frobenius–Schur indicators at finitely many tensor powers. $S$ matrix via the Verlinde formula: $$S_{ab} = \frac{1}{\mathcal{D}}\sum_c N_{ab}^{\bar c}\,\frac{\theta_c}{\theta_a\theta_b}\,d_c, \qquad \mathcal{D} = \sqrt{\sum_a d_a^2}.$$ Unitarity checks: $S^\dagger S = 1$, $S_{0a} = d_a/\mathcal{D}$, and the Galois/integer constraints of modular data.

   from 3.4 Modular-data filter

What would falsify it

1. 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.

   from Abstract

2. Section 5 reports results, Section 6 discusses limitations and falsifiability, and Section 7 concludes.

   from 1. Introduction

3. Third, non-semisimple and non-unitary candidates [3], [11] lie outside the semisimple machinery entirely, so the pipeline's Verlinde-type filters are inapplicable there; falsification of R5 would proceed by exhibiting a unitary, semisimple MZM fusion rule outside the Ising/metaplectic/gauged-descendant list that passes hexagon coherence and modular-data consistency.

   from 6. Discussion

Where the claim stops

1. We then show how the metaplectic family $SO(N)_2$ arises as the natural "higher-rank" candidate space for MZM-like fusion rules, how gauging operations [10] generate new candidates from old, and where the semisimple framework provably fails — namely for non-semisimple theories relevant to gapless or non-unitary phases [11].

   from 1. Introduction

2. These works mark the boundary of our semisimple classification: MZM theories coupled to gapless bulk or non-unitary CFT duals require this non-semisimple apparatus, and our pipeline's Verlinde-type filters fail there.

   from 2. Background and Related Work

3. A candidate based ring lifts to a braided fusion category only if there exist associator and braiding data satisfying the pentagon and hexagon equations.

   from 3.3 Coherence equations

Where to read

1. Abstract230 words · 1 min
2. 1. Introduction388 words · 2 min
3. 2. Background and Related Work791 words · 3 min
4. 3. Methods394 words · 2 min
5. 4. Analysis878 words · 4 min
6. 5. Results311 words · 1 min
7. 6. Discussion191 words · 1 min
8. 7. Conclusion89 words · 1 min
9. Appendix A. Review record (re-run, structured)70 words · 1 min