Pith. Sign in

REVIEW

Detecting topological order in a ground state wave function

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Michael Levin, Xiao-Gang Wen

Strongly Correlated Electrons · Submitted 23 Oct 2005 · 19 references

Pith's verdict: This is the paper that introduced topological entanglement entropy; the Z2 calculation is airtight, the general string-net derivation is compressed, and the step from exact fixed-point states to arbitrary wave functions is a plausibility argument rather than a proof.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 8 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDcond-mat/0510613 (version 2)
Pith IDMMH3ERJQ, Pith's permanent record of this paper and its review
CitationMichael Levin, Xiao-Gang Wen. "Detecting topological order in a ground state wave function." arXiv:cond-mat/0510613 (2005). https://pith.science/paper/MMH3ERJQ
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

A wave function's entanglement entropy carries a universal number that identifies its topological order, computable from the ground state alone without reference to any Hamiltonian.

The reading

Topological order has usually been diagnosed from dynamical data: quasiparticle statistics, ground-state degeneracy on a torus, edge modes. This paper argues that the same information is already sitting in the ground-state wave function, in how its entanglement is distributed among regions of the plane. The authors define a combination of four entanglement entropies of nested annular regions, $(S_1-S_2)-(S_3-S_4)$, and show that in the limit of large, thick annuli it converges to $-2$ times the logarithm of the quantum dimension $D$ of the associated topological field theory. For ordinary states $D=1$ and the quantity vanishes; for topologically ordered states it does not. If the result holds, one number computed from a wave function, invariant under smooth deformation, distinguishes topological phases and gives a numerical test that needs no Hamiltonian and no quasiparticle braiding.

What carries the argument

The load-bearing device is the exact string-net ground state, specified by graphical local rules rather than a closed formula: amplitudes depend only on the topology of the string network, a type-$i$ string loop carries weight $d_i$, branching is governed by $delta_{ijk}$, and local reconnections are governed by the $F$ tensor. Cutting a region along its boundary and expanding the wave function in orthonormal basis states labelled by the string types crossing the cut turns the reduced density matrix diagonal, with weights $prod_m d_{q_m}$ normalized by $D^{n-1}$. That diagonal form converts the entanglement entropy into a sum over string types, which is where the quantum dimension enters and where the boundary-length term separates cleanly from the constant proportional to the number of boundary curves.

Extended reading notes

Core claim

The paper's central claim is Eq. (1): for the four regions drawn in Fig. 1, in the limit $R,r to infinity$, $(S_1-S_2)-(S_3-S_4) = -log(D^2)$, where $D = sum_i d_i^2$ is the quantum dimension of the topological field theory carried by the wave function. The authors call the left side the topological entropy, $-S_{top}$, and argue it measures nonlocal entanglement: a state with only local correlations has the two differences equal up to corrections of order $e^{-R/xi}$, so the combination vanishes, while a state with fattened string operators crossing the annulus leaves a residue. They verify the identity exactly in the $Z_2$ lattice gauge theory ground state, where the entropy of a region with $n$ boundary spins and $j$ boundary curves is $(n-j)log 2$ and the combination gives $-2log 2 = -log(2^2)$, matching $D=2$. They then derive it for the full class of exactly soluble string-net models, obtaining $S_R = -jlog D - n sum_k (d_k^2/D) log(d_k/D)$ for a region with $n$ boundary spins and $j$ boundary curves, from which the size-dependent term cancels and $-2log D$ remains.

Load-bearing premise

The general derivation needs the inside and outside basis wave functions to be orthonormal, which the paper states without proof just after Eq. (7); that orthonormality is what makes the reduced density matrix diagonal and produces the entropy formula, although the explicit $Z_2$ calculation does not depend on it.

Editorial extensions

If this is right

  • Any trial wave function, including resonating-valence-bond, Gutzwiller-projected, and quantum loop gas states, can be screened for topological order by computing four entropies instead of solving for excitations.
  • Topological order becomes a property of a complex function of many variables rather than of a Hamiltonian, so classifying topological phases becomes a classification of wave functions.
  • The quantity is universal within a topological phase: small deformations of the wave function that change the width of the string operators leave the large-annulus limit unchanged.
  • Because $D$ equals the number of group elements for a discrete gauge theory, the method gives a direct numerical readout of the gauge group's size.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the identity holds for any state in the same topological phase, not just the exactly soluble fixed point, then a numerical entanglement computation on a finite lattice could serve as a practical phase identifier for variational Monte Carlo and tensor-network ground states, though finite-$r$ and finite-$R$ corrections would need to be controlled.
  • The same construction generalizes to higher dimensions in the authors' own framing, which suggests a dimension-independent definition of topological entanglement entropy; checking whether the planar four-region subtraction has a clean higher-dimensional analogue is a natural follow-up.
  • The constant term in $S_R$ is fixed by the number of boundary curves, so regions with multiple disconnected boundaries should show additive contributions; measuring the entropy of a region with several holes would test the counting rule independently of the four-region combination.
  • A state whose entanglement entropy follows the area law with the predicted constant but whose excitations are not anyonic would be a counterexample worth hunting, since it would decouple the entanglement signature from the rest of the topological-order package.
Original abstract

A large class of topological orders can be understood and classified using the string-net condensation picture. These topological orders can be characterized by a set of data (N, d_i, F^{ijk}_{lmn}, \delta_{ijk}). We describe a way to detect this kind of topological order using only the ground state wave function. The method involves computing a quantity called the ``topological entropy'' which directly measures the quantum dimension D = \sum_i d^2_i.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 3,541 input tokens, $0.0001 reported.

What the abstract itself states, as probabilities: claims first 0.05 · states limitation 0.15 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.14 · compares with prior results 0.07 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; .

A large class of topological orders can be understood and classified using the string-net condensation picture. These topological orders can be characterized by a set of data (N, d_i, F^{ijk}_{lmn}, \delta_{ijk}). We describe a way to detect this kind of topological order using only the ground state wave function. The method involves computing a quantity called the ``topological entropy'' which directly measures the quantum dimension D = \sum_i d^2_i.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 A large class of topological orders can be understood and classified using the string-net condensation picture. background 1.00 0.07 0.07 asserted 0.89
s1 These topological orders can be characterized by a set of data (N, d_i, F^{ijk}_{lmn}, \delta_{ijk}). background 1.00 0.10 0.07 asserted 1.00
s2 We describe a way to detect this kind of topological order using only the ground state wave function. contribution 0.93 0.89 0.44 asserted 1.00
s3 The method involves computing a quantity called the ``topological entropy'' which directly measures the quantum dimension D = \sum_i d^2_i. method 0.95 0.81 0.37 asserted 1.00

What kind of paper the classifier reports this is: method or tool 1.00 · evidence from proof or derivation 0.66.

What was examined, and what was not

sources read
  • arXiv listing abstract v2
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. From SR = (n − j) log 2, we find S1 = (n1 − 2) log 2, S2 = (n2 −1) log 2, S3 = (n3 −1) log 2, and S4 = (n4−2) log 2, where n1, n2, n3, n4 are the number of spins along the boundaries of the four regions. The topological entropy is therefore −Stop = (n1 −n2 −n3 +n4 −2) log 2. But the four regions are chosen such that (n1 − n2) = (n3 − n4). Thus the size dependent factor cancels out and we are left with −Stop = −2 log 2 = − log(22 ). This is in agreement with (1) since the quantum dimension of Z2 gauge theory is D = 2. General string-net models: To derive (1) in the gen￾eral case, we
Figure 2. FIG. 2: The state Ψ contains nonlocal correlations originat
Figure 3. FIG. 3: A simply connected region
Figure 4. FIG. 4: A typical string-net state on the honeycomb lattice.
Figure 5. FIG. 5: The basic string-net configurations (a)
Figure 6. FIG. 6: The string-net configuration

Figures reproduced from arXiv:cond-mat/0510613 by the authors.

References
How later papers used it

865 later papers cite it

Evidence: substantial. 834 of the citing papers share no author with it, and 74 of those carry a confident label from Pith's citation classifier.

Pith read 38 of the 1,257 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Builds on it 1 of 5 papers with this label
Uses its method or tool 10 of 47 papers with this label
How the literature uses it

224 arXiv papers cite this in 341 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 189 sentences without a confident label

Builds on it 3 papers
  • The idea of [ref] regarding the universality of the $O(1)$ term $γ$ can be extended to the ground state of massive perturbations of conformal field theories based on a variational Ansatz in finite volume proposed recently by J. Cardy [ref] , which describes the exact ground state [equation] in terms of smeared conformal boundary states.

    Chiral entanglement in massive quantum field theories in 1+1 dimensions · Introduction · 0.96

  • As a result of this reduction, the topological entanglement proposed in [ref] , which is a generalisation of the topological entanglement in $2+1$ dimensions, proposed in [ref] , acquires a contribution, [equation] Note however that eq.([ref]) is not the full result for $S_top$ in the $U(1)$ theory [Also note that in eq.([ref]) $g$ is the coupling constant, unlike [ref] who obtain a contribution going like $log(L)$, where $L$ is the size of the region.].

    Entanglement Entropy in (3+1)-d Free $U(1)$ Gauge Theory · Comments · 0.81

  • As the name suggests, the TEF is a generalization to mixed states of the topological entanglement entropy for pure states [ref] , in a similar fashion to how the entanglement of formation [ref] , a faithful mixed-state entanglement measure, generalizes the von Neumann entanglement entropy of pure states.

    Higher-form anomaly and long-range entanglement of mixed states · Topological entanglement of formation · 0.81

Uses its method or tool 4 papers
Uses its data or values 1 paper
  • For the $ℤ_2$ RVB state, it was found [ref] that $γ= ln(2)$: this value of $γ$ is then a signature of the long-range entanglement in this state of gapped quantum matter.

    The quantum phases of matter · Gapped quantum matter · 0.81

Compares with it 11 papers
  • Our results agree with Hikami's where they overlap.] For a simply connected region we compute the topological entropy of the vacuum (ground) state of the Chern-Simons theory on a sphere, and recover the result obtained by Kitaev and Preskill [ref] , and of Levin and Wen [ref] , i.e., eqs.[ref] and [ref].

    Topological Entanglement Entropy in Chern-Simons Theories and Quantum Hall Fluids · Introduction · 0.96

  • The dependence of the above result on $a$ distinguishes itself from the original definition [ref] of TEE, which is a universal constant.

    Topological Entanglement Entropy in Euclidean AdS3 via Surgery · Bipartition into Two Disks · 0.95

  • If one considers a set of regions $A$, $B$ as in Ref. [ref] such that $A$ and $B$ are each topologically disks, $A ∩B$ has two connected components, and $A ∪B$ is topologically an annulus, we find a topological entanglement entropy of [equation] in agreement with the result of Ref. [ref] .

    Decomposition of entanglement entropy in lattice gauge theory · Topological phase ground state · 0.94

Cites it as support 1 paper
Cites it as background 118 papers
  • Here $ABC$ is a partition of the system in a configuration as considered in Kitaev-Preskill [ref] and similarly in Brown et al. [ref] , or as in the Levin-Wen definition of TEE [ref] .

    Jones index, secret sharing and total quantum dimension · TEE and the irreducible correlation · 0.90

  • A central example is the topological entanglement entropy (TEE) [ref] , which is constructed from a suitable linear combination of bipartite entanglement entropies so as to cancel nonuniversal boundary contributions and isolate universal topological information.

    Genuine Multi-Entropy in the Toric Code · Introduction and summary · 0.96

  • For example, the entanglement entropy has been used to define the topological entanglement entropy [ref] which in turn is related to important properties of the system like the degeneracy of ground states on a manifold of non-trivial topology, and the total quantum dimension of excitations in the system.

    Aspects of Entanglement Entropy for Gauge Theories · Introduction · 0.90

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.