-
Holography for bulk-boundary local topological order
Authors:
Corey Jones,
Pieter Naaijkens,
David Penneys
Abstract:
In our previous article [arXiv:2307.12552], we introduced local topological order (LTO) axioms for quantum spin systems which allowed us to define a physical boundary manifested by a net of boundary algebras in one dimension lower. This gives a formal setting for topological holography, where the braided tensor category of DHR bimodules of the physical boundary algebra captures the bulk topologica…
▽ More
In our previous article [arXiv:2307.12552], we introduced local topological order (LTO) axioms for quantum spin systems which allowed us to define a physical boundary manifested by a net of boundary algebras in one dimension lower. This gives a formal setting for topological holography, where the braided tensor category of DHR bimodules of the physical boundary algebra captures the bulk topological order.
In this article, we extend the LTO axioms to quantum spin systems equipped with a topological boundary, again producing a physical boundary algebra for the bulk-boundary system, whose category of (topological) boundary DHR bimodules recovers the topological boundary order. We perform this analysis in explicit detail for Levin-Wen and Walker-Wang bulk-boundary systems.
Along the way, we introduce a 2D braided categorical net of algebras built from a unitary braided fusion category (UBFC). Such nets arise as boundary algebras of Walker-Wang models. We consider the canonical state on this braided categorical net corresponding to the standard topological boundary for the Walker-Wang model. Interestingly, in this state, the cone von Neumann algebras are type I with finite dimensional centers, in contrast with the type II and III cone von Neumann algebras from the Levin-Wen models studied in [arXiv:2307.12552]. Their superselection sectors recover the underlying unitary category of our UBFC, and we conjecture the superselection category also captures the fusion and braiding.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
The Classification of Fusion 2-Categories
Authors:
Thibault D. Décoppet,
Peter Huston,
Theo Johnson-Freyd,
Dmitri Nikshych,
David Penneys,
Julia Plavnik,
David Reutter,
Matthew Yu
Abstract:
We classify (multi)fusion 2-categories in terms of braided fusion categories and group cohomological data. This classification is homotopy coherent -- we provide an equivalence between the 3-groupoid of (multi)fusion 2-categories up to monoidal equivalences and a certain 3-groupoid of commuting squares of $\mathrm{B}\mathbb{Z}/2$-equivariant spaces. Rank finiteness and Ocneanu rigidity for fusion…
▽ More
We classify (multi)fusion 2-categories in terms of braided fusion categories and group cohomological data. This classification is homotopy coherent -- we provide an equivalence between the 3-groupoid of (multi)fusion 2-categories up to monoidal equivalences and a certain 3-groupoid of commuting squares of $\mathrm{B}\mathbb{Z}/2$-equivariant spaces. Rank finiteness and Ocneanu rigidity for fusion 2-categories are immediate corollaries of our classification.
△ Less
Submitted 8 November, 2024;
originally announced November 2024.
-
Levin-Wen is a gauge theory: entanglement from topology
Authors:
Kyle Kawagoe,
Corey Jones,
Sean Sanford,
David Green,
David Penneys
Abstract:
We show that the Levin-Wen model of a unitary fusion category $\mathcal{C}$ is a gauge theory with gauge symmetry given by the tube algebra $\operatorname{Tube}(\mathcal{C})$. In particular, we define a model corresponding to a $\operatorname{Tube}(\mathcal{C})$ symmetry protected topological phase, and we provide a gauging procedure which results in the corresponding Levin-Wen model. In the case…
▽ More
We show that the Levin-Wen model of a unitary fusion category $\mathcal{C}$ is a gauge theory with gauge symmetry given by the tube algebra $\operatorname{Tube}(\mathcal{C})$. In particular, we define a model corresponding to a $\operatorname{Tube}(\mathcal{C})$ symmetry protected topological phase, and we provide a gauging procedure which results in the corresponding Levin-Wen model. In the case $\mathcal{C}=\mathsf{Hilb}(G,ω)$, we show how our procedure reduces to the twisted gauging of a trivial $G$-SPT to produce the Twisted Quantum Double. We further provide an example which is outside the bounds of the current literature, the trivial Fibonacci SPT, whose gauge theory results in the doubled Fibonacci string-net. Our formalism has a natural topological interpretation with string diagrams living on a punctured sphere. We provide diagrams to supplement our mathematical proofs and to give the reader an intuitive understanding of the subject matter.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Boundary algebras of the Kitaev Quantum Double model
Authors:
Mario Tomba,
Shuqi Wei,
Brett Hungar,
Daniel Wallick,
Kyle Kawagoe,
Chian Yeong Chuah,
David Penneys
Abstract:
The recent article [arXiv:2307.12552] gave local topological order (LTO) axioms for a quantum spin system, showed they held in Kitaev's Toric Code and in Levin-Wen string net models, and gave a bulk boundary correspondence to describe bulk excitations in terms of the boundary net of algebras. In this article, we prove the LTO axioms for Kitaev's Quantum Double model for a finite group $G$. We iden…
▽ More
The recent article [arXiv:2307.12552] gave local topological order (LTO) axioms for a quantum spin system, showed they held in Kitaev's Toric Code and in Levin-Wen string net models, and gave a bulk boundary correspondence to describe bulk excitations in terms of the boundary net of algebras. In this article, we prove the LTO axioms for Kitaev's Quantum Double model for a finite group $G$. We identify the boundary nets of algebras with fusion categorical nets associated to $(\mathsf{Hilb}(G),\mathbb{C}[G])$ or $(\mathsf{Rep}(G),\mathbb{C}^G)$ depending on whether the boundary cut is rough or smooth respectively. This allows us to make connections to work of Ogata on the type of the cone von Neumann algebras in the algebraic quantum field theory approach to topological superselection sectors. We show that the boundary algebras can also be calculated from a trivial $G$-symmetry protected topological phase ($G$-SPT), and that the gauging map preserves the boundary algebras. Finally, we compute the boundary algebras for the (3+1)D Quantum Double model associated to an abelian group.
△ Less
Submitted 23 September, 2023;
originally announced September 2023.
-
Local topological order and boundary algebras
Authors:
Corey Jones,
Pieter Naaijkens,
David Penneys,
Daniel Wallick
Abstract:
We introduce a set of axioms for locally topologically ordered quantum spin systems in terms of nets of local ground state projections, and we show they are satisfied by Kitaev's Toric Code and Levin-Wen type models. For a locally topologically ordered spin system on $\mathbb{Z}^{k}$, we define a local net of boundary algebras on $\mathbb{Z}^{k-1}$, which provides a mathematically precise algebrai…
▽ More
We introduce a set of axioms for locally topologically ordered quantum spin systems in terms of nets of local ground state projections, and we show they are satisfied by Kitaev's Toric Code and Levin-Wen type models. For a locally topologically ordered spin system on $\mathbb{Z}^{k}$, we define a local net of boundary algebras on $\mathbb{Z}^{k-1}$, which provides a mathematically precise algebraic description of the holographic dual of the bulk topological order. We construct a canonical quantum channel so that states on the boundary quasi-local algebra parameterize bulk-boundary states without reference to a boundary Hamiltonian. As a corollary, we obtain a new proof of a recent result of Ogata [Ann. H. Poincaré 25, 2024] that the bulk cone von Neumann algebra in the Toric Code is of type $\rm{II}$, and we show that Levin-Wen models can have cone algebras of type $\rm{III}$. Finally, we argue that the braided tensor category of DHR bimodules for the net of boundary algebras characterizes the bulk topological order in (2+1)D, and can also be used to characterize the topological order of boundary states.
△ Less
Submitted 12 February, 2025; v1 submitted 24 July, 2023;
originally announced July 2023.
-
Enriched string-net models and their excitations
Authors:
David Green,
Peter Huston,
Kyle Kawagoe,
David Penneys,
Anup Poudel,
Sean Sanford
Abstract:
Boundaries of Walker-Wang models have been used to construct commuting projector models which realize chiral unitary modular tensor categories (UMTCs) as boundary excitations. Given a UMTC $\mathcal{A}$ representing the Witt class of an anomaly, the article [arXiv:2208.14018] gave a commuting projector model associated to an $\mathcal{A}$-enriched unitary fusion category $\mathcal{X}$ on a 2D boun…
▽ More
Boundaries of Walker-Wang models have been used to construct commuting projector models which realize chiral unitary modular tensor categories (UMTCs) as boundary excitations. Given a UMTC $\mathcal{A}$ representing the Witt class of an anomaly, the article [arXiv:2208.14018] gave a commuting projector model associated to an $\mathcal{A}$-enriched unitary fusion category $\mathcal{X}$ on a 2D boundary of the 3D Walker-Wang model associated to $\mathcal{A}$. That article claimed that the boundary excitations were given by the enriched center/Müger centralizer $Z^\mathcal{A}(\mathcal{X})$ of $\mathcal{A}$ in $Z(\mathcal{X})$.
In this article, we give a rigorous treatment of this 2D boundary model, and we verify this assertion using topological quantum field theory (TQFT) techniques, including skein modules and a certain semisimple algebra whose representation category describes boundary excitations. We also use TQFT techniques to show the 3D bulk point excitations of the Walker-Wang bulk are given by the Müger center $Z_2(\mathcal{A})$, and we construct bulk-to-boundary hopping operators $Z_2(\mathcal{A})\to Z^{\mathcal{A}}(\mathcal{X})$ reflecting how the UMTC of boundary excitations $Z^{\mathcal{A}}(\mathcal{X})$ is symmetric-braided enriched in $Z_2(\mathcal{A})$.
This article also includes a self-contained comprehensive review of the Levin-Wen string net model from a unitary tensor category viewpoint, as opposed to the skeletal $6j$ symbol viewpoint.
△ Less
Submitted 19 March, 2024; v1 submitted 23 May, 2023;
originally announced May 2023.
-
A lattice model for condensation in Levin-Wen systems
Authors:
Jessica Christian,
David Green,
Peter Huston,
David Penneys
Abstract:
Levin-Wen string-net models provide a construction of (2+1)D topologically ordered phases of matter with anyonic localized excitations described by the {Drinfeld} center of a unitary fusion category. Anyon condensation is a mechanism for phase transitions between (2+1)D topologically ordered phases. We construct an extension of Levin-Wen models in which tuning a parameter implements anyon condensa…
▽ More
Levin-Wen string-net models provide a construction of (2+1)D topologically ordered phases of matter with anyonic localized excitations described by the {Drinfeld} center of a unitary fusion category. Anyon condensation is a mechanism for phase transitions between (2+1)D topologically ordered phases. We construct an extension of Levin-Wen models in which tuning a parameter implements anyon condensation. We also describe the classification of anyons in Levin-Wen models via representation theory of the tube algebra, and use a variant of the tube algebra to classify low-energy localized excitations in the condensed phase.
△ Less
Submitted 14 March, 2023; v1 submitted 8 March, 2023;
originally announced March 2023.
-
Composing topological domain walls and anyon mobility
Authors:
Peter Huston,
Fiona Burnell,
Corey Jones,
David Penneys
Abstract:
Topological domain walls separating 2+1 dimensional topologically ordered phases can be understood in terms of Witt equivalences between the UMTCs describing anyons in the bulk topological orders. However, this picture does not provide a framework for decomposing stacks of multiple domain walls into superselection sectors - i.e., into fundamental domain wall types that cannot be mixed by any local…
▽ More
Topological domain walls separating 2+1 dimensional topologically ordered phases can be understood in terms of Witt equivalences between the UMTCs describing anyons in the bulk topological orders. However, this picture does not provide a framework for decomposing stacks of multiple domain walls into superselection sectors - i.e., into fundamental domain wall types that cannot be mixed by any local operators. Such a decomposition can be understood using an alternate framework in the case that the topological order is anomaly-free, in the sense that it can be realized by a commuting projector lattice model. By placing these Witt equivalences in the context of a 3-category of potentially anomalous (2+1)D topological orders, we develop a framework for computing the decomposition of parallel topological domain walls into indecomposable superselection sectors, extending the previous understanding to topological orders with non-trivial anomaly. We characterize the superselection sectors in terms of domain wall particle mobility, which we formalize in terms of tunnelling operators. The mathematical model for the 3-category of topological orders is the 3-category of fusion categories enriched over a fixed unitary modular tensor category.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
Spontaneous symmetry breaking from anyon condensation
Authors:
Marcel Bischoff,
Corey Jones,
Yuan-Ming Lu,
David Penneys
Abstract:
In a physical system undergoing a continuous quantum phase transition, spontaneous symmetry breaking occurs when certain symmetries of the Hamiltonian fail to be preserved in the ground state. In the traditional Landau theory, a symmetry group can break down to any subgroup. However, this no longer holds across a continuous phase transition driven by anyon condensation in symmetry enriched topolog…
▽ More
In a physical system undergoing a continuous quantum phase transition, spontaneous symmetry breaking occurs when certain symmetries of the Hamiltonian fail to be preserved in the ground state. In the traditional Landau theory, a symmetry group can break down to any subgroup. However, this no longer holds across a continuous phase transition driven by anyon condensation in symmetry enriched topological orders (SETOs). For a SETO described by a $G$-crossed braided extension $\mathcal{C}\subseteq \mathcal{C}^{\times}_{G}$, we show that physical considerations require that a connected étale algebra $A\in \mathcal{C}$ admit a $G$-equivariant algebra structure for symmetry to be preserved under condensation of $A$. Given any categorical action $\underline{G}\rightarrow \underline{\sf Aut}_{\otimes}^{\sf br}(\mathcal{C})$ such that $g(A)\cong A$ for all $g\in G$, we show there is a short exact sequence whose splittings correspond to $G$-equivariant algebra structures. The non-splitting of this sequence forces spontaneous symmetry breaking under condensation of $A$. Furthermore, we show that if symmetry is preserved, there is a canonically associated SETO of $\mathcal{C}^{\operatorname{loc}}_{A}$, and gauging this symmetry commutes with anyon condensation.
△ Less
Submitted 2 March, 2019; v1 submitted 1 November, 2018;
originally announced November 2018.
