arxiv: 2604.24847 · v1 · submitted 2026-04-27 · 🧮 math-ph · cond-mat.str-el· hep-th· math.KT· math.MP· quant-ph

Recognition: unknown

The Classification of Pauli Stabilizer Codes: A Lattice and Continuum Treatise

Bowen Yang , Matthew Yu

Authors on Pith no claims yet

Pith reviewed 2026-05-08 01:14 UTC · model grok-4.3

classification 🧮 math-ph cond-mat.str-elhep-thmath.KTmath.MPquant-ph

keywords Pauli stabilizer codesalgebraic L-theorybulk-boundary correspondenceClifford QCAgapped interfacesframed TQFTsperfect chain complexesLaurent polynomial rings

0 comments

The pith

The equivalence class of a Pauli stabilizer code up to gapped interface is described by a Clifford QCA in one dimension higher.

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

This paper classifies mobile Pauli stabilizer codes up to gapped interfaces and coarse-graining by applying algebraic L-theory to the category of perfect chain complexes with quadratic functors over Laurent polynomial rings. It establishes a bulk-boundary correspondence that relates these lattice codes to Clifford quantum cellular automata in one higher dimension. The classification is compared to that of framed TQFTs arising in the continuum, showing both a close structural relationship and subtle differences between lattice and continuum theories. The approach introduces a universal target category for stabilizer codes to organize the topological operators naturally as objects in this setting.

Core claim

We classify mobile Pauli stabilizer codes up to gapped interfaces and coarse-graining using the framework of algebraic L-theory. In the category of perfect chain complexes equipped with quadratic functor over the Laurent polynomial ring R = Z/p[x1±1, …, xn±1], the topological operators arise naturally. We establish a bulk-boundary correspondence for lattice theories where the equivalence class of a Pauli stabilizer code up to gapped interface is described by a Clifford QCA in one dimension higher, using the universal target category introduced here. This highlights close connections but also qualitative distinctions with the classification of framed TQFTs.

What carries the argument

The category of perfect chain complexes equipped with quadratic functor over the Laurent polynomial ring R = Z/p[x1±1, …, xn±1], in which topological operators of Pauli stabilizer codes appear as natural objects; and the universal target category for stabilizer codes whose existence and properties enable the bulk-boundary correspondence.

Load-bearing premise

The topological operators of Pauli stabilizer codes arise naturally as objects in the category of perfect chain complexes equipped with quadratic functor over the Laurent polynomial ring.

What would settle it

Identification of a mobile Pauli stabilizer code whose equivalence class under gapped interfaces and coarse-graining cannot be matched to any Clifford QCA in one higher dimension, or whose L-theory invariant deviates from the predicted classification.

read the original abstract

We classify mobile Pauli stabilizer codes up to gapped interfaces and coarse-graining using the framework of algebraic $\mathrm{L}$-theory. We compare this classification with that of framed TQFTs, theories that arise naturally in the continuum, highlighting a close structural relationship between the two. Our approach is formulated in the category of perfect chain complexes equipped with quadratic functor over the Laurent polynomial ring $R = \mathbb{Z}/p[x_1^{\pm 1}, \ldots, x_n^{\pm 1}]$, within which the collection of topological operators of Pauli stabilizer codes arise naturally as objects. In particular, we establish a bulk-boundary correspondence for lattice theories: the equivalence class of a Pauli stabilizer code up to gapped interface is described by a Clifford QCA in one dimension higher. This is done using the universal target category for stabilizer codes, which is the categorical spectrum whose existence and universal properties are introduced in this work. We conclude by highlighting subtle differences between the classification of Pauli stabilizer codes and TQFTs, leading to qualitative distinctions between lattice and continuum 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.

Desk Editor's Note private letter to a colleague

The paper tries to classify mobile Pauli stabilizer codes via algebraic L-theory with a bulk-boundary link to Clifford QCAs, but the abstract leaves the key faithfulness of the category untested.

read the letter

The main takeaway is that Yang and Yu apply algebraic L-theory to perfect chain complexes equipped with quadratic functors over the Laurent polynomial ring R = Z/p[x1±1, …, xn±1] to classify Pauli stabilizer codes up to gapped interfaces and coarse-graining. They introduce a universal target category whose objects are supposed to capture the topological operators, and they claim this yields an equivalence to Clifford QCAs in one higher dimension while also comparing the result to framed TQFTs. The structural comparison between lattice and continuum classifications is the part that stands out as potentially useful for people trying to organize topological models. The move to treat the stabilizer operators as objects in this L-theoretic setting is new relative to the usual stabilizer-code literature. The paper does a reasonable job stating the differences that arise between the discrete and continuum cases. The soft spot is exactly the one flagged in the stress-test: the quadratic functor and perfectness condition on the chain complexes may not faithfully include every operator that commutes with the stabilizer group only after coarse-graining, and the translation-invariant Laurent ring setup could exclude non-periodic mobile codes. Because the target category is defined internally, there is no independent check shown that it is complete for all gapped-interface equivalences. Without explicit derivations, small examples, or verification that the bulk-boundary map preserves the full set of equivalences, the central claim remains hard to assess. This work is for readers already comfortable with L-theory, Clifford QCAs, and stabilizer codes who want a more algebraic classification tool. A specialist in topological quantum error correction could extract value from the framework if the proofs hold up. It deserves peer review because the topic is relevant and the approach is systematic, even though the current write-up needs the technical details filled in to be convincing.

Referee Report

3 major / 2 minor

Summary. The paper classifies mobile Pauli stabilizer codes up to gapped interfaces and coarse-graining using algebraic L-theory. It formulates the approach in the category of perfect chain complexes equipped with quadratic functors over the Laurent polynomial ring R = Z/p[x1±1, ..., xn±1], where the topological operators of the codes arise as objects. A bulk-boundary correspondence is established, stating that the equivalence class of a Pauli stabilizer code up to gapped interface is described by a Clifford QCA in one dimension higher, via a newly introduced universal target category (categorical spectrum) for stabilizer codes. The classification is compared to that of framed TQFTs, with subtle differences noted between lattice and continuum theories.

Significance. If the central claims hold, this work offers a significant advancement by providing an algebraic classification of stabilizer codes that bridges lattice-based quantum error-correcting codes with continuum topological quantum field theories. The use of L-theory and the introduction of a universal target category could unify disparate approaches in topological phases of matter. Strengths include the potential for rigorous, parameter-free derivations if the category is shown to be complete and independent. However, the low visibility of explicit derivations in the abstract raises the need for verification of the modeling faithfulness.

major comments (3)

Abstract: The claim that 'the collection of topological operators of Pauli stabilizer codes arise naturally as objects' in the specified category requires explicit demonstration that this includes all operators commuting with the stabilizer group after coarse-graining; otherwise, the bulk-boundary correspondence may not capture all gapped-interface equivalences.
Universal target category (introduced in this work): The categorical spectrum is defined internally, but its independence from the classification result is not demonstrated; if the category is constructed to match the desired equivalence classes, the bulk-boundary correspondence risks circularity as noted in the stress-test concern.
Bulk-boundary correspondence: The use of the Laurent polynomial ring R implicitly assumes translation invariance, which may exclude non-periodic mobile codes; this needs addressing to ensure equivalence classes match for all Pauli stabilizer codes, including those where operators commute only after coarse-graining.

minor comments (2)

Notation: Clarify whether p is assumed to be prime in R = Z/p[...]; this affects the ring structure and applicability to general stabilizer codes.
References: Include citations to prior classifications of stabilizer codes (e.g., via homology or group cohomology) to better contextualize the L-theory approach.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comments. We address each point below, providing the strongest honest defense of the work while indicating revisions to improve clarity and completeness.

read point-by-point responses

Referee: Abstract: The claim that 'the collection of topological operators of Pauli stabilizer codes arise naturally as objects' in the specified category requires explicit demonstration that this includes all operators commuting with the stabilizer group after coarse-graining; otherwise, the bulk-boundary correspondence may not capture all gapped-interface equivalences.

Authors: We agree that the abstract statement benefits from explicit support. The full manuscript defines the category of perfect chain complexes equipped with quadratic functors precisely so that the topological operators, after accounting for commutation with the stabilizer group and coarse-graining, correspond to objects via the quadratic form encoding the commutation relations. To make this fully explicit, we will revise the abstract slightly and insert a short clarifying paragraph in the introduction that directly verifies inclusion of all such commuting operators. revision: yes
Referee: Universal target category (introduced in this work): The categorical spectrum is defined internally, but its independence from the classification result is not demonstrated; if the category is constructed to match the desired equivalence classes, the bulk-boundary correspondence risks circularity as noted in the stress-test concern.

Authors: The categorical spectrum is introduced via its universal properties in the L-theory setting, with the definition and universality theorems established independently of the subsequent application to Pauli stabilizer codes. The bulk-boundary correspondence is then derived as a consequence rather than used in the construction. We will add an explicit subsection outlining the logical order of definitions, theorems, and applications to demonstrate independence and remove any appearance of circularity. revision: yes
Referee: Bulk-boundary correspondence: The use of the Laurent polynomial ring R implicitly assumes translation invariance, which may exclude non-periodic mobile codes; this needs addressing to ensure equivalence classes match for all Pauli stabilizer codes, including those where operators commute only after coarse-graining.

Authors: The Laurent polynomial ring is the natural algebraic setting for translation-invariant mobile codes on periodic lattices, which form the primary class treated in the paper. Non-periodic codes are brought into the framework by coarse-graining, which restores effective periodicity in the equivalence classes up to gapped interfaces. We will add a dedicated discussion clarifying the scope and showing how the equivalence classes remain consistent for codes that commute only after coarse-graining. revision: yes

Circularity Check

1 steps flagged

Bulk-boundary correspondence established via self-introduced universal target category

specific steps

self definitional [Abstract]
"Our approach is formulated in the category of perfect chain complexes equipped with quadratic functor over the Laurent polynomial ring R = Z/p[x1±1, …, xn±1], within which the collection of topological operators of Pauli stabilizer codes arise naturally as objects. ... This is done using the universal target category for stabilizer codes, which is the categorical spectrum whose existence and universal properties are introduced in this work."

The paper defines the target category (and asserts that stabilizer operators arise naturally inside it) and simultaneously uses that same category to derive the bulk-boundary correspondence. The equivalence class is therefore described by construction within the newly introduced categorical spectrum rather than derived from an independent mathematical fact.

full rationale

The derivation formulates Pauli stabilizer codes in the category of perfect chain complexes with quadratic functor over the Laurent polynomial ring R, asserting that topological operators 'arise naturally as objects' therein. The central bulk-boundary result is then obtained by invoking a 'universal target category' whose existence and properties are introduced in the present work. This reduces the claimed equivalence (stabilizer code class up to gapped interface = Clifford QCA in one higher dimension) to a statement internal to a framework constructed for the purpose, without an independent external check or prior theorem establishing completeness of the category for all gapped-interface equivalences. The step is therefore partially circular by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on the applicability of algebraic L-theory to a newly defined category of perfect chain complexes with quadratic functors and on the existence of a universal target category introduced in the work.

axioms (1)

domain assumption Algebraic L-theory classifies objects in the category of perfect chain complexes equipped with quadratic functors over Laurent polynomial rings
Invoked to obtain the classification of stabilizer codes up to gapped interfaces.

invented entities (1)

universal target category for stabilizer codes (categorical spectrum) no independent evidence
purpose: To serve as the target for the classification functor that encodes equivalence classes of Pauli stabilizer codes
Introduced in this work; no independent evidence or prior reference supplied in the abstract.

pith-pipeline@v0.9.0 · 5495 in / 1293 out tokens · 48658 ms · 2026-05-08T01:14:31.260418+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

70 extracted references · 49 canonical work pages · 3 internal anchors

[1]

Higher-group symmetry in finite gauge theory and stabilizer codes

Maissam Barkeshli, Yu-An Chen, Po-Shen Hsin, and Ryohei Kobayashi. Higher-group symmetry in finite gauge theory and stabilizer codes . SciPost Phys. , 16(4):089, 2024. https://arxiv.org/abs/2211.11764

work page arXiv 2024
[2]

J. C. Baez and J. Dolan. Higher dimensional algebra and topological quantum field theory . J. Math. Phys. , 36:6073--6105, 1995. https://arxiv.org/abs/q-alg/9503002

work page Pith review arXiv 1995
[3]

Fusion 3-Categories for Duality Defects

Lakshya Bhardwaj, Thibault D \'e coppet, Sakura Schafer-Nameki, and Matthew Yu. Fusion 3-Categories for Duality Defects . Commun. Math. Phys. , 406(9):208, 2025. https://arxiv.org/abs/2408.13302

work page arXiv 2025
[4]

Invertible braided tensor categories

Adrien Brochier, David Jordan, Pavel Safronov, and Noah Snyder. Invertible braided tensor categories. Algebraic & Geometric Topology , 21(4):2107--2140, 2021. https://arxiv.org/abs/2003.13812

work page arXiv 2021
[5]

Operator algebras and quantum statistical mechanics: Volume 2

Ola Bratteli and Derek William Robinson. Operator algebras and quantum statistical mechanics: Volume 2 . Springer Science & Business Media, 2012

2012
[6]

Hermitian k-theory for stable infinity-categories ii: cobordism categories and additivity

Baptiste Calm \`e s, Emanuele Dotto, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, and Wolfgang Steimle. Hermitian k-theory for stable infinity-categories ii: cobordism categories and additivity. 2020. https://arxiv.org/abs/2009.07224

work page arXiv 2020
[7]

Hermitian K-theory for stable $\infty$-categories III: Grothendieck-Witt groups of rings

Baptiste Calm \`e s, Emanuele Dotto, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, and Wolfgang Steimle. Hermitian k-theory for stable infinity-categories iii: Grothendieck-witt groups of rings. 2020. https://arxiv.org/abs/2009.07225

work page internal anchor Pith review Pith/arXiv arXiv 2020
[8]

Hermitian k-theory for stable infinity-categories i: Foundations

Baptiste Calm \`e s, Emanuele Dotto, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, and Wolfgang Steimle. Hermitian k-theory for stable infinity-categories i: Foundations. Selecta mathematica , 29(1):10, 2023. https://arxiv.org/abs/2009.07223

work page arXiv 2023
[9]

Stephen, Nathanan Tantivasadakarn, Robijn Vanhove, and Jing-Yu Zhao

Xie Chen, Arpit Dua, Michael Hermele, David T. Stephen, Nathanan Tantivasadakarn, Robijn Vanhove, and Jing-Yu Zhao. Sequential quantum circuits as maps between gapped phases . Phys. Rev. B , 109(7):075116, 2024. https://arxiv.org/abs/2307.01267

work page arXiv 2024
[10]

2025.arXiv e-prints:arXiv:2512.02105

Alexander M. Czajka, Roman Geiko, and Ryan Thorngren. Anomalies on the Lattice, Homotopy of Quantum Cellular Automata, and a Spectrum of Invertible States . 12 2025. https://arxiv.org/abs/2512.02105

work page arXiv 2025
[11]

The Classification of Fusion 2-Categories,

Thibault D. D \'e coppet, Peter Huston, Theo Johnson-Freyd, Dmitri Nikshych, David Penneys, Julia Plavnik, David Reutter, and Matthew Yu. The Classification of Fusion 2-Categories . 11 2024. https://arxiv.org/abs/2411.05907

work page arXiv 2024
[12]

The witt group of non-degenerate braided fusion categories

Alexei Davydov, Michael M \"u ger, Dmitri Nikshych, and Victor Ostrik. The witt group of non-degenerate braided fusion categories. 2010. https://arxiv.org/abs/1009.2117

work page arXiv 2010
[13]

On the structure of the witt group of braided fusion categories

Alexei Davydov, Dmitri Nikshych, and Victor Ostrik. On the structure of the witt group of braided fusion categories. Selecta Mathematica , 19(1):237--269, 2013. https://arxiv.org/abs/1109.5558

work page arXiv 2013
[14]

D \'e coppet and Matthew Yu

Thibault D. D \'e coppet and Matthew Yu. Fiber 2-Functors and Tambara Yamagami Fusion 2-Categories . Commun. Math. Phys. , 406(3):64, 2025. https://arxiv.org/abs/2306.08117

work page arXiv 2025
[15]

D \'e coppet and Matthew Yu

Thibault D. D \'e coppet and Matthew Yu. The Classification of 3+1d Symmetry Enriched Topological Order . 9 2025. https://arxiv.org/abs/2509.10603

work page arXiv 2025
[16]

Bosonization and Anomaly Indicators of (2+1)-D Fermionic Topological Orders

Arun Debray, Weicheng Ye, and Matthew Yu. Bosonization and Anomaly Indicators of (2+1)-D Fermionic Topological Orders . Commun. Math. Phys. , 406(8):178, 2025. https://arxiv.org/abs/2312.13341

work page arXiv 2025
[17]

How to Build Anomalous (3+1)d Topological Quantum Field Theories

Arun Debray, Weicheng Ye, and Matthew Yu. How to Build Anomalous (3+1)d Topological Quantum Field Theories . 10 2025. https://arxiv.org/abs/2510.24834

work page arXiv 2025
[18]

Symmetric Gapped States and Symmetry-Enforced Gaplessness in 3-dimension

Arun Debray, Matthew Yu, and Weicheng Ye. Symmetric Gapped States and Symmetry-Enforced Gaplessness in 3-dimension . 2 2026. https://arxiv.org/abs/2602.12335

work page arXiv 2026
[19]

SymTFT, Protected Gaplessness, and Spontaneous Breaking of Non-invertible Symmetries

Michele Del Zotto, Azeem Hasan, and Elias Riedel G a rding. SymTFT, Protected Gaplessness, and Spontaneous Breaking of Non-invertible Symmetries . 4 2025. https://arxiv.org/abs/2504.18501

work page arXiv 2025
[20]

Classification of quantum cellular automata

Michael Freedman and Matthew B Hastings. Classification of quantum cellular automata. Communications in Mathematical Physics , 376:1171--1222, 2020. https://arxiv.org/abs/1902.10285

work page arXiv 2020
[21]

A qca for every spt

Lukasz Fidkowski, Jeongwan Haah, and Matthew B Hastings. A qca for every spt. 2024. https://arxiv.org/abs/2407.07951

work page arXiv 2024
[22]

Daniel S. Freed. Anomalies and Invertible Field Theories . Proc. Symp. Pure Math. , 88:25--46, 2014. https://arxiv.org/abs/1404.7224

work page arXiv 2014
[23]

Symmetry protected topological phases and generalized cohomology

Davide Gaiotto and Theo Johnson-Freyd . Symmetry protected topological phases and generalized cohomology . J. High Energ. Phys. , 2019(5):7, May 2019. https://arxiv.org/pdf/1712.07950

work page arXiv 2019
[24]

Gaiotto and T

Davide Gaiotto and Theo Johnson-Freyd. Condensations in higher categories . 5 2019. https://arxiv.org/abs/1905.09566

work page arXiv 2019
[25]

Commuting pauli hamiltonians as maps between free modules

Jeongwan Haah. Commuting pauli hamiltonians as maps between free modules. Communications in Mathematical Physics , 324(2):351--399, 2013. https://arxiv.org/abs/1204.1063

work page arXiv 2013
[26]

Clifford quantum cellular automata: Trivial group in 2D and Witt group in 3D

Jeongwan Haah. Clifford quantum cellular automata: Trivial group in 2D and Witt group in 3D . J. Math. Phys. , 62(9):092202, 2021. https://arxiv.org/abs/1907.02075

work page arXiv 2021
[27]

Topological phases of unitary dynamics: Classification in clifford category

Jeongwan Haah. Topological phases of unitary dynamics: Classification in clifford category. Communications in Mathematical Physics , 406(4):76, 2025. https://arxiv.org/abs/2205.09141

work page arXiv 2025
[28]

Navigating the fracton landscape

Michael Hermele. Navigating the fracton landscape. Talk at the 2026 Simons Collaboration on Ultra-Quantum Matter Annual Meeting, 2026. https://www.youtube.com/watch?v=86Jlw3jLkzs

2026
[29]

Algebraically closed higher categories

Theo Johnson-Freyd. Algebraically closed higher categories. Slides for a talk at the Geometry & Topology Seminar, University of Haifa, December 2021. https://categorified.net/Haifa.pdf

2021
[30]

Higher s-matrices, 2021

Theo Johnson-Freyd. Higher s-matrices, 2021. https://categorified.net/S-matrices.pdf

2021
[31]

Classification of (semisimple) tqfts

Theo Johnson-Freyd. Classification of (semisimple) tqfts. Slides for a talk at the Mathematics of QFT seminar, Max Planck Institute for Mathematics, March 2022. https://categorified.net/TQFT-MPIM.pdf

2022
[32]

Johnson-Freyd,On the Classification of Topological Orders,Commun

Theo Johnson-Freyd. On the classification of topological orders. Commun. Math. Phys. , 393(2):989--1033, 2022. https://arxiv.org/abs/2003.06663

work page arXiv 2022
[33]

Deeper kummer theory

Theo Johnson-Freyd. Deeper kummer theory. Talk recorded in the PIRSA archive, September 2023. https://pirsa.org/23090104

work page arXiv 2023
[34]

Super duper vector spaces ii: The higher-categorical galois group of $ R $

Theo Johnson-Freyd. Super duper vector spaces ii: The higher-categorical galois group of $ R $. Slides for a talk at the Higher Structures in Functorial Field Theory conference, August 2023. https://categorified.net/SuperDuperVec2.pdf

2023
[35]

Deeper-categorical algebraic closure

Theo Johnson-Freyd. Deeper-categorical algebraic closure. Slides for a talk at the PIMS Mathematics & Statistics Colloquium, University of Alberta, November 2025. https://categorified.net/Colloquium-Alberta.pdf

2025
[36]

Fermions and categorified algebra closure

Theo Johnson-Freyd. Fermions and categorified algebra closure. Seminar slides, 69th Annual Meeting of the Australian Mathematical Society (AustMS Meeting 2025), December 2025. https://categorified.net/AustMS2025.pdf

2025
[37]

The ungauging surgery exact sequence

Theo Johnson-Freyd. The ungauging surgery exact sequence. Lecture notes, Kavli Institute for Theoretical Physics, University of California Santa Barbara, April 2025. https://categorified.net/KITPsurgery.pdf

2025
[38]

Higher algebraic closure

Theo Johnson-Freyd. Higher algebraic closure. Slides for a talk at the Higher Structures Seminar, Feza Gürsey Institute, April 2026. https://categorified.net/Feza.pdf

2026
[39]

Theo Johnson-Freyd and David J. Reutter. Minimal non-degenerate extensions. Journ. Amer. Math. Soc. , 37:81--150, 2024. https://arxiv.org/abs/2105.15167

work page arXiv 2024
[40]

Only the kervaire invariants admit gapped topological edge modes

Theo Johnson-Freyd and David Reutter. Only the kervaire invariants admit gapped topological edge modes. 2025. work in progress

2025
[41]

Fusion 2-categories With no Line Operators are Grouplike

Theo Johnson-Freyd and Matthew Yu. Fusion 2-categories With no Line Operators are Grouplike . Bull. Austral. Math. Soc. , 104(3):434--442, 2021. https://arxiv.org/abs/2010.07950

work page arXiv 2021
[42]

Topological orders in (4+1)-dimensions

Theo Johnson-Freyd and Matthew Yu. Topological orders in (4+1)-dimensions. SciPost Phys. , 13(3):068, 2022. https://arxiv.org/abs/2104.04534

work page arXiv 2022
[43]

Ji and B

Mattie Ji and Bowen Yang. Quantum Cellular Automata: The Group, the Space, and the Spectrum . 2 2026. https://arxiv.org/pdf/2602.16572

work page arXiv 2026
[44]

On the classification of short-range entangled states

Alexei Kitaev. On the classification of short-range entangled states. Conference talk at the Simons Center. http://scgp.stonybrook.edu/archives/7874., 2013

2013
[45]

Homotopy-theoretic approach to SPT phases in action: Z_ 16 classification of three-dimensional superconductors

Alexei Kitaev. Homotopy-theoretic approach to SPT phases in action: Z_ 16 classification of three-dimensional superconductors. Conference talk at the Institute for Pure and Applied Mathematics. http://www.ipam.ucla.edu/abstract/?tid=12389, 2015

2015
[46]

Models for gapped boundaries and domain walls

Alexei Kitaev and Liang Kong. Models for gapped boundaries and domain walls. Communications in Mathematical Physics , 313(2):351--373, 2012

2012
[47]

Higher condensation theory, 2025

Liang Kong, Zhi-Hao Zhang, Jiaheng Zhao, and Hao Zheng. Higher condensation theory . 3 2024. https://arxiv.org/abs/2403.07813

work page arXiv 2024
[48]

Classification of (3+1)d bosonic topological orders (I) :\ the case when pointlike excitations are all bosons

Tian Lan, Liang Kong, and Xiao-Gang Wen. Classification of (3+1)d bosonic topological orders (I) :\ the case when pointlike excitations are all bosons. Phys. Rev. X , 8(2), 2018. https://arxiv.org/abs/1704.04221

work page arXiv 2018
[49]

Algebraic l-theory and surgery (math 287x), 2011

Jacob Lurie. Algebraic l-theory and surgery (math 287x), 2011. https://www.math.ias.edu/ lurie/287x.html

2011
[50]

Classification of 3+1d bosonic topological orders (II) : The case when some pointlike excitations are fermions

Tian Lan and Xiao-Gang Wen. Classification of 3+1d bosonic topological orders (II) : The case when some pointlike excitations are fermions. Phys. Rev. X , 9(2), 2019. https://arxiv.org/abs/1801.08530

work page arXiv 2019
[51]

Operator algebra and algorithmic construction of boundaries and defects in (2+ 1) d topological pauli stabilizer codes

Zijian Liang, Bowen Yang, Joseph T Iosue, and Yu-An Chen. Operator algebra and algorithmic construction of boundaries and defects in (2+ 1) d topological pauli stabilizer codes. arXiv preprint arXiv:2410.11942 , 2024

work page internal anchor Pith review arXiv 2024
[52]

The Algebra of Categorical Spectra

Naruki Masuda. The Algebra of Categorical Spectra . Ph.d. dissertation, Johns Hopkins University, Baltimore, Maryland, USA, July 2024. https://nmasuda2.github.io/notes/thesis_stable.pdf

2024
[53]

M. A. Mandell, J. P. May, S. Schwede, and B. Shipley. Model categories of diagram spectra. Proc. London Math. Soc. (3) , 82(2):441--512, 2001. https://www.math.uchicago.edu/ may/PAPERS/mmssLMSDec30.pdf

2001
[54]

Higher central charges and witt groups

Siu-Hung Ng, Eric C Rowell, Yilong Wang, and Qing Zhang. Higher central charges and witt groups. Advances in Mathematics , 404:108388, 2022. https://arxiv.org/abs/2002.03570

work page arXiv 2022
[55]

On the action of non-invertible symmetries on local operators in 3+1d

Pavel Putrov and Rajath Radhakrishnan. On the action of non-invertible symmetries on local operators in 3+1d . 3 2026. https://arxiv.org/abs/2603.03438

work page arXiv 2026
[56]

Lower K- and L-theory , volume 178 of London Mathematical Society Lecture Note Series

Andrew Ranicki. Lower K- and L-theory , volume 178 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge, 1992

1992
[57]

Super duper vector spaces i: The higher-categorical algebraic closure of the complex numbers

David Reutter. Super duper vector spaces i: The higher-categorical algebraic closure of the complex numbers. Recorded seminar video, Universität Regensburg Mediathek, August 2023. https://mediathek2.uni-regensburg.de/playthis/64dfda15657080.28146630

work page arXiv 2023
[58]

In progress

Błażej Ruba and Bowen Yang. In progress
[59]

Homological invariants of pauli stabilizer codes

Blazej Ruba and Bowen Yang. Homological invariants of pauli stabilizer codes. Communications in Mathematical Physics , 405(5):126, 2024. https://arxiv.org/abs/2204.06023

work page arXiv 2024
[60]

Witt Groups and Bulk-Boundary Correspondence for Stabilizer States

B a \.z ej Ruba and Bowen Yang. Witt Groups and Bulk-Boundary Correspondence for Stabilizer States . 9 2025. https://arxiv.org/abs/2509.10418

work page arXiv 2025
[61]

Ellison, Nathanan Tantivasadakarn, and Dominic J

Wilbur Shirley, Yu-An Chen, Arpit Dua, Tyler D. Ellison, Nathanan Tantivasadakarn, and Dominic J. Williamson. Three-Dimensional Quantum Cellular Automata from Chiral Semion Surface Topological Order and beyond . PRX Quantum , 3(3):030326, 2022. https://arxiv.org/abs/2202.05442

work page arXiv 2022
[62]

A Classification of Invertible Stabilizer Codes

Georgii Shuklin and Roman Geiko. A Classification of Invertible Stabilizer Codes . 11 2025. https://arxiv.org/abs/2512.01142

work page arXiv 2025
[63]

Higher Quasicoherent Sheaves

German Stefanich. Higher Quasicoherent Sheaves . PhD thesis, University of California, Berkeley, Spring 2021. https://web.ma.utexas.edu/users/gs29722/Thesis.pdf https://web.ma.utexas.edu/users/gs29722/Thesis.pdf

2021
[64]

Large condensation in enriched -categories

Devon Stockall. Large condensation in enriched -categories . 6 2025. https://arxiv.org/abs/2506.23632

work page arXiv 2025
[65]

Braided fusion complexes: An algebraic theory of abelian gapped phases

Wilbur Shirley, Evan Wickenden, Bowen Yang, Agn\'es Beaudry, and Michael Hermele. Braided fusion complexes: An algebraic theory of abelian gapped phases. In progress
[66]

Clifford quantum cellular automata from topological quantum field theories and invertible subalgebras

Meng Sun, Bowen Yang, Zongyuan Wang, Nathanan Tantivasadakarn, and Yu-An Chen. Clifford quantum cellular automata from topological quantum field theories and invertible subalgebras. 2025. https://arxiv.org/abs/2509.07099

work page internal anchor Pith review Pith/arXiv arXiv 2025
[67]

Long, and Dominic V

Yi-Ting Tu, David M. Long, and Dominic V. Else. Anomalies of global symmetries on the lattice. Phys. Rev. X , 16:011027, Feb 2026. https://arxiv.org/abs/2507.21209

work page arXiv 2026
[68]

Mutual Influence of Symmetries and Topological Field Theories

Daniel Teixeira and Matthew Yu. Mutual Influence of Symmetries and Topological Field Theories . 7 2025. https://arxiv.org/abs/2507.06304

work page arXiv 2025
[69]

On etale algebras and bosonic fusion 2-categories

Hao Xu. On etale algebras and bosonic fusion 2-categories. 2024. https://arxiv.org/abs/2411.13367

work page arXiv 2024
[70]

Categorifying Clifford QCA

Bowen Yang. Categorifying Clifford QCA . 4 2025. https://arxiv.org/abs/2504.14811

work page arXiv 2025