Pith. sign in

REVIEW 4 major objections 4 minor 2 cited by

The paper claims that topological response actions for the listed invertible phases can be completed, via higher cup products and complementary-cell pairings, into full separator-flipper algebras whose identification with the on-site algebr

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-01 06:56 UTC pith:EL5C2LRW

load-bearing objection A systematic construction of non-Clifford QCAs from TQFT responses, with genuinely new higher-dimensional families, but the infinite-family proofs lean on a few unverified higher-cup identities that need proof or a machine check. the 4 major comments →

arxiv 2607.21697 v1 pith:EL5C2LRW submitted 2026-07-23 quant-ph cond-mat.str-elhep-thmath-phmath.MPmath.QA

Non-Clifford quantum cellular automata from invertible topological quantum field theories

Meng Sun , Zongyuan Wang , Bowen Yang , Nathanan Tantivasadakarn , Yu-An Chen This is my paper
classification quant-ph cond-mat.str-elhep-thmath-phmath.MPmath.QA MSC 81P4557R5657R2055S10
keywords quantum cellular automatainvertible topological quantum field theoryseparator-flipper algebrahigher cup productsnon-Clifford QCAStiefel-Whitney classesWu classesfinite-depth quantum circuits
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper develops a uniform algebraic procedure that turns an invertible topological quantum field theory into a quantum cellular automaton: a locality-preserving automorphism of the full operator algebra, not just a choice of ground state. Starting from a commuting Hamiltonian, the construction uses complementary-cell cup products to pick one local separator per microscopic degree of freedom, then dresses bare shifts into mutually commuting flippers that obey the same algebra as the on-site clock and shift operators. This yields the first unified derivation of the known three-dimensional semion and U(1)_4 QCAs, new infinite families of non-Clifford QCAs in dimensions d=4k-1, and general constructions for responses built from products of Wu classes, including w_2^n w_3^m and w_2 w_{4k-1}. A decisive contrast appears in five dimensions, where the w_3^2 and w_2^3 candidates are explicitly shown to be finite-depth quantum circuits, proving they are trivial despite looking non-Pauli. If the construction is right, it gives a scalable route from field-theory data to microscopic locality-preserving dynamics and separates the problem of building a QCA from the problem of proving it stably nontrivial.

Core claim

The central claim is that the operators Z_j and X_j produced by the cup-product completion satisfy Eq. (8) — the separators commute pairwise, the flippers commute pairwise, and Z_k X_j = omega^{delta_jk} X_j Z_k with the correct order — so the assignment Z_j -> Z_j, X_j -> X_j defines a genuine QCA. In three spatial dimensions this reproduces the semion and U(1)_4 constructions; in d=4k-1 it gives new generalized U(1)_2 and U(1)_4 non-Clifford families; for arbitrary products of Wu classes it gives infinite families such as w_2^n w_3^m in dimension 2n+3m-1 and w_2 w_{4k-1} in dimension 4k. The paper also proves the 5D w_3^2 and w_2^3 QCAs are finite-depth circuits, in agreement with their or

What carries the argument

The central object is the separator-flipper algebra: a complete set of bounded-support unitary operators, one commuting separator Z_j and one local flipper X_j per site, obeying the same relations as the generalized Pauli clock and shift operators. The carrying mechanism is the complementary-cell cup product on a hypercubic lattice, together with higher-cup identities that reorganize the terms of a commuting Hamiltonian into exactly one separator per degree of freedom and guide the dressing of bare shift operators into commuting flippers. The construction also relies on spectral substitution: replacing diagonal cochain variables by the corresponding commuting kinetic operators to extend sepa

Load-bearing premise

The construction assumes that the complementary-cell pairing and higher-cup identities used to rewrite the Hamiltonians remain valid, with the chosen ordering conventions, in every dimension and for every member of the infinite families.

What would settle it

Compute the product of the L^A operators around a 3-cell, Eq. (280), on a hypercubic lattice in a dimension such as 9 using the paper's ordered cup convention; if the product fails to be the identity even on a flat configuration, the separators stop commuting and Eq. (8) fails. The same check applies to the endpoint-shift identity Eq. (283) away from the flat sector.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The 3D semion and U(1)_4 QCAs are placed in one framework and given explicit mutually commuting flippers, completing the separator algebra that earlier constructions left implicit.
  • New infinite families of generalized U(1)_2 and U(1)_4 non-Clifford QCAs exist in every spatial dimension d=4k-1, with distinct higher-form quadratic excitations.
  • QCAs exist for every response of the form w_2^n w_3^m (dimension 2n+3m-1) and w_2 w_{4k-1} (dimension 4k), realizing the Wu and Stiefel-Whitney responses at the microscopic level.
  • The 5D w_3^2 and w_2^3 representatives are stably trivial: explicit finite-depth circuits implement them, and the field-redefinition circuit relating the two descriptions is generally non-Clifford.
  • For each family the construction yields a full-space commuting separator Hamiltonian, showing that the QCA is an automorphism of the entire local operator algebra, not just of the ground state.

Where Pith is reading between the lines

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

  • The paper stops short of proving which of the new families are stably nontrivial; a natural next check is to evaluate its proposed state-based response on the Wu-Bockstein and w_4^2 examples, where the conditionally stated obstruction could be upgraded to a proof.
  • If the local closure relations hold, the same separator-flipper recipe should extend to Steenrod-decorated responses whose endpoint polynomials contain quadratic terms in the shift; the explicit w_4 w_6 case in spacetime dimension ten is a concrete test.
  • The 5D triviality result suggests that many cobordism-vanishing Wu products will yield finite-depth-trivial automorphisms; each new family should be checked for an explicit circuit before conjecturing nontriviality from the form of the action alone.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 4 minor

Summary. The paper develops a unified algebraic construction that turns cochain-level data of certain invertible TQFT responses into explicit quantum cellular automata (QCAs). The method first produces a commuting Hamiltonian for the phase and then completes its generators to a separator–flipper algebra, yielding an automorphism of the full local operator algebra. The authors claim to unify the three-dimensional semion and U(1)_4 QCAs, to produce new infinite families of generalized U(1)_2 and U(1)_4 QCAs in dimensions d=4k−1, to reformulate the 4D w_2w_3 QCA and to extend it to families built from products of Wu classes (including w_2^n w_3^m and w_2 w_{4k−1}), and to give explicit finite-depth circuits showing that the 5D w_3^2 and w_2^3 representatives are stably trivial.

Significance. If the construction is correct, this is a substantial step toward a systematic dictionary between invertible TQFT responses and microscopic locality-preserving automorphisms, and it would provide some of the first non-Clifford QCA families in higher dimensions. The paper also makes a useful conceptual point by separating the construction of a QCA from its stable nontriviality, with the 5D finite-depth circuit result as a concrete illustration. Strengths include parameter-free derivations from specified cochain data, a detailed treatment of the 3D semion and U(1)_4 cases, explicit operator expressions throughout, and a careful discussion of the difference between characteristic-number responses and QCA stable classes. The main weakness is that several load-bearing higher-cup identities and degree-shifted checks are asserted rather than proved or explicitly reduced to the cited reference [43]; these identities are essential for the separator algebra and hence for the QCA definition itself.

major comments (4)
  1. [§8.1, Eq. (280)] The local closure relation Y_{f⊂∂p} L^A_{t(f)} = 1 is stated with a one-sentence justification ('the X^A support in this product is a second coboundary, while the Z^A dressing cancels by the higher-cup recursion') and is then used to justify the spectral substitution Z^B_f → L^A_{t(f)} in Eq. (281). This is load-bearing: if the Z^A dressing does not cancel in the chosen ordered hypercubic cup convention, the substituted operators in Eq. (282) are not guaranteed to be commuting involutions, and the whole separator–flipper algebra collapses. The identity needs a proof or a precise pointer to the specific statement in Ref. [43]; the current text leaves the main construction conditional.
  2. [§8.1, Eq. (283)] The endpoint-shift identity (δt(f))(r) = (δe(r))(f) together with Z^A_r L^A_{t(f)} Z^A_r = (-1)^{(δe(r))(f)} L^A_{t(f)} is used to cancel the two signs in the mixed commutator and to prove (Z^A_r)^2 = 1 and [Z^A_r, Z^A_s] = 0. The text says this follows from complementary-cell incidence, but no derivation is shown. The signs depend on the ordered cup products and on the lattice conventions; a single sign error would destroy the algebra. This computation must be displayed, or at least reduced to an explicit identity in a cited reference.
  3. [§4.2, after Eq. (126)] The paper states that 'the checks of the fourth power and mutual commutativity are the degree-shifted versions of the three-dimensional calculations, but are identical,' without displaying them. These checks are needed for every d=4k−1 family, and the 3D calculation relies on lattice-specific self-incidence identities such as Eq. (39); a naive degree shift can change cup-product identities. The same pattern occurs in §8.2–§8.4 ('endpoint identities imply', 'the final flippers require no new type of dressing'). Please provide the missing verifications or an explicit reduction to a proved base case.
  4. [§5, Eqs. (164)–(169)] The first appearance of the full-space completion procedure relies on the complementary-cell incidence identity and on the endpoint-shift relation to show that (Z^B_t bT^A_e Z^B_t) bT^A_e = 1 and that mixed commutators cancel. These identities are asserted ('complementary-cell incidence gives', 'directly from the definition') rather than derived. Since this construction is later reused for all higher-dimensional Wu-product families, it is important to prove these identities once, carefully, with the same conventions used in the rest of the paper.
minor comments (4)
  1. [§9] The first sentence of the Discussion, 'Extending results of our previous work on Clifford QCA [29] to new families of non-Clifford QCA,' is a sentence fragment; it should be joined to the previous sentence.
  2. [Abstract and §9] The abstract states that the results 'convert invertible TQFTs into microscopic QCAs,' but §9 explicitly says that the identification of the constructed states with the bordism characters 'has not been established for the remaining constructions.' The abstract should be tempered to avoid overclaiming the present status.
  3. [§2, Eq. (8)] After introducing the barred notation for separators and flippers, later sections use tildes, superscripts, and overbars without a uniform notation. A short glossary near Eq. (8) would make the paper easier to read.
  4. [Appendix D / §8.1] The detection criterion Eq. (256) is proved in Appendix D, but the main text does not cross-reference the appendix at the point of use. Please add a reference there.

Circularity Check

0 steps flagged

No circular derivation; the construction is an explicit algebraic algorithm. The main flagged issues are unverified identities and a conditional equivalence, which are completeness risks rather than reductions to inputs.

full rationale

I traced the claimed derivation from TQFT actions to QCAs. There is no fitting step: no parameter is extracted from a data subset and then reported as a prediction. The separators are defined from the parent Hamiltonian via complementary-cell cup pairings; the flippers are dressed shifts whose algebra is then checked against Eq. (8). The QCA assignment (9) is the output, not an input to the cochain data. The main external inputs are standard (Wu formula, oriented bordism, Gauss sums) and the authors' prior framework [29], plus the hypercubic higher-cup conventions of [43]. These citations are load-bearing in the sense that the calculations use cup-i identities and complementary-cell pairing, but they are parameter-free mathematical results that do not assume the present QCAs exist, so under the stated rules they are independent support rather than circularity. Two passages are flagged as omissions, not circular steps. Sec. 4.2 says the fourth-power and mutual-commutativity checks 'are the degree-shifted versions of the three-dimensional calculations, but are identical' without displaying them. Sec. 8.1 asserts the closure relation (280) and the endpoint-shift identity (283) via 'higher-cup recursion' / complementary-cell incidence, without derivation; these are load-bearing for (Z^A_r)^2=1 and [Z^A_r,Z^A_s]=0. If either identity failed, the completed operators would not satisfy Eq. (8) and the QCA construction would collapse. Similarly, the w3^2/w2^3 finite-depth proof relies on the 'matched off-flat completion' in Eq. (207), which is asserted rather than demonstrated. These are correctness/completeness risks, not circular reductions: the paper does not define the target QCA to be the circuit that trivializes it. The overall circularity score is therefore low; 2 reflects the presence of prior-work citations and the unconditional tone of some asserted identities, not a demonstrated circular step.

Axiom & Free-Parameter Ledger

3 free parameters · 10 axioms · 0 invented entities

The construction is not numerical: it introduces no fitted constants. The free parameters are conventions/orderings and the choice of full-space extension. The axioms are mostly standard algebraic topology and the domain assumptions of the QCA framework; two ad hoc premises (complete separator-flipper algebra with commuting flippers; asserted degree-shifted checks) are load-bearing. No invented physical entities appear.

free parameters (3)
  • Ordered cup-product convention and self-incidence convention
    The flipper algebra depends on the chosen ordering of cup products and on elementary-cell identities such as e∪e=0 and self-incidence values; these are chosen, not derived from the topological action alone.
  • Canonical/0-1 lift of Z2 cochains
    Bockstein and Pontryagin-square terms use a canonical integer lift; different lifts shift the boundary circuit Wβ and the transgression phase, so the QCA representative is convention-dependent.
  • Spectral substitution in off-flat completion
    Kinetic terms are initially defined only on flat configurations; extension to the full Hilbert space by replacing Z variables with commuting kinetic operators (e.g., Eq. (282)) is a choice, not forced by the response action.
axioms (10)
  • standard math Higher cup product identities and hypercubic complementary-cell pairings are local and nondegenerate
    Invoked repeatedly, principally from Ref. [43]; underlies separator selection and flux redundancy; not reproved for all dimensions.
  • standard math Wu formula and Steenrod square identities
    Used to reduce TQFT responses (e.g., ∫A∪_{d-3}A = ∫w2 A) and to identify w2w3, w3^2, w4^2 responses.
  • standard math Oriented bordism classification and vanishing of Stiefel-Whitney numbers in relevant dimensions
    Used to infer triviality of 5D representatives and candidate nontriviality of others (Sec. 6, Appendices C/D).
  • standard math Brown-Kervaire-Morita Gauss sum formula
    Used in Appendix E to identify signature response; not directly load-bearing for QCA construction.
  • domain assumption Commuting Hamiltonian from condensation/gauging realizes the claimed invertible phase
    The starting point of the workflow (Fig. 1); assumes condensation of the boson and higher-form gauging produce the intended topological order and separators.
  • domain assumption Boundary-realizability assumption for anomalous 3+1D Z2 order
    Used to argue w2w3 QCA is not an FDQC (Sec. 5); flagged as an assumption from Refs. [3,35].
  • domain assumption Infinite lattice with local perfect pairing; QCA defined by local operator algebra automorphism
    The whole setting; standard in the field.
  • ad hoc to paper Separators can be identified with on-site clock/shift operators via a complete separator-flipper algebra with mutually commuting flippers
    This is the paper's defining requirement, stronger than Ref. [3]; it is used to define the QCA (Eqs. (8)-(9)) and is not a consequence of the TQFT action alone.
  • ad hoc to paper The degree-shifted checks for d=4k−1 and Wu families are identical to the 3D calculations
    Asserted in Secs. 4.2, 8.1–8.4 rather than derived; if false, commutativity of the new flipper families could fail.
  • ad hoc to paper The field-redefinition circuit Eq. (199) implements A→A+B∪B as a finite-depth circuit
    This is a constructed circuit with stated conjugation rules; used in Sec. 6.3 to relate w3^2 and w2^3, but its finite-depth coloring is argued rather than fully proven.

pith-pipeline@v1.3.0-alltime-deepseek · 66796 in / 15014 out tokens · 130367 ms · 2026-08-01T06:56:47.333768+00:00 · methodology

0 comments
read the original abstract

Quantum cellular automata (QCAs) describe locality-preserving quantum dynamics and connect quantum information, many-body physics, and topological quantum field theory (TQFT). Constructing a QCA from a TQFT, however, is challenging. Although a topological action can produce a commuting Hamiltonian realizing the desired ground state, it does not by itself specify an automorphism of the full local operator algebra. In this work, we develop a unified algebraic construction that extends the commuting generators of the Hamiltonian to a complete separator-flipper algebra on the full tensor-product Hilbert space, providing a microscopic definition of the corresponding QCA. In three spatial dimensions, our formalism unifies all previously known QCA constructions associated with the $\mathbb Z_8\times\mathbb Z_2$ subgroup of the Witt group, including the $U(1)_2$ and $U(1)_4$ QCAs. The same algebraic structure directly yields new infinite families of generalized $U(1)_2$ and $U(1)_4$ non-Clifford QCAs in dimensions $d=4k-1$. We also reformulate the 4-dimensional $w_2w_3$ QCA and use it to develop a general construction of QCAs from TQFTs associated with arbitrary products of Wu classes. This construction includes two infinite families. The first consists of $w_2^nw_3^m$ QCAs in dimension $d=2n+3m-1$, while the second consists of $w_2w_{4k-1}$ QCAs in dimension $d=4k$. As a contrasting result, we explicitly construct finite-depth quantum circuits for the 5-dimensional $w_3^2$ and $w_2^3$ QCAs, thereby proving that they are trivial, in agreement with the cobordism classification. Overall, these results convert invertible TQFTs into microscopic QCAs, provide a scalable route to higher-dimensional constructions beyond the Clifford setting, and open a systematic approach to classifying their stable structures and boundary anomalies.

Figures

Figures reproduced from arXiv: 2607.21697 by Bowen Yang, Meng Sun, Nathanan Tantivasadakarn, Yu-An Chen, Zongyuan Wang.

Figure 1
Figure 1. Figure 1: Workflow for constructing the QCAs in this work. A commuting Hamiltonian is first obtained [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗

discussion (0)

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

Forward citations

Cited by 2 Pith papers

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

  1. Non-Invertible Symmetries Mixing with Witt Non-Trivial Quantum Cellular Automata

    quant-ph 2026-07 conditional novelty 8.0

    Lattice Kramers-Wannier-Wegner duality and 1-form SPT entanglers for Z_p symmetry in 3+1d generate groups whose fusion rules are refined by Witt non-trivial quantum cellular automata; for p=2 the group is the single-q...

  2. Non-Invertible Symmetries Mixing with Witt Non-Trivial Quantum Cellular Automata

    quant-ph 2026-07 conditional novelty 7.0

    On a 3+1d cubic lattice, the duality (gauging) and 1-form-SPT-stacking operations generate local automorphisms whose fusion rules match the continuum only up to translations and non-trivial QCAs — semion, 3-fermion, a...

Reference graph

Works this paper leans on

60 extracted references · 13 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Reversible quantum cellular automata,

    B. Schumacher and R. F. Werner, “Reversible quantum cellular automata,”arXiv:quant-ph/0405174 [quant-ph]

    Pith/arXiv arXiv

  2. [2]

    Classification of quantum cellular automata,

    M. Freedman and M. B. Hastings, “Classification of quantum cellular automata,”Communications in Mathematical Physics376no. 2, (2020) 1171–1222

    2020

  3. [3]

    Nontrivial quantum cellular automata in higher dimensions,

    J. Haah, L. Fidkowski, and M. B. Hastings, “Nontrivial quantum cellular automata in higher dimensions,”Communications in Mathematical Physics398no. 1, (2023) 469–540

    2023

  4. [4]

    Index theory of one dimensional quantum walks and cellular automata,

    D. Gross, V. Nesme, H. Vogts, and R. F. Werner, “Index theory of one dimensional quantum walks and cellular automata,”Communications in Mathematical Physics310no. 2, (2012) 419–454

    2012

  5. [5]

    Clifford quantum cellular automata: Trivial group in 2d and witt group in 3d,

    J. Haah, “Clifford quantum cellular automata: Trivial group in 2d and witt group in 3d,”Journal of Mathematical Physics62no. 9, (09, 2021) 092202

    2021

  6. [6]

    Quantum cellular automata and quantum field theory in two spatial dimensions,

    T. A. Brun and L. Mlodinow, “Quantum cellular automata and quantum field theory in two spatial dimensions,”Physical Review A102no. 6, (Dec, 2020) . 71

    2020

  7. [7]

    Chiral floquet phases of many-body localized bosons,

    H. C. Po, L. Fidkowski, T. Morimoto, A. C. Potter, and A. Vishwanath, “Chiral floquet phases of many-body localized bosons,”Phys. Rev. X6(Dec, 2016) 041070

    2016

  8. [8]

    Radical chiral floquet phases in a periodically driven kitaev model and beyond,

    H. C. Po, L. Fidkowski, A. Vishwanath, and A. C. Potter, “Radical chiral floquet phases in a periodically driven kitaev model and beyond,”Phys. Rev. B96(Dec, 2017) 245116

    2017

  9. [9]

    Infinite family of three-dimensional floquet topological paramagnets,

    A. C. Potter, A. Vishwanath, and L. Fidkowski, “Infinite family of three-dimensional floquet topological paramagnets,”Phys. Rev. B97(Jun, 2018) 245106

    2018

  10. [10]

    Classification of interacting floquet phases withU(1) symmetry in two dimensions,

    C. Zhang and M. Levin, “Classification of interacting floquet phases withU(1) symmetry in two dimensions,”Phys. Rev. B103(Feb, 2021) 064302

    2021

  11. [11]

    Effective response theory for floquet topological systems,

    P. Glorioso, A. Gromov, and S. Ryu, “Effective response theory for floquet topological systems,”Phys. Rev. Research3(Feb, 2021) 013117

    2021

  12. [12]

    Bulk-boundary correspondence for interacting floquet systems in two dimensions,

    C. Zhang and M. Levin, “Bulk-boundary correspondence for interacting floquet systems in two dimensions,”Phys. Rev. X13(Sep, 2023) 031038

    2023

  13. [13]

    Matrix product unitaries: structure, symmetries, and topological invariants,

    J. I. Cirac, D. Perez-Garcia, N. Schuch, and F. Verstraete, “Matrix product unitaries: structure, symmetries, and topological invariants,”Journal of Statistical Mechanics: Theory and Experiment 2017no. 8, (2017) 083105

    2017

  14. [14]

    Matrix product representation of locality preserving unitaries,

    M. B. S ¸ahino˘ glu, S. K. Shukla, F. Bi, and X. Chen, “Matrix product representation of locality preserving unitaries,”Phys. Rev. B98(Dec, 2018) 245122

    2018

  15. [15]

    Quantum cellular automata, tensor networks, and area laws,

    L. Piroli and J. I. Cirac, “Quantum cellular automata, tensor networks, and area laws,”Phys. Rev. Lett.125(Nov, 2020) 190402

    2020

  16. [16]

    Fermionic quantum cellular automata and generalized matrix-product unitaries,

    L. Piroli, A. Turzillo, S. K. Shukla, and J. I. Cirac, “Fermionic quantum cellular automata and generalized matrix-product unitaries,”Journal of Statistical Mechanics: Theory and Experiment2021 no. 1, (2021) 013107

    2021

  17. [17]

    Entanglement generation of clifford quantum cellular automata,

    J. G¨ utschow, “Entanglement generation of clifford quantum cellular automata,”Applied Physics B98 no. 4, (2010) 623–633

    2010

  18. [18]

    Coarse-grained entanglement and operator growth in anomalous dynamics,

    Z. Gong, A. Nahum, and L. Piroli, “Coarse-grained entanglement and operator growth in anomalous dynamics,”Phys. Rev. Lett.128(Feb, 2022) 080602

    2022

  19. [19]

    Topological lower bound on quantum chaos by entanglement growth,

    Z. Gong, L. Piroli, and J. I. Cirac, “Topological lower bound on quantum chaos by entanglement growth,”Phys. Rev. Lett.126(Apr, 2021) 160601

    2021

  20. [20]

    Subsystem symmetries, quantum cellular automata, and computational phases of quantum matter,

    D. T. Stephen, H. P. Nautrup, J. Bermejo-Vega, J. Eisert, and R. Raussendorf, “Subsystem symmetries, quantum cellular automata, and computational phases of quantum matter,”Quantum3 (May, 2019) 142

    2019

  21. [21]

    Quantum Cellular Automata on Symmetric Subalgebras,

    R. Ma, Y. Li, and M. Cheng, “Quantum Cellular Automata on Symmetric Subalgebras,”Quantum10 (June, 2026) 2123

    2026

  22. [22]

    Quantum Cellular Automata and Categorical Dualities of Spin Chains,

    C. Jones, K. Schatz, and D. J. Williamson, “Quantum Cellular Automata and Categorical Dualities of Spin Chains,”Communications in Mathematical Physics407no. 4, (Mar., 2026) 66

    2026

  23. [23]

    Anomalies of global symmetries on the lattice,

    Y.-T. Tu, D. M. Long, and D. V. Else, “Anomalies of global symmetries on the lattice,”Phys. Rev. X 16(Feb, 2026) 011027

    2026

  24. [24]

    Higher symmetries and anomalies in quantum lattice systems,

    A. Kapustin, “Higher symmetries and anomalies in quantum lattice systems,”arXiv preprint arXiv:2505.04719(2025)

    Pith/arXiv arXiv 2025

  25. [25]

    Symmetry protected topological orders and the group cohomology of their symmetry group,

    X. Chen, Z.-C. Gu, Z.-X. Liu, and X.-G. Wen, “Symmetry protected topological orders and the group cohomology of their symmetry group,”Physical Review B87no. 15, (2013) 155114. 72

    2013

  26. [26]

    Symmetry protected topological phases, anomalies, and cobordisms: Beyond group cohomology,

    A. Kapustin, “Symmetry protected topological phases, anomalies, and cobordisms: Beyond group cohomology,”arXiv preprint arXiv:1403.1467(2014)

    Pith/arXiv arXiv 2014

  27. [27]

    Three-dimensional quantum cellular automata from chiral semion surface topological order and beyond,

    W. Shirley, Y.-A. Chen, A. Dua, T. D. Ellison, N. Tantivasadakarn, and D. J. Williamson, “Three-dimensional quantum cellular automata from chiral semion surface topological order and beyond,”PRX Quantum3(Aug, 2022) 030326

    2022

  28. [28]

    A quantum cellular automaton for every symmetry protected topological phase,

    L. Fidkowski, J. Haah, and M. B. Hastings, “A quantum cellular automaton for every symmetry protected topological phase,”Physical Review B112no. 3, (2025) 035123

    2025

  29. [29]

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

    M. Sun, B. Yang, Z. Wang, N. Tantivasadakarn, and Y.-A. Chen, “Clifford quantum cellular automata from topological quantum field theories and invertible subalgebras,”PRX Quantum7(2026) 010362

    2026

  30. [30]

    Topological phases of unitary dynamics: Classification in clifford category,

    J. Haah, “Topological phases of unitary dynamics: Classification in clifford category,” Communications in Mathematical Physics406no. 4, (2025) 76

    2025

  31. [31]

    (3+1)-TQFTs and topological insulators,

    K. Walker and Z. Wang, “(3+1)-TQFTs and topological insulators,”Frontiers of Physics7no. 2, (2012) 150–159

    2012

  32. [32]

    On braided fusion categories I,

    V. Drinfeld, S. Gelaki, D. Nikshych, and V. Ostrik, “On braided fusion categories I,”Selecta Mathematica16no. 1, (2010) 1–119,arXiv:0906.0620 [math.QA]

    Pith/arXiv arXiv 2010

  33. [33]

    The witt group of non-degenerate braided fusion categories,

    A. Davydov, M. M¨ uger, D. Nikshych, and V. Ostrik, “The witt group of non-degenerate braided fusion categories,”Journal f¨ ur die reine und angewandte Mathematik677(2013) 135–177, arXiv:1009.2117 [math.QA]

    Pith/arXiv arXiv 2013

  34. [34]

    Exactly solvable model for a 4 + 1D beyond-cohomology symmetry-protected topological phase,

    L. Fidkowski, J. Haah, and M. B. Hastings, “Exactly solvable model for a 4 + 1D beyond-cohomology symmetry-protected topological phase,”Phys. Rev. B101(Apr, 2020) 155124

    2020

  35. [35]

    Exactly solvable lattice Hamiltonians and gravitational anomalies,

    Y.-A. Chen and P.-S. Hsin, “Exactly solvable lattice Hamiltonians and gravitational anomalies,” SciPost Phys.14(2023) 089

    2023

  36. [36]

    Categorifying clifford qca,

    B. Yang, “Categorifying clifford qca,”Communications in Mathematical Physics407no. 4, (2026) 77

    2026

  37. [37]

    A nonconnective delooping of algebraic k-theory,

    E. K. Pedersen and C. A. Weibel, “A nonconnective delooping of algebraic k-theory,” inAlgebraic and Geometric Topology, A. Ranicki, N. Levitt, and F. Quinn, eds., pp. 166–181. Springer Berlin Heidelberg, Berlin, Heidelberg, 1985

    1985

  38. [38]

    Quantum cellular automata: The group, the space, and the spectrum,

    M. Ji and B. Yang, “Quantum cellular automata: The group, the space, and the spectrum,”arXiv preprint arXiv:2602.16572(2026)

    Pith/arXiv arXiv 2026

  39. [39]

    k-theoretic obstructions to linearizing qca representations,

    M. Ji and B. Yang, “k-theoretic obstructions to linearizing qca representations,”arXiv preprint arXiv:2606.19657(2026)

    Pith/arXiv arXiv 2026

  40. [40]

    Products of cocycles and extensions of mappings,

    N. E. Steenrod, “Products of cocycles and extensions of mappings,”Annals of Mathematics48no. 2, (1947) 290–320

    1947

  41. [41]

    J. W. Milnor and J. D. Stasheff,Characteristic Classes, vol. 76 ofAnnals of Mathematics Studies. Princeton University Press, 1974

    1974

  42. [42]

    Semi-characteristics and cobordism,

    G. Lusztig, J. Milnor, and F. P. Peterson, “Semi-characteristics and cobordism,”Topology8no. 4, (1969) 357–359

    1969

  43. [43]

    Higher cup products on hypercubic lattices: Application to lattice models of topological phases,

    Y.-A. Chen and S. Tata, “Higher cup products on hypercubic lattices: Application to lattice models of topological phases,”Journal of Mathematical Physics64no. 9, (09, 2023) 091902

    2023

  44. [44]

    Three-dimensional topological lattice models with surface anyons,

    C. W. von Keyserlingk, F. J. Burnell, and S. H. Simon, “Three-dimensional topological lattice models with surface anyons,”Phys. Rev. B87(Jan, 2013) 045107

    2013

  45. [45]

    Nonabelian anyons and interferometry

    P. H. Bonderson, “Nonabelian anyons and interferometry.” Ph.d. thesis, california institute of technology, May, 2007. 73

    2007

  46. [46]

    Pauli stabilizer formalism for topological quantum field theories and generalized statistics,

    Y. Feng, H. Xue, R. Kobayashi, P.-S. Hsin, and Y.-A. Chen, “Pauli stabilizer formalism for topological quantum field theories and generalized statistics,”arXiv:2601.00064 [quant-ph]

    Pith/arXiv arXiv

  47. [47]

    (3+1)D topological orders with only aZ 2-charged particle,

    T. Johnson-Freyd, “(3+1)D topological orders with only aZ 2-charged particle,”arXiv:2011.11165 [math.QA]

    Pith/arXiv arXiv 2011

  48. [48]

    Gravitational anomaly of (3 + 1)-dimensionalZ 2 toric code with fermionic charges and fermionic loop self-statistics,

    L. Fidkowski, J. Haah, and M. B. Hastings, “Gravitational anomaly of (3 + 1)-dimensionalZ 2 toric code with fermionic charges and fermionic loop self-statistics,”Phys. Rev. B106(Oct, 2022) 165135

    2022

  49. [49]

    Generalized statistics on lattices,

    R. Kobayashi, Y. Li, H. Xue, P.-S. Hsin, and Y.-A. Chen, “Generalized statistics on lattices,”Phys. Rev. X16(Jan, 2026) 011010

    2026

  50. [50]

    Anyonic membranes and pontryagin statistics,

    Y. Feng, H. Xue, Y. Li, M. Cheng, R. Kobayashi, P.-S. Hsin, and Y.-A. Chen, “Anyonic membranes and pontryagin statistics,”Physical Review Letters136no. 8, (2026) 086601,arXiv:2509.14314 [quant-ph]

    arXiv 2026

  51. [51]

    Bockstein braiding statistics,

    P.-S. Hsin and Y.-A. Chen, “Bockstein braiding statistics,”arXiv:2607.02280 [quant-ph]

    Pith/arXiv arXiv

  52. [52]

    Invertible subalgebras,

    J. Haah, “Invertible subalgebras,”Communications in Mathematical Physics403no. 2, (2023) 661–698

    2023

  53. [53]

    Quantum cellular automata from kramers-wannier dualities and modular relations

    C. Zhang and P.-S. Hsin, “Quantum cellular automata from kramers-wannier dualities and modular relations.”. To appear

  54. [54]

    Non-invertible symmetries mixing with witt non-trivial quantum cellular automata

    K. Inamura, O. Wojdl, L. Fidkowski, and S. Schafer-Nameki, “Non-invertible symmetries mixing with witt non-trivial quantum cellular automata.”. To appear

  55. [55]

    Exactly soluble model of a three-dimensional symmetry-protected topological phase of bosons with surface topological order,

    F. J. Burnell, X. Chen, L. Fidkowski, and A. Vishwanath, “Exactly soluble model of a three-dimensional symmetry-protected topological phase of bosons with surface topological order,” Physical Review B90no. 24, (2014) 245122

    2014

  56. [56]

    Erzeugende der thomschen algebran,

    A. Dold, “Erzeugende der thomschen algebran,”Mathematische Zeitschrift65no. 1, (1956) 25–35

    1956

  57. [57]

    On the pontrjagin square and the signature,

    S. Morita, “On the pontrjagin square and the signature,”Journal of the Faculty of Science, the University of Tokyo, Section IA, Mathematics18no. 2, (1971) 405–414

    1971

  58. [58]

    Gauss sums in algebra and topology,

    L. R. Taylor, “Gauss sums in algebra and topology,”arXiv:2208.06319 [math.AT]

    Pith/arXiv arXiv

  59. [59]

    SL(2,Z) action on QFTs withZ 2 symmetry and the brown–kervaire invariants,

    L. Bhardwaj, Y. Lee, and Y. Tachikawa, “SL(2,Z) action on QFTs withZ 2 symmetry and the brown–kervaire invariants,”Journal of High Energy Physics2020no. 11, (2020) 141, arXiv:2009.10099 [hep-th]

    Pith/arXiv arXiv 2020

  60. [60]

    Evaluating the crane–yetter invariant,

    L. Crane, L. H. Kauffman, and D. N. Yetter, “Evaluating the crane–yetter invariant,” inQuantum Topology, L. H. Kauffman and R. A. Baadhio, eds., vol. 3 ofSeries on Knots and Everything, pp. 131–138. World Scientific, Singapore, 1993.arXiv:hep-th/9309063. 74

    Pith/arXiv arXiv 1993