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

Published 17 Jun 2026 in math-ph and cond-mat.str-el | (2606.19137v1)

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.

Abstract PDF Upgrade to Chat

Authors (3)

Summary

The paper introduces a rigorous operator-algebraic framework that unifies microscopic Hamiltonians with categorical descriptions of 1D symmetric gapped phases.
It constructs explicit commuting-projector Hamiltonians using Q-systems and right Q-modules to ensure unique ground states and complete boundary condition classification.
The work generalizes traditional symmetry treatment to include non-invertible fusion categories by linking boundary module structures to the bulk through an enriched center theorem.

Bulk-Boundary Correspondence in (1+1)D Symmetric Gapped Phases: An Operator Algebraic Approach

Introduction and Problem Statement

The paper "Bulk-boundary correspondence of (1+1)D symmetric gapped phases" (2606.19137) provides a mathematically rigorous operator-algebraic framework to define, realize, and classify boundary conditions, Symmetry Topological Field Theories (SymTFTs), and bulk-boundary correspondence for one-dimensional gapped quantum phases with categorical symmetry. It does so by working directly within the thermodynamic limit, employing the algebraic language suited to infinite spin chains, and reconciling microscopic (Hamiltonian) and macroscopic (categorical) pictures under the presence of fusion-categorical (not merely group) symmetry.

The principal technical achievement is to establish a refined bulk-boundary correspondence theorem: the (enriched) monoidal category that describes the bulk phase is identified as the enriched center of the enriched category encoding the boundary, including its boundary SymTFT action. The setting accommodates general unitary fusion categories $C$ as symmetry, right module categories $M$ for boundary charges, $Q$ -systems for bulk phases, and right $Q$ -modules for boundary conditions. The symmetries considered are thus allowed to be non-invertible and possibly non-abelian.

Operator-Algebraic Foundation and Model Construction

The formalism is motivated by foundational and practical needs in condensed matter and mathematical physics:

Infinite Lattice Limit: Only in the thermodynamic limit can distinctions between locality/non-locality, topological phases, and superselection sectors be meaningfully made. The appropriate mathematical object is the AF (approximately finite-dimensional) $C^*$ -algebra of quasi-local observables.
Fusion Spin Chains and Symmetric Operators: The construction of local operator algebras $Loc_I$ for (possibly infinite) intervals employs the data of a unitary fusion category $C$ and a strong generator $x \in C$ , with $C$ interpreted as the category of local symmetry charges. Observables correspond to intertwiners.
Boundary Data via Module Categories: For half-infinite chains (chains with boundaries), the degrees of freedom at the edge are encoded by an indecomposable semisimple right $C$ -module category $M$ 0 and an object $M$ 1. This formalizes the intuition that absorbing bulk symmetry into a boundary requires associativity, tantamount to a module action.

States on these operator algebras (ground states, excited states, or states with defects/boundaries) are positive unital functionals. Their GNS representations yield physically meaningful superselection sectors—simple modules of the algebra of observables—resolving the ambiguity between states and sectors frequently encountered in physical treatments of anyon condensation and defect theory.

Hamiltonian Realizations: Bulk and Boundary Models

For 1D gapped phases with symmetry, the paper builds microscopically explicit commuting-projector Hamiltonians:

Bulk: The phase is specified by a Q-system $M$ 2 (a special Frobenius algebra object), which defines both the physical degrees of freedom and the interaction (e.g., a projector onto the image of Q-system multiplication).
Boundary: A boundary condition is specified by a right $M$ 3-module $M$ 4 (with $M$ 5 simple or a finite sum of such), which sets the edge Hilbert space and its allowed interactions.

Key result: For every such $M$ 6, the thermodynamic Hamiltonian has a unique ground state—the analytic result being made possible by leveraging properties of projectors and the structure of the fixed-point algebra under the screening map.

This construction supports phases with both conventional symmetry ( $M$ 7 for a group $M$ 8) and generalized, even anomalous symmetry.

Category-Theoretic Characterization: Realization and Classification

The main organizational role is played by the realization functors:

Boundary Conditions: The functor $M$ 9 sends right $Q$ 0-modules (equivalently, categorical boundary conditions) to modules of the quasi-local boundary algebra corresponding to actual physical boundary conditions. The functor is constructed via inductive limits (using AF-algebra structure), with morphisms realized as precomposition due to the contravariance.
Classification Theorem: Simple boundary conditions are in bijection with simple right $Q$ 1-modules in $Q$ 2; general boundary conditions are their finite direct sums. This is strictly stronger than previous partial classifications, resolving issues related to direct sums, composite (non-simple) boundaries, and compatibility with non-invertible (generalized) symmetry.

The full faithfulness of $Q$ 3 is proved by comparison of morphism spaces and a detailed analysis of the support and behavior of ground states under the screening map, showing that all physically reasonable boundary conditions arise from categorical data.

Symmetry Topological Field Theory and DHR Categories

To relate "microscopic" (Hamiltonian/AF algebra) and "macroscopic" (categorical) descriptions of symmetry:

Boundary SymTFT: The paper defines the boundary symmetry TFT as the category of DHR (Doplicher-Haag-Roberts) bimodules for the boundary quasi-local algebra, precisely characterizing all possible "boundary-changing" sectors. This is achieved without recourse to non-local operator string constructions, instead using Hilbert bimodules.
Explicit Equivalence: For a half-infinite chain, $Q$ 4 as fusion categories, with the realization functor $Q$ 5 giving a monoidal equivalence that is fully faithful. Physically, all abstract categorical charges/symmetry sectors have boundary-localized representatives.
Bulk Action on the Boundary: The canonical action of the bulk DHR (i.e., $Q$ 6) on the boundary DHR via standard module functors is rigorously constructed, matching the expected categorical action of the Drinfeld center.

Bulk-Boundary Correspondence: Enriched Center Theorem

The central results provide a precise bulk-boundary correspondence for (1+1)D symmetric gapped phases, valid for symmetry described by general fusion categories:

Enriched Categories: The correct mathematical language is that of enriched categories. Boundary data is not the category $Q$ 7 alone, but $Q$ 8 as a left module over the boundary SymTFT $Q$ 9. The full set of macroscopic boundary observables is the category enriched over this symmetry background.
Enriched Center as Bulk: The main theorem is that the bulk category (i.e., the monoidal category of bulk topological defects, realized as DHR bimodules, enriched in the bulk SymTFT) is the enriched center of the enriched category describing the boundary:

$Q$ 0

Concrete Consequence: This result tightly connects the boundary module structure with the mathematical and physical structure of the bulk, encoding the expectation that all bulk properties can be reconstructed from the boundary and its action by the symmetry (SymTFT); see Theorem~\ref{thm:bulk-boundary-correspondence} in the paper.
The result generalizes known group-theoretic statements—e.g., the well-known $Q$ 1 in the case of $Q$ 2 a modular tensor category and $Q$ 3 a fusion category—by extending to categorical symmetry and making the correspondence valid at the level of operator algebras and ground states.

Theoretical and Practical Implications

Theoretical implications:

The operator-algebraic characterization makes the formalism robust to changes of microscopic realization (finite depth circuits, etc.) and directly connects with CFT, AQFT, and higher-categorical models. It provides a rigorous analytic translation of string-net, tensor network, and categorical boundary theory proposals.
The clarity of the full faithfulness and module equivalence resolves ambiguities in the formulation of topological defects and boundary conditions, especially in non-invertible and non-semisimple symmetry situations.
The approach readily generalizes to settings with higher symmetry, non-trivial anomalies, and even potentially to higher-dimensional bulk-boundary correspondences.

Practical/future developments:

The AF algebraic/GNS formalism can be used for explicit numerical computations of ground states and their properties in infinite chains, even for generalized symmetry (where no tensor product Hilbert space is available).
The framework may serve as a foundation for physically consistent definitions of boundary RG flows, defect classification, and the study of quantum cellular automata action on phases.
Open avenues include analytic treatment of non-simple (composite) boundaries, extensions to gapless boundary conditions, and constructing higher-categorical analogs for bulk-boundary correspondences in 2+1 and beyond.

Strong Numerical/Theoretical Results and Claims

The bulk and boundary Hamiltonians constructed from this formalism have unique ground states under the specified data.
Classification of boundary conditions is exhaustive—every boundary condition compatible with the symmetry and phase is realized as a right $Q$ 4-module in the boundary module category.
The DHR category of the boundary is monoidally equivalent to $Q$ 5. The action of the bulk DHR category on the boundary matches the canonical categorical action of $Q$ 6 on $Q$ 7.
The enriched monoidal category describing the bulk is the enriched center of the boundary, explicitly realizing 1D bulk-boundary correspondence at a categorical-invariant level (Theorem~\ref{thm:bulk-boundary-correspondence}).

Conclusion

This work (2606.19137) advances the operator-algebraic and categorical understanding of bulk-boundary correspondence in 1D gapped phases with arbitrary fusion category symmetries. It provides a principled solution to the construction and classification of boundary conditions and their interplay with bulk and boundary symmetry TFTs. The analytic/microscopic and categorical/macroscopic pictures are shown to be in precise correspondence, enabling both exact classification results and a framework extendable to more general quantum phases and higher-dimensional analogs. Future developments are expected in extending these methods to gapless boundaries, higher fusion categories, and practical numerical computations in infinite systems.