pith. sign in

arxiv: 2606.19657 · v1 · pith:7HLJUQGMnew · submitted 2026-06-17 · 🧮 math.AT · math-ph· math.MP· math.OA· math.RT· quant-ph

K-Theoretic Obstructions to Linearizing QCA Representations

Mattie Ji , Bowen Yang This is my paper

Pith reviewed 2026-06-26 18:06 UTC · model grok-4.3

classification 🧮 math.AT math-phmath.MPmath.OAmath.RTquant-ph
keywords QCA representationsalgebraic K-theoryobstruction theorylinearizationhomotopy typesprojective representationslocality constraints
0
0 comments X

The pith

Algebraic K-theory of QCA supplies an obstruction theory for linearizing locality-constrained projective representations over any field.

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

The paper constructs an obstruction theory that decides whether QCA representations—projective representations that respect locality constraints coming from a metric space—can be turned into ordinary linear representations. It does so by applying the algebraic K-theory spectrum of QCA, whose homotopy groups produce the obstructions. These obstructions are controlled by the homotopy type of the QCA spaces, yielding universal classes that detect non-linearizable cases. The authors also give complete computations of the homotopy types of QCA spaces over a point, a line, and a plane in the complex algebraic and unitary setting.

Core claim

Over an arbitrary field, an obstruction theory for the linearization of QCA representations is developed using the algebraic K-theory spectrum of QCA. The obstructions are governed by the homotopy type of the QCA spaces, from which universal obstruction classes to linearization are extracted. In the complex algebraic and unitary case the homotopy types of the QCA spaces over a point, a line, and a plane are computed in full.

What carries the argument

The algebraic K-theory spectrum of QCA, whose homotopy type governs the obstruction classes that detect failure of linearization.

Load-bearing premise

The algebraic K-theory spectrum of QCA supplies the correct invariants for detecting linearizability under locality constraints.

What would settle it

A concrete QCA representation whose class in the K-theory spectrum is zero yet which provably admits no linearization would falsify the obstruction theory.

Figures

Figures reproduced from arXiv: 2606.19657 by Bowen Yang, Mattie Ji.

Figure 1
Figure 1. Figure 1: A QCA α for a pair (A, B) of central simple algebras. Here we place an alternating sequence of A ⊗ A′ ∼= Mn(F) and B ⊗ B′ ∼= Mm(F) on the metric space Z, and α simultaneously transports the tensor factor B to the left and the tensor factor A to the right [PITH_FULL_IMAGE:figures/full_fig_p012_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Annular shifts on the plane. This has spread 1. For general metric spaces, finding non-circuit QCA remains an active area of research. In the unitary case over X = Z 3 , a candidate was first constructed in [HFH23]. Subsequently, further examples have been found [FHH25; Sun+26; Shi+22]. At present, these examples and the group Q∗ (X)/C ∗ (X) are still not well understood; understanding this quotient is par… view at source ↗
read the original abstract

Projective representations arise naturally in physics and representation theory, and determining whether they can be linearized has been a fundamental problem. In this work, we study the analogous problem for quantum cellular automata (QCA) representations, which incorporate locality constraints imposed by a metric space $X$. Over an arbitrary field $\mathbb{F}$, we develop an obstruction theory for the linearization of QCA representations, using the algebraic $K$-theory spectrum of QCA constructed in previous work of the authors. The resulting obstructions are governed by the homotopy type of the QCA spaces, from which we extract universal obstruction classes to linearization. In the complex algebraic and unitary case, we also fully compute the homotopy types of the QCA spaces over a point, a line, and a plane.

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

1 major / 1 minor

Summary. Over an arbitrary field F, the paper develops an obstruction theory for the linearization of QCA representations using the algebraic K-theory spectrum of QCA constructed in the authors' previous work. The resulting obstructions are governed by the homotopy type of the QCA spaces, from which universal obstruction classes to linearization are extracted. In the complex algebraic and unitary case, the homotopy types of the QCA spaces over a point, a line, and a plane are fully computed.

Significance. If the prior K-theory spectrum is correctly constructed and supplies the appropriate invariants, this provides a new obstruction-theoretic framework for linearizability questions on projective representations subject to locality constraints from a metric space. The explicit homotopy computations in low-dimensional cases supply concrete, potentially falsifiable output that could be checked against other methods. The work extends the authors' earlier construction in a natural direction, but its impact is tied to the robustness of that spectrum.

major comments (1)
  1. Abstract: the obstruction theory is built directly on the algebraic K-theory spectrum of QCA from the authors' prior work; the manuscript supplies no independent verification, external benchmark, or explicit check that this spectrum detects linearizability under the stated locality constraints, leaving the central claim dependent on unexamined prior material.
minor comments (1)
  1. The abstract would be strengthened by a brief statement of the main theorems or the precise form of the universal obstruction classes rather than a purely descriptive summary.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review. The sole major comment concerns the manuscript's reliance on the K-theory spectrum from prior work without independent verification of its detection properties for linearizability here. We address this point directly below.

read point-by-point responses

  1. Referee: [—] Abstract: the obstruction theory is built directly on the algebraic K-theory spectrum of QCA from the authors' prior work; the manuscript supplies no independent verification, external benchmark, or explicit check that this spectrum detects linearizability under the stated locality constraints, leaving the central claim dependent on unexamined prior material.

    Authors: The algebraic K-theory spectrum of QCA and its verification as a cohomology theory detecting the relevant invariants (including under locality constraints from a metric space) were established in our previous work. The present manuscript takes that spectrum as given and derives the obstruction theory for linearization of QCA representations, showing that obstructions are governed by the homotopy type and extracting universal classes. By the universal property of the spectrum, non-vanishing of the obstruction classes in the appropriate homotopy groups precisely detects failure of linearizability. We therefore view the detection property as inherited from the prior construction rather than requiring re-verification. That said, we are willing to add a concise summary of the spectrum's axioms and key detection properties (with citations) to the introduction in a revision if the referee believes this would strengthen the exposition. revision: partial

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The abstract references prior work by the same authors for the algebraic K-theory spectrum of QCA as the foundation for the obstruction theory, but the full manuscript text is not supplied in the provided material. Without access to specific sections, equations, or derivation steps that could be quoted to exhibit a reduction by construction, self-definition, or load-bearing self-citation chain, no circular steps meeting the strict criteria (exact quote plus exhibited reduction) can be identified. The paper's central claims therefore cannot be assessed as circular from the given information, defaulting to a self-contained finding.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper's central claim rests on the validity of the authors' prior K-theory spectrum construction; no free parameters, additional axioms, or invented entities are visible from the abstract.

axioms (1)
  • domain assumption The algebraic K-theory spectrum of QCA from prior work by the same authors is correctly defined and captures the relevant invariants for linearization.
    Abstract states the obstruction theory is built using this spectrum.

pith-pipeline@v0.9.1-grok · 5666 in / 1201 out tokens · 27444 ms · 2026-06-26T18:06:40.563857+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

119 extracted references · 25 canonical work pages · 1 internal anchor

  1. [1]

    Communications in Mathematical Physics , volume=

    Classification of quantum cellular automata , author=. Communications in Mathematical Physics , volume=. 2020 , publisher=

    2020

  2. [2]

    Communications in Mathematical Physics , volume=

    Index theory of one dimensional quantum walks and cellular automata , author=. Communications in Mathematical Physics , volume=. 2012 , publisher=

    2012

  3. [3]

    arXiv preprint arXiv:2208.03064 , year=

    Immersions of punctured 4-manifolds: with applications to Quantum Cellular Automata , author=. arXiv preprint arXiv:2208.03064 , year=

    arXiv

  4. [4]

    SciPost Physics , volume=

    Exactly solvable lattice Hamiltonians and gravitational anomalies , author=. SciPost Physics , volume=

  5. [5]

    arXiv preprint arXiv:2509.10418 , year=

    Witt Groups and Bulk-Boundary Correspondence for Stabilizer States , author=. arXiv preprint arXiv:2509.10418 , year=

    arXiv

  6. [6]

    PRX quantum , volume=

    Three-dimensional quantum cellular automata from chiral semion surface topological order and beyond , author=. PRX quantum , volume=. 2022 , publisher=

    2022

  7. [7]

    Journal of Mathematical Physics , volume=

    Clifford quantum cellular automata: Trivial group in 2D and Witt group in 3D , author=. Journal of Mathematical Physics , volume=. 2021 , publisher=

    2021

  8. [8]

    Communications in Mathematical Physics , volume=

    Topological phases of unitary dynamics: Classification in Clifford category , author=. Communications in Mathematical Physics , volume=. 2025 , publisher=

    2025

  9. [9]

    arXiv preprint arXiv:2504.14811 , year=

    Categorifying Clifford QCA , author=. arXiv preprint arXiv:2504.14811 , year=

    arXiv

  10. [10]

    arXiv preprint arXiv:2512.02105 , year=

    Anomalies on the Lattice, Homotopy of Quantum Cellular Automata, and a Spectrum of Invertible States , author=. arXiv preprint arXiv:2512.02105 , year=

    arXiv

  11. [11]

    arXiv preprint arXiv:2507.07430 , year=

    Anomaly diagnosis via symmetry restriction in two-dimensional lattice systems , author=. arXiv preprint arXiv:2507.07430 , year=

    arXiv

  12. [12]

    arXiv preprint arXiv:2507.16966 , year=

    Higher symmetries, anomalies, and crossed squares in lattice gauge theory , author=. arXiv preprint arXiv:2507.16966 , year=

    arXiv

  13. [13]

    arXiv preprint arXiv:2505.04719 , year=

    Higher symmetries and anomalies in quantum lattice systems , author=. arXiv preprint arXiv:2505.04719 , year=

    arXiv

  14. [14]

    arXiv preprint arXiv:2510.23701 , year=

    Onsiteability of higher-form symmetries , author=. arXiv preprint arXiv:2510.23701 , year=

    Pith/arXiv arXiv

  15. [15]

    Communications in Mathematical Physics , volume=

    The group structure of quantum cellular automata , author=. Communications in Mathematical Physics , volume=. 2022 , publisher=

    2022

  16. [16]

    arXiv preprint arXiv:1009.2117 , year=

    The Witt group of non-degenerate braided fusion categories , author=. arXiv preprint arXiv:1009.2117 , year=

    Pith/arXiv arXiv

  17. [17]

    Selecta Mathematica , volume=

    On the structure of the Witt group of braided fusion categories , author=. Selecta Mathematica , volume=. 2013 , publisher=

    2013

  18. [18]

    arXiv preprint arXiv:2311.00053 , year=

    The algebra of supernatural matrices , author=. arXiv preprint arXiv:2311.00053 , year=

    arXiv

  19. [19]

    Communications in Mathematical Physics , volume=

    Nontrivial quantum cellular automata in higher dimensions , author=. Communications in Mathematical Physics , volume=. 2023 , publisher=

    2023

  20. [20]

    Communications in Mathematical Physics , volume=

    Invertible subalgebras , author=. Communications in Mathematical Physics , volume=. 2023 , publisher=

    2023

  21. [21]

    Fidkowski, Lukasz and Haah, Jeongwan and Hastings, Matthew B. , year=. A quantum cellular automaton for every symmetry protected topological phase , volume=. Physical Review B , publisher=. doi:10.1103/kw68-mkkd , number=

    work page doi:10.1103/kw68-mkkd

  22. [22]

    PRX Quantum , volume=

    Clifford quantum cellular automata from topological quantum field theories and invertible subalgebras , author=. PRX Quantum , volume=. 2026 , publisher=

    2026

  23. [23]

    Algebras and Representation Theory , volume=

    Locally finite central simple algebras , author=. Algebras and Representation Theory , volume=. 2023 , publisher=

    2023

  24. [24]

    1993 , publisher=

    Coarse cohomology and index theory on complete Riemannian manifolds , author=. 1993 , publisher=

    1993

  25. [25]

    Large scale geometry , author=

  26. [26]

    2003 , publisher=

    Lectures on coarse geometry , author=. 2003 , publisher=

    2003

  27. [27]

    Thomason , title =

    Robert W. Thomason , title =. Communications in Algebra , volume =. 1982 , publisher =. doi:10.1080/00927878208822794 , URL =

    work page doi:10.1080/00927878208822794 1982

  28. [28]

    Categorical Homotopy Theory , publisher=

    Riehl, Emily , year=. Categorical Homotopy Theory , publisher=

  29. [29]

    Physical Review B , volume=

    Classifying symmetry-protected topological phases through the anomalous action of the symmetry on the edge , author=. Physical Review B , volume=. 2014 , publisher=

    2014

  30. [30]

    R. C. Thompson , journal =. Commutators in the Special and General Linear Groups , volume =

  31. [31]

    2013 , isbn =

    Bretto, Alain , title =. 2013 , isbn =

    2013

  32. [32]

    On the Cohomology and K-Theory of the General Linear Groups Over a Finite Field , volume =

    Daniel Quillen , journal =. On the Cohomology and K-Theory of the General Linear Groups Over a Finite Field , volume =

  33. [33]

    Atiyah, M. F. and MacDonald, I. G. , year=. Introduction to commutative algebra , publisher=

  34. [34]

    The Stacks project , howpublished =

    The. The Stacks project , howpublished =

  35. [35]

    and Weibel, Charles A

    Pedersen, Erik K. and Weibel, Charles A. , title =. 1985 , language =. doi:10.1007/bfb0074443 , keywords =

    work page doi:10.1007/bfb0074443 1985

  36. [36]

    Professor Heinz Neudecker and matrix differential calculus , journal=

    Liu, Shuangzhe and Trenkler, G. Professor Heinz Neudecker and matrix differential calculus , journal=. 2024 , volume=. doi:10.1007/s00362-023-01499-w , url=

    work page doi:10.1007/s00362-023-01499-w 2024

  37. [37]

    2013 , publisher=

    The K -book: An Introduction to Algebraic K -theory , author=. 2013 , publisher=

    2013

  38. [38]

    Higher algebraic K-theory: I

    Quillen, Daniel. Higher algebraic K-theory: I. Higher K-Theories. 1973

    1973

  39. [39]

    Higher algebraic K-theory: II

    Grayson, Daniel. Higher algebraic K-theory: II. Algebraic K-Theory. 1976

    1976

  40. [40]

    Segal , title =

    Graeme Segal , title =. Topology , volume =. 1974 , pages =. doi:10.1016/0040-9383(74)90022-6 , mrnumber =

    work page doi:10.1016/0040-9383(74)90022-6 1974

  41. [41]

    J. H. C. Whitehead , journal =. Simple Homotopy Types , volume =

  42. [42]

    Weibel , journal =

    Charles A. Weibel , journal =. KV -Theory of Categories , volume =

  43. [43]

    Weibel , journal =

    Charles A. Weibel , journal =. K -Theory of Azumaya Algebras , volume =

  44. [44]

    1968 , publisher=

    Algebraic K-theory , author=. 1968 , publisher=

    1968

  45. [45]

    1983 , issn =

    Characterisation of plus-constructive fibrations , journal =. 1983 , issn =. doi:https://doi.org/10.1016/0001-8708(83)90087-7 , author =

    work page doi:10.1016/0001-8708(83)90087-7 1983

  46. [46]

    , title =

    May, J. Peter , title =. 1977 , isbn =. doi:10.1007/BFb0097608 , url =

    work page doi:10.1007/bfb0097608 1977

  47. [47]

    group-completion

    McDuff, D. and Segal, G. , title=. Inventiones mathematicae , year=. doi:10.1007/BF01403148 , url=

    work page doi:10.1007/bf01403148

  48. [48]

    Geometric topology (Athens, GA, 1993) , volume=

    Large scale homology theories and geometry , author=. Geometric topology (Athens, GA, 1993) , volume=

    1993

  49. [49]

    Journal of Algebra , volume =

    On the K_. Journal of Algebra , volume =. 1984 , issn =. doi:https://doi.org/10.1016/0021-8693(84)90184-4 , url =

    work page doi:10.1016/0021-8693(84)90184-4 1984

  50. [50]

    2020 , publisher=

    Homotopy theory with bornological coarse spaces , author=. 2020 , publisher=

    2020

  51. [51]

    Journal of the Mathematical Society of Japan , number =

    Morikuni Goto , title =. Journal of the Mathematical Society of Japan , number =. 1949 , doi =

    1949

  52. [52]

    Symmetry Groups

    Operator algebras and quantum statistical mechanics: Volume 1: C*-and W*-Algebras. Symmetry Groups. Decomposition of States , author=. 2012 , publisher=

    2012

  53. [53]

    2012 , publisher=

    Operator algebras and quantum statistical mechanics: Volume 2 , author=. 2012 , publisher=

    2012

  54. [54]

    Adams, J. F. , title =

  55. [55]

    Peter , title =

    May, J. Peter , title =. 1972 , isbn =

    1972

  56. [56]

    1978 , issn =

    The uniqueness of infinite loop space machines , journal =. 1978 , issn =. doi:https://doi.org/10.1016/0040-9383(78)90026-5 , url =

    work page doi:10.1016/0040-9383(78)90026-5 1978

  57. [57]

    Quantum Spin Systems

    Bruno Nachtergaele , title =. 2004 , note =. doi:10.48550/arXiv.math-ph/0409006 , url =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.math-ph/0409006 2004

  58. [58]

    2017 , publisher=

    Quantum spin systems on infinite lattices , author=. 2017 , publisher=

    2017

  59. [59]

    Communications in Mathematical Physics , volume =

    Bruno Nachtergaele and Robert Sims , title =. Communications in Mathematical Physics , volume =. 2006 , doi =

    2006

  60. [60]

    Hastings and Tohru Koma , title =

    Matthew B. Hastings and Tohru Koma , title =. Communications in Mathematical Physics , volume =. 2006 , doi =

    2006

  61. [61]

    Reviews in Mathematical Physics , volume=

    Homotopical foundations of parametrized quantum spin systems , author=. Reviews in Mathematical Physics , volume=. 2024 , publisher=

    2024

  62. [62]

    arXiv preprint arXiv:2410.19287 , year=

    A mathematical theory of topological invariants of quantum spin systems , author=. arXiv preprint arXiv:2410.19287 , year=

    arXiv

  63. [63]

    Journal of Mathematical Physics , volume=

    Local Noether theorem for quantum lattice systems and topological invariants of gapped states , author=. Journal of Mathematical Physics , volume=. 2022 , publisher=

    2022

  64. [64]

    arXiv preprint arXiv:2503.12618 , year=

    Stable homotopy theory of invertible gapped quantum spin systems I: Kitaev's Omega-spectrum , author=. arXiv preprint arXiv:2503.12618 , year=

    arXiv

  65. [65]

    2011 , note =

    Alexei Kitaev , title =. 2011 , note =

    2011

  66. [66]

    2013 , note =

    Alexei Kitaev , title =. 2013 , note =

    2013

  67. [67]

    2015 , note =

    Alexei Kitaev , title =. 2015 , note =

    2015

  68. [68]

    2019 , note =

    Alexei Kitaev , title =. 2019 , note =

    2019

  69. [69]

    2023 , note =

    Alexei Kitaev , title =. 2023 , note =

    2023

  70. [70]

    arXiv preprint arXiv:1404.6659 , year=

    Bosonic Topological Insulators and Paramagnets: a view from cobordisms , author=. arXiv preprint arXiv:1404.6659 , year=

    Pith/arXiv arXiv

  71. [71]

    Kapustin, Anton and Xu, Shixiong , title =

  72. [72]

    Physical Review Letters , volume=

    Higher-form anomalies on lattices , author=. Physical Review Letters , volume=. 2026 , publisher=

    2026

  73. [73]

    arXiv preprint arXiv:2307.08147 , year=

    What is an anomaly? , author=. arXiv preprint arXiv:2307.08147 , year=

    arXiv

  74. [74]

    Geometry & Topology , volume=

    Reflection positivity and invertible topological phases , author=. Geometry & Topology , volume=. 2021 , publisher=

    2021

  75. [75]

    Transactions of the American Mathematical Society, Series B , volume=

    A classification of pure states on quantum spin chains satisfying the split property with on-site finite group symmetries , author=. Transactions of the American Mathematical Society, Series B , volume=

  76. [76]

    Journal of Mathematical Physics , volume=

    A classification of invertible phases of bosonic quantum lattice systems in one dimension , author=. Journal of Mathematical Physics , volume=. 2021 , publisher=

    2021

  77. [77]

    Journal of Mathematical Physics , volume=

    Hall conductance and the statistics of flux insertions in gapped interacting lattice systems , author=. Journal of Mathematical Physics , volume=. 2020 , publisher=

    2020

  78. [78]

    arXiv preprint arXiv:2110.04672 , year=

    An invariant of symmetry protected topological phases with on-site finite group symmetry for two-dimensional Fermion systems , author=. arXiv preprint arXiv:2110.04672 , year=

    arXiv

  79. [79]

    Journal of Mathematical Physics , volume=

    An index for two-dimensional SPT states , author=. Journal of Mathematical Physics , volume=. 2021 , publisher=

    2021

  80. [80]

    Physical Review B—Condensed Matter and Materials Physics , volume=

    Classification of gapped symmetric phases in one-dimensional spin systems , author=. Physical Review B—Condensed Matter and Materials Physics , volume=. 2011 , publisher=

    2011

Showing first 80 references.