Ciclos y periodos de la regla 169

Mario Mart nez Molina Centro de Investigaci on en Computaci on Instituto Polit ecnico Nacional mmartinezb08@sagitario.cic.ipn.mx 28 de agosto de 2011

1.

Preliminares
Un aut omata celular est a denido por la 4 - tupla A = (d, Q, N, f ) [2], donde: d Z+ , es la dimensi on de la lattice L Zd Q es un conjunto nito de estados. N es un vector de vecindad d - dimensional: N = (n1 , n2 , . . . , nm ) d onde cada ni Zd y ni = nj para toda i = j . Cada elemento ni especica las coordenadas relativas de los vecinos de cada c elula, en particular la c elula n Zd tiene coordenadas (0, 0, . . . , 0), y vecinos n + ni para i = 1, 2, 3, . . . , m. f : Qm Q es una funci on de transici on local que especica el nuevo estado de cada c elula a partir del estado previo de sus vecinos.

Una conguraci on de un aut omata celular d - dimensional es una funci on c : Zd Q que asigna d un estado a cada c elula, el estado de la c elula n Z es denotado por c(n). El conjunto de todas las d conguraciones est a denotado por QZ , en una dimensi on este conjunto es QZ , el conjunto de todas las funciones de la forma Z Q. Cuando f es aplicada a cada c elula, un cambio global en la conguraci on ocurre, la conguraci on c cambia en la conguraci on c , d onde para toda n Zd : c (n) = f [c(n + n1 ), c(n + n2 ), . . . , c(n + nm )] La transformaci on c c es la funci on de transici on global del aut omata celular: G : QZ QZ La iteraci on de la funcion G: c G(c) G2 . . . Gt (c) representa la evoluci on en el tiempo del aut omata celular, c es la conguraci on inicial del aut omata, cuya orbita est a dada por la secuencia: orb(c) = c, G(c), G2 , . . . , Gt (c) (2)
d d

(1)

Ya que un aut omata celular es discreto en tiempo, cada iteraci on de G requiere una etapa de tiempo para su aplicaci on, de esta manera, Gt (c) representa la conguraci on del aut omata en el tiempo t = 0, 1, 2, 3, . . . Una conguraci on c es 1

Ciclos y periodos de la regla 169

Un punto jo de G si G(c) = c. Peri odica si Gt (c) = c para algun t Z+ . Eventualmente ja si existe un n N tal que: Gn+1 (c) = Gn (c) es un punto jo. Eventualmente peri odica si existe un n N y t Z+ tal que: Gn+t (c) = Gn (c), esto es, Gn (c) es peri odica para alg un n. En algunos casos, un estado q Q es identicado como el estado quiescente del aut omata celular, tal estado debe satisfacer la siguiente condici on: f (q, q, . . . , q ) = q (3)

esto es, una c elula cuyos vecinos tienen todos el estado quiescente, tendr a a su vez el estado quiescente.

1.1.

Aut omatas celulares elementales

Se trata de aut omatas celulares en una dimensi on, dos estados y dos vecinos (a la izquierda y a la derecha), de acuerdo a lo anterior podemos denir este tipo de aut omatas de acuerdo a la tupla (d, Q, N, f ) d=1 Q = {0, 1} N = (1, 0, 1) f : Q3 Q Ya que |Q| = 2 y |N | = 3, existen 23 = 8 vecindades distintas (ver Figura 1), al asignar un estado que representa la evoluci on de la c elula central es posible construir 28 = 256 reglas de evoluci on distintas.

Figura 1: Vecindades para un aut omata celular elemental. La Tabla 1 muestra una posible asignaci on de estados, la ultima columna puede ser interpretada como un n umero binario, que al ser convertido a notaci on decimal identica de manera u nica a dicha asignaci on [6]. En el caso de la Tabla 1 el decimal antes mencionado es el 169, la Figura 2 muestra la evoluci on de esta regla.

Mario Mart nez Molina

Ciclos y periodos de la regla 169

c(n) (1) 0 0 0 0 1 1 1 1

c(n) 0 0 1 1 0 0 1 1

c(n + 1) 0 1 0 1 0 1 0 1

c(n) 1 0 0 1 0 1 0 1

Tabla 1: Regla 169

Figura 2: Evoluci on de la regla 169

2.

Ciclos en la regla 169

Para facilitar el estudio de la evoluci on de un aut omata celular es com un considerar condiciones de frontera peri odicas, para una dimensi on, esto signica que las c elulas en los extremos de la lattice se consideran conectadas, por lo que esta toma la forma de un anillo. La evoluci on de dichos anillos depende en gran medida de su longitud, e.g., anillos de longitud uno, donde una c elula es su propio vecino izquierdo y derecho, pueden evolucionar de la siguiente manera [4]: Si el estado en el anillo es quiescente, la conguraci on representa un punto jo y dicho estado se repetir a indenidamente. En el caso de la regla 169, 1 es un estado quiescente ya que f (1, 1, 1) = 1: 11 La evoluci on puede ser eventualmente ja, el anillo evoluciona a un estado quiescente, a partir del cual dicho estado se repite. En el caso de la regla 169, tales condiciones ocurren cuando en el anillo se encuentra el estado 0: 011 La evoluci on es peri odica, el estado 0 evoluciona en 1, el cual a su vez evoluciona en 0, formando as un ciclo de periodo 2. En la regla 169 dicho proceso no ocurre, sin embargo, la regla 1 representa un buen ejemplo para estas condiciones: Mario Mart nez Molina 3

Ciclos y periodos de la regla 169

010 Conforme la longitud del anillo se incrementa, la evoluci on del mismo puede conducir a conguraciones con periodos m as largos, o m ultiples puntos jos, etc. La Tabla 2 lista las 32 posibles evoluciones para un anillo de longitud cinco. c 00000 00001 00010 00011 00100 00101 00110 00111 01000 01001 01010 01011 01100 01101 01110 01111 G(c) 11111 01100 11000 01010 10001 00010 10100 00110 00011 10000 00100 10110 01001 11010 01100 11110 c 10000 10001 10010 10011 10100 10101 10110 10111 11000 11001 11010 11011 11100 11101 11110 11111 G(c) 00110 00101 00001 00011 01000 01011 01101 01111 10010 10001 10101 10111 11000 11011 11101 11111

Tabla 2: Evoluci on para un anillo de longitud 5

Varias de la conguraciones anteriores presentan simetr a c clica en su evoluci on, e.g., 00001 01100 y 00010 11000. De manera similar a como se hace con las reglas de evoluci on, resulta conveniente convertir cada conguraci on a un n umero decimal, y observar las secuencias de transici on resultantes: c 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 G(c) 31 12 24 10 17 2 20 6 3 16 4 22 9 26 12 30 c 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 G(c) 6 5 1 3 8 11 13 15 18 17 21 23 24 27 29 31

Tabla 3: Conguraciones en notaci on decimal.

A partir de la informaci on presente en la Table 3 es posible construir un diagrama de ciclos (Figura 3) donde se ilustra la evoluci on de un anillo de cinco c elulas para la regla 169. El resultado de esta Mario Mart nez Molina 4

Ciclos y periodos de la regla 169

construcci on es una colecci on de arboles enraizados en ciclos, donde es aparente la existencia de grupos de conguraciones denominados clases de simetr a [4].
21 0 26 11 31 13 22 25 5 28 29 30 27 15 23

17 4 19 10 3 8 20

24 18 1 12 9

6 16

14

Figura 3: Diagrama de ciclos para un anillo de cinco c elulas. Del an alisis de la Figura 3 podemos concluir lo siguiente. La conguraci on 31 es un punto jo. La conguraci on 0 es eventualmente ja al evolucionar en el anillo 31. Existen 2 ciclos de periodo cinco, el primero de ellos formado por las conguraciones 26, 21, 11, 22, y 13; el segundo formado por las conguraciones 27, 23, 15, 30 y 29. Existe un ciclo de periodo 15 formado por las conguraciones 1, 12, 9, 16, 6, 20, 8, 2, 10, 4, 17, 5, 2, 24 y 18. Las conguraciones 19, 25, 28, 14 y 7 son eventualmente peri odicas al evolucionar en el ciclo anterior.

3.

Diagramas de de Bruijn

Originalmente los diagramas de de Bruijn fueron utilizados en la teor a de registros de corrimiento para analizar secuencias de s mbolos de un alfabeto, en este sentido, este tipo de diagramas proveen una manera conveniente para describir la evoluci on de las conguraciones de un aut omata celular [5]. En el caso unidimensional, un diagrama de de Bruijn es un grafo dirigido compuesto por k 2r nodos y k 2r+1 aristas [1], donde r est a dado por: |N | 1 2 Cada nodo es una secuencia de 2r s mbolos del conjunto de estados Q, dos nodos estar an unidos por un arco si los 2r 1 s mbolos nales del nodo inicial son los mismos que los 2r 1 s mbolos iniciales del nodo nal. Cada arista en el grafo representa entonces una vecindad completa en el aut omata celular, r=

Mario Mart nez Molina

Ciclos y periodos de la regla 169

10

101 1

01

Figura 4: Conexi on entre dos nodos en un diagrama de de Bruijn.

en algunos casos la arista es etiquetada por esta vecindad, en otros la arista es etiquetada por el estado al que evoluciona la vecindad que resulta del traslape de ambos nodos (Figura 4). Los nodos en un diagrama de de Bruijn son secuencias de s mbolos de alg un alfabeto, las aristas describen la manera en que dichas secuencias se traslapan. La Figura 5 mustra el diagrama de de Bruijn para la regla 169.

00
0 1

01
1 0

10

11
1

Figura 5: Diagrama de de Bruijn para la regla 169 Recorridos en el diagrama pueden representar cadenas, conguraciones o clases de conguraciones relacionadas con la evoluci on del aut omata. Si existiera alg un criterio para eliminar ciertas aristas, el sub-diagrama resultante consiste de las vecindades que pueden ser utilizadas para construir conguraciones que cumplen con el criterio original de eliminaci on.

3.1.

Formas de vida est aticas

Este tipo de conguraciones tienen la propiedad de ser invariantes a la evoluci on de un aut omata celular, es decir, representan patrones que no cambian de una generaci on a otra. Es posible hallar estas conguraciones a trav es del diagrama de de Bruijn, para esto, solo es necesario descartar aquellas aristas que no representan una vecindad donde el estado de la c elula central se conserva en la siguiente generaci on [4]. El diagrama resultante (6) describe las conguraciones invariantes a la evoluci on.

00
0

01
1

10

11
1

Figura 6: Diagrama de de Bruijn para las conguraciones invariantes en la regla 169.

Mario Mart nez Molina

Ciclos y periodos de la regla 169

Existen entonces dos conguraciones invariantes en la regla 169, la primera representada por las cadenas en 1 , y la segunda por las cadenas en 00(1 ).

3.2.

Conguraciones peri odicas

Sea u Zd , la traslaci on u determinada por u is la funci on de transici on global del aut omata celular cuyo vector de vecindad N contiene solo a u, y cuya funci on de transici on global es la funci on identidad, es decir, u : QZ QZ
d d

es una funci on que mapea c c donde c (n) = c(n + u) para todo n QZ , como consecuencia tenemos: u s = u+s
k = ku u

(4)

Para una lattice d-dimensional donde cada dimensi on es indexada por un entero i = 1, 2, . . . , d, la traslaci on por una c elula en la dimensi on i es llamada corrimiento y es denotada por i . Si ei = (0, . . . , 1, . . . , 0) denota el i-esimo vector unitario en la direcci on de la dimensi on i, entonces i = ei De la ecuaci on 4, cada traslaci on es una composici on de corrimientos. Para el caso unidimensional el u nico corrimiento i es llamado corrimiento a la izquierda y se denota simplemente por [2]. d Una conguraci on c QZ es llamada u-peri odica si: c(n) = c(n + u) para todo n Zd (5)

Es posible describir las conguraciones peri odicas a trav es de un diagrama de de Bruijn, por ejemplo, podemos describir las conguraciones que se mueven m as r apido que r en cada generaci on, tales conguraciones son conocidas como superluminales. Por ejemplo, considere la regla 169 y un corrimiento de dos c elulas a la derecha en una generaci on, para determinar las conguraciones que cumplen con este criterio, se sigue el siguiente procedimiento: 1. Considere una vecindad inicial de tres c elulas denotadas por abc (Figura 7) 2. Sea x la c elula resultado de la evoluci on de abc, ya que x es el resultado de un corrimiento de dos c elulas a la derecha, existe una c elula a la izquierda de la vecindad original con el mismo estado que x. 3. a corre para determinar el estado de la c elula a la que evoluciona la vecindad b, c, d, sea esta c elula y . Hasta este punto el estado de la c elula d es desconocido. 4. Para determinar el estado d, es necesario recurrir a la funci on de transici on local de la regla 169 (Tabla 1), la vecindad parcial bc y el estado de la c elula y proporcionan suciente informaci on para determinar el estado de la c elula d. Dada la vecindad parcial izquierda bc y el estado de la c elula en la que se evoluciona y solo existe un estado posible para la c elula d, note que esto puede no ser cierto para otras reglas. 5. Una vez determinado el estado de la c elula d, se tiene una vecindad de cinco c eulas que resulta del traslape de dos vecindades parciales de cuatro c elulas, cada una de estas vecindades representa un nodo en el diagrama de de Bruijn para un corrimiento de dos c elulas a la derecha en una generaci on, el nodo xabc esta unido al nodo abcd. Ya que la vecindad inicial abc puede elegirse de ocho maneras distintas (debido a que |Q| = 2), el diagrama de de Bruijn tendr a 8 nodos en total.

Mario Mart nez Molina

Ciclos y periodos de la regla 169

Figura 7: Corrimiento de dos c elulas a la derecha en una generaci on.

La gura 8 muestra el diagrama de de Bruijn para un corrimiento de dos c elulas a la derecha en una generaci on correspondiente a la regla 169, en dicho diagrama se han asignado colores a los nodos, estos colores corresponden al estado de la c elula m as a la derecha en la vecindad parcial representada por el nodo. De esta manera al recorrer el grafo es posible construir las conguraciones que representan el corrimiento deseado. A partir de este an alisis se obtienen los siguientes resultados: La conguraci on 1 representa un corrimiento trivial, ya que cualquier grupo de unos evolucionar a necesariamente en otro grupo de unos. Existe un ciclo de longitud tres que representa la conguraci on (110) , la evoluci on de dicha conguraci on se ilustra en la gura 9. Existe un ciclo de longitud cuatro correspondiente a la conguraci on (1000) , la evoluci on de la misma aparece en la Figura 10.

Figura 8: Diagrama de de Bruijn generado con el programa nxlcau21 desarrollado por el Dr. Harold V. McIntosh [3]. Es posible utilizar un procedimiento similar para hayar corrimientos m as largos con periodos mayores. La Figura 14 muestra el diagrama de de Bruijn para un corrimiento de tres c elulas a la derecha en dos generaciones. El an alisis de dicho diagrama muestra lo siguiente: Mario Mart nez Molina 8

Ciclos y periodos de la regla 169

Figura 9: Evoluci on en un anillo de 30 c elulas de la conguraci on (110) mediante la regla 169.

Figura 10: Evoluci on en un anillo de 40 c elulas de la conguraci on (1000) mediante la regla 169.

Existe un primer ciclo de longitud 5, que representa conguraciones en (01011) , la evoluci on correspondiente se ilustra en la gura 11.

Figura 11: Evoluci on de la conguraci on (01011) en un anillo de treinta c elulas. Un segundo ciclo de longitud 5, que representa conguraciones en (11110) , la evoluci on correspondiente se muestra en la gura 12. Finalmente existe un ciclo de longitud 21 que representa (010011100100011000001) , la evoluci on se muestra en la Figura 13. conguraciones en

Mario Mart nez Molina

Ciclos y periodos de la regla 169

Figura 12: Evoluci on de la conguraci on (11110) en un anillo de 30 c elulas.

Figura 13: Evoluci on de la conguraci on (11110) en un anillo de 21 c elulas.

4.

Conclusiones

En este trabajo se ha presentado un breve an alisis de la evoluci on de la regla 169, regla cuya evoluci on presenta una curiosa anidad por el fen omeno de auto-similaridad. El uso de diagramas de de Bruijn es de particular importancia para describir las conguraciones que representan corrimientos a trav es de esta regla, no obstante es necesario realizar un estudio m as profundo si se ha de caracterizar la anidad por la auto-similaridad presente en esta regla. Deseo expresar mi m as profundo agradecimiento al Dr. Harold V. McIntosh por su extraordinaria labor a lo largo de varios veranos de investigaci on, los cuales han sido de un gran impacto en la formaci on de nuevos investigadores.

Referencias
[1] [2] [3] [4] [5] Genaro Ju arez Mart nez y col. Determining a regular language by glider-based structures called ags. 231-270. phases fi 1 in Rule 110. En: Journal of Cellular Automata 3.3 (2007), p Jarkko Kari. Theory of Cellular automata: A survey. En: Theoretical Computer Science 334 (2005), p ags. 3-33. Harold V. McIntosh. nxlcau21. url: http://delta.cs.cinvestav.mx/~mcintosh/cellularaut omata/SOFTWARE.html. Harold V. McIntosh. One Dimensional Cellular Automata. Lunivier Press, 2009. isbn: 9781905986200. Juan Carlos Seck Tuoh Mora y col. Gliders en aut omatas celulares de una dimensi on. 2001. url: http://delta.cs.cinvestav.mx/~mcintosh/comun/working/year2001/04dic2001/04dic200 1.html. Stephen Wolfram. A New Kind of Science. Wolfram Media, 2002. isbn: 9781579550080.

[6]

Mario Mart nez Molina

10

Ciclos y periodos de la regla 169

Figura 14: Diagrama de de Bruijn para un corrimiento de tres c elulas en dos generaciones.

Mario Mart nez Molina

11