Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2506.19969

Holography for bulk-boundary local topological order

Corey Jones, Pieter Naaijkens, David Penneys

Published Jun 24, 2025• 0 citations
arXivHTMLPDF

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 (associated to a cut of the lattice) 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 (domain wall with the trivial phase), 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]. The superselection sectors recover the underlying unitary category of our UBFC, and it was recently proven in [arXiv:2609.20725] that the superselection category also captures the fusion and braiding.

DOI
10.48550/arxiv.2506.19969

Related papers

Boundary algebras of the Kitaev Quantum Double model

Mario Tomba, Shuqi Wei, Brett Hungar +4 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.

arXiv:2309.13440•Sep 23, 2023•0 citations

Local topological order and boundary algebras

Corey Jones, Pieter Naaijkens, David Penneys +2 more

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 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 [Oga24] that the bulk cone von Neumann algebra in the Toric Code is of type $\mathrm {II}$ , and we show that Levin-Wen models can have cone algebras of type $\mathrm {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.

arXiv:2307.12552•Forum of Mathematics Sigma•Jan 1, 2025•5 citations

Local topological order, Haag duality, and reflection positivity

Pieter Naaijkens, David Penneys, Daniel Wallick

In our previous article [arXiv:2307.12552], we introduced local topological order (LTO) axioms for abstract quantum spin systems which allow one to access topological order via a boundary algebra construction. Using the LTO axioms, we produced a canonical pure state on the quasi-local algebra, which gives a net of von Neumann algebras associated to a poset of cones in $\mathbb{R}^n$. In this article, motivated by [arXiv:2509.23734], we introduce an axiom for LTOs which ensures Haag duality for cone-like regions using Tomita-Takesaki theory. We prove this axiom is satisfied for all known topologically ordered commuting projector models. We thus get an independent proof of Haag duality for the Levin-Wen string net models originally proved in [arXiv:2509.23734]. We also give a reflection positivity axiom for LTOs, connecting to the recent article [arXiv:2510.20662]. We again prove this axiom is satisfied for all known topologically ordered commuting projector models about some $\mathbb{Z}/2$-reflection symmetry.

math-phCross-listedarXiv:2605.10693•May 12, 2026•0 citations

Frustration-Free Models for Topological Holography: Fusion Spin Chains as Boundary Algebras

Zhengwei Liu, Zishuo Zhao

We introduce a class of $2d$ quantum spin systems based on a unitary spherical fusion category with a chosen object. These models have frustration-free, reflection positive, but generally non-commuting local interactions, generalizing the Levin-Wen string-net models. Based on the theory developed in arXiv:2510.20662, we explicitly realize the Temperley-Lieb-Jones algebra, and more generally fusion spin chains as their boundary algebras.

math-phCross-listedarXiv:2609.28120•Sep 24, 2026•0 citations

Boundary algebras of the Kitaev quantum double model

Chian Yeong Chuah, Brett Hungar, Kyle Kawagoe +4 more

The recent article by Jones et al. [arXiv:2307.12552 (2023)] 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 (Hilb(G),C[G]) or (Rep(G),CG) depending on whether the boundary cut is rough or smooth, respectively. This allows us to make connections to the work of Ogata [Ann. Henri Poincaré 25, 2353–2387 (2024)] 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.

Journal of Mathematical Physics•Oct 1, 2024•8 citations

Superselection theory for 2D braided quantum spin systems via Connes fusion

Gregory Faurot, C.H. Li, David Penneys +1 more

The article arXiv:2410.21454 constructed a braided $\mathrm{W^*}$-tensor category of superselection sectors associated to a net of von Neumann algebras on a suitably geometric poset using localized and transportable endomorphisms. In this article, we construct an equivalent tensor product and braiding using the Connes fusion tensor product without localizing, using ideas from arXiv:1812.04470 for conformal nets. As an application, we prove that the category of superselection sectors associated to the 2D braided quantum spin system constructed from a unitary braided fusion category $\mathcal{B}$ in arXiv:2506.19969 is equivalent to $\mathsf{Hilb}(\mathcal{B})^{\rm op}$, the opposite of the unitary ind-completion of $\mathcal{B}$, as a braided $\mathrm{W^*}$-tensor category.

arXiv:2609.20725•Sep 17, 2026•0 citations
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 (associated to a cut of the lattice) 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 (domain wall with the trivial phase), 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]. The superselection sectors recover the underlying unitary category of our UBFC, and it was recently proven in [arXiv:2609.20725] that the superselection category also captures the fusion and braiding.
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 GGG. We identify the boundary nets of algebras with fusion categorical nets associated to (Hilb(G),C[G])(\mathsf{Hilb}(G),\mathbb{C}[G])(Hilb(G),C[G]) or (Rep(G),CG)(\mathsf{Rep}(G),\mathbb{C}^G)(Rep(G),CG) 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 GGG-symmetry protected topological phase (GGG-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.
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 Zk\mathbb {Z}^{k}Zk , we define a local net of boundary algebras on Zk−1\mathbb {Z}^{k-1}Zk−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 [Oga24] that the bulk cone von Neumann algebra in the Toric Code is of type II\mathrm {II}II , and we show that Levin-Wen models can have cone algebras of type III\mathrm {III}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.
In our previous article [arXiv:2307.12552], we introduced local topological order (LTO) axioms for abstract quantum spin systems which allow one to access topological order via a boundary algebra construction. Using the LTO axioms, we produced a canonical pure state on the quasi-local algebra, which gives a net of von Neumann algebras associated to a poset of cones in Rn\mathbb{R}^nRn. In this article, motivated by [arXiv:2509.23734], we introduce an axiom for LTOs which ensures Haag duality for cone-like regions using Tomita-Takesaki theory. We prove this axiom is satisfied for all known topologically ordered commuting projector models. We thus get an independent proof of Haag duality for the Levin-Wen string net models originally proved in [arXiv:2509.23734]. We also give a reflection positivity axiom for LTOs, connecting to the recent article [arXiv:2510.20662]. We again prove this axiom is satisfied for all known topologically ordered commuting projector models about some Z/2\mathbb{Z}/2Z/2-reflection symmetry.
We introduce a class of 2d2d2d quantum spin systems based on a unitary spherical fusion category with a chosen object. These models have frustration-free, reflection positive, but generally non-commuting local interactions, generalizing the Levin-Wen string-net models. Based on the theory developed in arXiv:2510.20662, we explicitly realize the Temperley-Lieb-Jones algebra, and more generally fusion spin chains as their boundary algebras.
The recent article by Jones et al. [arXiv:2307.12552 (2023)] 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 (Hilb(G),C[G]) or (Rep(G),CG) depending on whether the boundary cut is rough or smooth, respectively. This allows us to make connections to the work of Ogata [Ann. Henri Poincaré 25, 2353–2387 (2024)] 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.
The article arXiv:2410.21454 constructed a braided W∗\mathrm{W^*}W∗-tensor category of superselection sectors associated to a net of von Neumann algebras on a suitably geometric poset using localized and transportable endomorphisms. In this article, we construct an equivalent tensor product and braiding using the Connes fusion tensor product without localizing, using ideas from arXiv:1812.04470 for conformal nets. As an application, we prove that the category of superselection sectors associated to the 2D braided quantum spin system constructed from a unitary braided fusion category B\mathcal{B}B in arXiv:2506.19969 is equivalent to Hilb(B)op\mathsf{Hilb}(\mathcal{B})^{\rm op}Hilb(B)op, the opposite of the unitary ind-completion of B\mathcal{B}B, as a braided W∗\mathrm{W^*}W∗-tensor category.