Symmetry-enriched topological order and quasifractonic behavior in mathbb{Z}_N stabilizer codes
Pith reviewed 2026-05-18 00:57 UTC · model grok-4.3
The pith
The essential topological properties of Z_N qudit stabilizer codes are fully determined by those of their Z_p prime qudit counterparts.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
From the polynomial representation of the Z_N bivariate-bicycle codes, the essential topological properties including anyon fusion rules and symmetry-enriched topological order can be determined by the properties of the Z_p counterparts for the prime factors p of N, even when N includes prime powers. This yields a simplification that allows generalization of algebraic-geometric methods such as the Bernstein-Khovanskii-Kushnirenko theorem to find anyon fusion rules in the general qudit case, and resolves the anyon mobility puzzle by elucidating the SET order in quasifractonic behavior.
What carries the argument
The polynomial representation of the Z_N bivariate-bicycle codes, which permits the topological data to factor through the prime decomposition of N.
If this is right
- Anyon fusion rules for general N can be obtained by generalizing methods from prime dimensions.
- The symmetry-enriched topological order explains the quasifractonic behavior and resolves anyon mobility issues in qudit BB codes.
- An efficient Gröbner basis method over the integers computes both topological order and SET properties.
- The framework leverages existing results on prime qudit codes for composite dimensions.
Where Pith is reading between the lines
- Similar reductions might apply to other families of qudit codes beyond bivariate-bicycle.
- This could simplify the design of topological quantum error correction codes with arbitrary qudit dimensions.
- Experimental tests in qudit platforms could verify the predicted anyon behaviors for composite N.
- Connections to modulated gauge theories may extend the simplification to other physical models.
Load-bearing premise
The polynomial representation of the Z_N codes allows topological data to factor completely through the prime decomposition without extra constraints from composite N.
What would settle it
Finding a specific Z_N bivariate-bicycle code for composite N where the anyon fusion rules or SET order cannot be predicted from the Z_p components alone.
Figures
read the original abstract
We study a broad class of qudit stabilizer codes, termed $\mathbb{Z}_N$ bivariate-bicycle (BB) codes, arising either as two-dimensional realizations of modulated gauge theories or as $\mathbb{Z}_N$ generalizations of binary BB codes. Our central finding, derived from the polynomial representation, is that the essential topological properties of these $\mathbb{Z}_N$ codes can be determined by the properties of their $\mathbb{Z}_p$ counterparts, where $p$ are the prime factors of $N$, even when $N$ contains prime powers ($N = \prod_i p_i^{k_i}$). This result yields a significant simplification by leveraging the well-studied framework of codes with prime qudit dimensions. In particular, this insight directly enables the generalization of the algebraic-geometric methods (e.g., the Bernstein-Khovanskii-Kushnirenko theorem) to determine anyon fusion rules in the general qudit situation. Moreover, we elucidate the symmetry-enriched topological (SET) order underlying the quasifractonic behavior in qudit BB codes (including the Delfino-Chamon-You model), resolving the associated anyon mobility puzzle. We also develop an efficient computational algebraic method, based on Gr\"{o}bner bases over the ring of integers, to determine both the topological order and its SET properties.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies a class of qudit stabilizer codes called Z_N bivariate-bicycle (BB) codes, realized either as modulated gauge theories or as generalizations of binary BB codes. Its central claim, derived from the polynomial representation of the stabilizers, is that the essential topological properties—including anyon fusion rules, symmetry-enriched topological (SET) order, and quasifractonic mobility—can be completely determined from the corresponding Z_p codes for the prime factors p of N, even when N contains prime powers (N = ∏ p_i^{k_i}). The work generalizes algebraic-geometric tools such as the Bernstein-Khovanskii-Kushnirenko theorem to the composite-qudit setting, resolves the anyon-mobility puzzle in models including the Delfino-Chamon-You code, and introduces an efficient Gröbner-basis algorithm over the ring of integers to compute both the topological order and its SET properties.
Significance. If the reduction through prime factors holds without loss of topological invariants, the result would substantially simplify the analysis of general-qudit topological codes by allowing reuse of the well-developed Z_p framework. The integer Gröbner-basis method and the explicit treatment of SET order in qudit BB codes constitute concrete computational and conceptual advances. The paper supplies machine-checkable algebraic machinery and falsifiable predictions for anyon content and mobility, which strengthens its utility for the field.
major comments (3)
- Abstract and the section introducing the polynomial representation: the central claim that anyon fusion rules and SET data factor exactly through the Z_p reductions (even for N = p^k) is load-bearing, yet the manuscript must explicitly verify that the stabilizer module over Z_N[x^{±1}, y^{±1}] acquires no additional p-torsion or annihilators under Gröbner reduction that would alter the fusion ring or symmetry action on anyons. A concrete example for N = p^2 (e.g., explicit primary decomposition or Chinese-Remainder lifting) is required to confirm that the topological invariants match those obtained from the separate Z_p computation.
- Section on algebraic-geometric methods and the BKK generalization: the extension of the Bernstein-Khovanskii-Kushnirenko theorem to Z_N is presented as resolving the composite case, but the argument should include a step-by-step check that the zero-dimensional ideal and its multiplicity data remain unchanged under the prime-power decomposition; otherwise the claimed simplification for fusion rules does not follow.
- Section on quasifractonic behavior and the Delfino-Chamon-You model: the resolution of the anyon-mobility puzzle via SET order relies on the same reduction; the manuscript should demonstrate that the symmetry action on anyons (including mobility constraints) is preserved exactly when lifting from Z_p to Z_{p^k}, with no extra relations introduced by the non-integral-domain structure of Z_N.
minor comments (2)
- Notation: the distinction between the Laurent polynomial ring over Z_N versus over Z should be stated more explicitly when introducing the stabilizer module, to avoid ambiguity in the Gröbner-basis computations.
- The abstract asserts that the central finding 'follows from the polynomial representation' without supplying derivation steps; a brief outline of the key algebraic steps in the introduction would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful and constructive report. The comments identify key points where additional explicit verification would strengthen the presentation of our reduction from Z_N to Z_p. We respond to each major comment below and will incorporate the requested checks in the revised manuscript.
read point-by-point responses
-
Referee: Abstract and the section introducing the polynomial representation: the central claim that anyon fusion rules and SET data factor exactly through the Z_p reductions (even for N = p^k) is load-bearing, yet the manuscript must explicitly verify that the stabilizer module over Z_N[x^{±1}, y^{±1}] acquires no additional p-torsion or annihilators under Gröbner reduction that would alter the fusion ring or symmetry action on anyons. A concrete example for N = p^2 (e.g., explicit primary decomposition or Chinese-Remainder lifting) is required to confirm that the topological invariants match those obtained from the separate Z_p computation.
Authors: We agree that an explicit verification for prime-power cases strengthens the central claim. In the revised manuscript we will add a concrete example for N = p^2 (e.g., N=4), performing primary decomposition of the stabilizer ideal over Z_N[x^{±1}, y^{±1}] and applying the Chinese Remainder Theorem to lift from the Z_p factors. This computation will show that no additional p-torsion or annihilators arise that modify the fusion ring or anyon symmetry actions, confirming exact agreement with the separate Z_p results. revision: yes
-
Referee: Section on algebraic-geometric methods and the BKK generalization: the extension of the Bernstein-Khovanskii-Kushnirenko theorem to Z_N is presented as resolving the composite case, but the argument should include a step-by-step check that the zero-dimensional ideal and its multiplicity data remain unchanged under the prime-power decomposition; otherwise the claimed simplification for fusion rules does not follow.
Authors: We will expand the algebraic-geometric methods section with a step-by-step verification. Starting from the ideal over Z_N, we will explicitly reduce via the prime-power factorization, compute the zero-dimensional ideal and its multiplicity data at each stage, and confirm that these quantities are invariant under the decomposition. This establishes that the BKK generalization carries over without loss, supporting the simplification for anyon fusion rules. revision: yes
-
Referee: Section on quasifractonic behavior and the Delfino-Chamon-You model: the resolution of the anyon-mobility puzzle via SET order relies on the same reduction; the manuscript should demonstrate that the symmetry action on anyons (including mobility constraints) is preserved exactly when lifting from Z_p to Z_{p^k}, with no extra relations introduced by the non-integral-domain structure of Z_N.
Authors: We will add an explicit demonstration in the quasifractonic behavior section for the Delfino-Chamon-You model. By direct computation of the symmetry action on anyons when lifting from Z_p to Z_{p^k}, we will verify that mobility constraints and SET data are preserved exactly, with no additional relations arising from the non-integral-domain structure of Z_N. This confirms that the SET resolution of the mobility puzzle holds for composite N. revision: yes
Circularity Check
Reduction to Z_p via polynomial representation is algebraically independent, not circular
full rationale
The central claim follows from the standard bivariate polynomial encoding of stabilizer modules over the Laurent polynomial ring with coefficients in Z_N. The paper applies Gröbner-basis reduction over Z and the Bernstein-Khovanskii-Kushnirenko theorem (generalized to the qudit setting) to extract anyon fusion rules and SET data; these are external algebraic tools whose correctness does not depend on the target result. For composite N the reduction to prime-power factors is obtained by the Chinese-Remainder decomposition of the coefficient ring together with primary decomposition of the module, which is a ring-theoretic fact rather than a fitted or self-referential definition. No load-bearing step reduces to a self-citation, an ansatz smuggled from prior work, or a parameter fitted to the very quantities being predicted. The computational method supplies an independent verification route, keeping the derivation self-contained.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Topological properties of Z_N bivariate-bicycle codes are captured by a polynomial representation that factors over the prime divisors of N
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the essential topological properties of these Z_N codes can be determined by the properties of their Z_p counterparts... fusion rules... C ≅ ⊕ Z_{p_i^{k_i}}^{2Q_i}
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Gröbner bases over the ring of integers... normal forms... |R_L/(f,g)|
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.
Reference graph
Works this paper leans on
-
[1]
Definition of Gröbner bases In this section, we give a brief introduction to Gröbner bases overZ. For multivariate polynomials, the concept of degree for univariate polynomials is generalized to the mono- mial order [89]. Once a monomial order is chosen, the lead- ing term Lt(h) of a non-zero polynomialhis the term whose monomial is largest with respect t...
-
[2]
Crucial properties of Gröbner bases In this section, we discuss some crucial properties of Gröb- ner bases that are essential for determining the topological condition, fusion rules, periodicities, and the GSD of BB codes. Ideal membership problems—Like the field case, given a Gröbner basisGfor any idealI, the polynomialhlies inIif and only if it can be r...
-
[3]
LetN= Q i pki i be the prime factorization ofN
Preliminaries We begin by establishing notation and recalling key theo- rems. LetN= Q i pki i be the prime factorization ofN. The ring of Laurent polynomials overZ N is denotedR=Z N[x±,y ±]. For any prime factorpofN, letR p BR/pR Z p[x±,y ±], and we denote the image of an elementr∈RinR p byr p. A crucial tool is McCoy’s theorem, which characterizes zero d...
-
[4]
Proof of Theorem 1.By the Chinese Remainder Theorem, it suffices to prove the statement forN=p k
Proof of Theorem 1 With these preliminaries, we now prove Theorem 1. Proof of Theorem 1.By the Chinese Remainder Theorem, it suffices to prove the statement forN=p k. We must show that the complex in Eq. (A1) overR=Z pk[x±,y ±] is exact if and only if the corresponding complex over the fieldR p = Zp[x±,y ±] is exact. 13 (=⇒) Assume the complex overRis exa...
-
[5]
Proof of Corollary 1 Corollary 1 claims that aBB N(f,g) code is topological if and only if the quotient ringR/(f,g) has finite cardinality. By Theorem 1, one only needs to show this forBB p(f,g) codes. Proof of Corollary 1.By Theorem 1, the code is topological if and only if theBB p(f,g) code is topological for every prime factorpofN. By a standard result...
-
[6]
Preliminaries a. Origin shift and axis reflection operations We note that the topological indexes ofBBN(f,g) codes re- main invariant under the following two types transformations. Firstly, the code is invariant under the transformation BBN(f,g)→BB N(m1 f,m 2g),(E1) wherem 1 andm 2 are monomials. This is equivalent to shifting the origins of the coordinat...
-
[7]
Topological index We consider theBB pk(f,g) code with the toric layout. Namely, the Laurent polynomialsfandgtake the form f=c (0) +c (1)x+c (2)x ¯αyb,g=d (0) +d (1)x+d (2)xay¯β (E7) where ¯α=−αand ¯β=−βfollowing the convention used in Ref. [50]. The topological index is determined by considering the cor- respondingBB p(f,g) code with fp =c (0) p +c (1) p ...
-
[8]
X. G. WEN, International Journal of Modern Physics B04, 239 (1990)
work page 1990
-
[9]
X. G. Wen and Q. Niu, Phys. Rev. B41, 9377 (1990)
work page 1990
- [10]
- [11]
- [12]
-
[13]
Kitaev, Annals of Physics321, 2–111 (2006)
A. Kitaev, Annals of Physics321, 2–111 (2006)
work page 2006
- [14]
- [15]
- [16]
-
[17]
M. S. Postol, A proposed quantum low density parity check code (2001), arXiv:quant-ph/0108131 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2001
- [18]
-
[19]
A. A. Kovalev and L. P. Pryadko, Phys. Rev. A88, 012311 (2013)
work page 2013
-
[20]
S. Bravyi and M. B. Hastings, inProceedings of the Forty- Sixth Annual ACM Symposium on Theory of Computing, STOC ’14 (Association for Computing Machinery, New York, NY , USA, 2014) p. 273–282
work page 2014
-
[21]
J.-P. Tillich and G. Zémor, IEEE Transactions on Information Theory60, 1193 (2014)
work page 2014
- [22]
- [23]
-
[24]
M. B. Hastings, J. Haah, and R. O’Donnell, inProceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2021 (Association for Computing Machin- ery, New York, NY , USA, 2021) p. 1276–1288
work page 2021
-
[25]
N. P. Breuckmann and J. N. Eberhardt, PRX Quantum2, 040101 (2021)
work page 2021
- [26]
-
[27]
P. Panteleev and G. Kalachev, IEEE Transactions on Informa- tion Theory68, 213 (2022). 20
work page 2022
-
[28]
P. Panteleev and G. Kalachev, inProceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2022 (Association for Computing Machinery, New York, NY , USA, 2022) p. 375–388
work page 2022
-
[29]
N. P. Breuckmann and J. N. Eberhardt, IEEE Transactions on Information Theory67, 6653 (2021)
work page 2021
-
[30]
M. A. Tremblay, N. Delfosse, and M. E. Beverland, Phys. Rev. Lett.129, 050504 (2022)
work page 2022
-
[31]
N. Raveendran, N. Rengaswamy, F. Rozp˛ edek, A. Raina, L. Jiang, and B. Vasi´c, Quantum6, 767 (2022)
work page 2022
-
[32]
Q. Xu, J. P. Bonilla Ataides, C. A. Pattison, N. Raveendran, D. Bluvstein, J. Wurtz, B. Vasi ´c, M. D. Lukin, L. Jiang, and H. Zhou, Nature Physics20, 1084 (2024)
work page 2024
- [33]
- [34]
-
[35]
M. H. Shaw and B. M. Terhal, Phys. Rev. Lett.134, 090602 (2025)
work page 2025
- [36]
-
[37]
J. N. Eberhardt and V . Steffan, IEEE Transactions on Informa- tion Theory71, 1140 (2025)
work page 2025
-
[38]
N. Berthusen, D. Devulapalli, E. Schoute, A. M. Childs, M. J. Gullans, A. V . Gorshkov, and D. Gottesman, PRX Quantum6, 010306 (2025)
work page 2025
-
[39]
Cowtan, Ssip: automated surgery with quantum ldpc codes (2024), arXiv:2407.09423 [quant-ph]
A. Cowtan, Ssip: automated surgery with quantum ldpc codes (2024), arXiv:2407.09423 [quant-ph]
- [40]
- [41]
-
[42]
D. J. Williamson and T. J. Yoder, Low-overhead fault-tolerant quantum computation by gauging logical operators (2024), arXiv:2410.02213 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[43]
M. Wang and F. Mueller, in2024 IEEE International Confer- ence on Quantum Computing and Engineering (QCE), V ol. 02 (2024) pp. 412–413
work page 2024
-
[44]
Z. Liang, B. Yang, J. T. Iosue, and Y .-A. Chen, Opera- tor algebra and algorithmic construction of boundaries and defects in (2+1)d topological pauli stabilizer codes (2024), arXiv:2410.11942 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2024
- [45]
-
[46]
H. Sayginel, S. Koutsioumpas, M. Webster, A. Rajput, and D. E. Browne, Fault-tolerant logical clifford gates from code automorphisms (2025), arXiv:2409.18175 [quant-ph]
-
[47]
T. J. Yoder, E. Schoute, P. Rall, E. Pritchett, J. M. Gam- betta, A. W. Cross, M. Carroll, and M. E. Beverland, Tour de gross: A modular quantum computer based on bivariate bicy- cle codes (2025), arXiv:2506.03094 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[48]
J. J. Postema and S. J. J. M. F. Kokkelmans, Exis- tence and characterisation of bivariate bicycle codes (2025), arXiv:2502.17052 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2025
- [49]
-
[50]
P. K. Lim, K. Shtengel, and L. P. Pryadko, Topological de- fects in general quantum ldpc codes, inMemorial Volume for Shoucheng Zhang(WORLD SCIENTIFIC, 2021) p. 1–17
work page 2021
-
[51]
T. Rakovszky and V . Khemani, The physics of (good) ldpc codes i. gauging and dualities (2023), arXiv:2310.16032 [quant-ph]
-
[52]
T. Rakovszky and V . Khemani, The physics of (good) ldpc codes ii. product constructions (2024), arXiv:2402.16831 [quant-ph]
- [53]
- [54]
- [55]
- [56]
-
[57]
K. Chen, Y . Liu, Y . Zhang, Z. Liang, Y .-A. Chen, K. Liu, and H. Song, Phys. Rev. Lett.135, 076603 (2025)
work page 2025
- [58]
-
[59]
P. Sala, J. Lehmann, T. Rakovszky, and F. Pollmann, Phys. Rev. Lett.129, 170601 (2022)
work page 2022
-
[60]
H. Watanabe, M. Cheng, and Y . Fuji, Journal of Mathematical Physics64, 051901 (2023)
work page 2023
-
[61]
G. Delfino, C. Chamon, and Y . You, 2d fractons from gaug- ing exponential symmetries (2023), arXiv:2306.17121 [cond- mat.str-el]
- [62]
-
[63]
P. Sala, Y . You, J. Hauschild, and O. Motrunich, Phys. Rev. B 109, 014406 (2024)
work page 2024
-
[64]
J. H. Han, E. Lake, H. T. Lam, R. Verresen, and Y . You, Phys. Rev. B109, 125121 (2024)
work page 2024
-
[65]
S. D. Pace, G. Delfino, H. T. Lam, and Ömer M. Aksoy, Sci- Post Phys.18, 021 (2025)
work page 2025
-
[66]
G. M. Yoshitome, H. Casasola, R. Corso, and P. R. S. Gomes, Phys. Rev. B112, 115139 (2025)
work page 2025
-
[67]
P. Sala, T. Rakovszky, R. Verresen, M. Knap, and F. Pollmann, Phys. Rev. X10, 011047 (2020)
work page 2020
-
[68]
V . Khemani, M. Hermele, and R. Nandkishore, Phys. Rev. B 101, 174204 (2020)
work page 2020
-
[69]
S. Moudgalya, B. A. Bernevig, and N. Regnault, Phys. Rev. B 102, 195150 (2020)
work page 2020
-
[70]
P. Gorantla, H. T. Lam, N. Seiberg, and S.-H. Shao, Phys. Rev. B104, 235116 (2021)
work page 2021
-
[71]
P. Gorantla, H. T. Lam, N. Seiberg, and S.-H. Shao, Phys. Rev. B106, 045112 (2022)
work page 2022
-
[72]
S. D. Pace and X.-G. Wen, Phys. Rev. B106, 045145 (2022)
work page 2022
- [73]
- [74]
- [75]
- [76]
- [77]
- [78]
-
[79]
D. J. Williamson, Phys. Rev. B94, 155128 (2016)
work page 2016
- [80]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.