Universality of Reversible Hexagonal Cellular Automata 1 ... - CiteSeerX

8 downloads 0 Views 279KB Size Report
margens@antares.iut.univ-metz.fr ... Recently, Imai and Morita 4] showed a logically universal reversible 8-state triangular PCA. This ... D E F). Each cell changes its state depending on the states of the six neighboring parts of the adjacent.
MFCS'98 Satellite Workshop on Frontiers between Decidability and Undecidability August 24{25, 1998, Brno, Czech Republic

Universality of Reversible Hexagonal Cellular Automata Kenichi MORITA1 , Maurice MARGENSTERN2 , and Katsunobu IMAI1 1 2

Hiroshima University, Faculty of Engineering Higashi-Hiroshima, 739-8527, Japan

fmorita, [email protected]

Universite de Metz, I.U.T. de Metz, Department d'informatique ^Ile du Saulcy, 57045 Metz Cedex 1, France [email protected]

Abstract

We de ne a hexagonal partitioned cellular automaton (HPCA), and study logical universality of a reversible HPCA. We give a speci c 64-state reversible HPCA H1 , and show that a Fredkin gate can be embedded in this cellular space. Since a Fredkin gate is known to be a universal logic element, logical universality of H1 is concluded. Although the number of states of H1 is greater than those of the previous models of reversible CAs having universality, the size of the con guration realizing a Fredkin gate is greatly reduced, and its local transition function is still simple. Comparison with the previous models, and open problems related to these model are also discussed.

1 Introduction A reversible cellular automaton (RCA) is a special type of CA such that every con guration (i.e., the whole state) of the cellular space has at most one predecessor, i.e., its global transition function is one-to-one. Such a system, as well as other reversible systems (e.g. a reversible Turing machine, reversible logic circuits, etc.), has a close connection to physical reversibility, and is known to be very important when studying inevitable energy dissipation in computing processes (see e.g. [2, 10] for general survey). Besides such problems of energy consumption, these systems are also interesting from a computational viewpoint, because they have relatively rich ability of computing in spite of the reversibility constraint. Bennett [1] rst proved that any (irreversible) Turing machine can be simulated by an equivalent reversible Turing machine (RTM), hence RTMs have computation-universality. Fredkin and To oli [3] proposed a theory of reversible and bit-conserving logic circuits in which so-called Fredkin gate was shown to be a universal logic element. In fact, any (even irreversible) logic circuit can be composed of this gate. They also showed that such logic circuits can be realized by the Billiard Ball Model (BBM), an idealized mechanical model having physical reversibility. As for RCAs, To oli [9] showed that any k-dimensional irreversible CA can be simulated by a k + 1-dimensional reversible CA. From this, computation-universality of two-dimensional RCAs can be derived. Morita and Harao [6] later proved that one-dimensional RCAs are computationuniversal in the sense that for any given reversible Turing machine we can construct a onedimensional RCA that simulates it. This work was supported in part by Grant-in-Aid for Scienti c Research (C), No. 10680355, from Ministry of Education, Science, Sports and Culture of Japan. 

1

On the other hand, in the two-dimensional case, several very simple models of CAs having logical universality (in the sense that any logic circuit can be embedded in the cellular space) have been shown. Margolus [5] proposed an interesting two-state RCA model in which the BBM (hence a Fredkin gate) can be simulated. Di ering from a usual CA, his model uses \block rules" for state transition, which has a little non-uniformity in time and space. Morita and Ueno [8] constructed two simple models of 16-state RCAs by using a framework of partitioned cellular automata (PCA), which can be regarded as a subclass of usual CAs and convenient for designing reversible CAs. These two models can also simulate the BBM, thus they have logical universality. Recently, Imai and Morita [4] showed a logically universal reversible 8-state triangular PCA. This model has a local transition function much simpler than the above RCAs. In this paper, we introduce a new model of 64-state reversible hexagonal PCA (RHPCA). We show that a Fredkin gate can be embedded in this cellular space. Therefore it has logical universality. Although the number of states of this model is greater than those of the previous ones, the size of the con guration realizing a Fredkin gate is greatly reduced. Furthermore its local transition function is still simple. In the following, after giving de nitions on a HPCA and its reversible version, we propose a new 64-state RHPCA model H1 . Then we describe how basic functions such as signal transmission, delay, and elementary logical operation can be realized. By combining these techniques, we give a con guration that simulates a Fredkin gate. Comparison with the previous models, and open problems related to these model are also discussed.

2 Hexagonal Partitioned Cellular Automata A two-dimensional hexagonal cellular automaton (HCA) is a system where identical nite automata are placed uniformly on the in nite hexagonal lattice space, and synchronously change their states by communicating with neighbouring cells. Fig. 1 shows a hexagonal cellular space, and the coordinates employed here.

"""bbb"""bbb"""bbb"""bbb"""bbb (x ? 2; y+2) (x ? 1; y+2) (x; y+2) (x+1; y+2) (x+2; y+2)

 

"""bbb"""bbb"""bbb"""bbb"""bbb"""

y

(x ? 2; y+1) (x ? 1; y+1) (x; y+1) (x+1; y+1) (x+2; y+1)







- x

bbb"""bbb"""bbb"""bbb"""bbb"""bbb (x ? 1; y)

(x; y)

(x+1; y)

(x+2; y)

(x+3; y)

"""bbb"""bbb"""bbb"""bbb"""bbb""" (x ? 1; y ? 1) (x; y ? 1) (x+1; y ? 1) (x+2; y ? 1) (x+3; y ? 1)

bbbb"""bbb"""bbb"""bbb"""bbb""" Figure 1: A hexagonal cellular space. We now introduce a six-neighbor hexagonal partitioned cellular automaton (HPCA), which is a subclass of HCAs. A cell of an HPCA is divided into six parts (Fig 2). They are north-east, east, south-east, south-west, west, and north-west parts, and have their own state sets, say A; B; C; D; E; and F . Therefore the state set of a whole cell is A  B  C  D  E  F . 2

""bb bb""

a" bfb" e "b b "d c b

Figure 2: A cell of a hexagonal partitioned cellular automaton ((a; b; c; d; e; f ) 2 A  B  C 

D  E  F ).

Each cell changes its state depending on the states of the six neighboring parts of the adjacent cells (i.e., the south-west part of the north-east-adjacent cell, the west part of the east-adjacent cell, etc.) by a local transition function (Fig 3). All the cells change their states synchronously. In this way, the whole cellular array changes its con guration. bb""

c "bd " bb "

"b b b

bab"f"

eb "

"

-

""bb

"bf"0 ba0b" e0b"0bb0 "d"0 b c

bb""

Figure 3: A state transition of a cell by a local function g such that g(d; e; f; a; b; c) = (a0 ; b0 ; c0 ; d0 ; e0 ; f 0 ). An HPCA is formally de ned as follows. De nition 2.1 A deterministic six-neighbor hexagonal partitioned cellular automaton (HPCA)

is de ned by

H = (Z2; (A; B; C; D; E; F ); g; (#; #; #; #; #; #));

where Z is the set of all integers (Z2 is the set of two-dimensional points at which cells are placed), A; B; C; D; E; and F are non-empty nite sets of states of six parts of a cell, g : D  E  F  A  B C ! AB C D E F is a local function, and (#; #; #; #; #; #) 2 AB C D E F is a quiescent state that satis es g(#; #; #; #; #; #) = (#; #; #; #; #; #). A con guration over the set Q = A  B  C  D  E  F is a mapping : Z2 ! Q. Let Conf(Q) denote the set of all con gurations over Q, i.e., Conf(Q) = f j : Z2 ! Qg. Let proA : Q ! A is a projection function such that proA (a; b; c; d; e; f ) = a for all (a; b; c; d; e; f ) 2 Q. Projection functions proX : Q ! X for X 2 fB; C; D; E; F g are also de ned similarly. The global function G : Conf(Q) ! Conf(Q) of H is de ned as follows.

8(x; y) 2 Z2 : G( )(x; y) = g(proD ( (x; y + 1)); proE ( (x + 1; y)); proF ( (x + 1; y ? 1)); proA ( (x; y ? 1)); proB ( (x ? 1; y)); proC ( (x ? 1; y + 1)))

2

In the following, an equation g(d; e; f; a; b; c) = (a0 ; b0 ; c0 ; d0 ; e0 ; f 0 ) depicted in Fig.3 is called a rule of H . We can also write it by [d; e; f; a; b; c] ! [a0 ; b0 ; c0 ; d0 ; e0 ; f 0 ]: 3

We regard the local function g as the set of such rules for convenience. For the special case such that A = B = C = D = E = F , we can de ne the notions of rotation symmetry and re ection symmetry for HPCAs as follows. De nition 2.2 Let H = (Z2 ; (A; B; C; D; E; F ); g; (#; #; #; #; #; #)) be an HPCA. H is

called an rotation symmetric HPCA i (i) and (ii) hold. (i) A = B = C = D = E = F . (ii) (a; b; c; d; e; f ); (a ; b ; c ; d ; e ; f ) A6 : if g(d; e; f; a; b; c) = (a ; b ; c ; d ; e ; f ) then g(e; f; a; b; c; d) = (b ; c ; d ; e ; f ; a ). H is called an re ection symmetric HPCA i H is rotation symmetric and (iii) holds. (iii) (a; b; c; d; e; f ); (a ; b ; c ; d ; e ; f ) A6 : if g(d; e; f; a; b; c) = (a ; b ; c ; d ; e ; f ) then g(c; b; a; f; e; d) = (f ; e ; d ; c ; b ; a ). 8

0

0

0

8

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

2

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

2

0

2 Intuitively speaking, a rotation symmetric HPCA is a one that obeys the same local (and global) function even if its space is rotated by 60, 120, 180, 240, or 300 degrees, and thus it is \isotropic". A re ection symmetric HPCA is a one that has the same local (and global) function as its mirror image. Next, we de ne the notion of reversibility for HPCAs. De nition 2.3 Let H = (Z2 ; (A; B; C; D; E; F ); g; (#; #; #; #; #; #)) be an HPCA. We say

H is globally reversible i its global function G is one-to-one, and locally reversible i its local function g is one-to-one. It is easy to show the following proposition on HPCA. Its proof is omitted here, since it is easily proved by a similar method as in the case of a one-dimensional PCA [6]. Proposition 2.1 Let H be an HPCA. H is globally reversible i it is locally reversible.

By Proposition 2.1, a globally or locally reversible HPCA is called simply \reversible" and denoted by RHPCA. By this, if we want to construct a reversible HCA, it is sucient to give an HPCA whose local function g is one-to-one. This makes it easier to design a reversible HCA.

3 A Universal 64-State RHPCA Here, we give a speci c RHPCA model H1 that has logical universality. Each of six parts of a cell in H1 has two states, hence a cell has 64 states in total. It is de ned as follows.

H1 = (Z2 ; 0; 1 6 ; g1 ; (0; 0; 0; 0; 0; 0)) f

g

H1 is a rotation symmetric RHPCA, and its local function g1 is de ned as the set of rules shown in Fig.4. We can easily verify that H1 is reversible and rotation symmetric. But, because of the existence of the rule (4), H1 is not re ection symmetric. Note that only the rules (1){(4), (8), (9), and (12) are used in the following construction of a Fredkin gate.

4

(1) (2) (3) (4)

b "" b " b

- b"b"b" b " b"

b" bb""b" "b b "b "b " " b bb""b" "b b "" b " b " b bb""b" "b b "" b " b " b bb""b" "b b "" b " b b" bb""b" "b b "b "b " b" bb""b" "b b "" b " b " b bb""b" "b











- "b""b"bbb" b " b"











- "b""b"bbb" b " b"



- "b""b"bbb" b " b"



  



















- "b""b"bbb" b " b"



- "b""b"bbb" b " b"











- "b""b"bbb" b " b"

- "b""b"bbb" b " b"











- "b""b"bbb" b " b"





- "b""b"bbb" b " b"







- "b""b"bbb" b " b"





- "b""b"bbb" b " b"







 





(7)



- "b""b"bbb" b " b"











(6)



- "b""b"bbb" b " b"





(5)

b"""bb " b" (8) b "bb"b" b"""bb b" " (9) b b " "b"b b"""bb b" " (10) b "bb"b" b"""bb " b" (11) b b "b"b" b"""bb " b" (12) b "bb"b" b""b"b " b" (13) b "bb"b" b"""bb b" " (14) b b " "b"b

"b " b



  

  



 

 

   

   

Figure 4: The set of rules of an RHPCA H1 , where 0 and 1 are represented by a blank and , respectively (since H1 is rotation symmetric, rotated rules are omitted here). 

cpq-

pp p









(a) (b) Figure 5: (a) A Fredkin gate, and (b) its function.

- -c - cx  x - QQ cx c

pp pp pp

- x=c c=0- - 0 c=1- - 1 - y = c p + c q p- - q p- - p - z = c p + c q q- - p q- - q

c x c cx cx

0 0 1 1 (a)

0 1 0 1

0 0 1 1

0 0 0 1

- -c -Q Q - x z -

c y

0 1 0 0

c y z c x

0 0 1 1 (b)

0 0 0 1

0 1 0 0

0 0 1 1

0 1 0 1

Figure 6: (a) An S-gate, and (b) an inverse S-gate (the logical function of an inverse S-gate is not totally de ned on 0; 1 3 as shown in the above table). f

g

5

- x=c cq cp  cp Q Q    Q Q - y = cp + cq p -Q Q cp QQ cq cp   cq   @??@ - z = cp + cq q c

Figure 7: Construction of an F-gate by two S-gates and two inverse S-gates. In order to show that H1 is logically universal, it suces to show that signal propagation, routing, signal delay, and a Fredkin gate are realizable in it. A Fredkin gate (F-gate) [3] is a reversible (i.e., its logical function is one-to-one) and bit-conserving (i.e., the number of 1's is conserved between inputs and outputs) logic gate shown in Fig.5. It has been known that any combinational logic element (especially, AND, OR, NOT, and fan-out elements) can be realized only with F-gates [3]. Thus, any sequential circuit can be constructed from F-gates and delay elements. Furthermore, any reversible nite automaton, and reversible cellular automaton (hence reversible Turing machine) can be constructed only from F-gates and delays without generating garbage signals [7]. It is known that an F-gate can be composed of much simpler gates called switch gate (Sgate) [3]. An S-gate is also a reversible and bit-conserving gate (Fig.6). An F-gate is constructed from two S-gates and two inverse S-gates as shown in Fig.7. Note that an inverse S-gate is a gate that realizes inverse logical function of the former. In the following, we show how to realize (i) signal propagation and routing, (ii) a delay element, (iii) an S-gate and an inverse S-gate, and (iv) an F-gate, in the cellular space of H1 . (i) Signal propagation and routing: A signal \1" is represented by single dot \ " in this model. Such a dot goes straight in the cellular space by the rule (2) as shown in Fig. 8 if no obstacle exists. On the other hand, a signal \0" is represented by no existence of a dot (hence, some clock is assumed here). A signal \1" can make a right or left turn by 120 degrees by using a special pattern called \block". Fig. 9 shows the process of right turn. A block is a pattern consisting of six dots, and is stable due to the rule (3). If single dot reaches a block as in Fig. 9, it is re ected by the rule (9), resulting a right turn. A left turn is realized similarly (in this case the rule (8) is used). Note that, in H1 , a 60 degrees turn is not possible. Hence, a signal can travel only three directions rather than six directions. But it is sucient for going to any point in the plane. In this model crossing of two signals is easy (though delay elements may be needed to avoid a collision in some cases). By above, any signal routing is possible in this cellular space. (ii) A delay element: It is realized by combining blocks as shown in Fig. 10. By this method, delay elements whose delays are multiple of three units of time are available. (iii) An S-gate and an inverse S-gate: An S-gate can be simulated by single cell of H1 . Fig. 11(a) shows the input-output relation, and we can easily verify it. For example, if the input channels c and x both receive signal \1"s, then both the output channels c and cx give signal \1"s by the rule (4). An inverse S-gate can be also simulated by single cell. It is shown in Fig. 11(b). (iv) An F-gate: An F-gate can be embedded in the cellular space of H1 by connecting two S-gates and two inverse S-gates appropriately. In order to synchronize signals at the gates, several delay elements are needed. Fig. 12 shows the con guration. The size of the con guration is 28 17, and the delay of the gate is 58 units of time. By above, logical universality of H1 is concluded. 



6

"b"b"b"b

"b"b"b"b

"b"b"b"b

"b"b"b"b" "b"b"b"b" "b"b"b"b" 





b"b"b"b"b b"b"b"b"b b"b"b"b"b "b"b"b"b" "b"b"b"b" "b"b"b"b" b"b"b"b"

b"b"b"b"

t=0

b"b"b"b"

t=1

t=2

Figure 8: Signal propagation in the cellular space of H1 . "b"b"b"b

-

"b"b"b"b

"b"b"b"b

"b"b"b"b

    "b"b"b "b"b"b "b"b"b "b"b"b  "  b"  "  b"  "  b"  "  b" 











b " b " b " b " b b " b " b " b " b b " b " b " b " b b " b " b " b " b " b " b " b " b " " b " b " b " b " " b " b " b " b " " b " b " b " b " b"b"b"b"

t=0

b"b"b"b"

t=1

t = 3

b"b"b"b"

b"b"b"b"

t=2

Figure 9: A right turn of a signal (by 120 degrees clockwise) at a block. "b "b "b "b "b "b " b" b" b" b" b" b

"b "b "b "b "b "b " b" b" b" b" b" b

"b "b "b "b "b "b " b" b" b" b" b" b" "

"b "b "b "b "b "b " b" b" b" b" b" b" "

b "b "b "b "b "b "b b" b" b" b" b" b" b

    b "b " b "b "b "b " b b" b " b "   b " b" b "   b

    "b "b "b "b "b " "b b" b " b " "   b" b"   b"

"b "b "b "b "b " "b b" b" b" b" b" b" "

 

 



 

  T "b "b "b b b" b" b" T b""bb""bb""bb -

T"bb""bb""bb""bb "b "b b b" b" b" T   



T

 

T



  "b "b "b "b "b "b " " b" b" b" b " b" b"  

 

  "b "b "b "b "b "b " " b" b" b" b " b" b"  

b "b "b "b "b " b" b" b" b" b" b" b "b

b "b "b "b "b " b" b" b" b" b" b" b "b

(a)

(b)

Figure 10: Delay elements of (a) three units of time, and (b) six units of time.

bc b"" "b

"" bbb " bb " bb""" "x"bb

-

bc b"" "b

""b cxb

bcxb"" "b"bc b"

" bb "b" b bb ""z " y b" ""bb

b"

(a)

-

""bb

bxb"" ""bc "b b b"

(b)

Figure 11: Single cell of H1 can simulate both of (a) an S-gate, and (b) an inverse S-gate. 7

q

 T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T

 T    T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T   T     T   

T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T

?

 T  T T  T    T   T T  T   T  T T  T   T  T T  T    T   T T  T    T   T T  T   T  T T  T   T  T T  T   T  T T  T   T  T T  T   T  T  T   T     T  T T  T   T  T T  T   T  T T  T   T  T T  T   T  T T  T   T  T  T   T     T  T T  T   T  T T  T   T  T T  T   T  T T  T   T  T T  T   T  T T  T    T   T T  T    T   T T  T   T  T T  T   T  T T  T    T   T T  T   T  T z = cp + cq y

p

c

?

 T  T T  T   T  T T  T    T   T T  T  ccp  T cp T p T  T c   T  T  T   T     T  T T  T    T   T T  T  c cq T  T cq T  Tq c   T  T T  T   T  T  T   T     T  T T  T   T  T T  T    T   T T  T   T  T  T   T     T  T T  T   T  T T  T    T   T T  T   T  T  T   T     T  T T  T   T  T T  T  z c T  T cq T  T ccp  T  T T  T    T   T  T   T     T  T T  T  yc T  T cp T  T ccq  T  T T  T    T   T T  T   T  T T  T   T  T = cp + cq

?

 T T   T T   T T   T T     T T   T T   T T   T T     T T   T T   T T   T  T      T T   T T   T T   T  T      T T   T T   T T   T T     T T   T T   T T   T T     T T   T T   T T   T T   T x=c

 T T     T T   T T   T T   T T   T T   T T   T T   T T   T T   T T   T T   T T   T T     T T   T T   T T   T T   T T   T T   T T   T T   T T     T  T      T T   T T   T T     T T   T

 T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T 

T  T  T  T      T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T      T  T  T

bb "" " b " bb bb bb b"bb"" bb b b " "" "" "" " " " "" bb " bb " bb bb""" b "bb "" " "" " "" " "" bb bb bb "" " bb " bb "" bb " " "" " " bb bb bb bb bb b " b"b"" " " bb "" bb " "" b bb bb bb b bb " " " b"b"" " " bb " " " bb " " " " bb b "" ""

bb b

?

?

?

Figure 12: An F-gate embedded in the cellular space of H1 . 8

 T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T 

T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T  T 

4 Comparison with Other RPCA Models In this section, we compare the RHPCA model H1 with other models of reversible PCAs having logical universality. They are two models on square grid proposed in [8] (we call them S1 and S2 here), and a model (call it T1 ) on triangular grid proposed in [4]. We discuss their features, especially how the realization methods of basic functions (i.e., signal propagation, primitive logical operation, etc.) vary depending on the symmetry of the local function, and the shape of the tesselation. The models S1 and S2 are 16-state RPCAs on a square grid. Both these models can simulate the Billiard Ball Model (BBM). The BBM is a kind of computation model in which a signal \1" is represented by an ideal ball, and logical operations can be performed by their elastic collisions and re ections by mirrors. For example, an S-gate can be realized in the BBM as shown in Fig. 13 [3]. The model S1 is a rotation and re ection symmetric RPCA having the set of transition rules as shown in Fig. 14. (Note that this set of rules is essentially the same as the two-state \block cellular automaton" of Margolus [5], in which the BBM can be simulated, though the frameworks of these automata are very di erent.) In S1 , a ball of BBM is represented by two dots, and a collision of balls, which has nite non-zero radius, can be simulated by this (Fig. 15). Fig. 16 shows a re ection of a ball by a mirror. In S1 , an F-gate con guration of size 34 58 has been obtained. The model S2 is a rotation symmetric but not re ection symmetric RPCA having the set of transition rules as shown in Fig. 17. In S2 , the shape of a mirror and re ection by it are di erent from those of S1 , but the other features are similar. Fig. 18 shows a con guration of an S-gate. In S2 , there is an F-gate con guration of size 30 62. The model T1 is an 8-state RPCAs on a triangular grid. It is a rotation symmetric but not re ection symmetric RPCA. Its local function is extremely simple as shown in Fig. 19. As in H1 , single cell of T1 can directly simulate an S-gate and an inverse S-gate as in Fig. 20. Therefore, there is no need to simulate BBM, hence a signal \1" can be represented by single dot. But signal routing, crossing, and delay are very complex to realize, because a kind of \wall" is necessary to make a signal go straight. So the size of an F-gate con guration is very large (26 220). These features of the four models are summarized in Table 1. If we use the framework of PCA, and assume rotation symmetry, then 64, 16, and 8 are the minimum number of states for each grid type, except the trivial 1-state PCAs. Therefore, under the above assumption, these four are minimum state models having logical universality. But it is unknown whether there is a rotation-asymmetric universal RPCA having smaller number of states for each grid type. 





H1

S1

S2

T1

Grid type hexagonal square square triangular Number of states 64 16 16 8 Rotation symmetric? yes yes yes yes Re ection symmetric? no yes no no Can embed the BBM? yes yes Can simulate an S-gate by single cell? yes no no yes 



Table 1: Features of four universal RPCA models. ( means that the answer seems \no", but no formal proof has been obtained.) 

9

pRp  pp p p pp p p pp p  @ @ ?p p @p p @p p p pp?p@p  p R@   ?p p @ p ? Rp p  p p?p @p p   ?  p @R@ p p p p  p p R@p p@ cx

c

cx

x

c

Figure 13: A switch gate in the BBM.

?@?@?@ @? ? ? @@ @@??

!

@ ?? @

!

@ ?? @



?@?@?@ @? ??@@ @@??

!

@??@

!

@??@











?@?@?@ @? ? ? @@ @@?? 

!

@??@



!

@??@



 







 



  

   

Figure 14: The local function of the rotation and re ection symmetric 16-state RPCA S1 .

t=0

@? @? @?@? @? @?@? @?@? @ !? @ ? @ ? @ ? @ ? @ ? ?@@? @? @? @? @ @? ?? @?@? @? @?@? @?@? @ @ ? @ ? @ ? @ ? @ @ ?@?@?@?@?? @ @? ?? @?@? @? @?@? @?@? @ 







"

t=1

t=2

@ @?@?@?@?@?@ ?? @?@? @? @ ? @ ? @?@?@?@?@?@ ?@@? @? @?@?@?@?@?@ ?? @?@? @? @ @? @? @?@? @?@?@?@?@ ?? @ ? @ ? @ ?@?@??@?@?@?@?@ 

@??@?@?@?@?@? @?@?@?@ @??@?@?@?@?@? @?@?@?@ @??@?@?@?@?@? @?@?@?@ @??@?@?@?@?@?@?@?@?@ @??@?@?@?@?@? @?@?@?@  

 

 



t=3 "

@??@?@?@?@?@? @?@?@?@ @??@?@?@?@?@? @?@?@?@ @??@?@?@?@?@? @?@?@?@ ! @??@?@?@?@?@?@?@?@?@ @??@?@?@?@?@? @?@?@?@ 

 



Figure 15: Collision of two balls in the 16-state RPCA model S1 .

t=0

@ @? @? ?? @? @?@? @?@? @? @?@? @ @ ? @ ? @ ? @ ? @ ? @ ? @? @? @? @? @? @ !? @ ? @ ? @ ? @ ? @ ? @ ?@?@?@?@?@?? @ @ ? @ ? @ ? @ ? @ ? @ ?@?@?@?@?@?? @ @ @? @? ?? @? @?@? @?@? @? @?@? @ 



           

t=3

@ @? @? ?? @? @?@? @?@? @? @?@? @ @ ? @ ? @ ? @ ? @ ? @? ?@@? @? @? @? @? @? ? @ ? @ ? @ ? @ ? @ ?@?@?@?@?@?@ @ @? @? ?? @? @?@? @?@? @? @?@? @ @ ? @ ? @ ? @ ? @ ? @ ?@?@?@?@?@?? @  

           

t=1

t=2

@ @?@?@?@?@?@ ??@?@?@?@?@? @??@?@?@?@?@? @?@?@?@?@?@ @??@?@?@?@?@? @?@?@?@?@?@ @??@?@?@?@?@? @?@?@?@?@?@ @ ? @ ? @ ? @?@?@?@?@?@ ?@?@?@?

@??@?@?@? @?@?@?@?@?@? @?@ @??@?@?@? @?@?@?@?@?@? @?@ @??@?@?@? @?@?@?@?@?@? @?@ @??@?@?@? @?@?@?@?@?@? @?@ @??@?@?@? @?@?@?@?@?@? @?@

t=4

t=5





           

@ @?@?@?@?@?@ ??@?@?@?@?@? @??@?@?@?@?@? @?@?@?@?@?@ @??@?@?@?@?@? @?@?@?@?@?@ @??@?@?@?@?@? @?@?@?@?@?@ @ @?@?@?@?@?@ ??@?@?@?@?@? 

            



            

"

@??@?@?@? @?@?@?@?@?@? @?@ @??@?@?@? @?@?@?@?@?@? @?@ @??@?@?@? @?@?@?@?@?@? @?@ @??@?@?@? @?@?@?@?@?@? @?@ @??@?@?@? @?@?@?@?@?@? @?@ 



           

Figure 16: Re ection of a signal by a mirror in the 16-state RPCA model S1 . 10

?@?@?@ @? ? ? @@ @@??

!

@ ?? @

!

@ ?? @



?@?@?@ @? ??@@ @@??

!

@??@

!

@??@











?@?@?@ @? ? ? @@ @@?? 

!

@??@



!

@??@



 







 



  

   

Figure 17: The local function of the rotation symmetric 16-state RPCA S2 .

c

"

@ @? @?@?@?@?@?@? @?@?@?@?@?@? @?@?@?@? @?@?@?@ ?? @?@? @? @?@? @? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @?@?@?@ ?@?@?@?@?@?@?@?@?@?@?@?@? @ @? @? @? @?@?@?@?@?@? @?@?@?@?@?@? @?@?@?@? @?@?@?@ ?@? @? @? @? @? ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? ?@?@?@?@?@?@?@?@?@?@?@?@?@?@?@?@ ! cx @ @? @?@?@?@?@?@? @?@?@?@?@?@? @?@?@?@? @?@?@?@ ?? @?@? @? @?@? @? @ @? @? @? @?@?@?@?@?@? @?@?@?@?@?@? @?@?@?@? @?@?@?@ ?@? @? @? @? @? ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @?@?@?@ ?@?@?@?@?@?@?@?@?@?@?@?@? @ @? @? @? @?@?@?@?@?@? @?@?@?@?@?@? @?@?@?@? @?@?@?@ ?@? @? @? @? @? ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @?@?@?@ ? @? @? @? @? @? @? @? @? @? @? @? @? ! c @ @? @?@?@?@?@?@? @?@?@?@?@?@? @?@?@?@? @?@?@?@ ?? @?@? @? @?@? @? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @?@?@?@ ?@@? @? @? @? @? @? @? @? @? @? @? @? @? @?@?@?@?@?@? @?@?@?@?@?@? @?@?@?@? @?@?@?@ ?? @?@? @? @?@? @? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? @ ? ?@?@?@?@?@?@?@?@?@?@?@?@?@?@?@?@ ! cx @ @? @?@?@?@?@?@? @?@?@?@?@?@? @?@?@?@? @?@?@?@ ?? @?@? @? @?@? @? "      

     

     

     



     

     

     

     

     

     

     

           





     

     



x

Figure 18: Realization of an S-gate in the 16-state RPCA model S2 .

""Tbb bb""TT ""Tbb bb""TT

""Tbb bb""TT ""bTb  T bb""T

T ""bbTT ""bTbTT

!



!







!





!

T ""bbTT ""TbbTT 

 



Figure 19: The local function of a rotation symmetric 8-state 3-neighbor triangular RPCA T1 .

""bTTbx b c "TT b"

!

"c "TbTbz  T b by""T

T  c"xbcT " cx bTT

(a)

!

T x T  " "cbbTT

(b)

Figure 20: Realization of (a) an S-gate, and (b) an inverse S-gate by single cell of T1 . 11

5 Concluding Remarks In this paper, we proposed a new 64-state model of reversible HPCA H1 having logical universality. There still remain various open problems as listed below. 1. Is there another model of 64-state reversible HPCA having logical universality? Especially, is there a rotation and re ection symmetric 64-state model? 2. Is there a model of 64-state reversible HPCA that can simulate the BBM? (Of course, the BBM on hexagonal grid is a little di erent from the usual one.) 3. Is there another model of logically universal 16-state reversible PCA on square grid? Especially, is there a model such that a signal \1" is represented by single dot (rather than two dots)? 4. Is there a rotation-asymmetric (and simple) model having logical universality for each grid type?

References [1] Bennett, C.H., Logical reversibility of computation, IBM J.Res.Dev., 17, 525{532 (1973). [2] Bennett, C.H., Notes on the history of reversible computation, IBM J.Res.Dev., 32, 16{23 (1988). [3] Fredkin, E., and To oli, T., Conservative logic, Int.J.Theoret.Phys., 21, 219{253 (1982). [4] Imai, K., and Morita, K., A computation-universal two-dimensional 8-state triangular reversible cellular automaton, Proc. of the Second Colloquium on Universal Machines and Computations, Volume II (Metz), 90{99 (1998). [5] Margolus, N., Physics-like model of computation, Physica, 10D, 81{95 (1984). [6] Morita, K., and Harao, M., Computation universality of one-dimensional reversible (injective) cellular automata, Trans.IEICE, E-72, 758{762 (1989). [7] Morita, K., A simple construction method of a reversible nite automaton out of Fredkin gates, and its related problem, Trans.IEICE, E-73, 978{984 (1990). [8] Morita, K., and Ueno, S., Computation-universal models of two-dimensional 16-state reversible cellular automata, IEICE Trans.Inf.& Syst., E75-D, 141{147 (1992). [9] To oli, T., Computation and construction universality of reversible cellular automata, J.Comput.Syst.Sci., 15, 213{231 (1977). [10] To oli, T., and Margolus, N., Invertible cellular automata: a review, Physica D, 45, 229{ 253 (1990).

12