Bulk-boundary correspondence of (1+1)D symmetric gapped phases
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 π, an indecomposable semisimple right π-module category β³, a Q-system Qβπ specifying the bulk phase, and a right Q-module Kββ³Q, regarded as an object of β³Qop, specifying the boundary. We prove that these Hamiltonians have unique ground states and that the resulting realization functor β³QopβBCond is an equivalence, so simple boundary conditions are classified by simple objects of β³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 (πβ³β¨)rev, and the canonical action of the bulk DHR category on it agrees with the categorical action of Z1(πrev). Finally, we identify the action of the boundary DHR category on boundary conditions with the categorical action of (πβ³β¨)rev on β³Qop. 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.
Related
- A bulk--edge correspondence for two-dimensional self-adjoint boundary and interface problems
- Kubo Formulas and Bulk-Edge Correspondence for Curved Boundaries
- ODE/IM Correspondence at the Free-Fermion Point. Laguerre Wronskians, Shifted Symmetric Functions, and Quantum KdV
- Boundary Quantum Knizhnik-Zamolodchikov Equations and Integrability of Quantum Field Theories with Time-Dependent Bulk and Boundary Coupling Strengths
- Nonlinear SBP operators for stable approximations of skew-symmetric hyperbolic initial boundary value problems
BibTeX
@misc{ma2026bulkboundary,
title = {{Bulk-boundary correspondence of (1+1)D symmetric gapped phases}},
author = {Yizhou Ma and Gen Yue and Tian Lan},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2606.19137},
eprint = {2606.19137},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2606.19137},
}
RIS
TY - UNPB
TI - Bulk-boundary correspondence of (1+1)D symmetric gapped phases
AU - Yizhou Ma
AU - Gen Yue
AU - Tian Lan
PY - 2026
DA - 2026/09/03
PB - arXiv
DO - 10.48550/arxiv.2606.19137
UR - https://arxiv.org/abs/2606.19137
AB - 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 π, an indecomposable semisimple right π-module category β³, a Q-system Qβπ specifying the bulk phase, and a right Q-module Kββ³_Q, regarded as an object of β³_Q^op, specifying the boundary. We prove that these Hamiltonians have unique ground states and that the resulting realization functor β³_Q^opβBCond is an equivalence, so simple boundary conditions are classified by simple objects of β³_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 (π_β³^β¨)^rev, and the canonical action of the bulk DHR category on it agrees with the categorical action of Z_1(π^rev). Finally, we identify the action of the boundary DHR category on boundary conditions with the categorical action of (π_β³^β¨)^rev on β³_Q^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.
ER -