Computing associators of endomorphism fusion categories

Abstract

Many applications of fusion categories, particularly in physics, require the associators or $F$-symbols to be known explicitly. Finding these matrices typically involves solving vast systems of coupled polynomial equations in large numbers of variables. In this work, we present an algorithm that allows associator data for some category with unknown associator to be computed from a Morita equivalent category with known data. Given a module category over the latter, we utilize the representation theory of a module tube category, built from the known data, to compute this unknown associator data. When the input category is unitary, we discuss how to ensure the obtained data is also unitary. We provide several worked examples to illustrate this algorithm. In addition, we include several Mathematica files showing how the algorithm can be used to compute the data for the Haagerup category ${\mathcal{H}}_1$, whose data was previously unknown.

arXiv comment15+10 pages, 1 figure, 1 table, published version, original formatting

References in corpus (14)

• Anyons in an exactly solved model and beyond
• String-net condensation: A physical mechanism for topological phases
• Interacting anyons in topological quantum liquids: The golden chain
• Exotic subfactors of finite depth with Jones indices (5+sqrt{13})/2 and (5+sqrt{17})/2
• Operator algebras in rigid C*-tensor categories
• Fermion condensation and super pivotal categories
• The exoticness and realisability of twisted Haagerup-Izumi modular data
• Quantum subgroups of the Haagerup fusion categories
• Clebsch-Gordan and 6j-coefficients for rank two quantum groups
• Computing data for Levin-Wen with defects
• Fusing Binary Interface Defects in Topological Phases: The $\mathrm{Vec}(\mathbb{Z}/p\mathbb{Z})$ case
• A Remark on CFT Realization of Quantum Doubles of Subfactors. Case Index < 4
• The F-Symbols for the H3 Fusion Category
• Computing Defects Associated to Bounded Domain Wall Structures: The $\mathrm{Vec}(\mathbb{Z}/p\mathbb{Z})$ Case

Cited by in corpus (12)

• Remarks on Boundaries, Anomalies, and Noninvertible Symmetries
• Gapped Phases with Non-Invertible Symmetries: (1+1)d
• Non-Abelian braiding of Fibonacci anyons with a superconducting processor
• On Triality Defects in 2d CFT
• Noninvertible Symmetry-Resolved Affleck-Ludwig-Cardy Formula and Entanglement Entropy from the Boundary Tube Algebra
• Invertible bimodule categories and generalized Schur orthogonality
• Entanglement and the density matrix renormalisation group in the generalised Landau paradigm
• Weak Hopf symmetry and tube algebra of the generalized multifusion string-net model
• Bulk-to-boundary anyon fusion from microscopic models
• Weak Hopf tube algebra for domain walls between 2d gapped phases of Turaev-Viro TQFTs
• From gauging to duality in one-dimensional quantum lattice models
• Categorical Quantum Volume Operator