Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2602.16572

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

Mattie Ji, Bowen Yang

math.ATmath-phmath.OAmath.RAquant-phSubmitted Feb 18, 2026• Announced Feb 19, 2026• Revised May 30, 2026 (v3)
v1 · Feb 18, 2026v2 · Mar 3, 2026v3 · May 30, 2026
arXivHTMLPDF

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, $π_0 \mathbf{Q}(X)$ classifies QCA up to quantum circuits and stabilization. Notably, the QCA spaces are related by homotopy equivalences $\mathbf{Q}(*) \simeq Ω^n \mathbf{Q}(\mathbb{Z}^n)$ for all $n$, which shows that the classification of QCA on Euclidean lattices is given by an $Ω$-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 $Ω$-spectrum for QCA over $C^*$-algebras with unitary circuits.

Comments
60 pages, 5 Figures, 1 Table

Related papers

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

Meng Sun, Zongyuan Wang, Bowen Yang +2 more

Quantum cellular automata (QCAs) describe locality-preserving quantum dynamics and link quantum information, many-body physics, and topological quantum field theory (TQFT). Constructing a QCA from a TQFT, however, remains challenging: although a topological action yields a Hamiltonian with commuting terms that realizes the desired ground state, it does not by itself specify an automorphism of the full operator algebra. We develop a unified algebraic construction that extends such Hamiltonians to complete separator-flipper algebras on the full tensor-product Hilbert space, thereby defining the corresponding QCAs microscopically. In 3 spatial dimensions, our framework 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 yields new infinite families of generalized $U(1)_2$ and $U(1)_4$ non-Clifford QCAs in spatial dimensions $d=4k-1$. We also reformulate the 4-dimensional $w_2w_3$ QCA and use it to construct QCAs from TQFTs associated with arbitrary products of Stiefel--Whitney classes. For example, we explicitly construct two infinite families: $w_2^nw_3^m$ QCAs in dimension $d=2n+3m-1$ and $w_2w_{4k-1}$ QCAs in dimension $d=4k$. For the 5-dimensional $w_3^2$ and $w_2^3$ QCAs, our construction gives finite-depth quantum circuits, consistent with the cobordism classification. More generally, we show that our construction yields a finite-depth quantum circuit whenever the corresponding Stiefel-Whitney number vanishes on every closed oriented manifold. Overall, these results convert invertible TQFTs into microscopic QCAs, provide higher-dimensional constructions beyond the Clifford setting, and open a systematic route to characterizing their stable structures and boundary anomalies.

quant-pharXiv:2607.21697•Jul 27, 2026•0 citations

A review of quantum cellular automata

Terry Farrelly

Discretizing spacetime is often a natural step towards modelling physical systems. For quantum systems, if we also demand a strict bound on the speed of information propagation, we get quantum cellular automata (QCAs). These originally arose as an alternative paradigm for quantum computation, though more recently they have found application in understanding topological phases of matter and have been proposed as models of periodically driven (Floquet) quantum systems, where QCA methods were used to classify their phases. QCAs have also been used as a natural discretization of quantum field theory, and some interesting examples of QCAs have been introduced that become interacting quantum field theories in the continuum limit. This review discusses all of these applications, as well as some other interesting results on the structure of quantum cellular automata, including the tensor-network unitary approach, the index theory and higher dimensional classifications of QCAs. © 2020 Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften. All rights reserved.

•Jan 1, 2020•109 citations

Approximate QCAs in one dimension using approximate algebras

Daniel Ranard, Michael Walter, Freek Witteveen

Quantum cellular automata (QCAs) are automorphisms of tensor product algebras that preserve locality, with local quantum circuits as a simple example. We study approximate QCAs, where the locality condition is only satisfied up to a small error, as occurs for local quantum dynamics on the lattice. A priori, approximate QCAs could exhibit genuinely new behavior, failing to be well-approximated by any exact QCA. We show this does not occur in one dimension: every approximate QCA on a finite circle can be rounded to a strict QCA with approximately the same action on local operators, so these systems are classified by the same index as in the exact case. Previous work considered the case of the infinite line, by using global methods not amenable to finite systems. Our new approach proceeds locally and now applies to finite systems, including circles or homomorphisms from sub-intervals. We extract exact local boundary algebras from the approximate QCA restricted to local patches, then glue these to form a strict QCA. The key technical ingredient is a robust notion of the intersection of two subalgebras: when the projections onto two subalgebras approximately commute, we construct an exact subalgebra that serves as a stable proxy for their intersection. This construction uses a recent theorem of Kitaev on the rigidity of approximate $C^*$-algebras.

quant-pharXiv:2603.08702•Mar 10, 2026•0 citations

A review of Quantum Cellular Automata

Terry Farrelly

Discretizing spacetime is often a natural step towards modelling physical systems. For quantum systems, if we also demand a strict bound on the speed of information propagation, we get quantum cellular automata (QCAs). These originally arose as an alternative paradigm for quantum computation, though more recently they have found application in understanding topological phases of matter and have} been proposed as models of periodically driven (Floquet) quantum systems, where QCA methods were used to classify their phases. QCAs have also been used as a natural discretization of quantum field theory, and some interesting examples of QCAs have been introduced that become interacting quantum field theories in the continuum limit. This review discusses all of these applications, as well as some other interesting results on the structure of quantum cellular automata, including the tensor-network unitary approach, the index theory and higher dimensional classifications of QCAs.

arXiv:1904.13318•Quantum•Nov 30, 2020•138 citations

A review of quantum cellular automata

Terry Farrelly

Discretizing spacetime is often a natural step towards modelling physical systems. For quantum systems, if we also demand a strict bound on the speed of information propagation, we get quantum cellular automata (QCAs). These originally arose as an alternative paradigm for quantum computation, though more recently they have found application in understanding topological phases of matter and have been proposed as models of periodically driven (Floquet) quantum systems, where QCA methods were used to classify their phases. QCAs have also been used as a natural discretization of quantum field theory, and some interesting examples of QCAs have been introduced that become interacting quantum field theories in the continuum limit. This review discusses all of these applications, as well as some other interesting results on the structure of quantum cellular automata, including the tensor-network unitary approach, the index theory and higher dimensional classifications of QCAs. © 2020 Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften. All rights reserved.

•Jan 1, 2020•0 citations

Anomalies on the Lattice, Homotopy of Quantum Cellular Automata, and a Spectrum of Invertible States

Alexander M. Czajka, Roman Geiko, Ryan Thorngren

We develop a rigorous topological theory of anomalies on the lattice, which are obstructions to gauging global symmetries and the existence of trivial symmetric states. We also construct $Ω$-spectra of a class of invertible states and quantum cellular automata, which allows us to classify both anomalies and symmetry protected topological phases up to blend equivalence.

cond-mat.str-elCross-listedarXiv:2512.02105•Dec 3, 2025•0 citations
Over an arbitrary commutative ring RRR, we develop a theory of quantum cellular automata. We then use algebraic K-theory to construct a space Q(X)\mathbf{Q}(X)Q(X) of quantum cellular automata (QCA) on a given metric space XXX. In most cases of interest, π0Q(X)π_0 \mathbf{Q}(X)π0​Q(X) classifies QCA up to quantum circuits and stabilization. Notably, the QCA spaces are related by homotopy equivalences Q(∗)≃ΩnQ(Zn)\mathbf{Q}(*) \simeq Ω^n \mathbf{Q}(\mathbb{Z}^n)Q(∗)≃ΩnQ(Zn) for all nnn, which shows that the classification of QCA on Euclidean lattices is given by an ΩΩΩ-spectrum indexed by the dimension nnn. As a corollary, we also obtain a non-connective delooping of the K-theory of Azumaya RRR-algebras, which may be of independent interest. We also include a section leading to the ΩΩΩ-spectrum for QCA over C∗C^*C∗-algebras with unitary circuits.
Quantum cellular automata (QCAs) describe locality-preserving quantum dynamics and link quantum information, many-body physics, and topological quantum field theory (TQFT). Constructing a QCA from a TQFT, however, remains challenging: although a topological action yields a Hamiltonian with commuting terms that realizes the desired ground state, it does not by itself specify an automorphism of the full operator algebra. We develop a unified algebraic construction that extends such Hamiltonians to complete separator-flipper algebras on the full tensor-product Hilbert space, thereby defining the corresponding QCAs microscopically. In 3 spatial dimensions, our framework unifies all previously known QCA constructions associated with the Z8×Z2\mathbb{Z}_8\times\mathbb{Z}_2Z8​×Z2​ subgroup of the Witt group, including the U(1)2U(1)_2U(1)2​ and U(1)4U(1)_4U(1)4​ QCAs. The same algebraic structure yields new infinite families of generalized U(1)2U(1)_2U(1)2​ and U(1)4U(1)_4U(1)4​ non-Clifford QCAs in spatial dimensions d=4k−1d=4k-1d=4k−1. We also reformulate the 4-dimensional w2w3w_2w_3w2​w3​ QCA and use it to construct QCAs from TQFTs associated with arbitrary products of Stiefel--Whitney classes. For example, we explicitly construct two infinite families: w2nw3mw_2^nw_3^mw2n​w3m​ QCAs in dimension d=2n+3m−1d=2n+3m-1d=2n+3m−1 and w2w4k−1w_2w_{4k-1}w2​w4k−1​ QCAs in dimension d=4kd=4kd=4k. For the 5-dimensional w32w_3^2w32​ and w23w_2^3w23​ QCAs, our construction gives finite-depth quantum circuits, consistent with the cobordism classification. More generally, we show that our construction yields a finite-depth quantum circuit whenever the corresponding Stiefel-Whitney number vanishes on every closed oriented manifold. Overall, these results convert invertible TQFTs into microscopic QCAs, provide higher-dimensional constructions beyond the Clifford setting, and open a systematic route to characterizing their stable structures and boundary anomalies.
Discretizing spacetime is often a natural step towards modelling physical systems. For quantum systems, if we also demand a strict bound on the speed of information propagation, we get quantum cellular automata (QCAs). These originally arose as an alternative paradigm for quantum computation, though more recently they have found application in understanding topological phases of matter and have been proposed as models of periodically driven (Floquet) quantum systems, where QCA methods were used to classify their phases. QCAs have also been used as a natural discretization of quantum field theory, and some interesting examples of QCAs have been introduced that become interacting quantum field theories in the continuum limit. This review discusses all of these applications, as well as some other interesting results on the structure of quantum cellular automata, including the tensor-network unitary approach, the index theory and higher dimensional classifications of QCAs. © 2020 Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften. All rights reserved.
Quantum cellular automata (QCAs) are automorphisms of tensor product algebras that preserve locality, with local quantum circuits as a simple example. We study approximate QCAs, where the locality condition is only satisfied up to a small error, as occurs for local quantum dynamics on the lattice. A priori, approximate QCAs could exhibit genuinely new behavior, failing to be well-approximated by any exact QCA. We show this does not occur in one dimension: every approximate QCA on a finite circle can be rounded to a strict QCA with approximately the same action on local operators, so these systems are classified by the same index as in the exact case. Previous work considered the case of the infinite line, by using global methods not amenable to finite systems. Our new approach proceeds locally and now applies to finite systems, including circles or homomorphisms from sub-intervals. We extract exact local boundary algebras from the approximate QCA restricted to local patches, then glue these to form a strict QCA. The key technical ingredient is a robust notion of the intersection of two subalgebras: when the projections onto two subalgebras approximately commute, we construct an exact subalgebra that serves as a stable proxy for their intersection. This construction uses a recent theorem of Kitaev on the rigidity of approximate C∗C^*C∗-algebras.
Discretizing spacetime is often a natural step towards modelling physical systems. For quantum systems, if we also demand a strict bound on the speed of information propagation, we get quantum cellular automata (QCAs). These originally arose as an alternative paradigm for quantum computation, though more recently they have found application in understanding topological phases of matter and have} been proposed as models of periodically driven (Floquet) quantum systems, where QCA methods were used to classify their phases. QCAs have also been used as a natural discretization of quantum field theory, and some interesting examples of QCAs have been introduced that become interacting quantum field theories in the continuum limit. This review discusses all of these applications, as well as some other interesting results on the structure of quantum cellular automata, including the tensor-network unitary approach, the index theory and higher dimensional classifications of QCAs.
Discretizing spacetime is often a natural step towards modelling physical systems. For quantum systems, if we also demand a strict bound on the speed of information propagation, we get quantum cellular automata (QCAs). These originally arose as an alternative paradigm for quantum computation, though more recently they have found application in understanding topological phases of matter and have been proposed as models of periodically driven (Floquet) quantum systems, where QCA methods were used to classify their phases. QCAs have also been used as a natural discretization of quantum field theory, and some interesting examples of QCAs have been introduced that become interacting quantum field theories in the continuum limit. This review discusses all of these applications, as well as some other interesting results on the structure of quantum cellular automata, including the tensor-network unitary approach, the index theory and higher dimensional classifications of QCAs. © 2020 Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften. All rights reserved.
We develop a rigorous topological theory of anomalies on the lattice, which are obstructions to gauging global symmetries and the existence of trivial symmetric states. We also construct ΩΩΩ-spectra of a class of invertible states and quantum cellular automata, which allows us to classify both anomalies and symmetry protected topological phases up to blend equivalence.