 subset of cells, a QCA is then a homomorphism of the quasi-local algebra, which commutes with lattice translations and satisfies locality on the neighborhood.

The observable-based approach was first used in Ref. [@richter_ergodicity_1996] with focus on the irreversible case. However, this definition left questions open such as whether the composition of two QCA will again form a QCA. The following definition does avoid this uncertainty.

Consider an infinite $d$-dimensional lattice ${\mathrm{L}}\subset \mathbb{Z}^d$ of cells $x\in \mathbb{Z}^d$, where each cell is associated with the observable algebra $\mathcal{A}_x$ and each of these algebras is an isomorphic copy of the algebra of complex $d\times d$-matrices. When $\Lambda \subset
\mathbb{Z}^d$ is a finite subset of cells, denote by $\mathcal{A}(\Lambda)$ the algebra of observables belonging to all cells in $\Lambda$, i.e. the tensor product $\otimes_{x\in \Lambda} \mathcal{A}_x$. The completion of this algebra is called a *quasi-local* algebra and will be denoted by $\mathcal{A}(\mathbb{Z}^d)$.

A *quantum cellular automaton* with neighborhood scheme ${\mathcal{N}}\subset
\mathbb{Z}^d$ is a homomorphism $T : \mathcal{A}(\mathbb{Z}^d) \rightarrow
\mathcal{A}(\mathbb{Z}^d)$ of the quasi-local algebra, which commutes with lattice translations, and satisfies the locality condition $T(\mathcal{A}(\Lambda)) \subset T(\mathcal{A}(\Lambda + {\mathcal{N}})) $ for every finite set $\Lambda \subset \mathbb{Z}^d$. The local transition rule of a cellular automaton is the homomorphism $T_0 : \mathcal{A}_0 \rightarrow
\mathcal{A}({\mathcal{N}})$.

They present and prove the following theorem on one-dimensional QCA.

\[the.str\] Let $T$ be the global transition homomorphism of a one-dimensional nearest-neighbor QCA on the lattice $\mathbb{Z}^d$ with single-cell algebra $\mathcal{A}_0 =
\mathcal{M}_d$. Then $T$ can be represented in the generalized Margolus partitioning scheme, i.e. $T$ restricts
subset of cells, a QCA is then a homomorphism of the quasi - local algebra, which commutes with lattice translations and satisfies vicinity on the vicinity. 

 The observable - based overture was foremost used in Ref.   [ @richter_ergodicity_1996 ] with focus on the irreversible case. However, this definition exit questions open such as whether the constitution of two QCA will again form a QCA. The following definition does invalidate this uncertainty. 

 Consider an countless $ d$-dimensional lattice $ { \mathrm{L}}\subset \mathbb{Z}^d$ of cells $ x\in \mathbb{Z}^d$, where each cellular telephone is associated with the discernible algebra $ \mathcal{A}_x$ and each of these algebra is an isomorphic copy of the algebra of complex $ d\times d$-matrices. When $ \Lambda \subset 
 \mathbb{Z}^d$ is a finite subset of cells, denote by $ \mathcal{A}(\Lambda)$ the algebra of observables belong to all cells in $ \Lambda$, i.e. the tensor product $ \otimes_{x\in \Lambda } \mathcal{A}_x$. The completion of this algebra is called a * quasi - local * algebra and will be denoted by $ \mathcal{A}(\mathbb{Z}^d)$. 

 A * quantum cellular automaton * with vicinity scheme $ { \mathcal{N}}\subset 
 \mathbb{Z}^d$ is a homomorphism $ T: \mathcal{A}(\mathbb{Z}^d) \rightarrow 
 \mathcal{A}(\mathbb{Z}^d)$ of the quasi - local algebra, which commutes with lattice translations, and meet the locality condition $ T(\mathcal{A}(\Lambda) ) \subset T(\mathcal{A}(\Lambda + { \mathcal{N } }) ) $ for every finite set $ \Lambda \subset \mathbb{Z}^d$. The local transition rule of a cellular automaton is the homomorphism $ T_0: \mathcal{A}_0 \rightarrow 
 \mathcal{A}({\mathcal{N}})$. 

 They present and prove the following theorem on one - dimensional QCA. 

 \[the.str\ ] Let $ T$ be the global transition homomorphism of a one - dimensional nearest - neighbor QCA on the lattice $ \mathbb{Z}^d$ with single - cell algebra $ \mathcal{A}_0 = 
 \mathcal{M}_d$. Then $ T$ can be represented in the generalized Margolus partitioning scheme, i.e. $ T$ restricts
 suhset of cells, a QCA is tmen a homomorphism of tie quasj-local augebra, which commutes with lettixe trqnslations and satisfids localiny on the neijhborhood.

The obsxdvable-based aliroack xas first used ln Ref. [@richtar_ergodicity_1996] whtf yocus on the irreversible case. Howevqr, this dffinition left quexeiona open such as whether the composifion of two QCA will again form a QCA. The folllwinh definition does wvoid this ohcewrainty.

Considdr an infinite $d$-dimensjonal lattice ${\mathrm{L}}\subset \matfbb{Z}^d$ of cells $z\ib \mwjhbb{Z}^d$, where each cell is associated fith thr observable akgeura $\nathcal{A}_x$ and each of these algebras is an isomospkic copy of the algebea of cmmplax $d\gumer d$-javrides. Whfn $\Mambda \subaet
\mathbb{Z}^d$ is a finite subset os cells, denote by $\maehsal{A}(\Lambda)$ the algebra of observables btlongjng to all cells in $\Lamvda$, i.e. the tensor profuct $\otimqs_{x\in \Lambda} \mathcal{A}_x$. The completion of this algabra ms caolcd a *wuwsi-local* algebra and will be denoted by $\mathcwm{A}(\kanhbb{Z}^d)$.

A *quantum ccllular automaton* eihh geighborhood rcheme ${\mafhcal{N}}\subset
\mathbb{X}^d$ is a homonorphism $U : \mayhcal{A}(\mathbb{Z}^d) \rightarrow
\marhcal{A}(\mathbb{D}^d)$ od the quasi-local apgebra, whick commotes woth lattice translationr, ans satisfies the locamkty condition $T(\mxthbal{A}(\Nambda)) \subset T(\mathcal{A}(\Lamfda + {\mathral{N}})) $ for evdry ginite set $\Lambdw \subset \mathbb{Z}^d$. The lofal ttansithon rule ov a cellular automaton is the homomorphism $T_0 : \mdthbal{A}_0 \righcarrow
\kathcal{A}({\mathcwl{N}})$.

They presenj and prore the following theorek on one-dimqnsional QCA.

\[tvg.str\] Let $T$ be the glofal rranwition fumomorphism of a one-dimvnfionql nearest-neighbor QCX on the lattice $\mauhvb{Z}^d$ with singke-cdll apgxbra $\idthcal{A}_0 =
\mathwal{M}_a$. Tfrn $T$ zan be reprcsevted in the generalized Kargklus partitioning xcmeme, i.e. $T$ restrices
subset of cells, a QCA is then of quasi-local algebra, commutes with lattice the The observable-based approach first used in [@richter_ergodicity_1996] with focus on the irreversible However, this definition left questions open such as whether the composition of two will again form a QCA. The following definition does avoid this uncertainty. Consider infinite lattice \mathbb{Z}^d$ cells $x\in \mathbb{Z}^d$, where each cell is associated with the observable algebra $\mathcal{A}_x$ and each of algebras is an isomorphic copy of the algebra complex $d\times d$-matrices. When \subset \mathbb{Z}^d$ is a finite of denote by the of belonging to all in $\Lambda$, i.e. the tensor product $\otimes_{x\in \Lambda} \mathcal{A}_x$. The completion of this algebra is called a algebra and denoted by A cellular with neighborhood scheme is a homomorphism $T : \mathcal{A}(\mathbb{Z}^d) the quasi-local algebra, which commutes with lattice translations, satisfies the condition $T(\mathcal{A}(\Lambda)) \subset T(\mathcal{A}(\Lambda + {\mathcal{N}})) for every finite set $\Lambda \subset \mathbb{Z}^d$. The transition rule of a cellular automaton is the homomorphism $T_0 : \mathcal{A}_0 \rightarrow \mathcal{A}({\mathcal{N}})$. They prove the following theorem one-dimensional QCA. \[the.str\] $T$ the transition of a nearest-neighbor QCA on the lattice $\mathbb{Z}^d$ with single-cell algebra $\mathcal{A}_0 = Then $T$ can be represented in the generalized Margolus partitioning $T$
 subset of cells, a QCA is then a hOmomorphisM of thE quAsi-LoCal aLgebRa, which commuteS With Lattice translations and SatisFiES locALiTy on tHe neighBOrHOOd.

THe ObSerVaBLe-Based AppRoach waS first used In REf. [@Richter_ergodICiTy_1996] with focuS on The irreversiBle Case. HoWeVer, THis deFinItion Left quEStions Open such aS wHEther tHE composITIoN of tWo QCA will again forM A Qca. The following dEfinitIoN DoES AvoId tHis uncertaInTy.

ConSIder an iNFiNITE $d$-dIMensional lattIce ${\mathrm{L}}\sUBseT \mathbB{Z}^D$ of CElls $x\iN \mathBb{z}^D$, whEre each cell Is asSociated wIth the OBservabLE algebrA $\mathcAl{A}_X$ anD eacH Of ThEse AlGEbrAS iS an ISomOrphic coPy Of The alGebrA OF COmplEx $d\TimeS d$-matRices. When $\LambDa \sUbseT
\MatHbb{Z}^d$ Is a fiNite SuBset oF cells, DenotE bY $\mathcal{A}(\Lambda)$ The aLgebra of oBseRvAblEs BelonGIng to aLl cEllS in $\LambDa$, i.e. the TEnsOr PRODuCt $\otimes_{x\in \Lambda} \mAtHCAl{a}_x$. The comPletioN Of ThIS algebra Is CalLed a *QUAsi-loCal* aLGeBra and wiLl be deNOtEd By $\mathcAl{a}(\mathbB{Z}^D)$.

A *qUanTum ceLLulaR automAton* with NeighBOrhood scheme ${\maTHcal{N}}\subset
\maTHbB{z}^D$ iS A homOmoRphism $T : \mathCal{A}(\MAthbB{Z}^d) \rIGhTarROw
\matHcal{A}(\MaTHbB{z}^d)$ of the quasi-local alGeBra, whiCh comMutes with lattIce translaTIONs, and satIsfiES tHE locality condiTion $T(\Mathcal{A}(\LaMBda)) \subseT T(\matHcal{A}(\LamBda + {\mathcaL{n}})) $ For every FinIte Set $\lamBDA \sUbset \mathbb{Z}^d$. tHE locAl TransitIon Rule of a CelLulAr aUtoMaTon is the hOmomorphIsM $T_0 : \MaThCal{a}_0 \righTArrow
\matHcAl{A}({\MaThcAl{N}})$.

ThEY preseNt and ProvE tHe FOllOwing thEOrEM On onE-dImEnsiOnaL QcA.

\[the.Str\] LET $T$ bE the gloBal transiTioN HomoMoRpHism of a One-dimensionaL nEarest-neigHbOr QcA on thE LAttice $\maThbb{Z}^d$ with single-cell algEBra $\mathCal{a}_0 =
\mathCal{M}_D$. Then $T$ can Be rEpreseNteD In the gEneralIzed MArGolUS PartiTIOnIng ScHeme, i.e. $T$ resTRIctS
 subset of cells, a QCA is  then a ho momor phi smof  the  qua si-local algeb r a, w hich commutes with lat ticetr a nsla t io ns an d satis f ie s loc al it y o nt he  neig hbo rhood.
The obser vab le -based appro a ch  was first  us ed in Ref. [ @ri chter_ er god i city_ 199 6] wi th foc u s on t he irreve rs i ble ca s e. Howe v e r,  thi s definition left qu e stions open su ch aswh e th e r  th e c omposition  o f two QCA wil l  a g a i n f o rm a QCA. The  followingd efi nition  d oes avoidthisun c ert ainty.

Con side r an infi nite $ d $-dimen s ional l attice  ${ \ma thrm { L} }\ sub se t  \m a th bb{ Z }^d $ of cel ls  $ x\in\mat h b b { Z}^d $,wher e eac h cell is ass oci ated wit h the  obse rvab le  alge bra $\ mathc al {A}_x$ and each  ofthese alg ebr as  is  a n iso m orphic  co pyof thealgebra ofco m p l ex  $d\times d$-matri ce s .  W hen $\La mbda \ s ub se t 
\mathbb {Z }^d $ is a  fini te s u bs et of ce lls, d e no te  by $\m at hcal{A }( \La mbd a)$ t h e al gebraof obser vable s  belonging toa ll cells in $ \ La m b da $ , i. e.the tensorprod u ct $ \oti m es _{x \ in \L ambda }\ ma t hcal{A}_x$. The com pl etionof th is algebra is  called a* q u asi-loca l* a l ge b ra and will be  deno ted by $\m a thcal{A} (\mat hbb{Z}^d )$.

A *q u a ntum cel lul araut oma t o n*  with neighbo r h oodsc heme ${ \ma thcal{N }}\ sub set 
\m at hbb{Z}^d$  is a ho mo mo rp hi sm$T :\ mathcal{ A} (\m at hbb {Z}^d )  \righ tarro w
\m at hc a l{A }(\math b b{ Z } ^d)$  o fthequa si -loca l al g ebr a, whic h commute s w i th l at ti ce tran slations, and  s atisfies t he  lo cality c ondition  $T(\mathcal{A}(\Lambda ) ) \subs etT(\ma thca l{A}(\Lam bda  + {\m ath c al{N}} )) $ f or ev er y f i n ite s e t  $ \La mb da \subset \ mat hbb{Z }^ d$.The loc al transition rule ofa cellular au tom aton i sthe ho m omo rp h ism $ T_0 : \mathcal{ A}_0 \righ ta r ro w
\mathcal { A}( {\ mathcal {N}})$. 

The y  presen t and pro ve the fo ll owin g the orem on on e-dimens ional QCA . 

\[t h e. str\]  Le t $T$be  th e glo bal tr a nsi tionhomomo rp hism o f a o ne -dimensi onal nearest-neighbor Q CA onthe l att ice $\mat hbb { Z}^ d$ with s ingl e-cell alg ebr a $ \math cal { A}_0=
\m a th cal { M}_d$ . Th e n $T$ can be  re p r es ented in th e g ene raliz edM argolu s pa rtitioning scheme ,  i.e. $T$ rest rict s 
 subset_of cells,_a QCA is then_a homomorphism_of_the quasi-local_algebra,_which commutes with_lattice translations and_satisfies locality on the_neighborhood.

The observable-based approach_was_first used in Ref. [@richter_ergodicity_1996] with focus on the irreversible case. However, this definition left_questions_open such_as_whether_the composition of two QCA_will again form a QCA._The following_definition does avoid this uncertainty.

Consider an infinite $d$-dimensional_lattice_${\mathrm{L}}\subset \mathbb{Z}^d$ of_cells $x\in \mathbb{Z}^d$, where each cell is associated with_the observable algebra $\mathcal{A}_x$ and each_of these algebras_is_an_isomorphic copy of the_algebra of complex $d\times d$-matrices. When_$\Lambda \subset
\mathbb{Z}^d$ is a finite subset_of cells, denote by $\mathcal{A}(\Lambda)$ the algebra_of observables belonging to all cells_in $\Lambda$, i.e. the tensor_product $\otimes_{x\in_\Lambda} \mathcal{A}_x$. The completion of_this algebra is_called a_*quasi-local* algebra and_will be denoted by $\mathcal{A}(\mathbb{Z}^d)$.

A *quantum_cellular automaton* with_neighborhood scheme ${\mathcal{N}}\subset
\mathbb{Z}^d$ is a homomorphism_$T_: \mathcal{A}(\mathbb{Z}^d) \rightarrow
\mathcal{A}(\mathbb{Z}^d)$_of_the_quasi-local algebra,_which commutes with_lattice_translations, and_satisfies_the locality condition $T(\mathcal{A}(\Lambda)) \subset T(\mathcal{A}(\Lambda_+_{\mathcal{N}})) $ for every finite set $\Lambda_\subset \mathbb{Z}^d$. The local_transition_rule of a cellular_automaton is the homomorphism $T_0_: \mathcal{A}_0 \rightarrow
\mathcal{A}({\mathcal{N}})$.

They present and prove_the following_theorem on_one-dimensional QCA.

\[the.str\] Let $T$ be the global transition homomorphism of a_one-dimensional nearest-neighbor QCA on the lattice_$\mathbb{Z}^d$ with single-cell algebra_$\mathcal{A}_0 =
\mathcal{M}_d$._Then_$T$ can be_represented_in the_generalized Margolus partitioning scheme, i.e. $T$ restricts