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

Modular invariants from subfactors: Type I coupling matrices and intermediate subfactors

Jens Böckenhauer, David Evans

Published Jan 1, 2000• 57 citations
OpenAlex

Abstract

A braided subfactor determines a coupling matrix Z which commutes with the S- and T-matrices arising from the braiding. Such a coupling matrix is not necessarily of “type I”, i.e. in general it does not have a block-diagonal structure which can be reinterpreted as the diagonal coupling matrix with respect to a suitable extension. We show that there are always two intermediate subfactors which correspond to left and right maximal extensions and which determine “parent ” coupling matrices Z ± of type I. Moreover it is shown that if the intermediate subfactors coincide, so that Z + = Z − , then Z is related to Z + by an automorphism of the extended fusion rules. The intertwining relations of chiral branching coefficients between original and extended S- and T-matrices are also clarified. None of our results depends on non-degeneracy of the braiding, i.e. the S- and T-matrices need not be modular. Examples from SO(n) current algebra models illustrate that the parents can be different, Z + ̸ = Z − , and that Z need not be related to a type I invariant by such an automorphism. 1

Related papers

Critical Phenomena, modular invariants and operator algebras

David Evans

We review the framework subfactors provide for understanding modular invariants. We discuss the structure of a generalized Longo-Rehren subfactor and the relationship between the coupling matrices of such subfactors, modular invariance and local extensions. We relate results of Kostant, in the context of the McKay correspondence for finite subgroups of SU(2), to subfactors. A direct proof of how alpha-induction produces modular invariants is presented.

arXiv:math/0204281•Apr 23, 2002•17 citations

Fusion rules of modular invariants

David Evans

Modular invariants satisfy remarkable fusion rules. Let Z be a modular invariant associated to a braided subfactor N ⊂ M. The decomposition of the non-normalized modular invariants ZZ* and Z*Z into sums of normalized modular invariants is related to the decomposition of the full induced M-M system of sectors.

•Jan 1, 2002•17 citations

Modular Invariants from Subfactors:¶Type I Coupling Matrices and Intermediate Subfactors

Jens Böckenhauer, David E. Evans

arXiv:math/9911239•Communications in Mathematical Physics•Sep 1, 2000•43 citations

Braid Group Representations and Modular Data: Non-Uniqueness, Finite Images, and the Ising Test Case

Rowan Brad Quni-Gudzinas

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/

•Oct 1, 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

The local module category of SU(3)_3 ⊗ SU(2)_2: an Ising condensed phase

Adam Bazih

[CORRECTION NOTE, June 2026: This companion paper inherits the corrected classification: the object 1 + ((1,1);1) (d_A = 4) is NOT an algebra (its generator fails fusion closure); the correct algebras are the Z3 simple-current algebra (d_A = 3) and the maximal algebra (d_A = 6). The condensed phase is the nu=11 Ising-type category of the sixteen-fold way - the modular tensor category of SO(11)_1 (h_sigma = 11/16), fixed by the preserved central charge c = 11/2 mod 8 - which shares its fusion rules with Ising and its fusion category with SU(2)_2 but is equivalent to neither as a braided category (the claim 'matching the Ising MTC (equivalently SU(2)_2)' below is corrected accordingly). See DOI 10.5281/zenodo.20618695 (concept 10.5281/zenodo.20128951). The text below is the original and is retained for the record.] We compute the local module category ClocA for the condensable algebra A = 1 ⊕ ((1,1);1) in the product modular tensor category SU(3)3 ⊗ SU(2)2. Starting from the rank-30 parent theory with total quantum dimension D2 = 144, we identify the unique modular invariant Z commuting with the modular S- and T-matrices, extract a 30×3 branching matrix, and compute the condensed S-matrix via Sloc = (1/dA)bTSb. The result is a rank-3 modular tensor category with quantum dimensions (1, 1, √2), total quantum dimension D2 = 4, and modular data matching the Ising MTC (equivalently SU(2)2) to machine precision. The D2 discrepancy between intrinsic (= 4) and extrinsic (= 9) values is resolved by the embedding dimension factor (d0embed)2 = 9/4. This is a companion paper to 'Anyon condensation in SU(3)3 ⊗ SU(2)2: condensable algebras, monodromy spectrum, and the Z6 fusion ring' (Bazih, 2026), resolving its Remark 3.4 on the structure of ClocA.

•May 10, 2026•0 citations
A braided subfactor determines a coupling matrix Z which commutes with the S- and T-matrices arising from the braiding. Such a coupling matrix is not necessarily of “type I”, i.e. in general it does not have a block-diagonal structure which can be reinterpreted as the diagonal coupling matrix with respect to a suitable extension. We show that there are always two intermediate subfactors which correspond to left and right maximal extensions and which determine “parent ” coupling matrices Z ± of type I. Moreover it is shown that if the intermediate subfactors coincide, so that Z + = Z − , then Z is related to Z + by an automorphism of the extended fusion rules. The intertwining relations of chiral branching coefficients between original and extended S- and T-matrices are also clarified. None of our results depends on non-degeneracy of the braiding, i.e. the S- and T-matrices need not be modular. Examples from SO(n) current algebra models illustrate that the parents can be different, Z + ̸ = Z − , and that Z need not be related to a type I invariant by such an automorphism. 1
A central question in the theory of topological order asks whether the braid group representation BNB_NBN​ carried by NNN non-Abelian anyons uniquely determines the modular data — the SSS and TTT 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)2SO(N)_2SO(N)2​/O(N)2O(N)_2O(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 θσ=eiπ/8\theta_\sigma = e^{i\pi/8}θσ​=eiπ/8, θψ=−1\theta_\psi = -1θψ​=−1, the total quantum dimension D=2\mathcal{D}=2D=2, and the full SSS matrix from the braid eigenvalues, with all arithmetic shown. We exhibit a Galois-conjugate deformation Ising(7)\mathrm{Ising}(7)Ising(7) with identical fusion rules but distinct SSS matrix, and verify that its braid representation is inequivalent to the Ising representation on B3B_3B3​ 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 NabcN_{ab}^cNabc​ specifying how anyon c Full text and updates: papers.qnfo.org/papers/braid-group-representations-and-modular-data-non-uniqueness-finite-images-and-th/
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/
[CORRECTION NOTE, June 2026: This companion paper inherits the corrected classification: the object 1 + ((1,1);1) (d_A = 4) is NOT an algebra (its generator fails fusion closure); the correct algebras are the Z3 simple-current algebra (d_A = 3) and the maximal algebra (d_A = 6). The condensed phase is the nu=11 Ising-type category of the sixteen-fold way - the modular tensor category of SO(11)_1 (h_sigma = 11/16), fixed by the preserved central charge c = 11/2 mod 8 - which shares its fusion rules with Ising and its fusion category with SU(2)_2 but is equivalent to neither as a braided category (the claim 'matching the Ising MTC (equivalently SU(2)_2)' below is corrected accordingly). See DOI 10.5281/zenodo.20618695 (concept 10.5281/zenodo.20128951). The text below is the original and is retained for the record.] We compute the local module category ClocA for the condensable algebra A = 1 ⊕ ((1,1);1) in the product modular tensor category SU(3)3 ⊗ SU(2)2. Starting from the rank-30 parent theory with total quantum dimension D2 = 144, we identify the unique modular invariant Z commuting with the modular S- and T-matrices, extract a 30×3 branching matrix, and compute the condensed S-matrix via Sloc = (1/dA)bTSb. The result is a rank-3 modular tensor category with quantum dimensions (1, 1, √2), total quantum dimension D2 = 4, and modular data matching the Ising MTC (equivalently SU(2)2) to machine precision. The D2 discrepancy between intrinsic (= 4) and extrinsic (= 9) values is resolved by the embedding dimension factor (d0embed)2 = 9/4. This is a companion paper to 'Anyon condensation in SU(3)3 ⊗ SU(2)2: condensable algebras, monodromy spectrum, and the Z6 fusion ring' (Bazih, 2026), resolving its Remark 3.4 on the structure of ClocA.