1: \begin{abstract}

2: A function  on a (generally infinite) graph $\G$ with values 

3: in a field $K$ of

4: characteristic $2$ will be called {\it  harmonic} if its value at

5: every vertex of $\G$ is the sum of its values over all adjacent

6: vertices. We consider binary pluri-periodic harmonic functions 

7: $f: \Z^s\to\F_2=\GF(2)$

8: on integer lattices, and address the problem of describing 

9: the set of possible multi-periods $\bar n=(n_1,\ldots,n_s)\in\N^s$ of such

10: functions. Actually this problem arises in the

11: theory of cellular automata \cite{MOW, Su1, Su4, GKW}. 

12: It occurs to be

13: equivalent to determining, for a certain

14: affine algebraic hypersurface $V_s$ in $\A_{\bar\F_2}^s$, the torsion

15: multi-orders of the points on $V_s$ in the multiplicative group

16: $(\bar\F_2^\times)^s$. In particular $V_2$ is an elliptic cubic curve.

17: In this special case we provide a more thorough treatment. A major

18: part of the paper is devoted to a survey of the subject. 

19: \end{abstract}

20: