REVIEW
Field theories and critical excitations at anyon condensation transitions
Strongly Correlated Electrons · Submitted 20 Oct 2026 · 75 references
Pith's verdict: The loop rule is clean and the examples check out, but the point-excitation rule is ambiguous exactly where the paper needs it: item 3 of Criteria 2 predicts B, Eq. (6) predicts B∩B′, and the doubled-Ising application never confronts the difference.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
This paper argues that the categorical data of the parent order and its condensable algebra alone determine which point and loop excitations turn critical at anyon condensation transitions.
The reading
What carries the argument
The load-bearing objects are the condensable algebra $\mathcal{A}$ (the set of anyons that condense together along with their fusion channels), the fusion subcategory $B=\langle \mathcal{A}\rangle$ that it generates, and the Müger centralizer $B'$—the anyons with trivial braiding against every object of $B$. The centralizer does the work: the paper proposes that the condensed loop set $K$ is exactly $B'$, so on the torus the ground states differing by inserting a loop from $B'$ stay exponentially close throughout, while a loop outside $B'$ produces a splitting that vanishes as $1/L$ at the critical point. Point excitations then become critical precisely when they lie in $Z_2(B')=Z_2(B)$, the intersection of the centralizer with the generating subcategory. For the field theory construction, the machinery is the fusion-tree expansion: each Lagrangian term traces a tree of condensing anyons fusing to the vacuum, summed over F-moves so no branch ever leaves $\mathcal{A}$, with real or complex fields attached to the internal dimensions of each non-abelian anyon according to its self-statistics, and a topological Chern-Simons term encoding the mutual non-locality of different field components.
Extended reading notes
Core claim
On the paper's own terms: at a direct continuous anyon condensation transition out of a topological order $\mathcal{C}$ driven by a condensable algebra $\mathcal{A}$, let $B=\langle \mathcal{A}\rangle$ be the fusion subcategory generated by the condensing anyons. Loops of anyons that split into only deconfined or condensed components remain condensed across the transition and form the set $K$, identified with the Müger centralizer $B'$ (the anyons braiding trivially with everything in $B$); inserting such a loop along a noncontractible torus cycle costs at most an exponentially small splitting. Every other anyon loop becomes critical, meaning the splitting from inserting it vanishes algebraically with system size, as $1/L$ for a 3D CFT. A point-like anyon becomes critical exactly if it braids trivially with every condensed loop in $K$; otherwise it stays gapped. Because $\mathcal{C}$ is modular, the double centralizer theorem gives $(B')'=B$, so the critical point excitations sit in the Müger center $Z_2(B)=B'\cap B$—the same object that earlier 3+1D SymTFT constructions use—while the new loop criterion additionally covers the case $Z_2(B)=\{1\}$, where that bulk construction is trivial and misses the critical loops entirely. The paper also constructs Ginzburg-Landau Lagrangians for these transitions: when the condensing anyons have integer quantum dimensions, fields are assigned to the internal dimensions of each condensing anyon, and each allowed interaction term corresponds to a fusion tree into the vacuum whose branches always stay inside $\mathcal{A}$.
Load-bearing premise
The load-bearing premise is that the loops remaining condensed through the transition are exactly the Müger centralizer $B'$ of the subcategory generated by the condensable algebra, an identification supported by heuristic argument and by exact diagonalization on only $L=2,3,4$ tori rather than derived from the microscopic dynamics, so if the true condensed-loop set differs the predicted critical loops and points fail.
Editorial extensions
If this is right
- At any continuous anyon condensation transition, which excitations turn critical is fixed by the condensable algebra and parent category alone: loops outside the Müger centralizer $B'$ become critical, and a point excitation becomes critical iff it braids trivially with every loop in $B'$.
- The criterion reaches cases where the 3+1D SymTFT construction of earlier work is blind: when the Müger center $Z_2(B)$ is trivial the SymTFT bulk is trivial and misses the critical loop excitations, which the loop criterion still predicts.
- For the toric code in a magnetic field the criterion predicts that the $e$ point and the $m$ and $f$ loops turn critical, and exact diagonalization on $L=2,3,4$ tori shows the relevant level crossings moving toward $h_{x,c}\approx 0.33$ with the expected $1/L$ scaling.
- For the doubled Ising and $S_3$ quantum double orders the construction yields explicit Lagrangians (Ising-type and $Z_3$ clock-type terms) and, via ungauging relations, concrete numerical signatures such as the order parameter odd under the $e$-$m$ exchange at the self-dual toric code transition.
Reading between the lines
- Editorial extension: a fusion 2-category treatment that includes descendant line defects such as Cheshire strings—explicitly left out by the paper—might turn the heuristic identification of the condensed loops with the Müger centralizer into a theorem, or reveal corrections to which loops count as condensed.
- Editorial extension: the same logic suggests a general ordering principle for 2+1D critical points—gaplessness is carried first by line-like objects, and point-like criticality is derivative, arising only where points braid trivially with the surviving line condensate—so future field theories of such transitions should start from the 2-category structure of line defects rather than from point orde
- Editorial extension: the paper's own numerical evidence stops at $L=4$, where loop eigenvalues are no longer exact quantum numbers; a quantum Monte Carlo computation of the $m$-loop splitting at the toric code transition beyond $L=4$ would settle whether the centralizer identification survives in the thermodynamic limit.
- Editorial extension: because the criterion is conditional on continuity, it doubles as a first-order-detection device—a proposed lattice realization whose predicted critical loops stay gapped (as happens for doubled Fibonacci) is evidence the transition is actually first order rather than evidence against the criterion.
Original abstract
Anyon condensation transitions remain challenging to characterize especially when the condensing anyons are non-abelian. We develop two complementary approaches for extracting information about the transition from the categorical data of the parent topological order and the condensate. The first adapts a Ginzburg-Landau procedure developed for $1+1$D transitions in the SymTFT setting to $2+1$D anyon condensation transitions. The construction applies when the anyons participating in the condensate have integer quantum dimensions. The second gives a criterion for identifying which point and loop excitations become critical at a continuous transition. The key step is to determine which anyon loops remain condensed throughout. All other loops become critical, while a point excitation becomes critical if it braids trivially with every condensed loop. We illustrate both proposals in several abelian and non-abelian examples.
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.
The abstract, sentence by sentence
Anyon condensation transitions remain challenging to characterize especially when the condensing anyons are non-abelian. We develop two complementary approaches for extracting information about the transition from the categorical data of the parent topological order and the condensate. The first adapts a Ginzburg-Landau procedure developed for $1+1$D transitions in the SymTFT setting to $2+1$D anyon condensation transitions. The construction applies when the anyons participating in the condensate have integer quantum dimensions. The second gives a criterion for identifying which point and loop excitations become critical at a continuous transition. The key step is to determine which anyon loops remain condensed throughout. All other loops become critical, while a point excitation becomes critical if it braids trivially with every condensed loop. We illustrate both proposals in several abelian and non-abelian examples.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Anyon condensation transitions remain challenging to characterize especially when the condensing anyons are non-abelian. | background 0.74 | 0.05 | 0.03 | asserted 1.00 |
| s1 | We develop two complementary approaches for extracting information about the transition from the categorical data of the parent topological order and the condensate. | contribution 0.99 | 0.95 | 0.18 | asserted 1.00 |
| s2 | The first adapts a Ginzburg-Landau procedure developed for $1+1$D transitions in the SymTFT setting to $2+1$D anyon condensation transitions. | method 0.93 | 0.81 | 0.07 | asserted 1.00 |
| s3 | The construction applies when the anyons participating in the condensate have integer quantum dimensions. | limitation 0.96 | 0.47 | 0.03 | asserted 1.00 |
| s4 | The second gives a criterion for identifying which point and loop excitations become critical at a continuous transition. | contribution 0.74 | 0.90 | 0.15 | asserted 1.00 |
| s5 | The key step is to determine which anyon loops remain condensed throughout. | method 0.96 | 0.57 | 0.10 | asserted 0.99 |
| s6 | All other loops become critical, while a point excitation becomes critical if it braids trivially with every condensed loop. | method 0.55 | 0.80 | 0.24 | asserted 1.00 |
| s7 | We illustrate both proposals in several abelian and non-abelian examples. | contribution 0.83 | 0.92 | 0.08 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:2610.28148 by the authors.
References
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.