Axiomatization of the Levin--Wen Wave Function

Abstract: The Levin--Wen model provides a lattice realization of topological orders associated with a given unitary fusion category. A longstanding open problem is to characterize Levin--Wen ground-state wave functions intrinsically, without assuming a priori categorical symmetry data or a Hamiltonian. We address this by proposing six axioms on a family of wave functions defined on lattices at multiple scales. These axioms allow us to reconstruct the underlying unitary fusion category and prove that the resulting wave functions map to nonzero Levin--Wen ground-state vectors of the emergent category.

• The paper introduces six axioms that allow intrinsic characterization of Levin–Wen wave functions, demonstrating that the categorical data and Hamiltonian emerge from these axioms rather than being assumed.
• These axioms ensure that the wave functions satisfy a topological connectedness condition, verifying a fundamental RG fixed-point condition and determining the local unitaries transforming the wave function.
• The axiomatization framework provides a rigorous bridge between the entanglement-bootstrap perspective and the categorical theory of topological order

The Levin–Wen string-net construction assigns to any unitary fusion category (UFC) $\mathcal{C}$ a commuting-projector Hamiltonian on a trivalent lattice in $\mathbb{S}^2$ whose unique ground state is determined by the graphical calculus of $\mathcal{C}$, with bulk anyons given by the Drinfeld center $Z(\mathcal{C})$ (2608.21109). A longstanding question is whether these ground-state wave functions admit an intrinsic characterization: one that starts from a family of wave functions defined on lattices at multiple scales and reconstructs the categorical data and the Hamiltonian, rather than assuming them. The paper under discussion resolves this question in the zero-correlation-length setting by proposing six axioms on an $\mathbb{S}^2$-functional and proving that any functional satisfying them yields wave functions that are, up to local unitaries, exactly Levin–Wen ground states of an emergent UFC.

Background: intrinsic characterization of topological order

Topological order lies outside the Landau symmetry-breaking paradigm, and it is widely believed that two-dimensional gapped liquid phases with gappable boundaries are exhausted by generalized string-net models (2608.21109). In the renormalization-group formulation, such a phase is a stable family of ground states across system sizes, with equivalence implemented by generalized local unitary circuits. Prior work established two partial results: Levin–Wen wave functions are exact fixed points of explicit entanglement renormalization transformations (0806.4583), and Kim and Ranard showed that states satisfying entanglement-bootstrap-type axioms can be mapped to generalized string-net ground states by constant-depth circuits (Kim et al., 2024). What remained missing was a characterization formulated directly for a scale-compatible family of wave functions from which the equivalence is derived, rather than assumed.

Two obstructions structure the proof strategy. First, one must construct the emergent UFC from wave functions on different lattices; this is handled by the theory of $\mathbb{S}^n$-functionals developed earlier by the first author (Liu, 2024), which generalizes Jones's planar algebras. Second, one needs a condition expressing that the family sits at an RG fixed point; this is supplied here by the new "topological connectedness" axiom.

The Levin–Wen model and its evaluation map

The paper first constructs the model on $\mathbb{S}^2$ for a strict spherical UFC $\mathcal{C}$ with fixed duality data, including unitary isomorphisms $\phi_b$ for self-dual simples and Frobenius–Schur indicators handled via directed edges. Local Hilbert spaces are $\mathcal{H}_v = Hom(\mathbb{1}, A^{|v|})$ with $\mathbb{S}^2$0. The Hamiltonian combines edge projections $\mathbb{S}^2$1 enforcing consistent labellings with plaquette operators $\mathbb{S}^2$2, where $\mathbb{S}^2$3 is the global dimension; the plaquette terms carry explicit quantum-dimension factors and Frobenius–Schur sign factors $\mathbb{S}^2$4 when appropriate.

The central technical device is the evaluation map $\mathbb{S}^2$5, which converts vertex labels into a closed diagram evaluated by the categorical trace. Two results anchor the analysis:

• Intertwining: $\mathbb{S}^2$6 intertwines multiplication by $\mathbb{S}^2$7-type morphisms along boundary paths with sums of local plaquette operators weighted by dimension factors; the proof requires separate graphical treatments of self-dual labels, using the identity relating rotated $\mathbb{S}^2$8 insertions to the indicator $\mathbb{S}^2$9.
• Isometry: for a simply connected region $\mathcal{C}$0 meeting each edge at most once, $\mathcal{C}$1 restricts to an isometry from the ground-state subspace of $\mathcal{C}$2 onto $\mathcal{C}$3, i.e., the product of all interior $\mathcal{C}$4 and $\mathcal{C}$5 equals $\mathcal{C}$6.

A corollary is that the ground-state space on $\mathcal{C}$7 is one-dimensional, spanned by $\mathcal{C}$8 with amplitudes given by the normalized evaluation. This gives the canonical example of an $\mathcal{C}$9-functional: $Z(\mathcal{C})$0, related to the physical wave function by $Z(\mathcal{C})$1.

$Z(\mathcal{C})$2-functionals and the six axioms

An $Z(\mathcal{C})$3-functional is a nonzero linear functional on labelled regular stratifications of $Z(\mathcal{C})$4; via Riesz representation it defines a family of (generally unnormalized) wave functions $Z(\mathcal{C})$5 indexed by embedded lattices. The paper restricts to trivalent lattices ($Z(\mathcal{C})$6) throughout. The first three axioms are carried over from prior work:

1. Homeomorphism invariance of $Z(\mathcal{C})$7 under orientation-preserving PL homeomorphisms of marked stratifications.
2. Superposed reflection positivity: $Z(\mathcal{C})$8 for superpositions over reflection-symmetric configurations, strengthening the pointwise condition of (Liu, 2024).
3. Multiplicativity: $Z(\mathcal{C})$9, equivalent to $\mathbb{S}^2$0 together with $\mathbb{S}^2$1.

These ensure complete finiteness and hence a reconstructed UFC $\mathbb{S}^2$2 with distinguished object $\mathbb{S}^2$3, but they do not fix the inner products on local label spaces—the remaining freedom is precisely the one-site reduced density matrix $\mathbb{S}^2$4, equivalently its Fourier transform $\mathbb{S}^2$5. Three new axioms close this gap:

1. Local non-degeneracy: the reduced density matrix on a single supersite is strictly positive, so no unentangled degrees of freedom can be projected out—a wave-function-renormalization minimality condition.
2. Topological connectedness (TC): there exists $\mathbb{S}^2$6 such that, after rescaling by $\mathbb{S}^2$7 per interior face, tracing out a connected lattice in a disk yields a reduced operator independent of that lattice (TC1), and tracing out a disconnected lattice yields the compression of the connected-lattice operator onto its range projection (TC2). This is the RG-fixed-point condition connecting wave functions across lattices.
3. Commutativity: a graphical exchange condition on three labelled disks, excluding multiplicities of edge labels.

All six axioms are verified for $\mathbb{S}^2$8: s-reflection positivity follows from cancellation of $\mathbb{S}^2$9 insertions across the reflection axis and positive definiteness of the categorical inner product; TC holds with the sharp value $\mathbb{S}^n$0, so the global dimension is recovered as $\mathbb{S}^n$1—a notable point since it means the emergent category's total quantum dimension is read off directly from the functional's reduced density matrices.

Consequences of topological connectedness

The technical core shows that TC forces the quotient maps $\mathbb{S}^n$2 to be surjective for connected $\mathbb{S}^n$3. Writing $\mathbb{S}^n$4 for the kernel operators, TC translates into polar-decomposition identities $\mathbb{S}^n$5; a Schur-complement argument then proves $\mathbb{S}^n$6 is independent of $\mathbb{S}^n$7 and exhausts $\mathbb{S}^n$8. Immediate consequences include:

• Automatic local finiteness: TC plus s-reflection positivity implies $\mathbb{S}^n$9 without assuming it.
• Regularity of $\mathbb{S}^2$0: every simple object of $\mathbb{S}^2$1 is a summand of $\mathbb{S}^2$2, giving complete finiteness; commutativity then upgrades this to $\mathbb{S}^2$3.
• Canonical scaling: $\mathbb{S}^2$4 is independent of the connected stratification $\mathbb{S}^2$5.
• Frobenius identity: comparing the horizontal and vertical two-vertex stratifications (which have equal face counts, hence equal $\mathbb{S}^2$6) yields $\mathbb{S}^2$7.
• Block diagonality: concatenation arguments force $\mathbb{S}^2$8 with $\mathbb{S}^2$9.

The authors also note the PEPS interpretation: $\mathcal{C}$0 is a PEPS tensor valued in $\mathcal{C}$1, and surjectivity of $\mathcal{C}$2 says this PEPS is injective on connected lattices, with $\mathcal{C}$3 playing the role of a transfer matrix.

Rigidity of the Frobenius morphism

The decisive input is a rigidity theorem of independent interest: if $\mathcal{C}$4 is invariant under one-click rotation and modular conjugation, strictly $\mathcal{C}$5-positive (its Fourier transform is a strictly positive operator), and satisfies the Frobenius identity, then

$\mathcal{C}$6

with $\mathcal{C}$7 ranging over trace-orthonormal bases of $\mathcal{C}$8. This morphism is proportional to the multiplication of the canonical Q-system (Frobenius algebra) in $\mathcal{C}$9 implementing weak Morita equivalence with the Drinfeld center. The proof proceeds by an eigenvalue propagation argument: composing eigenvectors of the block operators $\phi_b$0 produces eigenvectors of the composite-block operators with eigenvalues scaled by inverse quantum dimensions, and rotation/conjugation symmetry supplies enough relations among eigenvalues to solve them all in terms of a single scalar $\phi_b$1 and the dimensions $\phi_b$2.

Applying this to $\phi_b$3—whose rotation and conjugation invariance follow from chart covariance and s-reflection positivity—determines the local Hilbert space structure completely: $\phi_b$4 orthogonally, with inner product proportional to the skein-module inner product $\phi_b$5.

Main theorem

Combining these ingredients, the main result states that a homeomorphism-invariant, multiplicative, s-reflection-positive, locally non-degenerate $\phi_b$6-functional satisfying TC and commutativity induces, for every stratification $\phi_b$7 with connected $\phi_b$8, a vector $\phi_b$9 that maps under an explicit product of local unitaries $\mathcal{H}_v = Hom(\mathbb{1}, A^{|v|})$0 to a nonzero Levin–Wen ground state of the model with input $\mathcal{H}_v = Hom(\mathbb{1}, A^{|v|})$1:

$\mathcal{H}_v = Hom(\mathbb{1}, A^{|v|})$2

The proof identifies the reconstructed evaluation with the string-net evaluation map and uses the one-dimensionality of the sphere ground space. The scale parameter satisfies $\mathcal{H}_v = Hom(\mathbb{1}, A^{|v|})$3, determined purely by TC; for the canonical functional $\mathcal{H}_v = Hom(\mathbb{1}, A^{|v|})$4 and $\mathcal{H}_v = Hom(\mathbb{1}, A^{|v|})$5. Thus the axioms characterize the Levin–Wen wave function intrinsically: neither the category nor the Hamiltonian is assumed, both emerge from the functional.

Limitations and open questions

The paper is explicit about scope. The characterization covers only zero-correlation-length fixed points; perturbing the one-site density matrix $\mathcal{H}_v = Hom(\mathbb{1}, A^{|v|})$6 produces models away from RG fixed points, and the axioms do not address stability. Removing any single axiom yields different classes of models whose classification is left open. The restriction to trivalent lattices and to $\mathcal{H}_v = Hom(\mathbb{1}, A^{|v|})$7 excludes higher-genus surfaces and higher-dimensional generalizations, the latter described as a substantial challenge. The relation between TC and the area law, topological entanglement entropy, and the entanglement-bootstrap axioms of Shi–Kato–Kim (Shi et al., 2019) is asserted as a direction rather than proved. Finally, the discussion suggests that TC generalizes the biprojection notion from planar algebras, and that an appropriate weakening may be an exchange-relation-type condition connected to quantum Markov states; this connection is deferred to future work rather than established.

Conclusion

This paper completes, in the fixed-point setting, the program of characterizing Levin–Wen wave functions intrinsically. Its contributions are threefold: a clean set of six axioms on an $\mathcal{H}_v = Hom(\mathbb{1}, A^{|v|})$8-functional, verified sharply by the string-net examples (notably $\mathcal{H}_v = Hom(\mathbb{1}, A^{|v|})$9); the derivation that TC alone enforces local finiteness, injective PEPS structure, and the Frobenius identity; and a rigidity theorem identifying the unique strictly $\mathbb{S}^2$00-positive symmetric Frobenius morphism on $\mathbb{S}^2$01 with the canonical Q-system multiplication. Together these show that categorical symmetry data and the commuting-projector Hamiltonian are not inputs but outputs of the axiomatic framework, providing a rigorous bridge between the entanglement-bootstrap perspective and the categorical theory of topological order.