319993d6b78a126b.tex
1: \begin{abstract}
2:  We introduce the property of pre-expansivity for cellular automata (CA):
3:   it is the property of being expansive on asymptotic pairs of
4:   configurations (i.e. configurations that differ in only finitely many
5:   positions). Pre-expansivity therefore lies between expansivity and
6:   pre-injectivity, two important notions of CA theory.
7: 
8:   We show that there exist one-dimensional positively pre-expansive
9:   CAs which are not positively expansive and they can be chosen
10:   reversible (while positive expansivity is impossible for reversible
11:   CAs). We show however that no bi-dimensional CA which is linear over
12:   an Abelian group can be pre-expansive. We also consider the finer
13:   notion of $k$-expansivity (expansivity over pairs of configurations
14:   with exactly $k$ differences) and show examples of linear CA in
15:   dimension 2 and on the free group that are $k$-expansive depending
16:   on the value of $k$, whereas no (positively) expansive CA exists in
17:   this setting.
18: \end{abstract}
19: