Unitarity in one dimensional nonlinear quantum cellular automata

TL;DR

This paper investigates the conditions under which nonlinear quantum cellular automata in one dimension can exhibit nontrivial homogeneous unitary evolution, providing new theorems that characterize and decide unitarity.

Contribution

It extends the understanding of unitarity constraints to nonlinear quantum cellular automata and proves unitarity theorems for both finite and infinite lattices in 1+1 dimensions.

Findings

Unitarity in 1D nonlinear QCA is characterized by specific local rule constraints.

The paper provides multiparameter families of nonlinear QCA that satisfy unitarity.

Unitarity is shown to be decidable for one-dimensional cellular automata.

Abstract

Unitarity of the global evolution is an extremely stringent condition on finite state models in discrete spacetime. Quantum cellular automata, in particular, are tightly constrained. In previous work we proved a simple No-go Theorem which precludes nontrivial homogeneous evolution for linear quantum cellular automata. Here we carefully define general quantum cellular automata in order to investigate the possibility that there be nontrivial homogeneous unitary evolution when the local rule is nonlinear. Since the unitary global transition amplitudes are constructed from the product of local transition amplitudes, infinite lattices require different treatment than periodic ones. We prove Unitarity Theorems for both cases, expressing the equivalence in $1+1$ dimensions of global unitarity and certain sets of constraints on the local rule, and then show that these constraints can be solved to give a variety of multiparameter families of nonlinear quantum cellular automata. The Unitarity Theorems, together with a Surjectivity Theorem for the infinite case, also imply that unitarity is decidable for one dimensional cellular automata.