Braid Group Representations and Modular Data: Non-Uniqueness, Finite Images, and the Ising Test Case
Rowan Brad Quni-Gudzinas
Abstract
A central question in the theory of topological order asks whether the braid group representation $B_N$ carried by $N$ non-Abelian anyons uniquely determines the modular data — the $S$ and $T$ matrices — of the underlying topological quantum field theory. We reconcile three lines of analysis into a single assessment. Structurally, we formalize the question as a reduction map $\Phi$ from modular tensor category data to projective braid group representations, whose kernel is the locus of potential counterexamples. Two rigorous finiteness results constrain the problem: braid representations from twisted quantum doubles of finite groups factor through finite groups, and the $SO(N)_2$/$O(N)_2$ braid representations are Gaussian with finite image. We then perform an explicit computation on the Ising anyon model — the canonical non-Abelian order of Majorana zero modes — reconstructing the topological spins $\theta_\sigma = e^{i\pi/8}$, $\theta_\psi = -1$, the total quantum dimension $\mathcal{D}=2$, and the full $S$ matrix from the braid eigenvalues, with all arithmetic shown. We exhibit a Galois-conjugate deformation $\mathrm{Ising}(7)$ with identical fusion rules but distinct $S$ matrix, and verify that its braid representation is inequivalent to the Ising representation on $B_3$ by an explicit trace computation, while remaining indistinguishable at the level of fusion rules. We conclude that braid representations constrain but do not provably uniquely determine modular data in general: uniqueness can hold only under additional hypotheses, and the Majorana fusion-rule classification is not closed by braid data alone. The affirmative claim that braiding is a complete invariant is restricted to a narrower regime than sometimes asserted, and we document this divergence explicitly. ## 1. Introduction Non-Abelian anyons in two spatial dimensions are characterized by two layers of algebraic structure. The first is combinatorial: fusion rules $N_{ab}^c$ specifying how anyon c Full text and updates: papers.qnfo.org/papers/braid-group-representations-and-modular-data-non-uniqueness-finite-images-and-th/