pith. sign in

arxiv: 2606.19137 · v1 · pith:R3CDJT3Mnew · submitted 2026-06-17 · 🧮 math-ph · cond-mat.str-el· math.MP

Bulk-boundary correspondence of (1+1)D symmetric gapped phases

Yizhou Ma , Gen Yue , Tian Lan This is my paper

Pith reviewed 2026-06-26 18:59 UTC · model grok-4.3

classification 🧮 math-ph cond-mat.str-elmath.MP
keywords bulk-boundary correspondencefusion categoriesgapped phasesboundary conditionsDHR bimodulesmodule categoriesQ-systemsone-dimensional systems
0
0 comments X

The pith

The realization functor from M_Q^op to boundary conditions is an equivalence for one-dimensional gapped phases with categorical symmetry.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper develops an operator-algebraic framework that builds half-infinite fusion spin chains and commuting-projector boundary Hamiltonians directly in the thermodynamic limit. The input data consists of a unitary fusion category C, an indecomposable semisimple right C-module category M, a Q-system Q in C that fixes the bulk phase, and a right Q-module K in M_Q that fixes the boundary. The authors prove that the resulting Hamiltonians have unique ground states. They establish that the realization functor M_Q^op to the category of boundary conditions is an equivalence, so boundaries are classified by objects of M_Q^op. The work also yields a one-dimensional bulk-boundary correspondence in which the enriched monoidal category for the bulk equals the enriched center of the enriched category for the boundary.

Core claim

Working directly in the thermodynamic limit, the authors construct half-infinite fusion spin chains and commuting-projector boundary Hamiltonians from a unitary fusion category C, an indecomposable semisimple right C-module category M, a Q-system Q in C specifying the bulk phase, and a right Q-module K in M_Q, regarded as an object of M_Q^op, specifying the boundary. They prove that these Hamiltonians have unique ground states and that the resulting realization functor M_Q^op to BCond is an equivalence, so simple boundary conditions are classified by simple objects of M_Q and general boundary conditions by their finite direct sums. They give a microscopic formulation of the boundary symmetry

What carries the argument

The realization functor M_Q^op to BCond, which maps objects of the opposite right Q-module category to boundary conditions and is proved to be an equivalence of categories.

If this is right

  • Simple boundary conditions correspond one-to-one with simple objects of M_Q.
  • General boundary conditions correspond to finite direct sums of those simple objects.
  • The boundary DHR category is monoidally equivalent to (C_M^vee)^rev.
  • The canonical action of the bulk DHR category on the boundary DHR category agrees with the action of Z_1(C^rev).
  • The action of the boundary DHR category on boundary conditions agrees with the categorical action of (C_M^vee)^rev on M_Q^op.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same categorical data that labels boundaries could be used to construct explicit commuting-projector Hamiltonians for new families of gapped phases.
  • The enriched-center relation may supply a practical test: compute the boundary DHR category from microscopic data and check whether its center reproduces known bulk invariants.
  • The framework suggests that any two boundaries related by an object of M_Q^op can be connected by a finite sequence of local modifications that preserve the unique ground-state property.
  • The operator-algebraic construction might adapt to systems whose symmetry is described by a different module category structure, provided the semisimplicity assumptions hold.

Load-bearing premise

The construction requires that an indecomposable semisimple right C-module category M and a right Q-module K in M_Q exist and satisfy the stated semisimplicity and indecomposability conditions.

What would settle it

A symmetric gapped phase whose admissible boundary conditions cannot be placed in bijection with the objects of any M_Q^op, or for which the realization functor fails to be fully faithful or essentially surjective.

Figures

Figures reproduced from arXiv: 2606.19137 by Gen Yue, Tian Lan, Yizhou Ma.

Figure 1
Figure 1. Figure 1: Definition of Std, which will be called Rea [PITH_FULL_IMAGE:figures/full_fig_p015_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The Frobenius conditions ensure that scr( [PITH_FULL_IMAGE:figures/full_fig_p020_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Definition of ReaBCond. This idea could be further formulated in terms of modules of the quasi-local algebra, as a pure state could be translated by the GNS construction into a simple module; conversely, given a simple module M and any unit vector v ∈ M, ⟨v| − ·v⟩ : Loc → C is a pure state. Therefore, a simple boundary condition of a Q-system model may be defined as a simple object M ∈ Mod(Loc) such that t… view at source ↗
Figure 4
Figure 4. Figure 4: Each oval denotes a lattice site, the red dashed lines denote the interactions. [PITH_FULL_IMAGE:figures/full_fig_p031_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The bending isomorphism allows comparing Rea [PITH_FULL_IMAGE:figures/full_fig_p044_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Complete description of 1D symmetric gapped phases with gapped boundary. [PITH_FULL_IMAGE:figures/full_fig_p045_6.png] view at source ↗
read the original abstract

We develop an operator-algebraic framework for boundary conditions and bulk-boundary correspondence in one-dimensional gapped phases with categorical symmetry. Working directly in the thermodynamic limit, we construct half-infinite fusion spin chains and commuting-projector boundary Hamiltonians from a unitary fusion category $\mathcal{C}$, an indecomposable semisimple right $\mathcal{C}$-module category $\mathcal{M}$, a Q-system $Q\in\mathcal{C}$ specifying the bulk phase, and a right $Q$-module $K\in\mathcal{M}_{Q}$, regarded as an object of $\mathcal{M}_{Q}^{\mathrm{op}}$, specifying the boundary. We prove that these Hamiltonians have unique ground states and that the resulting realization functor $\mathcal{M}_{Q}^{\mathrm{op}}\to\mathrm{BCond}$ is an equivalence, so simple boundary conditions are classified by simple objects of $\mathcal{M}_{Q}$ and general boundary conditions by their finite direct sums. We also give a microscopic formulation of the boundary symmetry topological field theory using DHR bimodules of the boundary quasi-local algebra. For a half-infinite fusion spin chain, the boundary DHR category is monoidally equivalent to $(\mathcal{C}_{\mathcal{M}}^{\vee})^{\mathrm{rev}}$, and the canonical action of the bulk DHR category on it agrees with the categorical action of $Z_1(\mathcal{C}^{\mathrm{rev}})$. Finally, we identify the action of the boundary DHR category on boundary conditions with the categorical action of $(\mathcal{C}_{\mathcal{M}}^{\vee})^{\mathrm{rev}}$ on $\mathcal{M}_{Q}^{\mathrm{op}}$. This yields a one-dimensional bulk-boundary correspondence: the enriched monoidal category describing the bulk is the enriched center of the enriched category describing the boundary.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper develops an operator-algebraic framework for boundary conditions and bulk-boundary correspondence in (1+1)D gapped phases with categorical symmetry. Working in the thermodynamic limit, it constructs half-infinite fusion spin chains and commuting-projector boundary Hamiltonians from a unitary fusion category C, an indecomposable semisimple right C-module category M, a Q-system Q in C, and a right Q-module K in M_Q (regarded as an object of M_Q^op). The authors prove that these Hamiltonians have unique ground states, that the realization functor M_Q^op → BCond is an equivalence (classifying simple boundary conditions by simple objects of M_Q and general ones by finite direct sums), and establish a microscopic formulation of the boundary symmetry TFT via DHR bimodules. This yields monoidal equivalence of the boundary DHR category to (C_M^vee)^rev, agreement of the bulk DHR action with Z_1(C^rev), and identification of the boundary DHR action on boundary conditions with the categorical action of (C_M^vee)^rev on M_Q^op, implying that the enriched monoidal category for the bulk is the enriched center of that for the boundary.

Significance. If the results hold, the work supplies a rigorous, functorial classification of boundary conditions for symmetric gapped phases directly from categorical input data, together with explicit Hamiltonian realizations and DHR-category identifications that realize the bulk-boundary correspondence at the level of enriched centers. The operator-algebraic treatment in the thermodynamic limit and the explicit equivalence proofs constitute a concrete advance over purely categorical or finite-system approaches, with potential applications to the classification of topological phases and symmetry-protected boundary modes.

minor comments (2)
  1. [Abstract] The abstract packs multiple technical claims into a single paragraph; splitting the statement of the main theorem into enumerated items would improve readability without altering content.
  2. Notation for the opposite category (M_Q^op) and the reversed category (rev) is used consistently in the abstract but should be cross-checked against the first appearance in the main text to ensure no ambiguity for readers unfamiliar with the enriched-center construction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of our manuscript on the operator-algebraic framework for bulk-boundary correspondence in (1+1)D symmetric gapped phases, as well as for recommending minor revision. The report correctly captures the key constructions involving fusion spin chains, Q-systems, module categories, the realization functor equivalence, and the DHR-category identifications leading to the enriched-center formulation of the correspondence.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper constructs Hamiltonians and boundary conditions directly from independent categorical input data (unitary fusion category C, indecomposable semisimple right C-module category M, Q-system Q in C, and right Q-module K in M_Q). It then proves theorems about uniqueness of ground states and that the realization functor M_Q^op → BCond is an equivalence. These are deductive proofs from the given module-category assumptions rather than reductions of derived quantities back to fitted parameters or self-referential definitions. No load-bearing step relies on self-citation chains, ansatzes smuggled via prior work, or renaming of known results; the central claims remain independent of the paper's own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The framework rests on standard properties of unitary fusion categories and module categories drawn from prior literature; no numerical parameters are fitted and no new physical entities are postulated.

axioms (2)
  • standard math Unitary fusion categories are rigid monoidal semisimple categories with compatible *-structure
    Invoked to define the bulk phase via the Q-system Q in C
  • domain assumption Right module categories M are indecomposable and semisimple
    Required for the construction of M_Q and the equivalence to hold for all simple objects

pith-pipeline@v0.9.1-grok · 5854 in / 1603 out tokens · 35395 ms · 2026-06-26T18:59:24.355786+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

68 extracted references · 53 canonical work pages · 4 internal anchors

  1. [1]

    Local unitary transformation, long-range quantum entanglement, wave function renormalization, and topological order , volume=

    Chen, Xie and Gu, Zheng-Cheng and Wen, Xiao-Gang , year=. Local unitary transformation, long-range quantum entanglement, wave function renormalization, and topological order , volume=. Physical Review B , publisher=. doi:10.1103/physrevb.82.155138 , eprint=

    work page doi:10.1103/physrevb.82.155138

  2. [2]

    Annals of Physics , keywords =

    Fusion rules from entanglement. Annals of Physics , keywords =. doi:10.1016/j.aop.2020.168164 , archivePrefix =. 1906.09376 , primaryClass =

    work page doi:10.1016/j.aop.2020.168164 2020

  3. [3]

    SciPost Physics , keywords =

    Knots and entanglement. SciPost Physics , keywords =. doi:10.21468/SciPostPhys.14.6.141 , archivePrefix =. 2112.08398 , primaryClass =

    work page doi:10.21468/scipostphys.14.6.141

  4. [4]

    1990 , isbn =

    C*-Algebras and Operator Theory , publisher =. 1990 , isbn =. doi:https://doi.org/10.1016/B978-0-08-092496-0.50004-1 , url =

    work page doi:10.1016/b978-0-08-092496-0.50004-1 1990

  5. [5]

    2025 , eprint=

    Condensations in higher categories , author=. 2025 , eprint=

    2025

  6. [6]

    2000 , eprint=

    Isocategorical groups , author=. 2000 , eprint=

    2000

  7. [7]

    Classification of gapped symmetric phases in one-dimensional spin systems , volume=

    Chen, Xie and Gu, Zheng-Cheng and Wen, Xiao-Gang , year=. Classification of gapped symmetric phases in one-dimensional spin systems , volume=. Physical Review B , publisher=. doi:10.1103/physrevb.83.035107 , eprint=

    work page doi:10.1103/physrevb.83.035107

  8. [8]

    Classifying quantum phases using matrix product states and projected entangled pair states , volume=

    Schuch, Norbert and Pérez-García, David and Cirac, Ignacio , year=. Classifying quantum phases using matrix product states and projected entangled pair states , volume=. Physical Review B , publisher=. doi:10.1103/physrevb.84.165139 , eprint=

    work page doi:10.1103/physrevb.84.165139

  9. [9]

    A classification of invertible phases of bosonic quantum lattice systems in one dimension , volume=

    Kapustin, Anton and Sopenko, Nikita and Yang, Bowen , year=. A classification of invertible phases of bosonic quantum lattice systems in one dimension , volume=. Journal of Mathematical Physics , publisher=. doi:10.1063/5.0055996 , eprint=

    work page doi:10.1063/5.0055996

  10. [10]

    Localized endomorphisms in

    Naaijkens, Pieter , year=. Localized endomorphisms in. Reviews in Mathematical Physics , publisher=. doi:10.1142/s0129055x1100431x , eprint=

    work page doi:10.1142/s0129055x1100431x

  11. [11]

    On the Stability of Charges in Infinite Quantum Spin Systems , volume=

    Cha, Matthew and Naaijkens, Pieter and Nachtergaele, Bruno , year=. On the Stability of Charges in Infinite Quantum Spin Systems , volume=. Communications in Mathematical Physics , publisher=. doi:10.1007/s00220-019-03630-1 , eprint=

    work page doi:10.1007/s00220-019-03630-1

  12. [12]

    Communications in Mathematical Physics , author=

    The Category of Anyon Sectors for Non-Abelian Quantum Double Models , volume=. Communications in Mathematical Physics , author=. doi:10.1007/s00220-025-05492-2 , eprint=

    work page doi:10.1007/s00220-025-05492-2

  13. [13]

    Classification of gapped ground state phases in quantum spin systems , booktitle=

    Ogata, Yoshiko , year=. Classification of gapped ground state phases in quantum spin systems , booktitle=. doi:10.4171/icm2022/29 , eprint=

    work page doi:10.4171/icm2022/29

  14. [14]

    A derivation of braided c*-tensor categories from gapped ground states satisfying the approximate haag duality,

    Ogata, Yoshiko , year=. A derivation of braided. Journal of Mathematical Physics , publisher=. doi:10.1063/5.0061785 , eprint=

    work page doi:10.1063/5.0061785

  15. [15]

    Current Developments in Mathematics , author=

    Classification of symmetry protected topological phases in quantum spin chains , volume=. Current Developments in Mathematics , author=. 2020 , pages=. doi:10.4310/cdm.2020.v2020.n1.a2 , eprint=

    work page doi:10.4310/cdm.2020.v2020.n1.a2 2020

  16. [16]

    2024 , eprint=

    Anyonic symmetry fractionalization in SET phases , author=. 2024 , eprint=

    2024

  17. [17]

    2025 , eprint=

    An operator algebraic approach to symmetry defects and fractionalization , author=. 2025 , eprint=

    2025

  18. [18]

    Communications in Mathematical Physics , author=

    Mixed State Topological Order: Operator Algebraic Approach , volume=. Communications in Mathematical Physics , author=. doi:10.1007/s00220-025-05475-3 , eprint=

    work page doi:10.1007/s00220-025-05475-3

  19. [19]

    2015 , eprint=

    Boundary-bulk relation for topological orders as the functor mapping higher categories to their centers , author=. 2015 , eprint=

    2015

  20. [20]

    Boundary-bulk relation in topological orders

    Kong, Liang and Wen, Xiao-Gang and Zheng, Hao. Boundary-bulk relation in topological orders. Nucl. Phys. B. 2017. doi:10.1016/j.nuclphysb.2017.06.023. arXiv:1702.00673

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.nuclphysb.2017.06.023 2017

  21. [21]

    Categories of quantum liquids

    Kong, Liang and Zheng, Hao , year=. Categories of quantum liquids. Journal of High Energy Physics , publisher=. doi:10.1007/jhep08(2022)070 , eprint=

    work page doi:10.1007/jhep08(2022)070 2022

  22. [22]

    Categories of Quantum Liquids

    Kong, Liang and Zheng, Hao , year=. Categories of Quantum Liquids. Communications in Mathematical Physics , publisher=. doi:10.1007/s00220-024-05078-4 , eprint=

    work page doi:10.1007/s00220-024-05078-4

  23. [23]

    On the Classification of Topological Orders , volume=

    Johnson-Freyd, Theo , year=. On the Classification of Topological Orders , volume=. Communications in Mathematical Physics , publisher=. doi:10.1007/s00220-022-04380-3 , eprint=

    work page doi:10.1007/s00220-022-04380-3

  24. [24]

    Category of

    Lan, Tian and Yue, Gen and Wang, Longye , year=. Category of. Journal of High Energy Physics , publisher=. doi:10.1007/jhep11(2024)111 , eprint=

    work page doi:10.1007/jhep11(2024)111 2024

  25. [25]

    A mathematical theory of gapless edges of 2d topological orders

    Kong, Liang and Zheng, Hao , year=. A mathematical theory of gapless edges of 2d topological orders. Part. Journal of High Energy Physics , publisher=. doi:10.1007/jhep02(2020)150 , eprint=

    work page doi:10.1007/jhep02(2020)150 2020

  26. [26]

    Gapless edges of 2d topological orders and enriched monoidal categories , volume=

    Kong, Liang and Zheng, Hao , year=. Gapless edges of 2d topological orders and enriched monoidal categories , volume=. Nuclear Physics B , publisher=. doi:10.1016/j.nuclphysb.2017.12.007 , eprint=

    work page doi:10.1016/j.nuclphysb.2017.12.007 2017

  27. [27]

    Topological phase transition on the edge of two-dimensional topological order , volume=

    Chen, Wei-Qiang and Jian, Chao-Ming and Kong, Liang and You, Yi-Zhuang and Zheng, Hao , year=. Topological phase transition on the edge of two-dimensional topological order , volume=. Physical Review B , publisher=. doi:10.1103/physrevb.102.045139 , eprint=

    work page doi:10.1103/physrevb.102.045139

  28. [28]

    Models for Gapped Boundaries and Domain Walls,

    Kitaev, Alexei and Kong, Liang , year=. Models for Gapped Boundaries and Domain Walls , volume=. Communications in Mathematical Physics , publisher=. doi:10.1007/s00220-012-1500-5 , eprint=

    work page doi:10.1007/s00220-012-1500-5

  29. [29]

    One dimensional gapped quantum phases and enriched fusion categories , volume=

    Kong, Liang and Wen, Xiao-Gang and Zheng, Hao , year=. One dimensional gapped quantum phases and enriched fusion categories , volume=. Journal of High Energy Physics , publisher=. doi:10.1007/jhep03(2022)022 , eprint=

    work page doi:10.1007/jhep03(2022)022 2022

  30. [30]

    Enriched monoidal categories

    Kong, Liang and Yuan, Wei and Zhang, Zhi-Hao and Zheng, Hao , year=. Enriched monoidal categories. Quantum Topology , publisher=. doi:10.4171/qt/217 , eprint=

    work page doi:10.4171/qt/217

  31. [31]

    2022 , eprint=

    An invitation to topological orders and category theory , author=. 2022 , eprint=

    2022

  32. [32]

    Categorical descriptions of one-dimensional gapped phases with Abelian onsite symmetries , volume=

    Xu, Rongge and Zhang, Zhi-Hao , year=. Categorical descriptions of one-dimensional gapped phases with Abelian onsite symmetries , volume=. Physical Review B , publisher=. doi:10.1103/physrevb.110.155106 , eprint=

    work page doi:10.1103/physrevb.110.155106

  33. [33]

    Quantum current and holographic categorical symmetry , volume=

    Lan, Tian and Zhou, Jing-Ren , year=. Quantum current and holographic categorical symmetry , volume=. SciPost Physics , publisher=. doi:10.21468/scipostphys.16.2.053 , eprint=

    work page doi:10.21468/scipostphys.16.2.053

  34. [34]

    2024 , pages=

    Quantum Topology , author=. 2024 , pages=. doi:10.4171/qt/216 , eprint=

    work page doi:10.4171/qt/216 2024

  35. [35]

    On the structure of

    Lucas Hataishi and David Jaklitsch and Corey Jones and Makoto Yamashita , year =. On the structure of. 2504.06094 , archiveprefix =

    arXiv

  36. [36]

    Q-system completion for C ∗ 2-categories.J

    Q-system completion for. Journal of Functional Analysis , author=. 2022 , pages=. doi:10.1016/j.jfa.2022.109524 , eprint=

    work page doi:10.1016/j.jfa.2022.109524 2022

  37. [37]

    Communications in Mathematical Physics , author=

    K-theoretic Classification of Inductive Limit Actions of Fusion Categories on. Communications in Mathematical Physics , author=. doi:10.1007/s00220-024-04969-w , eprint=

    work page doi:10.1007/s00220-024-04969-w

  38. [38]

    A covariant Stinespring theorem , volume =

    Verdon, Dominic , year =. A covariant Stinespring theorem , volume =. Journal of Mathematical Physics , publisher =. doi:10.1063/5.0071215 , eprint =

    work page doi:10.1063/5.0071215

  39. [39]

    Transformation Groups , author=

    Module categories, weak Hopf algebras and modular invariants , volume=. Transformation Groups , author=. 2003 , pages=. doi:10.1007/s00031-003-0515-6 , eprint=

    work page doi:10.1007/s00031-003-0515-6 2003

  40. [40]

    Categorically Morita Equivalent Compact Quantum Groups , volume =

    Neshveyev, Sergey and Yamashita, Makoto , year =. Categorically Morita Equivalent Compact Quantum Groups , volume =. Documenta Mathematica , publisher =. doi:10.4171/dm/672 , eprint =

    work page doi:10.4171/dm/672

  41. [41]

    2025 , eprint=

    Non-invertible SPTs: an on-site realization of (1+1)d anomaly-free fusion category symmetry , author=. 2025 , eprint=

    2025

  42. [42]

    2017 , doi =

    Pieter Naaijkens , title =. 2017 , doi =. 1311.2717 , archivePrefix =

    Pith/arXiv arXiv 2017

  43. [43]

    , address =

    Effros, Edward G. , address =. Dimensions and C*-algebras , year =. doi:10.1090/cbms/046 , url =

    work page doi:10.1090/cbms/046

  44. [44]

    Distortion for multifactor bimodules and representations of multifusion categories , volume =

    Bischoff, Marcel and Charlesworth, Ian and Evington, Samuel and Giorgetti, Luca and Penneys, David , year =. Distortion for multifactor bimodules and representations of multifusion categories , volume =. Documenta Mathematica , publisher =. doi:10.4171/dm/1011 , eprint =

    work page doi:10.4171/dm/1011

  45. [45]

    Tensor categories , isbn =

  46. [46]

    Operator algebras: theory of

    Blackadar, Bruce , year =. Operator algebras: theory of

  47. [47]

    and Sunder, V

    Jones, V. and Sunder, V. S. , doi =. Introduction to Subfactors , publisher =. 1997 , collection =

    1997

  48. [48]

    Journal of Topology and Analysis , volume =

    Das, Paramita and Ghosh, Mainak and Ghosh, Shamindra and Jones, Corey , title =. Journal of Topology and Analysis , volume =. 2025 , doi =. 2211.03822 , archivePrefix =

    arXiv 2025

  49. [49]

    Lectures on topological order:

    Wen, Xiao-Gang , year =. Lectures on topological order:

  50. [50]

    Separable algebras in multitensor

    Giorgetti, Luca and Yuan, Wei and Zhao, XuRui , year=. Separable algebras in multitensor. AIMS Mathematics , publisher=. doi:10.3934/math.2024555 , eprint=

    work page doi:10.3934/math.2024555

  51. [51]

    Realization of rigid

    Giorgetti, Luca and Yuan, Wei , year=. Realization of rigid. Advances in Mathematics , publisher=. doi:10.1016/j.aim.2023.108886 , eprint=

    work page doi:10.1016/j.aim.2023.108886 2023

  52. [52]

    Cluster State as a Noninvertible Symmetry-Protected Topological Phase , volume=

    Seifnashri, Sahand and Shao, Shu-Heng , year=. Cluster State as a Noninvertible Symmetry-Protected Topological Phase , volume=. Physical Review Letters , publisher=. doi:10.1103/physrevlett.133.116601 , eprint=

    work page doi:10.1103/physrevlett.133.116601

  53. [53]

    Transactions of the American Mathematical Society , volume=

    Bratteli, Ola , title=. Transactions of the American Mathematical Society , volume=. 1972 , publisher=

    1972

  54. [54]

    Quantum Field Theory and the Jones Polynomial,

    Witten, Edward. Quantum Field Theory and the Jones Polynomial. Commun. Math. Phys. 1989. doi:10.1007/BF01217730

    work page doi:10.1007/bf01217730 1989

  55. [55]

    String-net condensation: A physical mechanism for topological phases,

    Levin, Michael A. and Wen, Xiao-Gang , year=. String-net condensation:A physical mechanism for topological phases , volume=. Physical Review B , publisher=. doi:10.1103/physrevb.71.045110 , eprint=

    work page doi:10.1103/physrevb.71.045110

  56. [56]

    Ji and X.-G

    Ji, Wenjie and Wen, Xiao-Gang , year=. Categorical symmetry and noninvertible anomaly in symmetry-breaking and topological phase transitions , volume=. Physical Review Research , publisher=. doi:10.1103/physrevresearch.2.033417 , eprint=

    work page doi:10.1103/physrevresearch.2.033417

  57. [57]

    [L¨ ud26] Tim L¨ uders

    Kong, Liang and Lan, Tian and Wen, Xiao-Gang and Zhang, Zhi-Hao and Zheng, Hao , year=. Classification of topological phases with finite internal symmetries in all dimensions , volume=. Journal of High Energy Physics , publisher=. doi:10.1007/jhep09(2020)093 , eprint=

    work page doi:10.1007/jhep09(2020)093 2020

  58. [58]

    and Stern, Ady and Berg, Erez , year=

    Lichtman, Tsuf and Thorngren, Ryan and Lindner, Netanel H. and Stern, Ady and Berg, Erez , year=. Bulk anyons as edge symmetries: Boundary phase diagrams of topologically ordered states , volume=. Physical Review B , publisher=. doi:10.1103/physrevb.104.075141 , eprint=

    work page doi:10.1103/physrevb.104.075141

  59. [59]

    Symmetry as a shadow of topological order and a derivation of topological holographic principle , volume=

    Chatterjee, Arkya and Wen, Xiao-Gang , year=. Symmetry as a shadow of topological order and a derivation of topological holographic principle , volume=. Physical Review B , publisher=. doi:10.1103/physrevb.107.155136 , eprint=

    work page doi:10.1103/physrevb.107.155136

  60. [60]

    Topological holography: Towards a unification of Landau and beyond-Landau physics , volume=

    Moradi, Heidar and Moosavian, Seyed Faroogh and Tiwari, Apoorv , year=. Topological holography: Towards a unification of Landau and beyond-Landau physics , volume=. SciPost Physics Core , publisher=. doi:10.21468/scipostphyscore.6.4.066 , eprint=

    work page doi:10.21468/scipostphyscore.6.4.066

  61. [61]

    Topological symmetry in quantum field theory

    Freed, Daniel S. and Moore, Gregory W. and Constantin Teleman. Topological symmetry in quantum field theory. Quantum Topology. 2024. doi:10.4171/qt/223. arXiv:2209.07471

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4171/qt/223 2024

  62. [62]

    Categorical Landau Paradigm for Gapped Phases , author =. Phys. Rev. Lett. , volume =. 2024 , month =. doi:10.1103/PhysRevLett.133.161601 , eprint =

    work page doi:10.1103/physrevlett.133.161601 2024

  63. [63]

    Condensation completion and defects in 2+1

    Yue, Gen and Wang, Longye and Lan, Tian , journal =. Condensation completion and defects in 2+1. 2025 , month =. doi:10.1103/fgnx-t5bj , eprint =

    work page doi:10.1103/fgnx-t5bj 2025

  64. [64]

    Algebraic higher symmetry and categorical symmetry: a holographic and entanglement view of symmetry , year =

    Kong, Liang and Lan, Tian and Wen, Xiao-Gang and Zhang, Zhi-Hao and Zheng, Hao , journal =. Algebraic higher symmetry and categorical symmetry: a holographic and entanglement view of symmetry , year =. doi:10.1103/physrevresearch.2.043086 , eprint =

    work page doi:10.1103/physrevresearch.2.043086

  65. [65]

    Tube Category, Tensor Renormalization and Topological Holography , year =

    Lan, Tian , journal =. Tube Category, Tensor Renormalization and Topological Holography , year =. doi:10.1007/s00220-025-05383-6 , eprint =

    work page doi:10.1007/s00220-025-05383-6

  66. [66]

    Pro-Tensor Network

    Pro-Tensor Network. arXiv e-prints , keywords =. doi:10.48550/arXiv.2605.06661 , archivePrefix =. 2605.06661 , primaryClass =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2605.06661

  67. [67]

    Journal of High Energy Physics , keywords =

    Orbifold groupoids. Journal of High Energy Physics , keywords =. doi:10.1007/JHEP02(2021)132 , archivePrefix =. 2008.05960 , primaryClass =

    work page doi:10.1007/jhep02(2021)132 2021

  68. [68]

    Symmetry TFTs from String Theory

    Symmetry TFTs from String Theory. Communications in Mathematical Physics , keywords =. doi:10.1007/s00220-023-04737-2 , archivePrefix =. 2112.02092 , primaryClass =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00220-023-04737-2