Technical Summary: K-Theoretic Obstructions to Linearizing QCA Representations

1. Problem Statement

The paper addresses the fundamental problem of linearization for Quantum Cellular Automata (QCA) representations. In standard quantum mechanics, symmetries are often described by projective unitary representations, which may or may not be "linearizable" (lifted to genuine linear representations). This paper generalizes that question to the many-body setting of QCA, where symmetries are modeled as homomorphisms $\phi: G \to Q(X, q)$ from a group $G$ to the group of locality-preserving automorphisms of a quantum spin system on a metric space $X$.

The core question is: Given a QCA representation $\phi$, does there exist a conjugation $\beta \in Q(X, q)$ such that the conjugated representation $\beta \phi \beta^{-1}$ factors through the product of pointwise general linear groups $\prod_{x \in X} GL(F^{q(x)})$? The authors distinguish between several notions of linearizability:

• Linearizable: Factors through the product of $GL$s up to conjugation.
• Stably Linearizable: Becomes linearizable after tensoring with a linearizable representation.
• Weakly Linearizable: Becomes linearizable after passing to the colimit over all quantum spin systems.

The paper seeks to construct a systematic obstruction theory to determine when these conditions hold, particularly for finite or rationally acyclic groups.

2. Methodology

The authors employ a framework combining algebraic K-theory and stable homotopy theory, building upon their previous construction of the QCA spectrum [JY26].

2.1. Homotopical Interpretation

The central methodological innovation is interpreting QCA representations through the lens of stable homotopy theory.

• QCA Spaces: The authors utilize the space $Q(X; F)$, defined as the based loop space $\Omega K(\mathcal{C}(X; F))_1$ of the algebraic K-theory spectrum of the symmetric monoidal category of quantum spin systems.
• Stabilization: A QCA representation $\phi: G \to Q(X, q)$ induces a map on classifying spaces $\phi_{st}: BG \to K(\mathcal{C}(X; F))_1$.
• Null-Homotopy Criterion: The paper establishes that if a representation is stably or weakly linearizable, its stabilization map $\phi_{st}$ must be null-homotopic. This transforms the algebraic problem of linearization into a topological problem of determining whether a map is null-homotopic.

2.2. Obstruction Theory via Dror's Tower

To analyze the null-homotopy of $\phi_{st}$, the authors adapt Dror's tower construction [Dro72].

• They construct a sequence of spaces $X_n$ (a tower) where $X_0 = BQ$ and $X_\infty$ is the homotopy fiber of the map $BQ \to BQ^+$ (the plus-construction).
• The obstruction to lifting a map $BG \to BQ$ to $X_\infty$ (which corresponds to the map being null-homotopic after plus-construction) is given by a sequence of cohomology classes.
• These classes, $u_i(\phi) \in H^{i+1}(BG; \pi_i Q(X; F))$, are defined iteratively using universal classes in the cohomology of the tower spaces.

2.3. Cohomological Coefficients

The coefficients of these obstruction classes are identified with the homotopy groups of the QCA spectrum. For a lattice $X = \mathbb{Z}^n$, these groups are related to the quotients of QCA groups by circuit groups (e.g., $Q(\mathbb{Z}^{n-i})/C(\mathbb{Z}^{n-i})$) and specific algebraic K-theory groups (e.g., $K_0$ of Azumaya algebras, $K_2$).

3. Key Contributions and Results

3.1. Theoretical Framework

• Theorem A: For a finite or rationally acyclic group $G$, if a QCA representation is stably or weakly linearizable, then its stabilization $\phi_{st}: BG \to K(\mathcal{C}(X; F))_1$ is null-homotopic. This provides a necessary condition for linearization.
• Theorem B: Conversely, if the induced map to the plus-constructed space is null-homotopic (and the representation lands in the projective limit), the representation is weakly linearizable. If $G$ is finite, it is stably linearizable. This establishes a converse for finite groups, serving as a stable homotopical analog of the classical obstruction theory for projective representations (Theorem 1.1).

3.2. Universal Obstruction Classes

• Definition 4.8: The authors define universal obstruction classes $u_i(\phi)$ for any QCA representation. These classes live in group cohomology with coefficients in the homotopy groups of the QCA space.
• Theorem C: If a representation is stably or weakly linearizable, all universal obstruction classes $u_i(\phi)$ must vanish.
• Refinement of Existing Results: The paper demonstrates that these universal classes refine existing low-degree obstructions found in the physics literature (e.g., anomalies in dimensions 1 and 2). Specifically, the degree-1 obstruction corresponds to the GNVW index (or Brauer index), and higher-degree obstructions capture more subtle topological features.

3.3. Computations of QCA Spaces

In Section 5, the authors compute the homotopy types of QCA spaces for specific cases, showing they are equivalent to products of Eilenberg-MacLane spaces:

• Complex Case: For $n=0, 1$, $K(\mathcal{C}(\mathbb{Z}^n; \mathbb{C}))$ and its cover are products of Eilenberg-MacLane spaces.
• Unitary Case: For $n=0, 1, 2$, the unitary QCA spaces $Q^*(\mathbb{Z}^n)$ are products of Eilenberg-MacLane spaces.
• Finite Fields: Computations are provided for $n=0, 1$.

These computations allow for the explicit identification of the coefficient groups in the obstruction classes (summarized in Table 1). For instance, in the unitary case over $\mathbb{Z}^n$, the only potentially non-zero obstruction classes for finite groups occur in degrees $0 \le i \le n+1$ involving quotients like $Q^*(\mathbb{Z}^{n-i})/C^*(\mathbb{Z}^{n-i})$ and in degree $n+2$ involving $U(1)$.

3.4. Examples and Counterexamples

• Algebraic Pumps: The paper revisits examples of QCA that are not circuits (e.g., "algebraic pumps" on $\mathbb{Z}$), showing they correspond to non-trivial degree-1 obstructions.
• Annular Shifts: The authors discuss "annular shifts" on the plane ($\mathbb{Z}^2$). They note that for the group $G=\mathbb{Z}$ (which is not rationally acyclic), the obstruction theory yields trivial classes, yet the representation is suspected to be non-linearizable. This highlights the limitation of the current obstruction theory to rationally acyclic groups.
• Arithmetic Obstructions: An example is provided over the rationals $\mathbb{Q}$ where degree-1 obstructions vanish, but degree-2 obstructions (involving $\mathbb{Q}/\mathbb{Z} \otimes \mathbb{Q}^\times$) do not, demonstrating the necessity of higher-degree classes.

4. Significance and Claims

The paper claims to provide a uniform obstruction theory for QCA linearization that is rigorous and applicable over arbitrary fields and general metric spaces.

• Unification: It unifies previously disparate "anomaly" classifications in physics (often specific to dimensions 1 and 2) into a single K-theoretic framework valid in all dimensions.
• Universality: The constructed obstruction classes are "universal," meaning any other obstruction class defined in the same cohomology group is a consequence of these. If a universal class vanishes, any derived obstruction must also vanish.
• Rigorous Foundation: By grounding the theory in the algebraic K-theory spectrum of QCA [JY26], the authors move beyond heuristic physics arguments to provide mathematically precise definitions and proofs for linearization obstructions.
• Scope: The framework successfully handles the unitary case (relevant to physical symmetries) and the algebraic case (over arbitrary fields), identifying the specific cohomological degrees where obstructions can exist for finite groups.

The authors explicitly state that they do not address anomalies of higher symmetries and acknowledge that for non-rationally acyclic groups (like $\mathbb{Z}$), the current obstruction theory may fail to detect non-linearizability, as seen in the annular shift example.