Quantum Cellular Automata: The Group, the Space, and the Spectrum

TL;DR

This paper develops an algebraic and topological framework for classifying quantum cellular automata (QCA) over arbitrary rings and metric spaces, revealing deep connections with algebraic K-theory and homotopy theory.

Contribution

It introduces a novel algebraic K-theoretic approach to classify QCA on metric spaces and establishes their homotopy equivalences, linking QCA classification to $ ext{Ω}$-spectra and non-connective K-theory.

Findings

QCA classification is given by an Ω-spectrum indexed by dimension.

Homotopy equivalences relate QCA spaces on different Euclidean lattices.

Non-connective delooping of K-theory of Azumaya algebras obtained.

Abstract

Over an arbitrary commutative ring $R$, we develop a theory of quantum cellular automata. We then use algebraic K-theory to construct a space $\mathbf{Q}(X)$ of quantum cellular automata (QCA) on a given metric space $X$. In most cases of interest, $\pi_0 \mathbf{Q}(X)$ classifies QCA up to quantum circuits and stabilization. Notably, the QCA spaces are related by homotopy equivalences $\mathbf{Q}(*) \simeq \Omega^n \mathbf{Q}(\mathbb{Z}^n)$ for all $n$, which shows that the classification of QCA on Euclidean lattices is given by an $\Omega$-spectrum indexed by the dimension $n$. As a corollary, we also obtain a non-connective delooping of the K-theory of Azumaya $R$-algebras, which may be of independent interest. We also include a section leading to the $\Omega$-spectrum for QCA over $C^*$-algebras with unitary circuits.