How Majorana Particles Combine in Flat Superconductors

In the paper's words

Majorana zero modes (MZMs) bound to vortices of a two-dimensional topological superconductor (2D TSC) realize non-Abelian anyons whose exchange is described by a projective representation of the braid group B_N. The associated anyon theory is encoded in a modular tensor category (MTC) with fusion rules N_ab^c, quantum dimensions d_a, and modular data (S,T). We address whether the braid-representation framework classifies all possible fusion rules for MZMs.

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

Numbers it reports

1. We verify the ring of Section 4.1 via the Verlinde formula $N_{ab}^{c}=\sum_x\frac{S_{ax}S_{bx}S_{cx}^{*}}{S_{1x}}$: $$N_{\sigma\sigma}^{1}=\sum_x\frac{S_{\sigma x}^2 S_{1x}}{S_{1x}}=\left(\frac{\sqrt{2}}{2}\right)^2+0+\left(-\frac{\sqrt{2}}{2}\right)^2=\frac{1}{2}+\frac{1}{2}=1,$$ $$N_{\sigma\sigma}^{\psi}=\sum_x\frac{S_{\sigma x}S_{\sigma x}S_{\psi x}}{S_{1x}}=\frac{\left(\frac{\sqrt{2}}{2}\right)^2\cdot\frac{1}{2}}{\frac{1}{2}}+0+\frac{\left(-\frac{\sqrt{2}}{2}\right)^2\cdot\frac{1}{2}}{\frac{1}{2}}=\frac{1}{2}+\frac{1}{2}=1,$$ $$N_{\sigma\sigma}^{\sigma}=0$$ (the only potentially contributing term $x=\sigma$ carries $S_{\sigma\sigma}=0$).

   from 4.3 Level 3: The Ising $S$-Matrix and Verlinde Cross-Check

2. The second indicator for a simple object $a$, computed as $\nu_2(a)=\frac{1}{D}\sum_x\frac{S_{ax}S_{ax}}{S_{1x}}$ [5], gives for $a=\sigma$ (in the ordering $(1,\sigma,\psi)$ of Section 4.3): $$\nu_2(\sigma)=\frac{1}{2}\left[\frac{\left(\frac{\sqrt{2}}{2}\right)^2}{\frac{1}{2}}+\frac{0}{\frac{\sqrt{2}}{2}}+\frac{\left(-\frac{\sqrt{2}}{2}\right)^2}{\frac{1}{2}}\right]=\frac{1}{2}\left[1+0+1\right]=1,$$ consistent with the finite-image property and the indicator-based reconstruction of rotation spectra of [5].

   from 4.6 Frobenius–Schur Indicator Check

How it is done

1. Majorana zero modes (MZMs) bound to vortices of a two-dimensional topological superconductor (2D TSC) realize non-Abelian anyons whose exchange is described by a projective representation of the braid group $B_N$.

   from Abstract

2. A chiral $p$-wave or class-D 2D topological superconductor supports MZMs bound to vortices.

   from 1. Introduction

3. The contrast is instructive: Ising/MZM braiding is not computationally universal precisely because its image is a finite Clifford group [2,6]; a classification of MZM fusion rules should predict this finite-image character as a theorem, which our Section 4 does by exhibiting braid eigenvalues as roots of unity of small order.

   from 2. Background and Related Work

4. We work in a unitary modular tensor category $\mathcal{C}$ [4,7] with simple objects $\{a\}$, fusion coefficients $N_{ab}^{c}\in\mathbb{Z}_{\ge 0}$, quantum dimensions $d_a$ satisfying $d_a d_b=\sum_c N_{ab}^{c}d_c$, total quantum dimension $$D_{\mathcal{C}}=\sqrt{\sum_a d_a^2},$$ topological spins $\theta_a$ (the diagonal of $T$), and modular $S$-matrix $$S_{ab}=\frac{1}{D_{\mathcal{C}}}\sum_c N_{ab}^{c^{*}}\,\frac{\theta_c}{\theta_a\theta_b}\,d_c .$$ MZM admissibility constraints.

   from 3. Methods

What would falsify it

1. Our results: (i) at Level 1 the fusion ring is unique; (ii) at Level 2 there are exactly four braided refinements; (iii) at Level 3, fusion rules alone fail to classify — the $SO(8)_2$ versus $\mathrm{Ising}^{\otimes 3}$ degeneracy is an explicit counterexample — but the pair (braid representation, modular data) resolves the ambiguity; (iv) all braid images in the weakly integral sector are finite (Property $F$) [4,7], while the Hilbert space grows as $2^{N/2-1}$, an exponential gap that underwrites the finiteness classification.

   from 1. Introduction

2. Section 2 surveys the literature; Section 3 sets up the constraint set; Section 4 gives fully explicit derivations; Section 5 collects results; Sections 6–7 discuss limitations, falsifiability, and conclusions.

   from 1. Introduction

3. The contrast is instructive: Ising/MZM braiding is not computationally universal precisely because its image is a finite Clifford group [2,6]; a classification of MZM fusion rules should predict this finite-image character as a theorem, which our Section 4 does by exhibiting braid eigenvalues as roots of unity of small order.

   from 2. Background and Related Work

Where the claim stops

1. Fusion rules alone do not classify: the $SO(8)_2\cong_{\mathrm{fusion}}\mathrm{Ising}^{\otimes 3}$ degeneracy is an explicit counterexample (§4.5).

   from 6. Discussion

2. (1) Semisimplicity: our derivations assume a semisimple unitary MTC; non-semisimple categories [11] and irregular-singularity settings [3] carry Stokes-type data beyond finite-image roots of unity and are not covered.

   from 6. Discussion

3. (3) Rank coverage: the enumeration is exhaustive only at ranks $3$ and $8$; the projection to all ranks assumes the group-theoretical dichotomy of [4] extends, which is unproven.

   from 6. Discussion

Where to read

1. Abstract208 words · 1 min
2. 1. Introduction321 words · 1 min
3. 2. Background and Related Work501 words · 2 min
4. 3. Methods205 words · 1 min
5. 4. Analysis761 words · 3 min
6. 5. Results218 words · 1 min
7. 6. Discussion402 words · 2 min
8. 7. Conclusion128 words · 1 min
9. Appendix A. Divergence report258 words · 1 min