---
title: Half-Infinite Fusion Spin Chains
url: https://www.emergentmind.com/topics/half-infinite-fusion-spin-chains
type: topic
---

# Half-Infinite Fusion Spin Chains

Half-infinite fusion spin chains are semi-infinite one-dimensional systems in which the local observable algebra is organized by fusion data rather than by an elementary on-site tensor-product decomposition, or, in integrable realizations, by fused transfer matrices and reflection algebras. In the operator-algebraic formulation, a fusion spin chain is the AF \(C^*\)-algebra \(A(C,X)\) built from a unitary fusion category \(C\) and a strongly tensor generating self-dual object \(X\), with half-line von Neumann algebras \(\mathfrak A_x\) and \(\mathfrak A_x^+\) defined by GNS closure of the left and right quasi-local observables. In the integrable formulation, half-infinite limits arise from fused \(R\)-matrices, fused transfer matrices, and boundary \(K\)-matrices, with the semi-infinite geometry encoded by a single reflecting boundary and by normalizations that preserve the Hirota or reflection-algebra functional relations as \(L\to\infty\) [2504.06094] [2309.10961] [1112.3310].

## 1. Abstract definition and half-line algebras

An abstract spin chain is a functor \(A:I\to C^*\text{-alg}_{fd}\) from the poset of discrete intervals in \(\mathbb Z\) to finite-dimensional \(C^*\)-algebras with unital inclusions, subject to locality and quasi-locality. For disjoint intervals \(I\) and \(J\), one requires \([A_I,A_J]=0\), and the quasi-local algebra is the AF \(C^*\)-algebra
\[
A:=\varinjlim_{I\in I} A_I.
\]
A fusion spin chain is obtained by choosing a unitary fusion category \(C\), fixing a strict monoidal structure, and selecting a self-dual tensor generator \(X\in C\) that is strongly tensor generating; for an interval \(I\) of length \(n\),
\[
A_I:=\mathrm{End}_C(X^{\otimes n}),
\]
with inclusions implemented by tensoring identities on the extra tensor factors at the ends. The resulting quasi-local algebra \(A=A(C,X)\) is AF [2309.10961].

This construction has two physical origins explicitly identified in the literature. First, if a concrete spin chain has a global symmetry of group, Hopf, weak Hopf, or categorical/MPO type, then the invariant subalgebra on each interval assembles into an abstract spin chain of the form \(A(C,X)\). Second, the \(1\)D boundary algebra of a Levin–Wen or equivalent topologically ordered model realizes such a fusion spin chain. A common misconception is that these systems are merely ordinary spin chains with an unusual basis choice. In fact, the local observable algebras need not factor sitewise, and the half-line algebras are naturally described as subfactors rather than as simple tensor factors [2309.10961] [2504.06094].

Fixing the unique tracial state \(\mathrm{tr}\) on \(A\), one considers the von Neumann closure \(\mathfrak A:=A''\subset B(L^2(A,\mathrm{tr}))\). For \(x\in\mathbb Z\), the left and right half-infinite algebras are
\[
\mathfrak A_x:=\Big(\bigcup_{I\subseteq (-\infty,x]} A_I\Big)'',\qquad
\mathfrak A_x^+:=\Big(\bigcup_{I\subseteq [x,\infty)} A_I\Big)''.
\]
If \(X\not\cong 1\) and is strongly tensor generating, then the Bratteli diagram is stationary, \(A\) has a unique tracial state, \(\mathfrak A\) is a \(\mathrm{II}_1\) factor, and each \(\mathfrak A_x\) is a \(\mathrm{II}_1\) factor. Moreover, for \(x<z\), the inclusion \(\mathfrak A_x\subset \mathfrak A_z\) has finite Jones index; in the framework of abstract spin chains with additional regularity assumptions, one also imposes weak algebraic Haag duality, covering, strong simplicity, and one-dimensional centers for half-line algebras [2309.10961] [2504.06094].

## 2. Half-line fusion categories, DHR bimodules, and braiding

The half-infinite structure supports a superselection theory formulated in terms of DHR bimodules. A correspondence over \(A\) is a right Hilbert \(A\)-module with a non-degenerate left action of \(A\) by adjointable operators. A dualizable correspondence \(X\) is a DHR bimodule if there exists \(r\ge 0\) such that, for every interval \(I\) of length at least \(r\), there is a projective basis \(\{\xi_i\}\subset X\) localized in \(I\), meaning
\[
a\xi_i=\xi_i a,\qquad \forall a\in A_{I^c},
\]
and
\[
x=\sum_i \xi_i\langle \xi_i\mid x\rangle_A.
\]
Transportability is encoded by the existence of such localized projective bases in any sufficiently large interval [2504.06094].

Given two localized projective bases for the same DHR bimodule \(X\), the charge transporters are the matrix coefficients
\[
t_{ij}:=\langle \xi_i^{(1)}\mid \xi_j^{(2)}\rangle\in A,
\]
assembled into a matrix \(T=[t_{ij}]\). They satisfy
\[
TT^*=P^{(1)},\qquad T^*T=P^{(2)},
\]
where \(P^{(1)}\) and \(P^{(2)}\) are the Gram projections of the two bases. Under weak algebraic Haag duality, these transporters generate a natural braiding on the DHR category. If \(X\) is localized in a negative interval and \(Y\) in a positive interval, then on localized bases
\[
\beta_{X,Y}(\xi_i\boxtimes \eta_k)=\eta_k\boxtimes \xi_i,
\]
while the double braiding is
\[
\beta_{Y,X}\beta_{X,Y}(\xi_i\boxtimes \eta_k)
=
\sum_{l,j}\xi_l\boxtimes t_{lj}\eta_k t_{ij}^*.
\]
This formula makes the monodromy an explicit transporter-mediated braided commutation relation [2504.06094].

Restricting DHR bimodules to a half-line yields the half-line fusion category. For the negative half-line,
\[
A_-:=A_{(-\infty,-1]},\qquad A_+:=A_{[0,\infty)},\qquad B_0:=A_-\otimes A_+\subset A.
\]
If \(X\in \mathrm{DHR}(A)\), then
\[
X_-:=\mathrm{span}\{\xi_j A_-\}\subset X,
\]
for a projective basis localized far to the left, defines an \(A_-{-}A_-\) correspondence. The idempotent completion of these objects is a unitary tensor category \(C_-\). Under weak algebraic Haag duality, covering, half-line center, rationality, local alignment, and charge-transporter generation, \(\mathrm{DHR}(A)\) is a unitary modular tensor category; if algebraic Haag duality holds, then
\[
\mathrm{DHR}(A)\simeq Z(C_-)
\]
as braided tensor categories. This identifies the braided superselection sectors of the half-infinite chain with the Drinfeld center of the half-line fusion category. A plausible implication is that half-infinite fusion spin chains furnish an operator-algebraic realization of bulk-to-boundary correspondence in nonchiral gapped boundaries of \(2+1\)D topological order [2504.06094].

## 3. Fused transfer matrices, master \(T\)-operators, and the \(L\to\infty\) limit

In the quantum-integrable setting, fusion spin chains are organized by auxiliary-space fusion of transfer matrices. For rational \(\mathrm{GL}(N)\)-invariant chains with
\[
R(u)=u\,I\otimes I+P,
\]
one defines monodromy matrices
\[
M_a(u)=R_{aL}(u-\theta_L)\cdots R_{a1}(u-\theta_1),
\]
and transfer matrices in representation \(\lambda\),
\[
T_\lambda(u)=\mathrm{tr}_{V_\lambda}\!\left[M_a(u)\big(I^{\otimes L}\otimes \pi_\lambda(g)\big)\right].
\]
These commute for fixed twist \(g\in \mathrm{GL}(N)\), all spectral parameters \(u\), and all irreducible auxiliary representations \(\lambda\), and for rational \(\mathrm{GL}(N)\) they are operator polynomials of degree \(\le L\). Fusion in the auxiliary space is implemented by symmetrizers or antisymmetrizers and yields the usual fused transfer matrices \(T_\lambda(u)\) associated with Young diagrams. The resulting hierarchy satisfies Hirota-type bilinear relations, or \(T\)-systems; for rectangular labels \(T_{a,s}(u)\),
\[
T_{a,s}\!\left(u+\tfrac{i}{2}\right)T_{a,s}\!\left(u-\tfrac{i}{2}\right)
=
T_{a+1,s}(u)T_{a-1,s}(u)+T_{a,s+1}(u)T_{a,s-1}(u)
\]
with standard boundary conditions [1112.3310].

The central organizing object is the master \(T\)-operator,
\[
T(u;\mathbf t)=\sum_\lambda s_\lambda(\mathbf t)\,T_\lambda(u),
\]
a Schur generating function over all auxiliary-space irreducible representations. It obeys commuting-family relations
\[
[T(u;\mathbf t),T(u';\mathbf t')]=0,
\]
and is identified with a classical \(\tau\)-function: at fixed \(u\), it satisfies the KP bilinear identity in the times \(\mathbf t=\{t_1,t_2,\dots\}\), while after adjoining the spectral parameter as a zeroth time \(t_0=u\), it becomes a \(\tau\)-function of the modified KP hierarchy. The CBR/Jacobi–Trudi/Giambelli determinant identities for fused transfer matrices are exactly the Plücker relations of the \(\tau\)-function, and Baxter \(Q\)-operators appear through Wronskian formulas and QQ-relations within the same framework [1112.3310].

For half-infinite chains, the finite-length polynomiality in \(u\) no longer suffices; normalization becomes essential. In the periodic case, as \(L\) grows, one divides by suitable vacuum factors such as
\[
\phi(u)=\prod_{j=1}^L (u-\theta_j)
\]
or by exponential or twist factors, thereby defining normalized transfer matrices. Assuming the inhomogeneities are distributed so that the Miwa sums remain convergent and the times \(t_k\) stay finite, the normalized master \(T\)-operator can converge in operator norm or weakly, or as a formal series in Miwa variables. The Hirota bilinear identities persist because they are algebraic identities in the ring generated by commuting master \(T\)-operators, and because Miwa shifts act multiplicatively through factors such as \(w(z^{-1})=(\det(I-z^{-1}g))^{-1}\). The same logic extends to open chains: if one uses double-row monodromies from the reflection algebra and defines
\[
T_{\mathrm{open}}(u;\mathbf t)=\sum_\lambda s_\lambda(\mathbf t)\,U_\lambda(u),
\]
then, under mild analyticity conditions on the boundary \(K(u)\), the open-chain master \(T\)-operator still satisfies Hirota equations of KP/MKP type, now with \(u\mapsto -u\) symmetry and reflection-induced constraints. This is the integrable sense in which half-infinite fusion spin chains inherit the \(\tau\)-function structure of their finite counterparts [1112.3310].

## 4. Reflection algebras, open \(\mathfrak{gl}(N)\) fusion, and fused ABJM chains

A systematic open-chain fusion procedure is available for rational \(\mathfrak{gl}(N)\) models. With
\[
R_{ij}(u)=\mathbb I-\frac{\mathbb P_{ij}}{u},
\]
one imposes the Yang–Baxter equation, reflection equations for \(K^-(u)\), dual reflection equations for \(K^+(u)\), and then constructs fused operators using the fusion operator
\[
B_{(1\cdots n)}^{\mathbf c_{(1\cdots n)}}
=
\overrightarrow{\prod_{1\le i<j\le n}}R^{c_ic_j}_{ij}(0)
=
\overleftarrow{\prod_{1\le i<j\le n}}R^{c_ic_j}_{ij}(0).
\]
Evaluating the inhomogeneities \(c_i\) at Young-tableau contents produces primitive idempotents \(E_{\mathcal T}\) and thus irreducible invariant subspaces \(W=E_{\mathcal T}V^{\otimes n}\). Fused \(K^-\)- and \(K^+\)-matrices obey fused reflection equations, the fused double-row monodromy \(U_{(1\cdots n)}(u)\) yields fused transfer matrices
\[
\tau^{\mathbf c_{(1\cdots n)}}_{({1}\cdots {n}'')}(u)
=
\mathrm{Tr}_{(1\cdots n)}\Big[K^{+,-\mathbf c_{(1\cdots n)}}_{(1\cdots n)}(u)\,
U_{(1\cdots n),({1}\cdots {n}'')}(u)\Big],
\]
and these commute for different fused auxiliary spaces. In the half-infinite limit one keeps a single reflecting boundary, so the fused transfer matrix remains the generating function of commuting charges while the boundary contributes a surface term and modifies the excitation quantization conditions. The paper does not derive explicit nested Bethe equations, but it states that the fused commutativity relations provide the functional identities needed for off-diagonal Bethe ansatz [2507.19394].

The ABJM alternating spin chain gives a concrete fused model. In the \(\mathrm{SU}(4)\) subsector, neighboring quantum spaces alternate between \(\mathbf 4\) and \(\bar{\mathbf 4}\). The alternating chain has monodromies \(T_0(u)\) and \(\bar T_0(u)\), commuting transfer matrices, and a three-site Hamiltonian
\[
H_{\mathrm{ABJM}}
=
\sum_{\ell=1}^{2L}
\Big(
2P_{\ell,\ell+2}
-
K_{\ell,\ell+1}P_{\ell,\ell+2}
-
P_{\ell,\ell+2}K_{\ell,\ell+1}
\Big).
\]
Fusion combines adjacent alternating sites into a single local space \(V_{2j-1,2j}\cong V_{2j-1}\otimes V_{2j}\), producing a new chain of length \(L\) with fused transfer matrix \(t(u)=T(u)\bar T(u)\). In this formulation the Hamiltonian becomes nearest-neighbor on fused sites,
\[
H_{\mathrm{ABJM}}
=
\sum_{j=1}^L
H_{(2j-1,2j),(2j+1,2j+2)},
\]
and the fused \(R\)-matrix is regular,
\[
R_{(a\bar a),(b\bar b)}(0)=4\,P_{ab}P_{\bar a\bar b}.
\]
Regularity enables an explicit boost operator
\[
B=-\sum_k k\,H_{(2k-1,2k),(2k+1,2k+2)},
\qquad
\frac{dt(u)}{du}=[B,t(u)],
\]
with higher charges obtained recursively from \(Q_{n+1}=[B,Q_n]\) [2410.05987].

For open or half-infinite geometries, the fused ABJM chain is described by a double-row transfer matrix
\[
t_b(u)
=
\mathrm{Tr}_{00}\big(
K_{00,-}(u)\,T_{00}(u)\,K_{00,+}(u)\,T_{00}^{-1}(-u)
\big),
\]
and the open Hamiltonian decomposes as
\[
H_b=H_L+H_{\mathrm{bulk}}+H_R.
\]
Passing to a semi-infinite chain with one boundary gives
\[
H_{\mathrm{half}}
=
H_L+
\sum_{\ell=1}^\infty
\big(
2P_{\ell,\ell+2}
-
P_{\ell,\ell+2}K_{\ell,\ell+1}
-
K_{\ell,\ell+1}P_{\ell,\ell+2}
\big),
\]
where the bulk density is the closed-chain fused bulk term and the surface contribution is determined by the fused \(K_{00,-}(u)\). The explicit boundary terms display universal index-factor structures, and the paper uses these structures as an integrability criterion for admissible boundary couplings [2410.05987].

## 5. Periodic Temperley–Lieb fusion, Haagerup anyonic chains, and continuum limits

A different lattice route to half-infinite fusion spin chains proceeds through the affine Temperley–Lieb algebra \(T_N(m)\), generated by \(u,u^{-1},e_j\) with periodic translation relations and loop fugacity
\[
m=q+q^{-1}.
\]
Standard modules \(W_{j,z}[N]\) are labeled by \(j\in\{0,\tfrac12,1,\tfrac32,\dots\}\), counting half the number of through-lines, and by \(z\in\mathbb C^\times\), the twist or pseudomomentum. Fusion is defined by induction after a braided embedding \(T_{N_1}\otimes T_{N_2}\hookrightarrow T_N\). For standard modules, the allowed channels are \(j=j_1+j_2\) and \(j=|j_1-j_2|\), with twist-compatibility conditions such as
\[
W_{j_1,z_1}\boxtimes W_{j_2,z_2}
=
W_{j_1+j_2,\xi^{2j_2}z_1}
\quad\text{provided}\quad
z_2=\xi^{2(j_1+j_2)}z_1,
\qquad
\xi=i\sqrt q.
\]
A central structural point is stability: for fixed \((j_1,z_1)\) and \((j_2,z_2)\), the fusion multiplicities are independent of \(N_1,N_2\) provided \(0\le 2j_i\le N_i\). This permits the definition of half-infinite fusion sectors by direct limits of finite periodic chains. The continuum interpretation is, however, not ordinary non-chiral bulk operator-product fusion. Rather, it corresponds to gluing the right-moving component of one conformal field with the left-moving component of the other, which explains the non-commutativity of the lattice fusion and the vanishing of many channels when twists are incompatible [1712.07076].

The Haagerup anyonic chains provide a non-group-theoretical fusion-path realization. The fusion category \(H_3\) has simple objects
\[
\mathrm{Obj}(H_3)=\{1,a,a^2,\rho,a\rho,a^2\rho\},
\]
with
\[
\rho\times a^2=a\rho,\qquad
\rho\times \rho=1+\rho+a\rho+a^2\rho,\qquad
a^3=1.
\]
An anyonic chain of \(L\) \(\rho\)-anyons has Hilbert space \(V^L\) defined by a projector
\[
\Pi^L=\prod_{i=1}^L \Pi_{i,i+1},
\qquad
\Pi^L:(\mathbb C^6)^{\otimes L}\to V^L,
\]
enforcing the adjacency constraint that \(x_i\times \rho\) contain \(x_{i+1}\). Its dimension grows as
\[
d_L\sim \psi^L,\qquad \psi=\frac{3+\sqrt{13}}{2}.
\]
The chain carries non-local Haagerup symmetry operators \(Y_z\) constructed from \(F\)-symbols, and it supports integrable range-\(3\) Hamiltonians of PXP type [2410.16356].

For the first integrable Haagerup model, the local density coincides with the identity-channel projector \(\mathsf P_1\), and the associated local generators \(e_i\) satisfy the Temperley–Lieb relations
\[
e_i^2=\psi\,e_i,\qquad
e_ie_{i\pm1}e_i=e_i,\qquad
[e_i,e_j]=0\ \text{for}\ |i-j|>1.
\]
A Lax operator and an \(R\)-matrix are constructed, proving integrability. Numerically, however, this model is gapless with dynamical critical exponent \(z\neq 1\), and the paper explicitly notes that it is not a CFT in the large-volume limit. The second integrable model breaks part of the Haagerup topological symmetry and appears to reduce to a CFT with central charge \(c\sim 3/2\). The paper does not construct open boundaries explicitly, but it states that the TL representation with parameter \(\delta=\psi\) and its Lax/\(R\)-matrix formalism are compatible with standard integrable open-chain constructions based on reflection equations and boundary TL algebras. This suggests a semi-infinite Haagerup fusion chain obtained by adding a boundary \(K(u)\) or a boundary projector selecting an edge fusion channel [2410.16356].

## 6. Index theory, transport across a cut, and classification results

Half-infinite fusion spin chains also support a notion of chiral transport encoded by the Jones index of half-line subfactors. A quantum cellular automaton \(\alpha\in \mathrm{Aut}(A)\) is a quasi-local automorphism with finite spread \(l\), and every QCA preserves the unique tracial state and extends to \(\mathfrak A\), \(\mathfrak A_x\), and \(\mathfrak A_x^+\). Fixing a cut \(x\), if \(y\le x\) and \(\mathfrak A_y\subseteq \alpha(\mathfrak A_x)\), one defines
\[
\mathrm{Ind}(\alpha)
=
\left(
\frac{[\alpha(\mathfrak A_x):\mathfrak A_y]}
{[\mathfrak A_x:\mathfrak A_y]}
\right)^{1/2}.
\]
Equivalently, if \(x\le z\) and \(\alpha(\mathfrak A_x)\subseteq \mathfrak A_z\),
\[
\mathrm{Ind}(\alpha)^2
=
\frac{[\mathfrak A_z:\mathfrak A_x]}
{[\mathfrak A_z:\alpha(\mathfrak A_x)]}.
\]
This index is independent of the auxiliary choices, multiplicative under composition, and trivial on finite-depth quantum circuits, so it descends to a homomorphism
\[
\mathrm{Ind}: \mathrm{QCA}(A)/\mathrm{FDQC}(A)\to \mathbb R_{>0}^\times.
\]
For ordinary qudit chains it agrees with the GNVW index; for fusion spin chains it is defined because the half-line inclusions are finite-index subfactors [2309.10961].

For generalized translations built from a factorization \(X^{\otimes n}\cong Y\otimes Z\) in an extension category, the QCA moves the \(Y\) component one block to the right and has
\[
\mathrm{Ind}(\alpha)=\dim(Y),
\]
the categorical dimension. In the Fibonacci fusion spin chain \(A_\tau=A(\mathrm{Fib},\tau)\), where
\[
\tau\otimes\tau\cong 1\oplus \tau,\qquad
d_\tau=\phi,\qquad
\phi=\frac{1+\sqrt5}{2},
\]
the index classification is complete:
\[
\mathrm{Ind}: \mathrm{QCA}(A_\tau)/\mathrm{FDQC}(A_\tau)\to \{\phi^n:n\in\mathbb Z\}\subset \mathbb R_{>0}^\times
\]
is an isomorphism. Equivalently, the image of \(\mathrm{Ind}\) is exactly the cyclic multiplicative group generated by \(\phi\), and \(\mathrm{Ind}(\alpha)=1\) if and only if \(\alpha\in \mathrm{FDQC}(A_\tau)\). Thus
\[
\mathrm{QCA}(A_\tau)/\mathrm{FDQC}(A_\tau)\cong \mathbb Z,
\]
generated by the right translation [2309.10961].

This index has a direct half-infinite interpretation. The inclusion \(\mathfrak A_x\subset \mathfrak A_z\) measures how many degrees of freedom, in categorical dimension, lie between \(x\) and \(z\). Under a QCA, the ratio
\[
\mathrm{Ind}(\alpha)^2
=
\frac{[\mathfrak A_z:\mathfrak A_x]}
{[\mathfrak A_z:\alpha(\mathfrak A_x)]}
\]
quantifies net transport across the cut. In ordinary qudit chains it counts net qudits per time step; in fusion spin chains it counts net categorical dimension flowing to the right per step, expressed in Frobenius–Perron dimensions. Since fusion spin chains also arise as boundary algebras of \(2\)D topological codes, the index becomes a robust invariant of boundary dynamics in periodically driven topological systems. Open problems identified in the literature include precise operator normalizations ensuring convergence of \(\tau\)-functions in the \(L\to\infty\) limit for general inhomogeneities and twists, a full reflection-algebra generalization of CBR determinant identities, explicit construction of \(Q\)-operators and Wronskian formulas in half-infinite or open settings, and explicit boundary Bethe ansatz equations for fused open chains such as the ABJM model [2309.10961] [1112.3310] [2507.19394].

Source: https://www.emergentmind.com/topics/half-infinite-fusion-spin-chains