pith. sign in

arxiv: 2506.21773 · v1 · submitted 2025-06-26 · ❄️ cond-mat.str-el · math-ph· math.MP· quant-ph

Excitation-detector principle and the algebraic theory of planon-only abelian fracton orders

Pith reviewed 2026-05-19 07:13 UTC · model grok-4.3

classification ❄️ cond-mat.str-el math-phmath.MPquant-ph
keywords planon-only fracton ordersexcitation-detector principleperfect theoriesmodular anyon theorycompactificationquadratic formLaurent polynomial moduleabelian topological order
0
0 comments X

The pith

The compactified 2D anyon theory is modular if and only if the original 3D planon-only fracton order is perfect.

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

The paper examines three-dimensional gapped phases called abelian planon-only fracton orders, in which all fractional excitations move only within parallel planes. A basic remote detectability condition among these planons proves insufficient for physical realizability. The authors introduce the excitation-detector principle, requiring that every infinite detector string of planons must braid nontrivially with some finite excitation. This principle holds exactly when the theory is perfect, defined by its quadratic form inducing a perfect Hermitian form on the module over the Laurent polynomial ring. They establish the equivalence by proving that spatial compactification along the normal direction produces a modular two-dimensional anyon theory precisely when the three-dimensional theory is perfect, and they conjecture this condition is also sufficient. They further show that any such theory with prime fusion order reduces to decoupled layers of two-dimensional anyon theories.

Core claim

We prove the compactified 2d theory is modular if and only if the original 3d theory is perfect, showing that the excitation-detector principle gives a necessary condition for physical realizability that we conjecture is also sufficient. A key ingredient is a structure theorem for finitely generated torsion-free modules over Z_{p^k} [t^±], where p is prime and k a natural number. Finally, as a first step towards classifying perfect theories of excitations, we prove that every theory of prime fusion order is equivalent to decoupled layers of 2d abelian anyon theories.

What carries the argument

The excitation-detector principle, which requires every infinite detector string of planons to braid nontrivially with some finite excitation, and its equivalence to the quadratic form inducing a perfect Hermitian form on the finitely generated module over Z[t^±].

If this is right

  • The excitation-detector principle holds precisely for perfect theories of excitations.
  • Compactification of a planon-only fracton order yields a modular 2D anyon theory exactly when the 3D theory is perfect.
  • Every theory of prime fusion order is equivalent to decoupled layers of 2D abelian anyon theories.
  • The structure theorem for torsion-free modules over Z_{p^k}[t^±] supports further algebraic classification of these orders.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The excitation-detector principle may extend to other classes of fracton phases with restricted mobility.
  • Physical lattice models realizing these orders would need to satisfy the perfection condition to match the predicted modular compactifications.
  • The algebraic equivalence to layered 2D theories suggests that certain 3D fracton phases could be built by stacking known anyon models with appropriate couplings.

Load-bearing premise

The fusion and statistics of all fractional excitations in planon-only fracton orders are fully captured by a finitely generated module over Z[t^±] equipped with a quadratic form.

What would settle it

A counterexample would be a planon-only fracton order whose quadratic form does not induce a perfect Hermitian form yet produces a modular anyon theory upon compactification, or a perfect theory whose compactification fails to be modular.

Figures

Figures reproduced from arXiv: 2506.21773 by Agn\`es Beaudry, Evan Wickenden, Michael Hermele, Wilbur Shirley.

Figure 1
Figure 1. Figure 1: FIG. 1. An unphysical planon-only fracton order. Each [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗
read the original abstract

We study abelian planon-only fracton orders: a class of three-dimensional (3d) gapped quantum phases in which all fractional excitations are abelian particles restricted to move in planes with a common normal direction. In such systems, the mathematical data encoding fusion and statistics comprises a finitely generated module over a Laurent polynomial ring $\mathbb{Z}[t^\pm]$ equipped with a quadratic form giving the topological spin. The principle of remote detectability requires that every planon braids nontrivially with another planon. While this is a necessary condition for physical realizability, we observe - via a simple example - that it is not sufficient. This leads us to propose the $\textit{excitation-detector principle}$ as a general feature of gapped quantum matter. For planon-only fracton orders, the principle requires that every detector - defined as a string of planons extending infinitely in the normal direction - braids nontrivially with some finite excitation. We prove this additional constraint is satisfied precisely by perfect theories of excitations - those whose quadratic form induces a perfect Hermitian form. To justify the excitation-detector principle, we consider the 2d abelian anyon theory obtained by spatially compactifying a planon-only fracton order in a transverse direction. We prove the compactified 2d theory is modular if and only if the original 3d theory is perfect, showing that the excitation-detector principle gives a necessary condition for physical realizability that we conjecture is also sufficient. A key ingredient is a structure theorem for finitely generated torsion-free modules over $\mathbb{Z}_{p^k} [t^\pm]$, where $p$ is prime and $k$ a natural number. Finally, as a first step towards classifying perfect theories of excitations, we prove that every theory of prime fusion order is equivalent to decoupled layers of 2d abelian anyon theories.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper studies abelian planon-only fracton orders in 3D gapped phases where all fractional excitations are abelian planons moving in planes with a common normal. It encodes their fusion and statistics via a finitely generated module over the Laurent polynomial ring Z[t^±] equipped with a quadratic form for topological spin. The remote detectability principle is shown to be necessary but insufficient for physical realizability; the authors introduce the excitation-detector principle requiring that every infinite detector string of planons braids nontrivially with some finite excitation. They prove this holds precisely when the theory is perfect (quadratic form induces a perfect Hermitian form). Compactifying transversely yields a 2D abelian anyon theory that is modular if and only if the 3D theory is perfect. A structure theorem for finitely generated torsion-free modules over Z_{p^k}[t^±] is established, and every prime-fusion-order theory is shown equivalent to decoupled layers of 2D abelian anyon theories.

Significance. If the asserted proofs and structure theorem hold, the work supplies an algebraic criterion (perfection of the Hermitian form) that is necessary for physical realizability of planon-only fracton orders and links them directly to modular 2D anyon theories via compactification. The prime-order classification result and the module structure theorem are concrete advances that could support systematic enumeration of such phases. The conjecture that the excitation-detector principle is also sufficient remains open but is clearly separated from the proven necessity statement.

major comments (2)
  1. Abstract: the central iff claim (compactified 2D theory modular ⇔ 3D theory perfect) and the equivalence of the excitation-detector principle to perfection rest on a newly stated structure theorem for torsion-free modules over Z_{p^k}[t^±] and on the modeling of all excitations by a single finitely generated Z[t^±]-module plus quadratic form; without the full derivations these steps cannot be verified for hidden assumptions on torsion or on the precise definition of the Hermitian form.
  2. Abstract, paragraph 1: the assertion that the mathematical data 'fully captures the fusion and statistics of all fractional excitations' is load-bearing for every subsequent claim; the manuscript must explicitly justify why no additional data (e.g., higher-form symmetries or non-planar excitations) are required for planon-only orders.
minor comments (2)
  1. Abstract: define 'detector' and 'perfect theory of excitations' at the first occurrence rather than relying on later implicit usage.
  2. Abstract: the final sentence on prime-order reduction should indicate whether the equivalence preserves the quadratic form or only the fusion rules.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thoughtful review and constructive comments on our manuscript. We address each major comment below and are prepared to make revisions to improve clarity and provide additional justifications as needed. The full derivations supporting the claims are contained in the body of the paper, which we reference in our responses.

read point-by-point responses
  1. Referee: Abstract: the central iff claim (compactified 2D theory modular ⇔ 3D theory perfect) and the equivalence of the excitation-detector principle to perfection rest on a newly stated structure theorem for torsion-free modules over Z_{p^k}[t^±] and on the modeling of all excitations by a single finitely generated Z[t^±]-module plus quadratic form; without the full derivations these steps cannot be verified for hidden assumptions on torsion or on the precise definition of the Hermitian form.

    Authors: The full manuscript presents the structure theorem for finitely generated torsion-free modules over Z_{p^k}[t^±] (including its proof) and derives the equivalence of the excitation-detector principle to perfection of the quadratic form, as well as the iff statement for the compactified 2D theory being modular. The modeling of all excitations by a single finitely generated Z[t^±]-module equipped with a quadratic form is introduced and motivated in the setup, where we specify that the quadratic form takes values in the appropriate ring and induces the Hermitian form via the standard involution on the Laurent polynomials. We will revise the manuscript to include explicit cross-references from the abstract to the relevant sections, add a brief summary of the key steps in the introduction, and clarify the assumptions (torsion-freeness of the modules under consideration and the precise definition of the induced Hermitian form) to eliminate any potential for hidden assumptions. revision: yes

  2. Referee: Abstract, paragraph 1: the assertion that the mathematical data 'fully captures the fusion and statistics of all fractional excitations' is load-bearing for every subsequent claim; the manuscript must explicitly justify why no additional data (e.g., higher-form symmetries or non-planar excitations) are required for planon-only orders.

    Authors: We agree that an explicit justification strengthens the manuscript. By definition, planon-only fracton orders are those 3D gapped phases in which every fractional excitation is an abelian planon confined to planes sharing a common normal direction; this restriction excludes non-planar excitations by construction. The fusion and statistics of these excitations are completely encoded by the finitely generated Z[t^±]-module together with the quadratic form, as the planon mobility and abelian nature preclude the need for additional data such as higher-form symmetries in this topological order. We will add a dedicated clarifying paragraph (or short subsection) in the introduction that explicitly argues, based on the definition of the phase class, why the module-plus-quadratic-form data suffices without requiring further structure. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

With only the abstract available, the claimed derivation consists of a mathematical proof establishing equivalence between modularity of the compactified 2d theory and perfection of the 3d theory, supported by a structure theorem for torsion-free modules over Z_{p^k}[t^pm] together with standard properties of quadratic forms on Z[t^pm]-modules. No self-citations, fitted inputs renamed as predictions, self-definitional loops, or ansatzes smuggled via prior work appear in the provided text. The central result is presented as an if-and-only-if theorem derived from the algebraic data, rendering the derivation self-contained against external benchmarks rather than reducing to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The paper rests on algebraic definitions of excitation modules and quadratic forms together with a newly introduced structure theorem; no numerical fitting parameters are mentioned.

axioms (1)
  • domain assumption Fusion and statistics of planons are completely encoded by a finitely generated module over the Laurent polynomial ring Z[t^pm] equipped with a quadratic form for topological spin.
    Explicitly stated as the mathematical data in the opening sentence of the abstract.
invented entities (2)
  • excitation-detector principle no independent evidence
    purpose: Additional constraint beyond remote detectability requiring that every infinite detector string braids nontrivially with some finite excitation.
    Introduced in the abstract as a general feature of gapped quantum matter.
  • perfect theory of excitations no independent evidence
    purpose: A theory whose quadratic form induces a perfect Hermitian form, satisfying the excitation-detector principle.
    Defined and used as the precise characterization in the abstract.

pith-pipeline@v0.9.0 · 5868 in / 1512 out tokens · 38114 ms · 2026-05-19T07:13:56.631329+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

  1. Translation-invariant quantum low-density parity-check codes from compactified fracton models

    quant-ph 2026-05 unverdicted novelty 6.0

    Compactification of a single higher-dimensional hypergraph-product fracton model yields a broad family of translation-invariant quantum LDPC codes that includes fracton models and all A2BGA codes such as BB codes.

Reference graph

Works this paper leans on

70 extracted references · 70 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    f is injective if and only if fs is injective for all s

  2. [2]

    fs surjective for all s implies that f is surjective

  3. [3]

    filtered basis

    f is an isomorphism if and only if fs is an isomorphism for all s. 43 Proof. First we have to show the maps fs are well-defined; it is enough to show f(M s) ⊂ N s. If x ∈ M s, then psx = 0, so psf(x) = f(psx) = 0, and f(x) ∈ N s. It is clear the maps fs are R-linear. In what follows we define f s : M s → N s by f s = f |M s. Note that M 1 = M1, N 1 = N1 a...

  4. [4]

    EXCITATION-DETECTOR PRINCIPLE, PHYSICAL REALIZABILITY AND PERFECTNESS In this section we prove Theorem 1.1. As discussed in the Introduction, this shows that the excitation- detector principle, defined as nondegeneracy of ˜b : S ×eS → Q/Z, is a necessary condition for a theory of excitations to be physically realizable. The excitation-detector principle i...

  5. [5]

    The bilinear form ˜b : S ×eS → Q/Z is nondegenerate

  6. [6]

    The bilinear form ˜bper : S ×eSper → Q/Z is nondegenerate

  7. [7]

    The compactified p-theory (SN , bN) is a modular p-theory of 2d abelian anyons for all N ∈ N

  8. [8]

    There exists some N0 ∈ N such that for all N ≥ N0, the compactified p-theory(SN , bN) is a modular p-theory of 2d abelian anyons

  9. [9]

    Corollary 8.2

    The p-theory (S, b) is perfect. Corollary 8.2. Given a p-modular theory of excitations (S, θ), Theorem 8.1 holds as written, replacing the compactified p-theories with compactified theories of 2d abelian anyons (SN , θN) in conditions #2 and #4. Proof. Given a p-modular theory of excitations ( S, θ), the associated p-theory ( S, b) is p-modular. Each of t...

  10. [10]

    In proving this result, we consider perfect p-theories, because Theorem 8.1 implies that perfectness is a necessary condition for physical realizability

    PLANON-ONLY FRACTON ORDERS OF PRIME FUSION ORDER In this section, as an application of the algebraic theory of planon-only fracton orders developed in this paper, we show that planon-only fracton orders of prime fusion order always consist of decoupled layers of 2d topological orders. In proving this result, we consider perfect p-theories, because Theorem...

  11. [11]

    Precisely, the associated first syzygy module, I = {v ∈ Z ℓ |P i viei = 0}, is generated by constant vectors

    The generators obey intra-layer relations. Precisely, the associated first syzygy module, I = {v ∈ Z ℓ |P i viei = 0}, is generated by constant vectors. Here, vi denotes the ith component of the vector v

  12. [12]

    Equivalently, B(ei, ej) is constant for all i, j

    Mutual statistics decouples across layers: b(ei, tkej) = 0 for all k ̸= 0 and all generators ei, ej. Equivalently, B(ei, ej) is constant for all i, j. Proof. It is clear from the definition that a p-theory which is decoupled layers satisfies the two properties; let a1, . . . , aℓ be a set of generators for A, and take ei = ai ⊗ 1 ∈ A[t±]. For the converse...

  13. [13]

    DISCUSSION We conclude with a discussion of some questions raised by the results of this paper. We found that the excitation-detector principle is equivalent to a necessary condition for physical realizability of a planon- only fracton order – namely, perfectness of a theory of excitations – which is stronger than the principle of remote detectability. We...

  14. [14]

    Throughout, by a ring R, we continue to mean an associative, commutative and unital ring

    Background on prime localizations We start with a detour to discuss localization at a prime p. Throughout, by a ring R, we continue to mean an associative, commutative and unital ring. For an R-module M and a prime number p, define M(p) as follows. Elements are fractions m/u with u ∈ Z coprime to p, with equivalence m/u = m′/u′ if and only if there exists...

  15. [15]

    Recall that if ( S, b) is a p-theory of fusion order n, then S is a finitely generated R-module where R = Zn[t±]

    Localization of p-theories We now apply these concepts to p-theories. Recall that if ( S, b) is a p-theory of fusion order n, then S is a finitely generated R-module where R = Zn[t±]. Furthermore, S∗ is also finitely generated by Proposition 7.25. Definition A.9. Let (S, b) be a p-theory of fusion order n. Define ( S(p), b(p)) to be the p-theory of fusion...

  16. [16]

    if M ∼= N, then [ M] = [N], and

  17. [17]

    The group G0(R) has the following universal property

    [ M ⊕ N] = [M] + [N]. The group G0(R) has the following universal property. Let Z be an abelian group. Any function which assigns an element d(M) of Z to each finitely generated R-module M so that d(M) = d(L) +d(N) when there is an exact sequence (B1) extends to a group homomorphism d: G0(R) → Z. Example B.1. If F is a field, then finitely generated modul...

  18. [18]

    If f∗S is a finitely generated R-module and N is a finitely generated S-module, then f∗N is a finitely generated R-module and f∗ : G0(S) → G0(R) defined by f∗([N]) = [ f∗N] is a group homomorphism

  19. [19]

    Suppose that f∗S is a flat R-module, then f ∗ : G0(R) → G0(S) defined by f ∗([M]) = [ f ∗M] is a homomorphism

  20. [20]

    Example B.2

    (Serre’s Formula) More generally, noting that f ∗M = TorR 0 (S, M), suppose that f∗S has a finite resolution by flat R-modules, then the formula f ∗([M]) = X i≥0 (−1)i[TorR i (S, M)] is a finite sum and defines a homomorphism f ∗ : G0(R) → G0(S). Example B.2. If R is an integral domain, then it embeds in its field of fractions f : R → F and F is flat over...

  21. [21]

    Quantum glassiness in strongly correlated clean systems: An example of topological over- protection,

    Claudio Chamon, “Quantum glassiness in strongly correlated clean systems: An example of topological over- protection,” Phys. Rev. Lett. 94, 040402 (2005)

  22. [22]

    Local stabilizer codes in three dimensions without string logical operators,

    Jeongwan Haah, “Local stabilizer codes in three dimensions without string logical operators,” Physical Review A 83 (2011), 10.1103/physreva.83.042330

  23. [23]

    Subdimensional particle structure of higher rank U(1) spin liquids,

    Michael Pretko, “Subdimensional particle structure of higher rank U(1) spin liquids,” Phys. Rev. B 95, 115139 (2017)

  24. [24]

    Fractons,

    Rahul M. Nandkishore and Michael Hermele, “Fractons,” Annual Review of Condensed Matter Physics 10, 295–313 (2019). 74

  25. [25]

    Fracton phases of matter,

    Michael Pretko, Xie Chen, and Yizhi You, “Fracton phases of matter,” International Journal of Modern Physics A 35, 2030003 (2020), https://doi.org/10.1142/S0217751X20300033

  26. [26]

    Quantum liquids: Emergent higher-rank gauge theory and fractons,

    Yizhi You, “Quantum liquids: Emergent higher-rank gauge theory and fractons,” Annual Review of Condensed Matter Physics 16, 83–102 (2025)

  27. [27]

    Classical and quantum conformal field theory,

    Gregory Moore and Nathan Seiberg, “Classical and quantum conformal field theory,” Communications in Mathematical Physics 123, 177 – 254 (1989)

  28. [28]

    Anyons in an exactly solved model and beyond,

    Alexei Kitaev, “Anyons in an exactly solved model and beyond,” Annals of Physics 321, 2–111 (2006)

  29. [29]

    Classification of abelian spin Chern-Simons theories

    Dmitriy Belov and Gregory W. Moore, “Classification of abelian spin Chern-Simons theories,” (2005), arXiv:hep-th/0505235 [hep-th]

  30. [30]

    Stirling, Abelian Chern-Simons theory with toral gauge group, modular tensor categories, and group categories, Ph.D

    Spencer D. Stirling, Abelian Chern-Simons theory with toral gauge group, modular tensor categories, and group categories, Ph.D. thesis, University of Texas Austin (2008)

  31. [31]

    Topological boundary conditions in abelian Chern-Simons theory,

    Anton Kapustin and Natalia Saulina, “Topological boundary conditions in abelian Chern-Simons theory,” Nuclear Physics B 845, 393–435 (2011)

  32. [32]

    Solutions of the hexagon equation for abelian anyons,

    C´ esar Galindo and Nico´ as Jaramillo, “Solutions of the hexagon equation for abelian anyons,” Revista Colom- biana de Matam´ aticas50.2, 277 – 298 (2016)

  33. [33]

    A study of time reversal symmetry of abelian anyons,

    Yasunori Lee and Yuji Tachikawa, “A study of time reversal symmetry of abelian anyons,” Journal of High Energy Physics 2018, 90 (2018)

  34. [34]

    Phases of the multiple quantum well in a strong magnetic field: Possibility of irrational charge,

    Xiu Qiu, Robert Joynt, and A. H. MacDonald, “Phases of the multiple quantum well in a strong magnetic field: Possibility of irrational charge,” Phys. Rev. B 40, 11943–11946 (1989)

  35. [35]

    Phase transitions in a multiple quantum well in strong magnetic fields,

    Xiu Qiu, Robert Joynt, and A. H. MacDonald, “Phase transitions in a multiple quantum well in strong magnetic fields,” Phys. Rev. B 42, 1339–1352 (1990)

  36. [36]

    Fractional quantum Hall effect in infinite-layer systems,

    J. D. Naud, Leonid P. Pryadko, and S. L. Sondhi, “Fractional quantum Hall effect in infinite-layer systems,” Phys. Rev. Lett. 85, 5408–5411 (2000)

  37. [37]

    Notes on infinite layer quantum Hall systems,

    J.D. Naud, Leonid P. Pryadko, and S.L. Sondhi, “Notes on infinite layer quantum Hall systems,” Nuclear Physics B 594, 713–746 (2001)

  38. [38]

    Twisted foliated fracton phases,

    Wilbur Shirley, Kevin Slagle, and Xie Chen, “Twisted foliated fracton phases,” Physical Review B 102 (2020), 10.1103/physrevb.102.115103

  39. [39]

    Fractonic order in infinite-component Chern-Simons gauge theories,

    Xiuqi Ma, Wilbur Shirley, Meng Cheng, Michael Levin, John McGreevy, and Xie Chen, “Fractonic order in infinite-component Chern-Simons gauge theories,” Phys. Rev. B 105, 195124 (2022)

  40. [40]

    Classification of (3 + 1)D bosonic topological orders: The case when pointlike excitations are all bosons,

    Tian Lan, Liang Kong, and Xiao-Gang Wen, “Classification of (3 + 1)D bosonic topological orders: The case when pointlike excitations are all bosons,” Phys. Rev. X 8, 021074 (2018)

  41. [41]

    Planon-modular fracton orders,

    Evan Wickenden, Marvin Qi, Arpit Dua, and Michael Hermele, “Planon-modular fracton orders,” (2024), arXiv:2412.14320 [cond-mat.str-el]

  42. [42]

    Vijay, J

    Sagar Vijay, Jeongwan Haah, and Liang Fu, “Fracton topological order, generalized lattice gauge theory, and duality,” Physical Review B 94 (2016), 10.1103/physrevb.94.235157

  43. [43]

    Fracton topological order via coupled layers,

    Han Ma, Ethan Lake, Xie Chen, and Michael Hermele, “Fracton topological order via coupled layers,” Physical Review B 95 (2017), 10.1103/physrevb.95.245126

  44. [44]

    Fracton models on general three-dimensional 75 manifolds,

    Wilbur Shirley, Kevin Slagle, Zhenghan Wang, and Xie Chen, “Fracton models on general three-dimensional 75 manifolds,” Physical Review X 8 (2018), 10.1103/physrevx.8.031051

  45. [45]

    Quadratic forms on finite groups, and related topics,

    C.T.C. Wall, “Quadratic forms on finite groups, and related topics,” Topology 2, 281–298 (1963)

  46. [46]

    Quadratic forms on finite groups II,

    C. T. C. Wall, “Quadratic forms on finite groups II,” Bulletin of the London Mathematical Society 4, 156–160 (1972), https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/blms/4.2.156

  47. [47]

    Integral symmetric bilinear forms and some of their applications,

    V. V. Nikulin, “Integral symmetric bilinear forms and some of their applications,” Math. USSR-Izv. 14, 103–167 (1980)

  48. [48]

    In and around abelian anyon models,

    Liang Wang and Zhenghan Wang, “In and around abelian anyon models,” Journal of Physics A: Mathematical and Theoretical 53, 505203 (2020)

  49. [49]

    Hybrid fracton phases: Parent orders for liquid and nonliquid quantum phases,

    Nathanan Tantivasadakarn, Wenjie Ji, and Sagar Vijay, “Hybrid fracton phases: Parent orders for liquid and nonliquid quantum phases,” Phys. Rev. B 103, 245136 (2021)

  50. [50]

    Commuting Pauli Hamiltonians as maps between free modules,

    Jeongwan Haah, “Commuting Pauli Hamiltonians as maps between free modules,” Communications in Math- ematical Physics 324, 351–399 (2013)

  51. [51]

    Muller, S

    Shriya Pai and Michael Hermele, “Fracton fusion and statistics,” Physical Review B 100 (2019), 10.1103/phys- revb.100.195136

  52. [52]

    Twisted fracton models in three dimensions,

    Hao Song, Abhinav Prem, Sheng-Jie Huang, and M. A. Martin-Delgado, “Twisted fracton models in three dimensions,” Phys. Rev. B 99, 155118 (2019)

  53. [53]

    Symmetric fracton matter: Twisted and en- riched,

    Yizhi You, Trithep Devakul, F.J. Burnell, and S.L. Sondhi, “Symmetric fracton matter: Twisted and en- riched,” Annals of Physics 416, 168140 (2020)

  54. [54]

    Fracton self-statistics,

    Hao Song, Nathanan Tantivasadakarn, Wilbur Shirley, and Michael Hermele, “Fracton self-statistics,” Phys. Rev. Lett. 132, 016604 (2024)

  55. [55]

    Ground state degeneracy of infinite-component Chern-Simons- Maxwell theories,

    Xie Chen, Ho Tat Lam, and Xiuqi Ma, “Ground state degeneracy of infinite-component Chern-Simons- Maxwell theories,” (2023), arXiv:2306.00291 [cond-mat.str-el]

  56. [56]

    Wilbur Shirley, Evan Wickenden, Bowen Yang, Agn` es Beaudry, and Michael Hermele, (2025), in progress

  57. [57]

    Odd fracton theories, proximate orders, and parton constructions,

    Michael Pretko, S. A. Parameswaran, and Michael Hermele, “Odd fracton theories, proximate orders, and parton constructions,” Phys. Rev. B 102, 205106 (2020)

  58. [58]

    Bifurcation in entanglement renormalization group flow of a gapped spin model,

    Jeongwan Haah, “Bifurcation in entanglement renormalization group flow of a gapped spin model,” Phys. Rev. B 89, 075119 (2014)

  59. [59]

    Coarse translation symmetry and exotic renormalization groups in fracton phases,

    Michael Hermele, “Coarse translation symmetry and exotic renormalization groups in fracton phases,” Avail- able at https://online.kitp.ucsb.edu/online/qcrystal-c23/hermele/ (2023), talk at KITP conference “Topology, Symmetry and Interactions in Crystals: Emerging Concepts and Unifying Themes,” April 2023

  60. [60]

    What is a gapped (fracton) phase of matter?

    Michael Hermele, “What is a gapped (fracton) phase of matter?” Available at https://youtu.be/Irq8uAqtSuY?si=7HQ3RnB6iU81TCGx (2023), conference talk at meeting of the Si- mons Collaboration on Ultra-Quantum Matter, Harvard University, September 2023

  61. [61]

    Deformable-lattice phases,

    Michael Hermele, “Deformable-lattice phases,” (2025), in preparation

  62. [62]

    Homological invariants of Pauli stabilizer codes,

    Blazej Ruba and Bowen Yang, “Homological invariants of Pauli stabilizer codes,” (2022), arXiv:2204.06023 [math-ph]

  63. [63]

    Remarks on divisors of zero,

    N. H. McCoy, “Remarks on divisors of zero,” The American Mathematical Monthly 49, 286–295 (1942)

  64. [64]

    Nathan Jacobson, Basic Algebra I, 2nd ed. (W.H. Freeman, New York, 1985). 76

  65. [65]

    Max-Albert Knus, Quadratic and Hermitian Forms over Rings (Springer Berlin, Heidelberg, 1991) pp. XI, 524

  66. [66]

    Hermitian matrices over polynomial rings,

    Dragomir ˇZ. Djokovi´ c, “Hermitian matrices over polynomial rings,” Journal of Algebra43, 359–374 (1976)

  67. [67]

    Dachuan Lu, Evan Wickenden, Wilbur Shirley, and Michael Hermele, (2025), in progress

  68. [68]

    Michael Francis Atiyah and I. G. MacDonald, Introduction to Commutative Algebra. (Addison-Wesley- Longman, 1969) pp. 1–128

  69. [69]

    Weibel, An Introduction to Homological Algebra , Cambridge Studies in Advanced Mathematics (Cambridge University Press, 1994)

    Charles A. Weibel, An Introduction to Homological Algebra , Cambridge Studies in Advanced Mathematics (Cambridge University Press, 1994)

  70. [70]

    Weibel, The K-book: An Introduction to Algebraic K-theory, Graduate Studies in Mathematics (Ameri- can Mathematical Society, 2013)

    C.A. Weibel, The K-book: An Introduction to Algebraic K-theory, Graduate Studies in Mathematics (Ameri- can Mathematical Society, 2013)