Invariant measures for bipermutative cellular automata

dc.creatorPivato, Marcus
dc.date2003-06-12
dc.date.accessioned2026-07-07T04:58:57Z
dc.date.available2026-07-07T04:58:57Z
dc.descriptionA `right-sided, nearest neighbour cellular automaton' (RNNCA) is a continuous transformation F:A^Z-->A^Z determined by a local rule f:A^{0,1}-->A so that, for any a in A^Z and any z in Z, F(a)_z = f(a_{z},a_{z+1}) . We say that F is `bipermutative' if, for any choice of a in A, the map g:A-->A defined by g(b) = f(a,b) is bijective, and also, for any choice of b in A, the map h:A-->A defined by h(a)=f(a,b) is bijective. We characterize the invariant measures of bipermutative RNNCA. First we introduce the equivalent notion of a `quasigroup CA', to expedite the construction of examples. Then we characterize F-invariant measures when A is a (nonabelian) group, and f(a,b) = a*b. Then we show that, if F is any bipermutative RNNCA, and mu is F-invariant, then F must be mu-almost everywhere K-to-1, for some constant K . We use this to characterize invariant measures when A^Z is a `group shift' and F is an `endomorphic CA'.
dc.description20 pages, 1 figure, 1 table
dc.identifierhttps://arxiv.org/abs/math/0306211
dc.identifierhttp://arxiv.org/abs/math/0306211
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/67788
dc.subjectDynamical Systems
dc.subject37B15 (Primary); 37A50 (Secondary)
dc.titleInvariant measures for bipermutative cellular automata
dc.typetext

Files

Collections