Non-invertible symmetry enriched string net topological orders
Pith reviewed 2026-06-29 09:43 UTC · model grok-4.3
The pith
Non-invertible symmetry enriched topological orders are realized as relative centers of unitary fusion categories in string-net models.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
NI-SETOs are defined and realized in string-net models as the relative center of unitary fusion categories, obtained either from full inclusions or from anyon condensation; both routes produce every possible NI-SETO, and enriched categories placed on the boundary of a 3D Walker-Wang model give chiral realizations whose anomaly is carried by the bulk.
What carries the argument
The relative center of unitary fusion categories, which encodes the full data of the non-invertible symmetry enrichment inside the string-net model.
If this is right
- Every NI-SETO admits a string-net realization via either construction.
- Chiral NI-SETOs appear on the boundary of a 3D Walker-Wang model whose bulk encodes the anomaly.
- Symmetry actions on anyons and defects are computable by tube-algebra techniques in both constructions.
- The two routes (inclusions and condensation) yield equivalent realizations of the same NI-SETO.
Where Pith is reading between the lines
- The relative-center method may extend to other lattice models that support anyonic excitations.
- It supplies a concrete route to classify anomalies associated with non-invertible symmetries in two-dimensional topological phases.
- Tube-algebra computations of defect actions could be used to predict measurable signatures in candidate materials.
Load-bearing premise
The relative-center construction coming from full inclusions of unitary fusion categories or from anyon condensation captures every consistency condition of the symmetry enrichment and introduces no extra anomalies.
What would settle it
An explicit example in which a relative center obtained from a full inclusion or condensation produces an anomaly or consistency violation that is absent from the original non-invertible symmetry data.
Figures
read the original abstract
We propose a definition of a non-invertible symmetry enriched topological order (NI-SETO), and we implement our definition for string net models. We do so in two ways, using full inclusions of unitary fusion categories (UFCs), as well as anyon condensation. In both cases, the NI-SETO is a relative center of UFCs. All NI-SETOs can be realized in either model, where we can use enriched UFCs to get chiral examples on the boundary of a 3D Walker-Wang model representing the anomaly. We describe several examples of NI-SETOs and compute the qualitative symmetry action on anyons and symmetry defects using tube algebra techniques.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a definition of non-invertible symmetry enriched topological orders (NI-SETOs) and implements the definition in string-net models in two ways: via full inclusions of unitary fusion categories (UFCs) and via anyon condensation. In both cases the resulting NI-SETO is realized as a relative center of UFCs. The central claim is that every NI-SETO arises in this manner; the authors further assert that enriched UFCs yield chiral examples realized on the boundary of a 3D Walker-Wang model that encodes the anomaly, and they illustrate the construction with several explicit examples whose symmetry actions on anyons and defects are computed via tube-algebra techniques.
Significance. If the relative-center construction is shown to be complete and anomaly-free, the work supplies a systematic algebraic route to constructing and classifying NI-SETOs, extending the symmetry-enrichment program beyond invertible (group-like) symmetries. The explicit tube-algebra computations for concrete examples and the link to Walker-Wang boundaries constitute verifiable, falsifiable content that strengthens the contribution.
major comments (2)
- [Abstract] Abstract (paragraph on definition and implementation): the claim that 'All NI-SETOs can be realized in either model' rests on the assertion that the relative-center construction obtained from full UFC inclusions or anyon condensation automatically encodes the complete physical data, including consistent fusion of symmetry defects with anyons, higher associators, and anomaly cancellation. The manuscript supplies tube-algebra computations only for examples; a general argument that no extra anomalies or missing consistency conditions are introduced by the construction is required to support the universality statement.
- [Abstract] Abstract (paragraph on definition and implementation): it is not shown that the relative-center output reproduces the full set of braiding and fusion data required for a non-invertible symmetry enrichment; non-group-like fusion rules may impose additional higher-category constraints that are not guaranteed to be satisfied by the relative-center functor alone.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments. Below we respond point-by-point to the major comments, indicating where revisions will be made.
read point-by-point responses
-
Referee: [Abstract] Abstract (paragraph on definition and implementation): the claim that 'All NI-SETOs can be realized in either model' rests on the assertion that the relative-center construction obtained from full UFC inclusions or anyon condensation automatically encodes the complete physical data, including consistent fusion of symmetry defects with anyons, higher associators, and anomaly cancellation. The manuscript supplies tube-algebra computations only for examples; a general argument that no extra anomalies or missing consistency conditions are introduced by the construction is required to support the universality statement.
Authors: We agree that an explicit general argument would strengthen the universality claim. By definition, a NI-SETO is realized as the relative center Z_C(D), which encodes the full module category structure, fusion rules, and associators via the coherence theorems of tensor categories; the string-net and Walker-Wang constructions realize this data without additional anomalies because the anomaly is captured by the 3D bulk. Tube-algebra computations in examples confirm consistency, but we will add a short subsection deriving the absence of extra constraints from the relative-center axioms. revision: yes
-
Referee: [Abstract] Abstract (paragraph on definition and implementation): it is not shown that the relative-center output reproduces the full set of braiding and fusion data required for a non-invertible symmetry enrichment; non-group-like fusion rules may impose additional higher-category constraints that are not guaranteed to be satisfied by the relative-center functor alone.
Authors: The relative center is constructed precisely to include the complete braiding and fusion data between anyons and defects, with non-invertible fusion rules inherited from the UFCs; higher associators and pentagon identities hold by the standard coherence results for fusion categories. The tube algebra extracts this data explicitly in the model. We will revise the definition section to state this more explicitly, though the categorical construction already guarantees it. revision: partial
Circularity Check
No significant circularity detected
full rationale
The paper proposes an independent definition of NI-SETO, then implements that definition in two distinct models (full UFC inclusions and anyon condensation), both of which produce relative centers by construction of the models themselves. The statement that all NI-SETOs are realized in these models follows directly from the proposed definition and the explicit constructions rather than from any fitted parameter, self-citation chain, or renaming of prior results. No equations, self-referential definitions, or load-bearing self-citations appear in the provided text, and the derivation remains self-contained as a mathematical proposal with example computations via tube algebra.
Axiom & Free-Parameter Ledger
Forward citations
Cited by 1 Pith paper
-
Hypergroup Symmetry in Relative Quantum Field Theories and Chiral Algebras
Framework for hypergroup symmetries in relative QFTs establishes one-to-one correspondence between finite symmetries and finite-index conformal embeddings in rational chiral algebras, with implications for gluing left...
Reference graph
Works this paper leans on
-
[1]
Symmetry fractionalization, defects, and gauging of topological phases,
arXiv:1410.4540 DOI:10.1103/PhysRevB.100.115147. [BBJ19] Daniel Barter, Jacob C. Bridgeman, and Corey Jones. Domain walls in topological phases and the Brauer-Picard ring for Vec(Z/pZ).Comm. Math. Phys., 369(3):1167–1185,
-
[2]
Longo-Rehren subfactors arising from $\alpha$-induction
MR3975865 DOI:10.1007/s00220-019-03338-2. [BEK01] Jens B¨ ockenhauer, David E. Evans, and Yasuyuki Kawahigashi. Longo-Rehren subfac- tors arising fromα-induction.Publ. Res. Inst. Math. Sci., 37(1):1–35, 2001.MR1815993 arXiv:math/0002154v1. [Bis16] Marcel Bischoff. Generalized Orbifold Construction for Conformal Nets.Rev. Math. Phys., 29(01):1750002, 2016....
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00220-019-03338-2 2001
-
[3]
MR4642306 DOI:10.1007/jhep09(2023)055 arXiv:2303.04711. 37 [CMR+21] Nils Carqueville, Vincentas Muleviˇ cius, Ingo Runkel, Gregor Schaumann, and Daniel Scherl. Orbifold graph TQFTs, 2021.arXiv:2101.02482. [CMR+24] Nils Carqueville, Vincentas Muleviˇ cius, Ingo Runkel, Gregor Schaumann, and Daniel Scherl. Reshetikhin-Turaev TQFTs close under generalised or...
-
[4]
[CZW19] Shawn Xingshan Cui, Modjtaba Shokrian Zini, and Zhenghan Wang. On generalized symmetries and structure of modular categories.Science China Mathematics, 62(3):417– 446, Mar 2019.MR3905557 DOI:10.1007/s11425-018-9455-5 arXiv:1809.00245. [D´ ec23] Thibault D. D´ ecoppet. The Morita theory of fusion 2-categories.High. Struct., 7(1):234– 292, 2023.MR46...
-
[5]
The Witt group of non-degenerate braided fusion categories
MR3039775 arXiv:1009.2117. [DN21] Alexei Davydov and Dmitri Nikshych. Braided Picard groups and graded extensions of braided tensor categories.Selecta Mathematica, 27(4):65, Jul 2021.MR4281262 DOI:10.1007/s00029-021-00670-1 arXiv:2006.08022. [DNO13] Alexei Davydov, Dmitri Nikshych, and Victor Ostrik. On the structure of the Witt group of braided fusion ca...
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00029-021-00670-1 2021
-
[6]
[GJF19] Davide Gaiotto and Theo Johnson-Freyd
DOI:10.22331/q-2024-03-28-1301 arXiv:2305.14068. [GJF19] Davide Gaiotto and Theo Johnson-Freyd. Condensations in higher categories,
-
[7]
[GMP+23] Pinhas Grossman, Scott Morrison, David Penneys, Emily Peters, and Noah Snyder
arXiv:1905.09566. [GMP+23] Pinhas Grossman, Scott Morrison, David Penneys, Emily Peters, and Noah Snyder. The Extended Haagerup fusion categories.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 56(2):589–664, 2023.MR4598730 DOI:10.24033/asens.2541 arXiv:1810.06076. [GNN09] Shlomo Gelaki, Deepak Naidu, and Dmitri Nikshych. Centers of graded fusion categories. Algebra N...
-
[8]
Symmetry enriched string-nets: Exactly solvable models for SET phases
DOI:10.1103/PhysRevB.94.235136 arXiv:1606.07816. [HBJP23] Peter Huston, Fiona Burnell, Corey Jones, and David Penneys. Composing topological do- main walls and anyon mobility.SciPost Phys., 15(3):Paper No. 076, 85, 2023.MR4640433 doi10.21468/SciPostPhys.15.3.076arXiv:2208.14018. [HKZ24] Po-Shen Hsin, Ryohei Kobayashi, and Carolyn Zhang. Fractionalization ...
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevb.94.235136 2023
-
[9]
Bicommutant categories from fusion categories
[HP17] Andr´ e Henriques and David Penneys. Bicommutant categories from fusion categories. Selecta Math. (N.S.), 23(3):1669–1708, 2017.MR3663592 DOI:10.1007/s00029-016- 0251-0 arXiv:1511.05226. [HP23] Andr´ e Henriques and David Penneys. Representations of fusion categories and their commutants.Selecta Math. (N.S.), 29(3):Paper No. 38, 2023.MR4581741 DOI:...
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00029-016- 2017
-
[10]
[JNP25] Corey Jones, Pieter Naaijkens, and David Penneys
MR4498161 DOI:10.1093/imrn/rnab133 arXiv:1910.03178. [JNP25] Corey Jones, Pieter Naaijkens, and David Penneys. Holography for bulk-boundary local topological order.arXiv:2506.19969,
-
[11]
[Jon83] Vaughan F. R. Jones. Index for subfactors.Invent. Math., 72(1):1–25, 1983.MR696688, DOI:10.1007/BF01389127. [JPR23] Corey Jones, David Penneys, and David Reutter. A 3-categorical perspective onG- crossed braided categories.J. Lond. Math. Soc. (2), 107(1):333–406, 2023.MR4535015 DOI:10.1112/jlms.12687 arXiv:2009.00405. [KC71] Leo P. Kadanoff and Ho...
-
[12]
[KJS+24] Kyle Kawagoe, Corey Jones, Sean Sanford, David Green, and David Penneys
DOI:10.1103/PhysRevB.3.3918. [KJS+24] Kyle Kawagoe, Corey Jones, Sean Sanford, David Green, and David Penneys. Levin-Wen is a Gauge Theory: Entanglement from Topology.Comm. Math. Phys., 405(11):Paper No. 266, 2024.MR4808260 DOI:10.1007/s00220-024-05144-x arXiv:2401.13838. [KK12] Alexei Kitaev and Liang Kong. Models for gapped boundaries and domain walls. ...
-
[13]
[KO02] Alexander Kirillov, Jr. and Viktor Ostrik. On aq-analogue of the McKay correspondence and the ADE classification ofsl 2 conformal field theories.Adv. Math., 171(2):183–227, 2002.MR1936496 arXiv:math.QA/0101219 DOI:10.1006/aima.2002.2072. [Kon14a] L. Kong. Some universal properties of Levin-Wen models. InXVIIth International Con- gress on Mathematic...
-
[14]
Some universal properties of Levin-Wen models
MR3204497 DOI:10.1142/9789814449243 0042 arXiv:1211.4644. [Kon14b] Liang Kong. Anyon condensation and tensor categories.Nuclear Phys. B, 886:436–482, 2014.MR3246855 DOI:10.1016/j.nuclphysb.2014.07.003 arXiv:1307.8244. [KZ18] Liang Kong and Hao Zheng. Drinfeld center of enriched monoidal categories.Adv. Math., 323:411–426, 2018.MR3725882 DOI:10.1016/j.aim....
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1142/9789814449243 2014
-
[15]
DOI:10.1016/j.nuclphysb.2021.115384 arXiv:1912.01760. [Lan37] Lev D. Landau. On the theory of phase transitions.Zh. Eksp. Teor. Fiz., 7(19),
-
[16]
39 [LLB21] Chien-Hung Lin, Michael Levin, and Fiona J
DOI:10.1016/B978-0-08-010586-4.50034-1. 39 [LLB21] Chien-Hung Lin, Michael Levin, and Fiona J. Burnell. Generalized string- net models: A thorough exposition.Phys. Rev. B, 103:195155, May
-
[17]
DOI:10.1103/PhysRevB.103.195155 arXiv:2012.14424. [LW05] Michael A. Levin and Xiao-Gang Wen. String-net condensation: A physi- cal mechanism for topological phases.Phys. Rev. B, 71:045110, Jan
-
[18]
String-net condensation: A physical mechanism for topological phases
DOI:10.1103/PhysRevB.71.045110 arXiv:cond-mat/0404617. [Maj91] Shahn Majid. Representations, duals and quantum doubles of monoidal categories. In Proceedings of the Winter School on Geometry and Physics (Srn´ ı, 1990), number 26, pages 197–206, 1991.MR1151906. [MR22] Vincentas Muleviˇ cius and Ingo Runkel. Constructing modular categories from orb- ifold d...
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevb.71.045110 1990
-
[19]
MR1966525 DOI:10.1016/S0022-4049(02)00248-7 arXiv:math.CT/0111205. [M¨ ug03b] Michael M¨ uger. On the structure of modular categories.Proc. London Math. Soc. (3), 87(2):291–308, 2003.MR1990929 DOI:10.1112/S0024611503014187. [Mul24] Vincentas Muleviˇ cius. Condensation inversion and Witt equivalence via generalised orbifolds.Theory Appl. Categ., 41:Paper N...
-
[20]
Symmetry-enriched topological order in tensor networks: Defects, gauging and anyon condensation
arXiv:1711.07982. [WW12] Kevin Walker and Zhenghan Wang. (3+1)-tqfts and topological insulators.Frontiers of Physics, 7(2):150–159, 2012.DOI:10.1007/s11467-011-0194-z arXiv:1104.2632. [ZW25] Yu Zhao and Yidun Wan. Nonabelian anyon condensation in 2+1d topological orders: A string-net model realization.Journal of High Energy Physics, 2025(5):156, May
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s11467-011-0194-z 2012
-
[21]
DOI:10.1007/JHEP05(2025)156 arXiv:2409.05852. 40
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.