Boundary Tube Algebra in Theoretical Physics

• Boundary tube algebra is a family of boundary-localized annular algebras constructed from endpoint, junction, and lasso operators to capture symmetry and excitation data at boundaries.
• It refines coarser observables by decomposing physical measurements into semisimple sectors with centers and primitive idempotents, enhancing quantum state distinguishability.
• The framework has broad applications in SymTFT, Turaev–Viro, and string-net models where it classifies boundary-changing and domain-wall excitations through weak Hopf algebra structures.

Searching arXiv for papers on boundary tube algebra and related tube algebra frameworks. Boundary tube algebra denotes a family of boundary-localized annular or cut-local algebras that arise when generalized symmetry data, topological line data, or module-category data are restricted to a boundary, entanglement cut, interval endpoint, or gapped interface. In the cited literature, these algebras are constructed from boundary-compatible endpoint and junction operators, boundary lasso operators, or minimal tube diagrams, and they serve as the canonical receptacles for boundary sector information. Their center, primitive idempotents, or representation theory then organizes the measurable or topological sectors available at the boundary: in operational many-body settings this yields the finest admissible distinguishability data, while in SymTFT, string-net, and Turaev–Viro settings it classifies boundary-changing sectors, boundary excitations, and domain-wall excitations (He, 18 Jun 2026, Choi et al., 2024, Jia et al., 2 Jul 2025).

1. Definitions and scope

The term is used in several adjacent frameworks. In the operational setting of generalized symmetries, one begins with a generalized symmetry category $\mathcal C$ acting on the entangling-cut boundary module $M_A$, and the action defines a boundary tube algebra $\mathrm{Tube}_{\mathcal C}(M_A)$. In SymTFT treatments of $1+1$d QFT, the relevant algebra is the boundary tube algebra $\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$, generated by boundary lasso operators acting on boundary-changing local operators. In Turaev–Viro and generalized multifusion string-net models, the boundary tube algebra is attached to a module category $M$ describing a gapped boundary, and is written $\mathrm{Tube}_{\rm bd}({}_C M)$ or $\tilde{\mathbf{L}({_D M})}$ depending on conventions (He, 18 Jun 2026, Choi et al., 2024, Jia et al., 2 Jul 2025, Jia et al., 2024).

Setting	Notation	Role
Entanglement cut with generalized symmetry	$\mathrm{Tube}_{\mathcal C}(M_A)$	Cut-local endpoint/junction algebra
SymTFT interval boundary data	$\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$	Algebra of boundary lasso operators
Gapped boundary of Turaev–Viro or string-net phase	$M_A$0, $M_A$1	Weak Hopf symmetry classifying boundary excitations

These constructions are not merely changes of basis on a Hilbert space. They are defined by boundary compatibility conditions: locality at the cut, compatibility with the boundary module, or the existence of boundary junction data. A recurrent feature is that the algebra is semisimple in the finite cases under discussion, so its center and primitive idempotents provide canonical sector labels. Another recurrent feature is that the boundary algebra refines coarser observables or sector decompositions: scalar overlap data are refined by symmetry-resolved data, and symmetry-resolved data are further refined by tube-sector data; similarly, bulk tube algebra data are refined near a boundary by boundary-interface data (He, 18 Jun 2026, Choi et al., 2024).

2. Operational tube sectors at entanglement cuts

In the operational tube-sector theory of quantum state distinguishability, the boundary tube algebra is the central kinematic object because it captures, at an entanglement cut, all generalized-symmetry endpoint data that remain physically measurable under the admissibility constraints. The reduced overlap operator is introduced as

$M_A$2

but it is not itself treated as an observable. The problem is instead to determine which sector readouts of the positive statistics $M_A$3 are physically admissible when generalized symmetry lines may terminate on the cut. The answer is that if $M_A$4 is the generalized symmetry category and $M_A$5 is the boundary module selected by the cut, then the action of $M_A$6 on $M_A$7 defines the boundary tube algebra $M_A$8, and the unique maximal commutative measurement algebra is its center: $M_A$9 The admissibility assumptions are complete positivity, entanglement-cut locality, boundary-module covariance, and sequential stability. Under these assumptions, every physically allowed sector readout is a coarse graining of the primitive central idempotents of the center, and every admissible measurement factors through $\mathrm{Tube}_{\mathcal C}(M_A)$0 followed by free classical postprocessing (He, 18 Jun 2026).

If $\mathrm{Tube}_{\mathcal C}(M_A)$1 is a primitive central idempotent, its representation on the subsystem Hilbert space gives the projector

$\mathrm{Tube}_{\mathcal C}(M_A)$2

and the normalized tube-sector probabilities are

$\mathrm{Tube}_{\mathcal C}(M_A)$3

These probabilities refine both scalar positive-overlap data and ordinary symmetry-resolved data. The hierarchy stated in the paper is

$\mathrm{Tube}_{\mathcal C}(M_A)$4

For a forgetful map $\mathrm{Tube}_{\mathcal C}(M_A)$5 from tube labels to coarser symmetry labels,

$\mathrm{Tube}_{\mathcal C}(M_A)$6

The conditional distribution within a fiber $\mathrm{Tube}_{\mathcal C}(M_A)$7 is precisely the information lost under coarse graining. This loss is operationally nontrivial because the restricted one-shot success probability for equal priors is controlled by total variation distance on the readout distributions, so tube-sector readout maximizes distinguishability among all admissible cut-local symmetry-compatible measurements. The paper’s doubled-Ising product–Kramers–Wannier example makes this concrete: the coarse $\mathrm{Tube}_{\mathcal C}(M_A)$8 resolution is blind to the split $\mathrm{Tube}_{\mathcal C}(M_A)$9, while the tube readout detects changes in the conditional distribution on that fiber (He, 18 Jun 2026).

3. Boundary lasso algebras in SymTFT and interval QFT

In SymTFT treatments of finite, possibly non-invertible symmetry in $1+1$0d QFT, the correct interval algebra is not the ordinary tube algebra of the $1+1$1 Hilbert space but a boundary tube algebra built from boundary lasso operators. The setting begins with a QFT $1+1$2 with symmetry fusion category $1+1$3, embedded into a Turaev–Viro theory $1+1$4 with canonical regular boundary $1+1$5 and physical boundary $1+1$6. Ordinary boundary conditions are decomposed as

$1+1$7

where $1+1$8 is a topological boundary of the SymTFT, $1+1$9 is a topological line interface to $\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$0, and $\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$1 is a conformal interface to $\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$2. For an interval with boundary conditions $\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$3, the Hilbert space decomposes as

$\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$4

The generators of the boundary tube algebra are boundary lasso operators

$\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$5

obtained by wrapping a topological line $\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$6 around a boundary-changing operator and shrinking it onto the boundary junction. These operators generate

$\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$7

and their multiplication has the schematic form

$\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$8

with structure constants determined by boundary $\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$9-symbols. When $M$0, the boundary tube algebra becomes a $M$1-weak Hopf algebra (Choi et al., 2024, Choi et al., 2024).

The representation theory is the interval analogue of the usual bulk tube-algebra story. The irreducible representations of $M$2 are in one-to-one correspondence with simple topological line interfaces between $M$3 and $M$4, equivalently with simple objects of $M$5. Projectors onto the $M$6-sectors are written as linear combinations of lasso operators with coefficients determined by generalized half-linking numbers. This structure is then used to refine annulus partition functions and derive the noninvertible symmetry-resolved Affleck–Ludwig–Cardy formula and the associated symmetry-resolved entanglement entropy of a single interval (Choi et al., 2024, Choi et al., 2024).

The critical double Ising model provides a concrete example. For a strongly symmetric interval boundary condition preserving the product of two Kramers–Wannier symmetries, the boundary lasso operators realize the Kac–Paljutkin Hopf algebra $M$7. The invertible lines $M$8 give operators $M$9, while the noninvertible line $\mathrm{Tube}_{\rm bd}({}_C M)$0 gives four operators $\mathrm{Tube}_{\rm bd}({}_C M)$1. Their multiplication rules reproduce the $\mathrm{Tube}_{\rm bd}({}_C M)$2 algebra, and the corresponding sector-resolved entropies distinguish the noninvertible sector from the invertible ones by their universal constant terms (Choi et al., 2024).

4. Weak Hopf boundary tube algebras in string-net and Turaev–Viro theories

In Levin–Wen, Turaev–Viro, and generalized multifusion string-net settings, boundary tube algebra is the algebraic object associated with a gapped boundary specified by a module category. If the bulk phase is encoded by a fusion category $\mathrm{Tube}_{\rm bd}({}_C M)$3 and the boundary by a left module category $\mathrm{Tube}_{\rm bd}({}_C M)$4, the notation

$\mathrm{Tube}_{\rm bd}({}_C M)$5

is used. Conceptually, this is the algebra of operators acting on a minimal tubular neighborhood around a boundary excitation. The construction employs module-category local moves—loop move, parallel move, and $\mathrm{Tube}_{\rm bd}({}_C M)$6-move—to reduce boundary-tube diagrams to a basis of minimal tubes. In the generalized multifusion string-net model, analogous left and right boundary tube algebras are denoted $\mathrm{Tube}_{\rm bd}({}_C M)$7 and $\mathrm{Tube}_{\rm bd}({}_C M)$8, and their modules classify boundary excitations (Jia et al., 2 Jul 2025, Jia et al., 2024).

A major structural point is that these are not only associative algebras but weak Hopf algebras. The multiplication is defined by stacking tubes and reducing the result by $\mathrm{Tube}_{\rm bd}({}_C M)$9-moves and loop or parallel moves; the unit is the identity tube; the counit collapses a tube to a scalar; the coproduct inserts intermediate labels and sums over channels; the antipode turns the tube around; and under the condition

$\tilde{\mathbf{L}({_D M})}$0

the involution defined by reflection gives a $\tilde{\mathbf{L}({_D M})}$1-weak Hopf algebra. The domain-wall tube algebra $\tilde{\mathbf{L}({_D M})}$2 is the two-sided analogue for a bimodule category $\tilde{\mathbf{L}({_D M})}$3, and the paper states that it is a $\tilde{\mathbf{L}({_D M})}$4 weak Hopf algebra with these structure maps. Boundary and domain-wall excitations are then classified by representations of the corresponding tube algebras (Jia et al., 2 Jul 2025).

The relation between boundary and domain-wall objects is especially explicit. One paper establishes a skew-pairing

$\tilde{\mathbf{L}({_D M})}$5

and proves the weak-Hopf isomorphism

$\tilde{\mathbf{L}({_D M})}$6

Another paper shows that in the generalized multifusion string-net model the bulk tube algebra is a crossed product of left and right boundary tube algebras, and that the domain-wall tube algebra is similarly obtained from the corresponding boundary algebras. In both formulations, the boundary tube algebra is the basic one-sided object from which the doubled or two-sided wall algebra is assembled. The folding trick and Morita-theoretic arguments explain why a domain wall may be reinterpreted as a boundary for a folded theory (Jia et al., 2 Jul 2025, Jia et al., 2024).

5. Categorical tube algebras, Drinfeld centers, and localized corners

The boundary tube algebra is best understood against the background of the ordinary tube algebra of a rigid tensor category. For a rigid $\tilde{\mathbf{L}({_D M})}$7-tensor category $\tilde{\mathbf{L}({_D M})}$8 with simple representatives $\tilde{\mathbf{L}({_D M})}$9, the tube algebra is

$\mathrm{Tube}_{\mathcal C}(M_A)$0

with multiplication given by gluing annuli and involution determined by duality. Its representation category is equivalent to the Drinfeld center $\mathrm{Tube}_{\mathcal C}(M_A)$1. In the case of a spherical semisimple multitensor category, the category of tube algebra representations carries a braided monoidal structure with twist and is braided tensor equivalent to the Drinfeld center of the ind-category (Neshveyev et al., 2015, Jaklitsch et al., 11 Nov 2025).

Within this general theory, several papers isolate sector-localized pieces that function as natural precursors or analogues of boundary tube algebras. For a $\mathrm{Tube}_{\mathcal C}(M_A)$2-graded rigid $\mathrm{Tube}_{\mathcal C}(M_A)$3-tensor category, the tube algebra decomposes as a Fell bundle over the adjoint-action groupoid $\mathrm{Tube}_{\mathcal C}(M_A)$4. Each conjugacy-class component is Morita equivalent to a centralizer corner $\mathrm{Tube}_{\mathcal C}(M_A)$5, and twisting the associator by a normalized $\mathrm{Tube}_{\mathcal C}(M_A)$6-valued $\mathrm{Tube}_{\mathcal C}(M_A)$7-cocycle induces a $\mathrm{Tube}_{\mathcal C}(M_A)$8-cocycle twist on these corners. The paper does not formally define a boundary tube algebra, but it identifies the corners $\mathrm{Tube}_{\mathcal C}(M_A)$9 as the natural localized algebras attached to a sector or stabilizer (Bhowmick et al., 2018).

A closely related decomposition appears for tube algebras of diagonal and Bisch–Haagerup subfactors with scalar $\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$0-cocycle obstruction. There the representation theory decomposes over conjugacy classes, and each block is a matrix algebra tensored with a twisted group algebra of the corresponding centralizer. In formula form,

$\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$1

where $\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$2 is the centralizer of $\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$3 and

$\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$4

This blockwise centralizer structure is not itself called a boundary tube algebra in the paper, but it provides the same kind of sector decomposition that later boundary-localized constructions exploit (Bisch et al., 2016).

6. Related notions, invariance results, and conceptual limits

The term boundary tube algebra is not completely standardized, and nearby literature contains both genuine analogues and explicit non-examples. In the theory of $\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$5-dimers attached to triangulations of a convex $\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$6-gon, the relevant object is the boundary algebra

$\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$7

where $\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$8 is the sum of boundary idempotents and $\mathrm{Tube}(\mathcal B_1^\vee\vert \mathcal B_2)$9 is the dimer algebra. The paper proves that for any two triangulations $M_A$00 of the same $M_A$01-gon, the corresponding boundary algebras are isomorphic. It consistently uses the term boundary algebra rather than boundary tube algebra, but it explicitly states that the structure may be interpreted as the boundary algebra or tube algebra attached to the triangulation class, because it is the triangulation-independent boundary endomorphism algebra (Andritsch, 2018).

By contrast, some boundary-centered frameworks are only structurally analogous. In “Algebraic Phase Theory V,” the main boundary objects are the structural boundary, the canonical exact sequence

$M_A$02

the boundary quotient $M_A$03, and the rigidity island $M_A$04. The paper explicitly states that it does not develop a tube algebra in the usual algebraic sense: it does not define multiplication rules, annular composition laws, or a tube-category endomorphism algebra. Its boundary quotient is a universal obstruction object, and the framework is described as boundary calculus, obstruction calculus, and rigidity-island formalism rather than tube algebra (Gildea, 26 Jan 2026).

A plausible implication of these contrasts is that “boundary tube algebra” should be reserved for boundary-localized algebras that retain genuine tube-algebra features: annular or cut-local composition, canonical sector idempotents or irreducible modules, and a direct link to boundary measurements, boundary-changing operators, or boundary excitations. On that narrower reading, the operational entanglement-cut theory, the SymTFT boundary-lasso theory, and the weak Hopf boundary theories of string-net and Turaev–Viro models provide the clearest current realizations (He, 18 Jun 2026, Choi et al., 2024, Jia et al., 2 Jul 2025).