Search

Motivated by the fundamental role that bosonic and fermionic symmetries play in physics, we study (non-invertible) one-form symmetries in $2 + 1$d consisting of topological lines with bosonic and fermionic self-statistics. We refer to these lines as Bose-Fermi-Braided (BFB) symmetries and argue that they can be classified. Unlike the case of generic anyonic lines, BFB symmetries are closely related to groups. In particular, when BFB lines are non-invertible, they are non-intrinsically non-invertible. Moreover, BFB symmetries are, in a categorical sense, weakly group theoretical. Using this understanding, we study invariants of renormalization group flows involving non-topological QFTs with BFB symmetry., Comment: 56 pages and 10 figures

We study the anomalies of non-invertible symmetries in 1+1D QFTs using gapped boundaries of its SymTFT. We establish the explicit relation between Lagrangian algebras which determine gapped boundaries of the SymTFT, and algebras which determine non-anomalous/gaugeable topological line operators in the 1+1D QFT. If the Lagrangian algebras in the SymTFT are known, this provides a method to compute algebras in all fusion categories that share the same SymTFT. We find necessary conditions that a line operator in the SymTFT must satisfy for the corresponding line operator in the 1+1D QFT to be non-anomalous. We use this constraint to show that a non-invertible symmetry admits a 1+1D trivially gapped phase if and only if the SymTFT admits a magnetic Lagrangian algebra. We define a process of transporting non-anomalous line operators between fusion categories which share the same SymTFT and apply this method to the three Haagerup fusion categories., Comment: 72 pages, 24 figures

We study general maps from the space of rational CFTs with a fixed chiral algebra and associated Chern-Simons (CS) theories to the space of qudit stabilizer codes with a fixed generalized Pauli group. We consider certain natural constraints on such a map and show that the map can be described as a graph homomorphism from an orbifold graph, which captures the orbifold structure of CFTs, to a code graph, which captures the structure of self-dual stabilizer codes. By studying explicit examples, we show that this graph homomorphism cannot always be a graph embedding. However, we construct a physically motivated map from universal orbifold subgraphs of CFTs to operators in a generalized Pauli group. We show that this map results in a self-dual stabilizer code if and only if the surface operators in the bulk CS theories corresponding to the CFTs in question are self-dual. For CFTs admitting a stabilizer code description, we show that the full abelianized generalized Pauli group can be obtained from twisted sectors of certain 0-form symmetries of the CFT. Finally, we connect our construction with SymTFTs, and we argue that many equivalences between codes that arise in our setup correspond to equivalence classes of bulk topological surfaces under fusion with invertible surfaces., Comment: 57 pages, 12 figures

We characterize discrete (anti-)unitary symmetries and their non-invertible generalizations in $2+1$d topological quantum field theories (TQFTs) through their actions on line operators and fusion spaces. We explain all possible sources of non-invertibility that can arise in this context. Our approach gives a simple $2+1$d proof that non-invertible generalizations of unitary symmetries exist if and only if a bosonic TQFT contains condensable bosonic line operators (i.e., these non-invertible symmetries are necessarily "non-intrinsic"). Moving beyond unitary symmetries and their non-invertible cousins, we define a non-invertible generalization of time-reversal symmetries and derive various properties of TQFTs with such symmetries. Finally, using recent results on 2-categories, we extend our results to corresponding statements in $2+1$d quantum field theories that are not necessarily topological., Comment: 79 pages, 33 figures

Integrality properties of partial sums over irreducible representations, along columns of character tables of finite groups, were recently derived using combinatorial topological string theories (CTST). These CTST were based on Dijkgraaf-Witten theories of flat $G$-bundles for finite groups $G$ in two dimensions, denoted $G$-TQFTs. We define analogous combinatorial topological strings related to two dimensional TQFTs based on fusion coefficients of finite groups. These TQFTs are denoted as $R(G)$-TQFTs and allow analogous integrality results to be derived for partial row sums of characters over conjugacy classes along fixed rows. This relation between the $G$-TQFTs and $R(G)$-TQFTs defines a row-column duality for character tables, which provides a physical framework for exploring the mathematical analogies between rows and columns of character tables. These constructive proofs of integrality are complemented with the proof of similar and complementary results using the more traditional Galois theoretic framework for integrality properties of character tables. The partial row and column sums are used to define generalised partitions of the integer row and column sums, which are of interest in combinatorial representation theory., Comment: 52 pages + Appendices ; 5 Figures

Gauging a finite group 0-form symmetry $G$ of a quantum field theory (QFT) results in a QFT with a Rep$(G)$ symmetry implemented by Wilson lines. The group $G$ determines the fusion of Wilson lines. However, in general, the fusion rules of Wilson lines do not determine $G$. In this paper, we study the properties of $G$ that can be determined from the fusion rules of Wilson lines and surface operators obtained from higher-gauging Wilson lines. This is in the spirit of Richard Brauer who asked what information in addition to the character table of a finite group needs to be known to determine the group. We show that fusion rules of surface operators obtained from higher-gauging Wilson lines can be used to distinguish infinite pairs of groups which cannot be distinguished using the fusion of Wilson lines. We derive necessary conditions for two non-isomorphic groups to have the same surface operator fusion and find a pair of such groups., Comment: 45 pages, 7 figures

We give a general construction relating Narain rational conformal field theories (RCFTs) and associated 3d Chern-Simons (CS) theories to quantum stabilizer codes. Starting from an abelian CS theory with a fusion group consisting of $n$ even-order factors, we map a boundary RCFT to an $n$-qubit quantum code. When the relevant 't Hooft anomalies vanish, we can orbifold our RCFTs and describe this gauging at the level of the code. Along the way, we give CFT interpretations of the code subspace and the Hilbert space of qubits while mapping error operations to CFT defect fields., Comment: 20 pages; 3 figures; 4 appendices

We study Galois actions on $2+1$D topological quantum field theories (TQFTs), characterizing their interplay with theory factorization, gauging, the structure of gapped boundaries and dualities, 0-form symmetries, 1-form symmetries, and 2-groups. In order to gain a better physical understanding of Galois actions, we prove sufficient conditions for the preservation of unitarity. We then map out the Galois orbits of various classes of unitary TQFTs. The simplest such orbits are trivial (e.g., as in various theories of physical interest like the Toric Code, Double Semion, and 3-Fermion Model), and we refer to such theories as unitary "Galois fixed point TQFTs." Starting from these fixed point theories, we study conditions for preservation of Galois invariance under gauging 0-form and 1-form symmetries (as well as under more general anyon condensation). Assuming a conjecture in the literature, we prove that all unitary Galois fixed point TQFTs can be engineered by gauging 0-form symmetries of theories built from Deligne products of certain abelian TQFTs., Comment: 88 pages; 10 figures; 2 appendices; v2: typos fixed; reference added

We study the implications of the anyon fusion equation $a\times b=c$ on global properties of $2+1$D topological quantum field theories (TQFTs). Here $a$ and $b$ are anyons that fuse together to give a unique anyon, $c$. As is well known, when at least one of $a$ and $b$ is abelian, such equations describe aspects of the one-form symmetry of the theory. When $a$ and $b$ are non-abelian, the most obvious way such fusions arise is when a TQFT can be resolved into a product of TQFTs with trivial mutual braiding, and $a$ and $b$ lie in separate factors. More generally, we argue that the appearance of such fusions for non-abelian $a$ and $b$ can also be an indication of zero-form symmetries in a TQFT, of what we term "quasi-zero-form symmetries" (as in the case of discrete gauge theories based on the largest Mathieu group, $M_{24}$), or of the existence of non-modular fusion subcategories. We study these ideas in a variety of TQFT settings from (twisted and untwisted) discrete gauge theories to Chern-Simons theories based on continuous gauge groups and related cosets. Along the way, we prove various useful theorems., Comment: 65 pages; 3 figures; 3 appendices; v2: some clarifications in section 3; reference added; v3: brief additional discussion in introduction and references added; v4: summary of results added, typos fixed, additional discussion--to appear in Quantum

Long ago, Arad and Herzog (AH) conjectured that, in finite simple groups, the product of two conjugacy classes of length greater than one is never a single conjugacy class. We discuss implications of this conjecture for non-abelian anyons in 2+1-dimensional discrete gauge theories. Thinking in this way also suggests closely related statements about finite simple groups and their associated discrete gauge theories. We prove these statements and provide some physical intuition for their validity. Finally, we explain that the lack of certain dualities in theories with non-abelian finite simple gauge groups provides a non-trivial check of the AH conjecture., Comment: 10 pages; 3 figures; 2 Appendices; v2: references updated and additional results added

We revisit certain natural algebraic transformations on the space of 3D topological quantum field theories (TQFTs) called "Galois conjugations." Using a notion of multiboundary entanglement entropy (MEE) defined for TQFTs on compact 3-manifolds with disjoint boundaries, we give these abstract transformations additional physical meaning. In the process, we prove a theorem on the invariance of MEE along orbits of the Galois action in the case of arbitrary Abelian theories defined on any link complement in $S^3$. We then give a generalization to non-Abelian TQFTs living on certain infinite classes of torus link complements. Along the way, we find an interplay between the modular data of non-Abelian TQFTs, the topology of the ambient spacetime, and the Galois action. These results are suggestive of a deeper connection between entanglement and fusion., Comment: 11 figures; 3 appendices