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:2007.11905 · Journal of Statistical Mechanics Theory and Experiment

Fermionic quantum cellular automata and generalized matrix-product unitaries

Lorenzo Piroli, Alex Turzillo, Sujeet K. Shukla, J. I. Cirac

Published Jan 1, 2021• 25 citations
arXivHTMLPDF

Abstract

Abstract In this paper, we study matrix-product unitary operators (MPUs) for fermionic one-dimensional chains. In stark contrast to the case of 1D qudit systems, we show that (i) fermionic MPUs (fMPUs) do not necessarily feature a strict causal cone and (ii) not all fermionic quantum cellular automata (QCA) can be represented as fMPUs. We then introduce a natural generalization of the latter, obtained by allowing for an additional operator acting on their auxiliary space. We characterize a family of such generalized MPUs that are locality-preserving, and show that, up to appending inert ancillary fermionic degrees of freedom, any representative of this family is a fermionic QCA (fQCA) and vice versa. Finally, we prove an index theorem for generalized MPUs, recovering the recently derived classification of fQCA in one dimension. As a technical tool for our analysis, we also introduce a graded canonical form for fermionic matrix product states, proving its uniqueness up to similarity transformations.

DOI
10.1088/1742-5468/abd30f

Related papers

Matrix product unitaries: structure, symmetries, and topological invariants

J. I. Cirac, David Pérez-Garcı́a, Norbert Schuch +1 more

Abstract Matrix product vectors form the appropriate framework to study and classify one-dimensional quantum systems. In this work, we develop the structure theory of matrix product unitary operators (MPUs) which appear e.g. in the description of time evolutions of one-dimensional systems. We prove that all MPUs have a strict causal cone, making them quantum cellular automata (QCAs), and derive a canonical form for MPUs which relates different MPU representations of the same unitary through a local gauge. We use this canonical form to prove an index theorem for MPUs which gives the precise conditions under which two MPUs are adiabatically connected, providing an alternative derivation to that of (Gross et al 2012 Commun. Math. Phys . 310 419) for QCAs. We also discuss the effect of symmetries on the MPU classification. In particular, we characterize the tensors corresponding to MPU that are invariant under conjugation, time reversal, or transposition. In the first case, we give a full characterization of all equivalence classes. Finally, we give several examples of MPU possessing different symmetries.

arXiv:1703.09188•Journal of Statistical Mechanics Theory and Experiment•Aug 1, 2017•132 citations

Fermionic quantum cellular automata in 2d are trivial

Jeffrey Kwan, David M. Long, Jeongwan Haah

Fermionic quantum cellular automata (QCA) are automorphisms of local fermionic operator algebras ($\mathbb Z_2$-graded superalgebras) that have bounded spread: they map local operators to nearby operators. We prove that every 2-dimensional fermionic QCA on a locally finite-dimensional algebra is a composition of local automorphisms and a fermionic shift. This is implied by our result that every locally finite-dimensional fermionic invertible subalgebra in a one-dimensional lattice is Brauer trivial, \textit{i.e.}, it is stably bounded-spread isomorphic to a tensor product fermionic algebra.

math-phCross-listedarXiv:2609.09317•Sep 10, 2026•0 citations

Matrix-product unitaries: Beyond quantum cellular automata

Georgios Styliaris, Rahul Trivedi, David Pérez-Garcı́a +1 more

Matrix-product unitaries (MPU) are 1D tensor networks describing time evolution and unitary symmetries of quantum systems, while their action on states by construction preserves the entanglement area law. MPU which are formed by a single repeated tensor are known to coincide with 1D quantum cellular automata (QCA), i.e., unitaries with an exact light cone. However, this correspondence breaks down for MPU with open boundary conditions, even if the resulting operator is translation-invariant. Such unitaries can turn short- to long-range correlations and thus alter the underlying phase of matter. Here we make the first steps towards a theory of MPU with uniform bulk but arbitrary boundary. In particular, we study the structure of a subclass with a direct-sum form which maximally violates the QCA property. We also consider the general case of MPU formed by site-dependent (nonuniform) tensors and show a correspondence between MPU and locally maximally entanglable states.

arXiv:2406.10195•Quantum•Feb 25, 2025•6 citations

A simple and general equation for matrix product unitary generation

Sujeet K. Shukla

Matrix Product Unitaries (MPUs) have emerged as essential tools for representing locality-preserving 1D unitary operators, with direct applications to quantum cellular automata and quantum phases of matter. A key challenge in the study of MPUs is determining when a given local tensor generates an MPU, a task previously addressed through fixed-point conditions and canonical forms, which can be cumbersome to evaluate for an arbitrary tensor. In this work, we establish a simple and efficient necessary and sufficient condition for a tensor M to generate an MPU of size N, namely, Tr(EMN)=Tr(ETN)=1, where EM and ET denote the transfer matrices of M and T = MM†, respectively, with M† being the Hermitian adjoint of M with respect to the physical indices. This condition provides a unified framework for characterizing all uniform MPUs and significantly simplifies their evaluation. Furthermore, we show that locality preservation naturally arises when the MPU is generated for all system sizes. Our results offer new insights into the structure of MPUs, highlighting connections between unitary evolution, transfer matrices, and locality-preserving behavior, with potential extensions to higher-dimensions.

arXiv:2502.00390•Journal of Mathematical Physics•Oct 1, 2025•2 citations

A Converse to Lieb–Robinson Bounds in One Dimension Using Index Theory

Daniel Ranard, Michael Walter, Freek Witteveen

Abstract Unitary dynamics with a strict causal cone (or “light cone”) have been studied extensively, under the name of quantum cellular automata (QCAs). In particular, QCAs in one dimension have been completely classified by an index theory. Physical systems often exhibit only approximate causal cones; Hamiltonian evolutions on the lattice satisfy Lieb–Robinson bounds rather than strict locality. This motivates us to study approximately locality preserving unitaries (ALPUs). We show that the index theory is robust and completely extends to one-dimensional ALPUs. As a consequence, we achieve a converse to the Lieb–Robinson bounds: any ALPU of index zero can be exactly generated by some time-dependent, quasi-local Hamiltonian in constant time. For the special case of finite chains with open boundaries, any unitary satisfying the Lieb–Robinson bound may be generated by such a Hamiltonian. We also discuss some results on the stability of operator algebras which may be of independent interest.

arXiv:2012.00741•Annales Henri Poincaré•Jul 26, 2022•24 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
Abstract In this paper, we study matrix-product unitary operators (MPUs) for fermionic one-dimensional chains. In stark contrast to the case of 1D qudit systems, we show that (i) fermionic MPUs (fMPUs) do not necessarily feature a strict causal cone and (ii) not all fermionic quantum cellular automata (QCA) can be represented as fMPUs. We then introduce a natural generalization of the latter, obtained by allowing for an additional operator acting on their auxiliary space. We characterize a family of such generalized MPUs that are locality-preserving, and show that, up to appending inert ancillary fermionic degrees of freedom, any representative of this family is a fermionic QCA (fQCA) and vice versa. Finally, we prove an index theorem for generalized MPUs, recovering the recently derived classification of fQCA in one dimension. As a technical tool for our analysis, we also introduce a graded canonical form for fermionic matrix product states, proving its uniqueness up to similarity transformations.
Abstract Matrix product vectors form the appropriate framework to study and classify one-dimensional quantum systems. In this work, we develop the structure theory of matrix product unitary operators (MPUs) which appear e.g. in the description of time evolutions of one-dimensional systems. We prove that all MPUs have a strict causal cone, making them quantum cellular automata (QCAs), and derive a canonical form for MPUs which relates different MPU representations of the same unitary through a local gauge. We use this canonical form to prove an index theorem for MPUs which gives the precise conditions under which two MPUs are adiabatically connected, providing an alternative derivation to that of (Gross et al 2012 Commun. Math. Phys . 310 419) for QCAs. We also discuss the effect of symmetries on the MPU classification. In particular, we characterize the tensors corresponding to MPU that are invariant under conjugation, time reversal, or transposition. In the first case, we give a full characterization of all equivalence classes. Finally, we give several examples of MPU possessing different symmetries.
Fermionic quantum cellular automata (QCA) are automorphisms of local fermionic operator algebras (Z2\mathbb Z_2Z2​-graded superalgebras) that have bounded spread: they map local operators to nearby operators. We prove that every 2-dimensional fermionic QCA on a locally finite-dimensional algebra is a composition of local automorphisms and a fermionic shift. This is implied by our result that every locally finite-dimensional fermionic invertible subalgebra in a one-dimensional lattice is Brauer trivial, \textit{i.e.}, it is stably bounded-spread isomorphic to a tensor product fermionic algebra.
Matrix-product unitaries (MPU) are 1D tensor networks describing time evolution and unitary symmetries of quantum systems, while their action on states by construction preserves the entanglement area law. MPU which are formed by a single repeated tensor are known to coincide with 1D quantum cellular automata (QCA), i.e., unitaries with an exact light cone. However, this correspondence breaks down for MPU with open boundary conditions, even if the resulting operator is translation-invariant. Such unitaries can turn short- to long-range correlations and thus alter the underlying phase of matter. Here we make the first steps towards a theory of MPU with uniform bulk but arbitrary boundary. In particular, we study the structure of a subclass with a direct-sum form which maximally violates the QCA property. We also consider the general case of MPU formed by site-dependent (nonuniform) tensors and show a correspondence between MPU and locally maximally entanglable states.
Matrix Product Unitaries (MPUs) have emerged as essential tools for representing locality-preserving 1D unitary operators, with direct applications to quantum cellular automata and quantum phases of matter. A key challenge in the study of MPUs is determining when a given local tensor generates an MPU, a task previously addressed through fixed-point conditions and canonical forms, which can be cumbersome to evaluate for an arbitrary tensor. In this work, we establish a simple and efficient necessary and sufficient condition for a tensor M to generate an MPU of size N, namely, Tr(EMN)=Tr(ETN)=1, where EM and ET denote the transfer matrices of M and T = MM†, respectively, with M† being the Hermitian adjoint of M with respect to the physical indices. This condition provides a unified framework for characterizing all uniform MPUs and significantly simplifies their evaluation. Furthermore, we show that locality preservation naturally arises when the MPU is generated for all system sizes. Our results offer new insights into the structure of MPUs, highlighting connections between unitary evolution, transfer matrices, and locality-preserving behavior, with potential extensions to higher-dimensions.
Abstract Unitary dynamics with a strict causal cone (or “light cone”) have been studied extensively, under the name of quantum cellular automata (QCAs). In particular, QCAs in one dimension have been completely classified by an index theory. Physical systems often exhibit only approximate causal cones; Hamiltonian evolutions on the lattice satisfy Lieb–Robinson bounds rather than strict locality. This motivates us to study approximately locality preserving unitaries (ALPUs). We show that the index theory is robust and completely extends to one-dimensional ALPUs. As a consequence, we achieve a converse to the Lieb–Robinson bounds: any ALPU of index zero can be exactly generated by some time-dependent, quasi-local Hamiltonian in constant time. For the special case of finite chains with open boundaries, any unitary satisfying the Lieb–Robinson bound may be generated by such a Hamiltonian. We also discuss some results on the stability of operator algebras which may be of independent interest.
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.