Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Matrix formulation for non-Abelian families

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read Given a topological order $\mathcal C$, the paper proves that every topological order in its non-Abelian family is described by a tuple of Abelian anyons and a symmetric invertible $K$ matrix, with closed formulas for the fusion, spin…

desk verdict A genuinely useful matrix formulation for non-Abelian families, with solid but terse proofs; the rank-integrality gap is patchable, not fatal. read the letter →

arxiv 1908.02599 v1 pith:WRT3EVPE submitted 2019-08-07 cond-mat.str-el math.CTquant-ph

classification cond-mat.str-elmath.CTquant-ph
keywords Kmatrixformulationnon-Abeliananyons2+1DtopologicalordersfamilyhierarchyconstructionLaughlinstatesmodulartensorcategoriesanyoncondensation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper claims that every topological order in the same non-Abelian family as a given topological order $\mathcal C$ can be written compactly as $\mathcal C_{\boldsymbol a,K}$: choose a tuple $\boldsymbol a=(a_I)$ of Abelian anyons inside $\mathcal C$ and a symmetric invertible matrix $K$ with entries $K_{IJ}=k_{IJ}-t_{a_I,a_J}$, where $k_{IJ}$ are integers with even diagonal and $t_{a_I,a_J}$ are the mutual statistics between the chosen anyons. The claim matters because the previous hierarchy construction had to be applied step by step, making it hard to reach a relative that is many steps away; the matrix description turns any member of the family into data that can be written down at once. Theorem 1 gives explicit formulas for the fusion rules, topological spins, modular $S$ matrix, rank, and chiral central charge of $\mathcal C_{\boldsymbol a,K}$ in terms of $K$ and the mutual statistics. When $\mathcal C$ is a root of the family, whose Abelian anyons are mutually trivial bosons or fermions, $K$ becomes an integer matrix, so generating large numbers of topological orders becomes a matter of enumerating integer matrices.

What carries the argument

The central object is the generalized $K$ matrix, $K_{IJ}=k_{IJ}-t_{a_I,a_J}$: an integer symmetric part $k_{IJ}$ (even on the diagonal) corrected by subtracting the mutual statistics $t_{a_I,a_J}$ of the Abelian anyons $a_I,a_J$ chosen in $\mathcal C$. It enters as the exponent of the multilayer Laughlin wavefunction and it encodes, in one matrix, all the information that the step-by-step hierarchy construction would otherwise take many steps to accumulate. Theorem 1 uses this single matrix to write the equivalence relations on anyon labels, the fusion rule, topological spin, $S$ matrix, rank, and chiral central charge of the constructed topological order. The integrality of $K$ for roots is what reduces the enumeration of large numbers of topological orders to integer linear algebra.

What would settle it

Compute the complete fusion and modular data of a topological order that is claimed to belong to a non-Abelian family whose root has an Abelian anyon with non-integral self-statistics; if no pair $(\boldsymbol a,K)$ over a symmetric root reproduces that data, the matrix formulation misses members of the family or the root characterization is wrong.

Watch

Extended reading notes

Core claim

The paper's central claim is a matrix formulation for non-Abelian families of 2+1D topological orders. Starting from a topological order $\mathcal C$, the paper constructs a new topological order by letting Abelian anyons $a_I$ of $\mathcal C$ form a multilayer Laughlin-like state, and summarizes the construction by a pair $(\boldsymbol a,K)$ with $K_{IJ}=k_{IJ}-t_{a_I,a_J}$. The anyons of the resulting order are pairs $(i,\boldsymbol l)$ with $i$ an anyon of $\mathcal C$ and $\boldsymbol l$ an integer vector, modulo the equivalence relation $(i,\boldsymbol l)\sim(i\otimes a_I,\boldsymbol l+K_I-\boldsymbol t_i+\boldsymbol t_{i\otimes a_I})$. Theorem 1 states the resulting fusion rule $(i,\boldsymbol l)\otimes(j,\boldsymbol k)=\oplus_s N^s_{ij}(s,\boldsymbol l+\boldsymbol k-\boldsymbol t_i-\boldsymbol t_j+\boldsymbol t_s)$, the topological spin $s_{(i,\boldsymbol l)}=s_i+\frac{1}{2}(\boldsymbol l-\boldsymbol t_i)^T K^{-1}(\boldsymbol l-\boldsymbol t_i)$, the $S$-matrix formula $S_{(i,\boldsymbol l),(j,\boldsymbol k)}=|\det K|^{-1/2}S_{ij}e^{-2\pi i(\boldsymbol l-\boldsymbol t_i)^T K^{-1}(\boldsymbol k-\boldsymbol t_j)}$, the rank $|\det K|N_{\mathcal C}$, and the chiral central charge $c_{\mathcal C}+\operatorname{sgn}K$. For a root $\mathcal C$, the Abelian sector is a symmetric fusion category and $K$ is an integer matrix, with the parity of $K_{II}$ indicating whether $a_I$ is a boson or a fermion. The paper also gives a basis-independent categorical construction and a conjecture characterizing when two pairs $(\boldsymbol a,K)$ produce equivalent topological orders.

Load-bearing premise

The load-bearing premise is that repeatedly letting Abelian anyons condense into Laughlin-like states can reach every topological order in a non-Abelian family, and that every family has a smallest 'root' order in which all Abelian anyons are mutually trivial bosons or fermions.

Editorial extensions

If this is right

  • For any root $\mathcal C$, every topological order in its non-Abelian family is obtained from some pair $(\boldsymbol a,K)$; no sequence of intermediate hierarchy steps needs to be tracked.
  • The physical data of each generated order—fusion multiplicities, topological spins, modular $S$ matrix, rank, and chiral central charge—are given by closed formulas in terms of $K$ and the mutual statistics of the base order.
  • Because roots have integer $K$, enumerating candidate topological orders by determinant and rank reduces to enumerating integer symmetric matrices satisfying the parity constraints.
  • Known topological orders can be grouped into non-Abelian families by identifying the root and the pair $(\boldsymbol a,K)$ that produces them; unknown orders can be generated from the same root.
  • The classification problem for 2+1D topological orders is reduced to classifying roots, since every other phase in a family is a $K$-matrix construction over its root.

Reading between the lines

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

  • Editorial inference: if Conjecture 1 is correct, deciding whether two $K$ matrices describe the same phase becomes a well-defined reduction problem under $\operatorname{GL}(\mathbb Z)$ transformations and the addition or removal of trivial bilayers, which could be turned into an algorithmic check.
  • Editorial inference: the multilayer-Laughlin assumption also suggests a sharp boundary for the classification: if non-Abelian anyons can form nontrivial collective states other than Laughlin states, the non-Abelian family equivalence would need additional moves beyond adding Abelian anyons.
  • Editorial inference: because the root plus $K$ determines the anyon data, quantities relevant to topological quantum computation, such as the set of braiding phases, are functions of the root and $K$; comparing these functions across a family could show which non-Abelian properties are family invariants.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper proposes a K-matrix-style parametrization for non-Abelian families of 2+1D topological orders. Given a starting topological order C, any topological order in the same non-Abelian family (defined via the generalized hierarchy construction of Ref. 6) is claimed to be described by a tuple a=(a_I) of Abelian anyons in C together with a symmetric invertible matrix K with K_IJ = k_IJ - t_{a_I,a_J}, where K_IJ + t_{a_I,a_J} are integers and K_II + t_{a_I,a_I} are even integers. Theorem 1 gives explicit formulas for the fusion rules, topological spins, S matrix, rank, and chiral central charge of the resulting order C_{a,K}, and the paper states that when C is a root (i.e. C_Ab is a symmetric fusion category), K becomes an integer matrix. The proof in Appendix A proceeds by induction from the one-step hierarchy construction, and a separate formal categorical formulation is sketched. The paper also discusses equivalence relations on (a,K) and formulates a conjecture characterizing when two such descriptions give equivalent topological orders.

Significance. If the central claim holds, the paper provides a compact, algorithmically usable description of potentially infinite families of topological orders from a single root category, which is a useful organizing principle for classification and for generating explicit data. The linear-algebra formulas for fusion, spin, S, rank, and central charge are concrete and directly implementable. The inductive proof in Appendix A is a genuine verification of the structural formulas, and the determinant and chiral central charge formulas are explicit. The main weakness, as discussed below, is that a load-bearing integrality statement is asserted without proof, and a few derivations are only sketched; these issues are fixable but need to be addressed before the theorem is fully rigorous.

major comments (3)
  1. [Theorem 1 (rank bullet) and Appendix A, Eq. (A5)] The theorem's hypotheses allow K to be a rational symmetric matrix, since t_{a_I,a_J} are rational in general. The rank formula N_{C_{a,K}} = |det K| N_C therefore requires a proof that |det K| N_C is an integer. The induction in Appendix A only computes det K_1 = (m_c - 2s_{a_c}) det K_0 and identifies this with the rank increment; it never establishes that the resulting product is an integer. For a one-step construction, this reduces to the divisibility condition N_C * 2s_a ∈ Z for every Abelian anyon a in every category that arises in the hierarchy, which is not stated or proved. The paper should either provide a proof or a precise citation for this divisibility lemma, or add the explicit hypothesis |det K| N_C ∈ Z to Theorem 1.
  2. [Appendix A, paragraph 'In the above proof...'] The claim that the assumption det K_0 ≠ 0 is inessential and can be dropped is supported only by the statement of the GL(Z) equivalence C_{a,K} ≃ C_{W a, W K W^T}. No argument is given that for an arbitrary K satisfying the hypotheses one can choose W ∈ GL(κ,Z) so that all leading principal minors of W K W^T are nonzero while preserving the integrality conditions. This is a standard genericity fact, but it should be either proved or replaced by a precise reference.
  3. [Eq. (17) and Appendix A] The S matrix formula is asserted to 'follow directly' from the verified fusion, spin, and equivalence relations, but no derivation is included. Since the S matrix is a central part of Theorem 1 and its normalization with |det K| and the phase factor are nontrivial for rational K, a sketch of the derivation (or a reference to a full proof) should be supplied.
minor comments (4)
  1. [Introduction] The sentence 'We showed that given a topological order C, any topological order in the same non-Abelian family can be efficiently represented...' states the paper's main claim, but the formal theorem in the text only describes the result of a finite sequence of hierarchy steps; the surjectivity statement should be stated explicitly as an assumption or with a reference to Ref. 6.
  2. [One-step construction, Eqs. (9)-(12)] The data of the one-step hierarchy construction, including the rank formula |M_c| N_C, are listed without derivation; a citation to Ref. 6 at that point would clarify which results are being imported.
  3. [Formal categorical formulation] The grading group Z^κ/K(2 ker a,−) is written as a quotient of the dual space by a sublattice, which as written is an infinite group; the intended finite quotient appears only after imposing the condition f(-)+t(i,a(-)) ∈ Z. A clarifying sentence would prevent confusion.
  4. [Conclusion] The word 'Furture' should be 'Future'.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular reduction: Theorem 1 is proved by induction from the explicitly assumed one-step hierarchy construction; self-citations are premises, not recycled conclusions.

full rationale

The derivation chain is not circular. The paper explicitly builds on the generalized hierarchy construction of Ref. 6, and Theorem 1 is a direct induction from that one-step construction. The K-matrix data (equivalence relation, fusion, spin, S matrix and rank) are derived by substitution and linear algebra in Appendix A from the one-step formulas (Eqs. 7-12), not assumed as the theorem's conclusion. No parameter is fitted to a subset of data and then relabeled as a prediction; the mutual statistics t_{a_I,a_J} and spins are input data of the model, and the output data are stated as explicit functions of them. The root characterization 'C is a root if and only if C_Ab is a symmetric fusion category' is imported from the author's own prior Refs. 6 and 11, so the integer-K corollary rests on a self-citation; but this is an explicitly cited premise, not a conclusion smuggled back into the hypothesis, and it is not needed for the main matrix formulas in the non-root case. A potential correctness concern, such as whether |det K| N_C is always integral for rational K satisfying the stated hypotheses, is a mathematical-validity issue rather than a circularity: the rank formula is derived from the construction, not presupposed by it. Overall, no step reduces by definition or by construction to its own input.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central claim is derived from prior classification constructions and standard anyon data; no fitted numbers are introduced. The main axioms are the validity of the hierarchy construction (Ref. 6), the existence and characterization of roots, and the condensation results in the Müger center.

assumptions (4)
  • domain assumption The generalized hierarchy construction of Ref. 6 is valid and defines the non-Abelian family equivalence relation.
    The paper relies on this to assert that any topological order in a family can be reached from a root by adding Abelian anyons as Laughlin states. It is stated in the introduction and used throughout.
  • domain assumption Each non-Abelian family has a root whose Abelian anyons form a symmetric fusion category.
    Stated in the section on multiple steps, with citation to Refs. 6 and 11. This is used to conclude that K becomes an integer matrix for roots.
  • standard math Condensation of a symmetric fusion subcategory in the Müger center preserves fusion rules and braiding.
    Used in the formal categorical formulation to obtain the final topological order from C↑_{a,K}. Cited to Refs. 13 and 14.
  • standard math Mutual statistics t(i,a) between an anyon i and an Abelian anyon a is well-defined modulo integers and linear in a.
    This is standard in anyon theory and is used in the definitions of K and the equivalence relations.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Matrix formulation for non-Abelian families." pith.science (2026). https://pith.science/paper/WRT3EVPE

@misc{pith2026190802599,
  author       = {Pith},
  title        = {Pith review of: Matrix formulation for non-Abelian families},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WRT3EVPE}},
  note         = {Machine review of arXiv:1908.02599}
}
abstract

We generalize the $K$ matrix formulation to non-trivial non-Abelian families of 2+1D topological orders. Given a topological order $\mathcal C$, any topological order in the same non-Abelian family as $\mathcal C$ can be efficiently described by $\boldsymbol{a}=(a_I)$ where $a_I$ are Abelian anyons in $\mathcal C$, together with a symmetric invertible matrix $K$, $K_{IJ}=k_{IJ}-t_{a_I,a_J}$ where $k_{IJ}$ are integers, $k_{II}$ are even and $t_{a_I,a_J}$ are the mutual statistics between $a_I,a_J$. In particular, when $\mathcal C$ is a root whose rank is the smallest in the family, $K$ becomes an integer matrix. Our results make it possible to generate the data of large numbers of topological orders instantly.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Proliferation transitions from a topological phase in $2+1$ dimensions

    cond-mat.str-el 2026-02 conditional novelty 7.0 of 10

    A general 2+1d transition theory out of a topological phase, driven by one Abelian anyon, is constructed and shown to depend on a single integer parameter, with p=0 giving gauging.

Reference graph

Works this paper leans on

20 extracted references · 7 canonical work pages · cited by 1 Pith paper

  1. [1]

    author author X. G. \ Wen ,\ 10.1103/PhysRevB.40.7387 journal journal Physical Review B \ volume 40 ,\ pages 7387 ( year 1989 ) NoStop

  2. [2]

    author author X. G. \ Wen ,\ 10.1142/S0217979290000139 journal journal International Journal of Modern Physics B \ volume 04 ,\ pages 239 ( year 1990 ) NoStop

  3. [3]

    author author X. G. \ Wen \ and\ author Q. Niu ,\ 10.1103/PhysRevB.41.9377 journal journal Physical Review B \ volume 41 ,\ pages 9377 ( year 1990 ) NoStop

  4. [4]

    Kitaev ,\ 10.1016/S0003-4916(02)00018-0 journal journal Annals of Physics \ volume 303 ,\ pages 2 ( year 2003 ) ,\ http://arxiv.org/abs/9707021 arXiv:9707021 [quant-ph] NoStop

    author author A. Kitaev ,\ 10.1016/S0003-4916(02)00018-0 journal journal Annals of Physics \ volume 303 ,\ pages 2 ( year 2003 ) ,\ http://arxiv.org/abs/9707021 arXiv:9707021 [quant-ph] NoStop

  5. [5]

    author author M. H. \ Freedman , author A. Kitaev , author M. J. \ Larsen , \ and\ author Z. Wang ,\ 10.1090/S0273-0979-02-00964-3 journal journal Bulletin of the American Mathematical Society \ volume 40 ,\ pages 31 ( year 2002 ) ,\ http://arxiv.org/abs/0101025 arXiv:0101025 [quant-ph] NoStop

  6. [6]

    Hierarchy construction and non-Abelian families of generic topological orders

    author author T. Lan \ and\ author X.-G. \ Wen ,\ 10.1103/PhysRevLett.119.040403 journal journal Physical Review Letters \ volume 119 ,\ pages 040403 ( year 2017 ) ,\ http://arxiv.org/abs/1701.07820 arXiv:1701.07820 NoStop

  7. [7]

    author author X. G. \ Wen \ and\ author A. Zee ,\ 10.1103/PhysRevB.46.2290 journal journal Physical Review B \ volume 46 ,\ pages 2290 ( year 1992 ) NoStop

  8. [8]

    author author R. B. \ Laughlin ,\ 10.1103/PhysRevLett.50.1395 journal journal Physical Review Letters \ volume 50 ,\ pages 1395 ( year 1983 ) NoStop

Show all 20 references
  1. [9]

    author author F. D. M. \ Haldane ,\ 10.1103/PhysRevLett.51.605 journal journal Physical Review Letters \ volume 51 ,\ pages 605 ( year 1983 ) NoStop

  2. [10]

    author author B. I. \ Halperin ,\ 10.1103/PhysRevLett.52.1583 journal journal Physical Review Letters \ volume 52 ,\ pages 1583 ( year 1984 ) NoStop

  3. [11]

    Lan ,\ title A Classification of (2+1)D Topological Phases with Symmetries ,\ https://uwspace.uwaterloo.ca/handle/10012/12389 Ph.D

    author author T. Lan ,\ title A Classification of (2+1)D Topological Phases with Symmetries ,\ https://uwspace.uwaterloo.ca/handle/10012/12389 Ph.D. thesis ,\ school University of Waterloo ( year 2017 ) NoStop

  4. [12]

    author author M. M \" u ger ,\ 10.1112/S0024611503014187 journal journal Proceedings of the London Mathematical Society \ volume 87 ,\ pages 291 ( year 2003 ) ,\ http://arxiv.org/abs/0201017 arXiv:0201017 [math] NoStop

  5. [13]

    Kong ,\ 10.1016/j.nuclphysb.2014.07.003 journal journal Nuclear Physics B \ volume 886 ,\ pages 436 ( year 2014 ) ,\ http://arxiv.org/abs/1307.8244 arXiv:1307.8244 NoStop

    author author L. Kong ,\ 10.1016/j.nuclphysb.2014.07.003 journal journal Nuclear Physics B \ volume 886 ,\ pages 436 ( year 2014 ) ,\ http://arxiv.org/abs/1307.8244 arXiv:1307.8244 NoStop

  6. [14]

    u ger , author D. Nikshych , \ and\ author V. Ostrik ,\ 10.1515/crelle.2012.014 journal journal Journal f \

    author author A. Davydov , author M. M \" u ger , author D. Nikshych , \ and\ author V. Ostrik ,\ 10.1515/crelle.2012.014 journal journal Journal f \" u r die reine und angewandte Mathematik (Crelles Journal) \ volume 2013 ,\ pages 135 ( year 2013 ) ,\ http://arxiv.org/abs/100...

  7. [15]

    Barkeshli , author P

    author author M. Barkeshli , author P. Bonderson , author M. Cheng , \ and\ author Z. Wang ,\ http://arxiv.org/abs/1410.4540 journal journal ArXiv e-prints \ ( year 2014 ) ,\ http://arxiv.org/abs/1410.4540 arXiv:1410.4540 NoStop

  8. [16]

    \ Wen ,\ 10.1093/nsr/nwv077 journal journal National Science Review \ volume 3 ,\ pages 68 ( year 2016 ) ,\ http://arxiv.org/abs/1506.05768 arXiv:1506.05768 NoStop

    author author X.-G. \ Wen ,\ 10.1093/nsr/nwv077 journal journal National Science Review \ volume 3 ,\ pages 68 ( year 2016 ) ,\ http://arxiv.org/abs/1506.05768 arXiv:1506.05768 NoStop

  9. [17]

    Lan , author L

    author author T. Lan , author L. Kong , \ and\ author X.-G. \ Wen ,\ 10.1103/PhysRevB.94.155113 journal journal Physical Review B \ volume 94 ,\ pages 155113 ( year 2016 ) ,\ http://arxiv.org/abs/1507.04673 arXiv:1507.04673 NoStop

  10. [18]

    Lan , author L

    author author T. Lan , author L. Kong , \ and\ author X.-G. \ Wen ,\ 10.1007/s00220-016-2748-y journal journal Communications in Mathematical Physics \ volume 351 ,\ pages 709 ( year 2017 a ) ,\ http://arxiv.org/abs/1602.05936 arXiv:1602.05936 NoStop

  11. [19]

    Lan , author L

    author author T. Lan , author L. Kong , \ and\ author X.-G. \ Wen ,\ 10.1103/PhysRevB.95.235140 journal journal Physical Review B \ volume 95 ,\ pages 235140 ( year 2017 b ) ,\ http://arxiv.org/abs/1602.05946 arXiv:1602.05946 NoStop

  12. [20]

    Rowell , author R

    author author E. Rowell , author R. Stong , \ and\ author Z. Wang ,\ 10.1007/s00220-009-0908-z journal journal Communications in Mathematical Physics \ volume 292 ,\ pages 343 ( year 2009 ) ,\ http://arxiv.org/abs/0712.1377 arXiv:0712.1377 NoStop

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.