AlgebrasTQD: Computing Algebras and Interfaces in Twisted Quantum Doubles

arXiv:2610.36029 · cond-mat.str-el, hep-th, math.QA, quant-ph · Submitted 2026-10-26 · Read on arXiv

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