---
title: Levin-Wen String-Net Models Overview
url: https://www.emergentmind.com/topics/levin-wen-string-net-models
type: topic
---

# Levin-Wen String-Net Models Overview

Searching arXiv for recent and foundational papers on Levin–Wen string-net models.
Levin–Wen string-net models are exactly solvable lattice Hamiltonians for \(2+1\)-dimensional topological phases built from categorical input data, most commonly a unitary fusion category. In their canonical form, the degrees of freedom live on edges of a trivalent lattice, local vertex constraints enforce admissible fusion, and plaquette operators insert and recouple virtual loops using \(F\)-symbols. This construction realizes doubled, nonchiral topological orders and provides a microscopic route from fusion-category data to commuting-projector Hamiltonians, topological ground states, and anyonic excitations [1106.6033][1311.1784][2405.17379]. Subsequent work has refined both the scope and the limitations of the framework: it has clarified the relation to Turaev–Viro TQFT [1106.6033], exhibited quantum double models as an explicit subclass [0907.2670], generalized the Hamiltonian to arbitrary multiplicity-free unitary fusion categories without tetrahedral symmetry [2004.07045], characterized which abelian phases are realizable [1402.4081], and identified pseudo-unitarity as the sharp boundary between formal topological consistency and ordinary Hilbert-space realizability [2601.06821].

## 1. Categorical definition and lattice Hamiltonian

The standard input of a Levin–Wen model is a fusion category specified by simple objects, duals, fusion multiplicities, quantum dimensions, and associativity data encoded by \(F\)-symbols. In the common multiplicity-free case, admissibility at a trivalent vertex is encoded by \(\delta_{ij}^{k}\in\{0,1\}\), while in the more general formulation one uses fusion spaces such as \(\Hom(1,a\otimes b\otimes c)\) [2004.07045][2405.17379]. In the string-net presentation, an oriented edge carries a label \(a\), and orientation reversal replaces it by its dual, for example
\[
\lvert a\rangle_{e^\ast}=\lvert a^\ast\rangle_e
\]
in the representation-category formulation [0907.2670].

The Hamiltonian has the characteristic commuting-projector form
\[
H=-\sum_v Q_v-\sum_p B_p
\]
or, in closely related notations,
\[
H=-\sum_{\mathbf v} Q_{\mathbf v}-\sum_{\mathbf p} B_{\mathbf p},
\qquad
H^{\mathrm{SN}}=-\sum_v A_v^{\mathrm{SN}}-\sum_p B_p^{\mathrm{SN}}
\]
[2601.06821][2004.07045][0907.2670]. The vertex term projects onto locally admissible fusion channels. In one notation,
\[
Q_v |i,j,k;\mu\rangle=\delta_{ijk}|i,j,k;\mu\rangle,
\]
where \(\delta_{ijk}=1\) when \(\Hom_C(1,i\otimes j\otimes k)\neq 0\), and \(0\) otherwise [2601.06821]. In the multiplicity-free convention this becomes
\[
Q_\mathbf{v}\,\big|i,j,k\big\rangle = \delta_{ij}^{k^*}\,\big|i,j,k\big\rangle
\]
[2004.07045].

The plaquette term inserts a virtual loop and resolves it by \(F\)-moves. In canonical weighted form,
\[
B_p=\sum_{s} \frac{d_s}{\mathcal D^2} B_p^s,
\qquad
\mathcal D^2=\sum_s d_s^2,
\]
or equivalently with \(D=\sqrt{\sum_i d_i^2}\) and \(a_s=d_s/D^2\) [0907.2670][2004.07045][2601.06821]. The total quantum dimension is thus
\[
\mathcal D=\sqrt{\sum_i d_i^2}.
\]
For a hexagonal plaquette, explicit matrix elements are products of \(F\)-symbols around the plaquette boundary [0907.2670]. In graphical language, contractible loops evaluate to their quantum dimensions, and local recouplings are governed by the associator [2601.06821][1402.4081].

The exact solvability of the model rests on the pentagon identity and related coherence conditions for the \(F\)-symbols. In compressed form, the consistency condition is that different sequences of associativity moves agree,
\[
\sum_n F\cdot F\cdot F = F\cdot F,
\]
and, in optimization-based formulations,
\[
\mathcal L(F)=\|Pent(F)\|^2+\lambda\|FF^\dagger-I\|^2
\]
[2601.06821]. The commuting-projector relations
\[
[Q_I,Q_J]=0,\qquad [Q_I,B_p^s]=0,\qquad [B_p^s,B_{p'}^{s'}]=0
\]
are explicit in the abelian construction and persist in generalized unitary settings [1402.4081][2004.07045].

## 2. Topological meaning and relation to TQFT

A central interpretation of Levin–Wen models is that they are lattice realizations of doubled topological phases. Kirillov gave a precise equivalence between the string-net space of a spherical fusion category \(\mathcal A\) and the Turaev–Viro state space:
\[
H^{\mathrm{string}}(\Sigma)\simeq Z_{TV}(\Sigma)
\]
for closed oriented surfaces [1106.6033]. In that formulation, the string-net space is the vector space of colored graphs on a surface modulo local null relations, and puncture projectors \(B_p\) implemented by weighted loops recover the Turaev–Viro cylinder projector [1106.6033].

This TQFT relation is also reflected in the conceptual role of the Drinfeld center. The bulk quasiparticles of a Levin–Wen model are described by \(Z(\mathcal C)\), the Drinfeld center of the input fusion category \(\mathcal C\), and in boundary formulations one finds
\[
\mathcal C(S^1)\simeq Z(\mathcal A)
\]
so that boundary conditions and bulk excitations are both encoded by center data [1106.6033]. More broadly, the Levin–Wen construction is widely understood to realize doubled, achiral phases, with the bulk invariant expected to be \(Z(\mathcal C)\) [2405.17379][2401.13838].

The relation to topological phase classification was sharpened in a state-based setting by a theorem that, assuming exact entanglement-bootstrap axioms and a strong local notion of gappable boundary, a representative state on a disk can be mapped by a geometrically local constant-depth circuit to a canonical Levin–Wen ground state built from a unitary fusion category \(\mathcal C\) [2405.17379]. In that setting, the phase classification is expressed in terms of doubled unitary modular tensor categories, conditional on the standard identification of the bulk anyons with \(Z(\mathcal C)\) [2405.17379].

A more categorical reformulation interprets Levin–Wen models as gauge theories whose gauge symmetry is the tube algebra \(\Tube(\mathcal C)\), rather than an ordinary finite group. In that framework, the Levin–Wen Hamiltonian arises by gauging a trivial \(\Tube(\mathcal C)\)-symmetric phase, and the anyon theory again coincides with \(Z(\mathcal C)\) through the equivalence
\[
(\Tube(\mathcal C))\simeq Z(\mathcal C)
\]
[2401.13838]. This viewpoint extends ordinary group gauging to non-group examples, including the doubled Fibonacci phase [2401.13838].

## 3. Quantum doubles, boundaries, and excitations

A foundational bridge between Levin–Wen models and more concrete lattice gauge theories is the exact mapping from Kitaev’s quantum double models to string-net models based on \(\operatorname{Rep}(G)\) [0907.2670]. After a local Fourier transform from group-element variables to representation variables,
\[
\ket{\mu,a,b} = \sqrt{\frac{|\mu|}{|G|}}\sum_{g\in G}[D^\mu(g)]_{ab}\ket g,
\]
the quantum double Hilbert space becomes an enlarged string-net Hilbert space in which the irrep labels \(\mu\) play the role of string types and the matrix indices \(a,b\) become auxiliary edge-end degrees of freedom [0907.2670]. In this representation basis, the vertex projector is exactly the projection onto the trivial isotypic component of the tensor product of incident irreducible representations, and the plaquette term matches the Levin–Wen plaquette operator with
\[
d_\mu=|\mu|,
\qquad
\mathcal D^2=\sum_{\mu\in\widehat G}|\mu|^2=|G|
\]
[0907.2670].

This mapping shows that quantum double models form a specific subclass of string-net models. It also imports the excitation classification of the Drinfeld double \(\mathrm D(G)\): magnetic excitations by conjugacy classes, electric excitations by irreducible representations of \(G\), and dyons by pairs \((C,\pi)\) with \(C\) a conjugacy class and \(\pi\) an irrep of the corresponding centralizer [0907.2670].

For general input categories, a finite computational method for extracting the quasiparticle data from the string-net wavefunction is the \(Q\)-algebra approach. The cylinder ground-state space defines an associative algebra, and a finite-dimensional representative \(Q\) can be constructed whose simple modules classify simple bulk quasiparticles [1311.1784]. In this formulation, the input UFC determines the \(Q\)-algebra, and from its irreducible modules one computes quantum dimensions, topological spins, and the modular \(S\)-matrix, thereby recovering the bulk UMTC \(Z(C)\) [1311.1784]. This provides a concrete boundary-to-bulk map: the anomalous \(1+1\)D edge data described by a UFC determine the \(2+1\)D bulk topological order through the center construction [1311.1784].

Tube algebras also organize localized excitations in generalized and condensed Levin–Wen systems. In ordinary models, irreducible \(*\)-representations of \(\Tube(\mathcal X)\) are equivalent to simple objects of \(Z(\mathcal X)\), so anyons are exactly the simples of the Drinfeld center [2303.04711]. In lattice models for anyon condensation, one can interpolate between the uncondensed Levin–Wen phase with topological order \(Z(\mathcal X)\) and a condensed phase with topological order \(Z(\mathcal X)_A^{\mathrm{loc}}\), where \(A\in Z(\mathcal X)\) is a condensable algebra [2303.04711]. In that setting, a quotient tube algebra \(\Tube_A(\mathcal X)\) classifies the deconfined excitations of the condensed phase and is Morita equivalent to \(\Tube(\mathcal X_A)\) [2303.04711].

## 4. Generalizations of the original construction

A major line of development has been the removal of extra assumptions present in the original Levin–Wen formulation. The original graphical derivation relied on tetrahedral symmetry of the \(F\)-symbols, but this symmetry is not automatic for arbitrary unitary fusion categories. A generalized construction for arbitrary multiplicity-free unitary fusion categories avoids ambiguous horizontal-line diagrams and instead uses orientation-sensitive \(G\)- and \(H\)-moves [2004.07045]. The resulting plaquette matrix elements are given explicitly in terms of \(F\)-symbols and their complex conjugates, and the Hamiltonian remains Hermitian, projector-valued, and commuting [2004.07045].

This generalization is substantial because it includes categories such as the Haagerup \(\mathcal H_3\) fusion category, which fail tetrahedral symmetry and were not covered by the original construction [2004.07045]. The general philosophy is that unitarity and sphericality are sufficient for the lattice Hamiltonian once the graphical calculus is formulated correctly, whereas tetrahedral symmetry is an unnecessary restriction tied to a particular presentation [2004.07045].

Another extension concerns parity and time-reversal breaking phases. A generalized string-net formalism introduces extra local data \(\gamma\) and \(\alpha\), related to \(\mathbb Z_2\) and \(\mathbb Z_3\) Frobenius–Schur indicators, and drops the parity-invariance assumption of the original model [1402.4081]. In the abelian case, the local data are
\[
\bigl(F(a,b,c),\, d_a,\, \alpha(a,b),\, \gamma_a\bigr),
\]
with the consistency conditions
\[
F(a+b,c,d)F(a,b,c+d)=F(a,b,c)F(a,b+c,d)F(b,c,d),
\]
\[
d_a d_b=d_{a+b},
\qquad
\gamma_a=F(a^*,a,a^*)\,d_a,
\qquad
\alpha(a,b)=F(a,b,(a+b)^*)\,\gamma_{a+b},
\]
and the unitarity condition
\[
|F(a,b,c)|=1
\]
[1402.4081]. These generalized models realize phases inaccessible to the original construction, including examples that break parity and time reversal [1402.4081].

A further extension replaces a single flavor of strings by multiple flavors labeled by groups \(G_i\), with same-flavor branching but inter-flavor crossing. The resulting intersecting string-net models are exactly solvable and realize the same set of abelian phases as ordinary string-net models with
\[
G=\prod_i G_i,
\]
while making the Künneth decomposition of \(H^3(G,U(1))\) concrete in lattice terms [1611.08288]. This construction gives, for example, a \(\mathbb Z_2\times\mathbb Z_2\times\mathbb Z_2\) string-net model realizing a non-abelian topological phase by intersecting three toric-code layers [1611.08288].

## 5. Realizability, gapped edges, and gauge-theoretic subclasses

The scope of string-net realizability is sharpest in the abelian case. A complete criterion states that an abelian topological phase is realizable by a string-net model if and only if it has vanishing thermal Hall conductance and at least one Lagrangian subgroup; equivalently, if and only if it supports a fully gapped edge to the vacuum [1402.4081]. In \(K\)-matrix language, realizability is equivalent to the existence of \(k\) linearly independent integer null vectors \(\Lambda_i\) for an even-dimensional \(K\)-matrix:
\[
\Lambda_i^T K \Lambda_j=0.
\]
The associated string-net \(K\)-matrices have the form
\[
K=\begin{pmatrix}
\mathbf 0 & \mathbf N\\
\mathbf N & \tilde{\mathbf P}
\end{pmatrix},
\qquad
\tilde{\mathbf P}=-\mathbf P-\mathbf P^T
\]
[1402.4081].

This result has several implications. First, commuting-projector string-net Hamiltonians necessarily have zero chiral central charge and therefore zero thermal Hall conductance [1402.4081]. Second, nonchiral abelian phases without a Lagrangian subgroup are nevertheless excluded, so vanishing thermal Hall conductance alone is not sufficient [1402.4081]. Third, the realizability criterion is controlled by boundary physics: string-net models realize exactly the abelian topological orders with a fully gapped boundary [1402.4081].

The relation between string-net models and discrete gauge theories is especially explicit for representation categories \(\operatorname{Rep}(G)\), where quantum double models are realized as string-net models after Fourier transform [0907.2670]. In this subclass the string types are irreducible representations, the \(F\)-symbols are group-theoretic \(6j\)-symbols built from intertwiners, and the anyon theory is \(\operatorname{Rep}(\mathrm D(G))\) [0907.2670]. Closely related work on \(Z_N\) fusion algebras shows that solutions of the local constraints correspond to \(Z_N\) gauge theory and doubled Chern–Simons theories with quantum groups, and that the string-net model is exactly dual to a triangular-lattice spin model coupled to a \(Z_N\) gauge field [1207.6169].

A cautionary point concerns the relation to Turaev–Viro. One critique identifies pointed-category counterexamples showing that the slogan “Levin–Wen equals microscopic Hamiltonian formulation of Turaev–Viro” is too naive unless additional categorical structure, specifically unimodality, is imposed in the relevant group-category setting [1004.1737]. A later mathematical treatment using spherical fusion categories gives the precise correspondence between string-net spaces and Turaev–Viro state spaces, including surfaces with boundary [1106.6033]. This suggests that the issue is not the existence of a relation, but the exact categorical hypotheses under which it holds [1004.1737][1106.6033].

## 6. Representative models, phase transitions, and non-unitary obstructions

Several benchmark categories recur throughout the literature. The abelian \(\mathbb Z_7\) model has trivial dimensions
\[
d_i=1
\]
and scalar \(3\)-cocycle \(F\)-symbols \((F^{ijk}_l)_{mn}=\omega(i,j,k)\delta_{l,ijk}\delta_{m,ij}\), with unitarity \(|\omega|=1\) [2601.06821]. The rank-5 Tambara–Yamagami category \(\mathrm{TY}(\mathbb Z_4)\) has simple objects \(g\in\mathbb Z_4\) and \(\tau\), with
\[
\tau\otimes\tau=\bigoplus_{g\in\mathbb Z_4} g,
\qquad
d_\tau=\sqrt{4}=2,
\]
illustrating that non-integral positive quantum dimensions do not obstruct Hermitian string-net Hamiltonians [2601.06821]. The non-Abelian category \(\mathrm{Rep}(D_3)\) provides a concrete unitary benchmark with
\[
\rho\otimes\rho=1\oplus\sigma\oplus\rho
\]
and an explicitly unitary real-gauge \(F\)-matrix on the \(\rho^{\otimes 3}\to\rho\) channel [2601.06821].

The Fibonacci input category is central in both topological and dynamical studies. Its nontrivial object obeys
\[
\tau\otimes\tau=1\oplus\tau,
\qquad
d_\tau=\varphi=\frac{1+\sqrt5}{2}
\]
[1212.4109][2011.12609]. The corresponding golden string-net model on the honeycomb lattice exhibits a doubled Fibonacci topological phase near the exactly solvable Levin–Wen point [1212.4109]. In one study combining high-order series expansions and exact diagonalization, the doubled Fibonacci phase occupies
\[
\theta_2^{\rm c}\simeq -0.63 \equiv 5.65
\quad\text{to}\quad
\theta_1^{\rm c}\simeq 0.255,
\]
with second-order transitions into two distinct trivial phases and a first-order transition between those trivial phases at \(\theta=\pi\) [1212.4109]. A later tensor-network variational study, using PEPS ansätze adapted to the string-net condensate, found instead first-order transitions for Fibonacci near
\[
\theta\simeq 0.254
\quad\text{and}\quad
\theta\simeq -0.630,
\]
while reproducing the known second-order behavior in the \(\mathbb Z_2\) case [1909.06284]. This divergence indicates that the precise critical behavior of string-tension-driven breakdown of non-Abelian string-net order remains subtle [1212.4109][1909.06284].

Loop observables provide another dynamical probe. In the presence of string tension, the perturbed Hamiltonian
\[
H= - J_\mathrm{p}\sum_p B_p -J_\mathrm{l}\sum_l L_l
\]
interpolates between a topological deconfined phase and a trivial confined phase [2011.12609][1909.06284]. For arbitrary modular input categories in the charge-free sector, Wegner–Wilson loop operators \(W_R^{(s,s')}\) obey a perimeter law in the topological phase and a modified area law in the trivial phase, with leading coefficients controlled by quantum dimensions \(d_s,d_{s'}\) and total quantum dimension
\[
D=\sqrt{\sum_s d_s^2}
\]
[2011.12609]. For Abelian \(s=s'\) with \(d_s=1\), one has the exact identity
\[
W_R^{(s,s)}=1,
\]
so these excitations remain completely deconfined [2011.12609].

The sharpest modern limitation of the Levin–Wen construction concerns non-unitary input. A recent analysis separates topological consistency from physical realizability and proves that a physical realization on a Hilbert space exists if and only if the spherical fusion category is pseudo-unitary [2601.06821]. The benchmark non-unitary case is the Yang–Lee category \(\mathcal C_{YL}\), with simple objects \(\{1,\tau\}\), fusion rule
\[
\tau\otimes\tau=1\oplus\tau,
\]
and negative quantum dimension
\[
d_\tau=-\phi^{-1}=\frac{1-\sqrt5}{2}\approx -0.618
\]
[2601.06821]. Numerically, one can satisfy the pentagon equations while failing the unitarity condition:
\[
\mathcal L_{\text{Algebraic}}\approx 0.0,
\qquad
\mathcal L_{\text{Physics}}\approx 7.4049.
\]
The best-fit \(F\)-matrix is pseudo-unitary with respect to
\[
\eta=\mathrm{diag}(1,-1),
\qquad
F_{\mathrm{YL}}^\dagger \eta F_{\mathrm{YL}}=\eta,
\]
but not unitary in the ordinary sense [2601.06821]. The resulting state space is a Krein space rather than a Hilbert space, and the Hamiltonian is pseudo-Hermitian rather than Hermitian:
\[
H_{YL}^\dagger=\eta H_{YL}\eta^{-1}\neq H_{YL}.
\]
The theorem proved there states:
\[
\textbf{Necessity of Pseudo-Unitarity.}\quad
\text{A spherical fusion category } C \text{ admits a physical realization } (H,\langle\cdot,\cdot\rangle,\mathcal H) \text{ if and only if } C \text{ is pseudo-unitary.}
\]
This refines the traditional presentation of Levin–Wen models by showing that sphericality alone guarantees topological consistency, but positive-definite quantum mechanics requires pseudo-unitarity [2601.06821].

Ground-state and excited-state degeneracies also reveal where universal topological data end and model-dependent structure begins. In generalized string-net models restricted to the charge-free fluxon sector, the ground-state degeneracy on a closed surface depends only on the Drinfeld center:
\[
D_{\mathcal C}(g,0,0)=\sum_{A\in\mathcal Z(\mathcal C)} S_{\mathbf1,A}^{\,2-2g},
\]
but excited-state degeneracies include additional factors \(n_{A,1}\) from the tube algebra decomposition [2309.00343]. The general puncture-space dimension becomes
\[
\widetilde{\dim}_{\mathcal C}(g;A_1,\ldots,A_q)
=
\dim_{\mathcal Z(\mathcal C)}(g;A_1,\ldots,A_q)\prod_{i=1}^q n_{A_i,1},
\]
showing that Morita-equivalent categories with the same center can nevertheless differ in their excited-level degeneracies [2309.00343].

Taken together, these developments define the modern understanding of Levin–Wen string-net models. They are a categorical construction of exactly solvable, generally nonchiral topological lattice phases; they realize Drinfeld centers of suitable fusion-category input; they encompass quantum doubles and admit multiple Hamiltonian generalizations; and they are now understood to be bounded on the physical side by pseudo-unitarity and on the phase-classification side by gappability criteria [0907.2670][2004.07045][1402.4081][2405.17379][2601.06821].

Source: https://www.emergentmind.com/topics/levin-wen-string-net-models