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.

15+10 pages, 1 figure, 1 table, published version, original formatting

References in corpus (2)

• Interacting anyons in topological quantum liquids: The golden chain
• The F-Symbols for the H3 Fusion Category

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