dorsal/arxiv
View SchemaUnitarity in one dimensional nonlinear quantum cellular automata
| Authors | David A. Meyer |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/9605023 |
| URL | https://arxiv.org/abs/quant-ph/9605023 |
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.
{
"annotation_id": "01fd28bb-ca4a-4cbe-b08c-893c13b5694a",
"date_created": "2026-03-02T18:02:37.783000Z",
"date_modified": "2026-03-02T18:02:37.783000Z",
"file_hash": "70bd8481d2c5d05d9ab1229491d70f821b3e845ed35129465dc81fd0a7f3f1c2",
"private": false,
"record": {
"abstract": "Unitarity of the global evolution is an extremely stringent condition on\nfinite state models in discrete spacetime. Quantum cellular automata, in\nparticular, are tightly constrained. In previous work we proved a simple No-go\nTheorem which precludes nontrivial homogeneous evolution for linear quantum\ncellular automata. Here we carefully define general quantum cellular automata\nin order to investigate the possibility that there be nontrivial homogeneous\nunitary evolution when the local rule is nonlinear. Since the unitary global\ntransition amplitudes are constructed from the product of local transition\namplitudes, infinite lattices require different treatment than periodic ones.\nWe prove Unitarity Theorems for both cases, expressing the equivalence in $1+1$\ndimensions of global unitarity and certain sets of constraints on the local\nrule, and then show that these constraints can be solved to give a variety of\nmultiparameter families of nonlinear quantum cellular automata. The Unitarity\nTheorems, together with a Surjectivity Theorem for the infinite case, also\nimply that unitarity is decidable for one dimensional cellular automata.",
"arxiv_id": "quant-ph/9605023",
"authors": [
"David A. Meyer"
],
"categories": [
"quant-ph",
"comp-gas",
"hep-th",
"nlin.CG"
],
"title": "Unitarity in one dimensional nonlinear quantum cellular automata",
"url": "https://arxiv.org/abs/quant-ph/9605023"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "f752c1da-f5d4-4a87-bb6b-d37c88edc0ca",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}