The bulk-boundary correspondence asserts that topological data of a (2+1)-dimensional phase determine the physics of its boundary, but in the setting of anyon condensation the correspondence is usually stated structurally rather than quantitatively. We propose a set of computable indices that quantify the correspondence between anyon condensation in a parent topological order and the emergence of Majorana statistics at a gapped boundary. The first index, κ = dim(A)², measures the "size" of the condensate, where A is the connected (étale) algebra of condensed anyons inside the parent modular tensor category C. For normal condensates — those in which every local A-module sector contributes once to the child, as in Cases I and II — κ coincides with D_C²/D_D², the ratio of squared total quantum dimensions of parent and child; for non-normal condensates (Case III) the two expressions differ, and we report both. The second index, μ = Δc/(1/2) = 2Δc, counts chiral Majorana edge modes forced by the mismatch Δc between the chiral central charges of parent and child phases. A third diagnostic, the non-Abelian excess fraction f_NA, measures the share of boundary quantum dimension carried by sectors with d > 1. We evaluate all indices explicitly for three canonical cases: condensing A = 1 ⊕ ψ in the Ising category (κ = 4, μ = 1, boundary σ defects with two fusion channels — the fingerprint of Majorana zero modes); condensing A = 1 ⊕ e in the toric code (κ = 4, μ = 0, single-channel fusion, no Majorana structure); and condensing A = 1 ⊕ (ψ,ψ) in the doubled Ising category (κ = dim(A)² = 4, child/parent dimension ratio D_D/D_C = √(3/7), f_NA = 1/3, non-Abelian boundary carrier (σ,σ)). The contrast between the first two cases shows that κ alone does not detect Majorana statistics; μ and f_NA do. All numerical results are derived by explicit arithmetic from standard category data, divergences between independent drafts are documented in Appendix A, and limitations of the framework Full text and updates: papers.qnfo.org/papers/a-two-index-framework-for-the-bulk-boundary-correspondence-of-anyon-condensation/
Defects between gapped boundaries provide a possible physical realization of projective non-Abelian braid statistics. A notable example is the projective Majorana/parafermion braid statistics of boundary defects in fractional quantum Hall/topological insulator and superconductor heterostructures. In this paper, we develop general theories to analyze the topological properties and projective braiding of boundary defects of topological phases of matter in two spatial dimensions. We present commuting Hamiltonians to realize defects between gapped boundaries in any
(2+1)D untwisted Dijkgraaf-Witten theory, and use these to describe their topological properties such as their quantum dimension. By modeling the algebraic structure of boundary defects through multifusion categories, we establish a bulk-edge correspondence between certain boundary defects and symmetry defects in the bulk. Even though it is not clear how to physically braid the defects, this correspondence elucidates the projective braid statistics for many classes of boundary defects, both amongst themselves and with bulk anyons. Specifically, three such classes of importance to condensed matter physics/topological quantum computation are studied in detail: (1) a boundary defect version of Majorana and parafermion zero modes, (2) a similar version of genons in bilayer theories, and (3) boundary defects in
D(S3).
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
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
γi=γi† obeying the Clifford algebra
{γi,γj}=2δ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/
We investigate whether the braid group representation on
N anyons uniquely determines the modular data (
S and
T matrices) of a non-Abelian topological order, and whether this framework classifies all fusion rules for Majorana zero modes (MZMs) in 2D topological superconductors. We show that the local
N-anyon braid group representation constrains the modular data up to finite gauge ambiguity but does not uniquely fix the global
S-matrix without specifying the underlying spin structure. For MZMs, the braid generators satisfy the Ising anyon
R-matrix with the asymptotic Hecke relation
σi2=1 (up to phase), which rigidly fixes the local
F and
R symbols of the Ising category. Consequently, the fusion rules are strictly of Ising type (
σ×σ=1+ψ), precluding alternative non-Abelian fusion rules. The
T-matrix is determined by topological spins, but the full
S-matrix depends on the spin structure of the underlying manifold, reflecting the super-modular structure of the theory. ## 1. Introduction Topological quantum computation exploits the non-Abelian statistics of anyons—quasiparticle excitations in two-dimensional systems whose braiding operations are represented by non-commuting unitary matrices on a degenerate ground-state manifold [1]. A central question is whether the local braiding data of
N anyons suffices to reconstruct the full modular data of the underlying topological order (TO), or whether additional global information is required. This question has direct physical consequences for 2D topological superconductors (TSCs) hosting Majorana zero modes (MZMs), where the anyonic excitations are vortices binding MZMs and the fermionic quasiparticle is a transparent (local) fermion [2,3]. The modular data of a TO consists of the
S-matrix, which encodes the mutual braiding statistics of anyons, and the
T-matrix, which encodes the topological spins. Together, these matrices form a projective representation of t
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 between fusion channels. Consequently, this
π/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 for vortex exchange that is distinguishable from standard Ising anyon braiding in interferometry? In this preprint, we address t
The macroscopic theory of anyon condensation, rooted in the categorical structure of topological excitations, provides a complete classification of gapped boundaries in topologically ordered systems, where distinct boundaries correspond to the condensation of different Lagrangian algebras. However, an intrinsic and direct understanding of anyon condensation in lattice models, grounded in the framework of Lagrangian algebras, remains undeveloped. In this paper, we propose a systematic framework for constructing all gapped boundaries of Kitaev's quantum double models directly from the data of Lagrangian algebras. Central to our approach is the observation that bulk interactions in the quantum double models admit two complementary interpretations: the anyon-creating picture and the anyon-probing picture. Generalizing this insight to the boundary, we derive the consistency condition for boundary ribbon operators that respect the mathematical axiomatic structure of Lagrangian algebras. Solving these conditions yields explicit expressions for the local boundary interactions required to realize gapped boundaries. We also provide three families of solutions that cover a broad range of cases. Our construction provides a microscopic characterization of the bulk-to-boundary anyon condensation dynamics via the action of ribbon operators. Moreover, all these boundary terms are supported within a common effective Hilbert space, making further studies on pure boundary phase transitions natural and convenient. Given the broad applicability of anyon condensation theory, we believe that our approach can be generalized to planar topological codes, extended string-net models, or higher-dimensional topologically ordered systems.
Topological quantum error correction based on the manipulation of the anyonic defects constitutes one of the most promising frameworks towards realizing fault-tolerant quantum devices. Hence, it is crucial to understand how these defects interact with external defects such as boundaries or domain walls. Motivated by this line of thought, in this work, we study the fusion events between anyons in the bulk and at the boundary in fixed-point models of 2 + 1-dimensional non-chiral topological order defined by arbitrary fusion categories. Our construction uses generalized tube algebra techniques to construct a bi-representation of bulk and boundary defects. We explicitly derive a formula to calculate the fusion multiplicities of a bulk-to-boundary fusion event for twisted quantum double models and calculate some exemplary fusion events for Abelian models and the (twisted) quantum double model of S3, the simplest non-Abelian group-theoretical model. Moreover, we use the folding trick to study the anyonic behavior at non-trivial domain walls between twisted S3 and twisted Z2 as well as Z3 models. A recurring theme in our construction is an isomorphism relating twisted cohomology groups to untwisted ones. The results of this work can directly be applied to study logical operators in two-dimensional topological error correcting codes with boundaries described by a twisted gauge theory of a finite group.