AlgebrasTQD: Computing Algebras and Interfaces in Twisted Quantum Doubles
cond-mat.str-el, hep-th, math.QA, quant-ph
Submitted: 2026-10-26
Updated: 2026-10-26
Comments: 38 pages, companion paper to the code at https://github.com/AlisonWarman/AlgebrasTQD
License: http://creativecommons.org/licenses/by/4.0/
The gist: We present AlgebrasTQD, an open-source code written in GAP (Groups, Algorithms, and Programming), for computing condensable algebras and the corresponding topological boundaries and interfaces of
Abstract
We present AlgebrasTQD, an open-source code written in GAP (Groups, Algorithms, and Programming), for computing condensable algebras and the corresponding topological boundaries and interfaces of twisted quantum doubles D ω(G). These algebras can be used to classify 1+1d gapped and gapless phases whose symmetry is related by gauging to a finite group G with anomaly ω in H 3(G,U(1)), to study 2+1d anyon proliferation and to construct logical gates in non-Abelian topological quantum codes. The functions in AlgebrasTQD compute all condensable algebras A(H,F,γ,ε) with their algebra structure and anyons, sort them into isomorphism classes and identify the twin algebras that are inequivalent but share the same anyon decomposition. AlgebrasTQD also determines all the subalgebra relations, the corresponding Hasse diagram and the types of 1+1d phases for any chosen, possibly non-invertible, group-theoretical symmetry. For non-maximal algebras, the code computes the reduced topological order with its 3-cocycle and the map of anyons across the topological interface. Finally, AlgebrasTQD includes functions that construct certain non-Clifford logical gates via non-Abelian surface codes. We summarize the formulas that are implemented in the AlgebrasTQD code, and we illustrate its use with Abelian and non-Abelian groups including Z 2 cubed with ω III, D 8, A 4 with and without anomaly, twin algebras and twin phases, and the Clifford-hierarchy gates in quantum doubles of dihedral groups. All arithmetic is exact and AlgebrasTQD can be used with any finite group G and 3-cocycle ω, limited only by the time and size of the calculation. The code is available at https://github.com/AlisonWarman/AlgebrasTQD
Related papers
- Microscopic Constructions of the BF+AAB Topological Field Theory and Borromean-Rings Braiding in (3+1) Dimensions
- Transport in the emergent Bose liquid: Bad metal, strange metal, and weak insulator, all in one system
- Nature of magnetism in bilayer nickelate La3Ni2O7 single crystals
- Universal orbital and magnetic structures in infinite-layer nickelates
- Graph-Theoretic Formulation of Hamiltonian and Ground-State Sign Structures in Heisenberg Antiferromagnets
- NESSi 2.0: The Non-Equilibrium Systems Simulation package version 2.0