Estudos no sistema dinâmico “Pea Pattern”

André PEDROSO KOWACS,

Estudante de Engenharia Aeronáutica na Universidade De São Paulo
Email: andrekowacs@gmail.com

Escola de Engenharia de São Carlos, USP, São Carlos, São Paulo Brasil
Resumo

Nesse estudo, o sistema dinâmico conhecido como “Pea Pattern” é formalmente

definido. Em seguida definem-se algumas notações para facilitar o trabalho com este.

Logo após, é demonstrado uma condição necessária para pontos fixos e peródicos

desses sistemas, resultando na prova de que estes existem em número finito. Ao fim é

apresentada uma tabela contendo os pontos fixos das bases 2 a 9.

Palavras chave: sistema dinâmico, substituição, ponto, periódico, fixo, pea, função, contadora

Introdução

Os trabalhos de John Conway na sequência “Look and Say” [1], de Giunti e Mazzola

classificando sistemas dinâmicos [2], e de Martine Queffélec [3], em análise de sistemas

dinâmicos de substituição,inspiraram o início aos estudos dos sistemas hoje conhecidos como

“Pea Pattern System”. O comportamento caótico do Pea Pattern System contrasta com a

tendência deste de cair em pontos periódicos e apresentar condições sistemáticas. O artigo

busca definir este sistema nas notações dos artigos citados e explorar propriedades destes

pontos periódicos, numa tentativa de melhor entender o sistema. Uma tabela contendo pontos

fixos para algumas bases numéricas é providenciada ao fim.

Métodos experimentais

As notações no artigo, exceto quando especificadas, seguem aquelas definidas pelos artigos

citados nas referências. Para a elaboração dos gráficos e tabelas usou-se do programa

MATLAB[4].

Definições e considerações iniciais

O sistema dinâmico “Pea Pattern”, de agora em diante a ser referido por “peaDSk”, é definido

pelo seguinte conjunto de regras, não facilmente traduzidas a uma função matemática:
Definição 0: O sistema dinâmico peaDSk é um par (I*,(pt)t ϵ T) tal que:

(i) T é um subconjunto de Z+, e qualquer t ϵ T é uma duração do sistema. T é o

conjunto temporal do sistema;

(ii) I é um conjunto não vazio, finito, tal que |I| = k é a cardinalidade de I. I é denominado

o alfabeto de peaDSk e os elementos de I são denominados letras. Adota-se que as

letras de I são números inteiros positivos, I(i) é o “i-gésimo” elemento de I. Os

elementos de I para um sistema peaDSk são: I = {k-1,k-2,...,1,0}, ou seja, I(i) = k-i, i ≤

k.

(iii) I* é o conjunto de todas as palavrasfinitas sobre o alfabeto I;

(iv) (pt)t ϵ T é uma família , indexada por T, de funções de I* para I*. Para qualquer t ϵ T a

função pt é chamada de transição de estado no tempo t ou abreviando: transição-t;

(v) k é uma base númerica tal que todas as letras em Ipodem aparecer nesta;

(vi) Li(x) é definido como o número de letras i na palavra x, sendo este escrito com as

letras do alfabeto I, na base k;

(vii) Seja x ϵ I*. Define-se Ix como o conjunto de letras i tal que: i ϵ I, i ϵ Ix ↔ Li(x) ≠ 0.

(viii) p1 é tal que: p1 : I* → I*; p1(u) = v → v é [LI^x(1)(u)]k∙Ix(1)∙ [LI^x(2)(u)]k ∙Ix(2)∙(...)∙ [LI^x(q)(u) ]k

∙Ix(q), onde “∙” é o elemento de concatenação q = |Ix| e u,v ϵ I*;

(ix) pd+f(u) = pd(pf(u)) = pf(pd(u)), para qualquer u ϵ I* e qualquer d,f ϵ T;

Exemplo 1: Seja peaDSk, tal que I = {1,0} e k = 2. Temos que para u = 0:

p1(u) = p1(“0”) =10;

p2(u) = p1(p1(u)) = p1(“10”) = 1110

p3(u) = p2(p1(u)) = p2(“10”) = p1(p1(“10”)) = p1(“1110”) = 11110

Proposição 1: Para um conjunto finito de termos em I, pode-se associar Li(x) à imagem de

uma função contadora fL, de tal modo que:

fL : I ∗ × I x → ℕ

fL x, l = Ll x ; x ∈ I∗, l ∈ Ix

Demonstração: Seja I um conjunto tal obedece a Def.0.ii É trivial que pode-se definir uma

função f tal que f(I(m),I(n)) = 1, se n = m e 0 se n ≠ m e m,n ≤ q. Como pela Def.0.ii existe um

número finito s para os valores de n, basta definir-se:

m−1 x x s x x
i=1 I (m) − I (i) ∗ i=m+1(I (m) − I (i))
f I(m), I x (n) = m−1 x x s x x
i=1 I n − I (i) ∗ i=m+1(I n − I (i))
(1)

Agora dada uma palavra x ϵ I*, basta aplicar a função f descrita acima em cada letra de x e

somar os resultados para obter o número de elementos I(l) em x:

x x l−1 s
x x
x x j=1 xi − I (j) ∗ i=l+1(xi − I (j))
fL x, I (l) ≡ f(xi , I (l)) ≡ l−1 x x s x x
= Ll (x)
i=1 i=1 j=1 I (l) − I (j) ∗ j=l+1(I (l) − I (j)) (2)

,sendo xi a i-ésima letra de x.

C.Q.D.

Definição 1: Seja um conjunto de palavras X = {x|x ϵ I*}, |X| = t. Diz-se que X é um conjunto

periódico, e sua norma é chamada de período, se e somente se:

i. pt(X(i)) = X(i), para i = 1,2,...,t;

ii. p1(X(i)) = X(i+1), para i = 1,2,...,t-1;

iii. p1(X(t)) = X(1);

 iv. X(i) ≠ X(j) ↔ i ≠ j;

v. IX(i)=IX(j), para i, j = 1,2,3...,t

Definição 2:Seja X um conjunto periódico. Defini-se S(X) como o número total de letras no
t q
conjunto X, ou seja, S X = i=1 j=1 LI j
x X(i), tal que t = |X| e q = |Ix|.

Em seguida prova-se a existência de condições necessárias para um conjunto de pontos ser

periódico. Utiliza-se o conceito da função contadora e da elaboração de uma estrutura para

estes pontos.

Teorema 1:Seja um conjunto de palavras X = {x|x ϵ I*} de período t, tal que |Ix| = q, para algum

x em X. Então o conjunto é um conjunto periódico de peaDSksomente se:

𝑡 𝑞 𝑡 𝑞 𝑛𝑖
𝑛𝑖
(𝐴𝑖 ∗ 𝑘 ) + (𝑎𝑖,𝑛 𝑖 −𝑗 +1 ∗ 𝑘 𝑛 𝑖 −𝑗 ) = 𝑆(𝑋)
𝑤=1 𝑖=1 𝑤=1 𝑖=1 𝑗 =1 (I)

Que implica em

𝑡 𝑞

𝑆(𝑋) − 𝐴𝑤,𝑖 ∗ 𝑘 𝑛 𝑤 ,𝑖 +≥ 0
𝑤=1 𝑖=1 (II)

Uma vez que os elementos de X podem ser expressos por:

Aw,1 ∙ aw,1,n w ,1 ∙ aw,1,n w ,1 −1 ∙ … ∙ aw,1,1 ∙ I x (1) ∙ Aw,2 ∙ aw,2,n w ,2 ∙ aw,2,n w ,2 −1 ∙ … ∙ aw,2,1

∙ I x (2) ∙ … … ∙ Aw,k−1 ∙ aw, k−1 ,n w ,k −1 ∙ aw, k−1 ,n w ,k −1 −1 ∙ … ∙ aw, k−1 ,1

(III)

∙ I x (q − 1) ∙ Aw,k ∙ aw,k,n w ,k ∙ aw,k,n w ,k −1 ∙ … ∙ aw,k,1 ∙ q

Tal que Aw,I ϵ Ix-{“0”}, aw,i,u ϵ Ix, ni ϵ Z+, para w = 1,2,...,t; para i = 1,2,...,q; para u = 1,2,...,ni;

Demonstração: A afirmação (III) é de demonstração trivial e não será inclusa. Uma vez que

X(w), w ≤ t é um ponto periódico de peaDSk, p1(X(w)) = X(w+1), w < t, p1(X(w)) = X(1), w = t .

Logo, pela definição de p1 temos que:

p1 w = LIx 1 w k
∙ I x 1 ∙ LIx 2 w k
∙ I x 2 ∙ . . . ∙ LIx q w ∙ Ix q (3)
k

Porém como p1(w) ϵ X, então esse pode ser expresso por (III), ou seja,

Aw,l ∙ aw,l,n w ,l ∙ aw,l,n w ,l −1 ∙ … ∙ aw,l,1 = LIx (l) w (4)

k

↔ Aw,l ∗ k n w ,l + aw,l,n w ,l ∗ k n w ,l −1 + ⋯ + aw,l,1 ∗ k 0 = LIx (l) w

l < q ϵ Z+

Pela Proposição 1 e por (4) tem-se, portanto, que:

Aw,l ∗ k n w ,l + aw,l,n w ,l ∗ k n w ,l −1 + ⋯ + aw,l,1 ∗ k 0

x l−1 x q x
(5)
j=1 wi − I (j) ∗ i=l+1(wi − I (j))
= l−1 x x q x x
i=1 j=1 I (l) − I (j) ∗ j=l+1(I (l) − I (j))

Podendo-se simplificar (5) em :

 n w ,l

Aw,l ∗ k n w ,l + aw,l,n l −j+1 ∗ k n w ,l −j

j=1

q n w ,u
l−1 x k
j=1(a w,u,i − I (j)) j=l+1(a w,u,i − I x (j))
= l−1 x x q x
j=1 I l − I j ∗ j=l+1 I l − Ix j
u=1 i=1

q
l−1 x k x
j=1(Aw,i − I (j)) j=l+1(Aw,i − I (j))
+ l−1 x x q x x
+ 1 (6)
i=1 j=1 I (l) − I (j) ∗ j=l+1(I (l) − I (j))

Somando-se para todas as letras de w, a partir de (6) obtêm-se:

q n w ,i
n w ,i
Aw,i ∗ k + aw,i,n i −j+1 ∗ k n w ,i −j
i=1 j=1

q q n w ,u q
l−1 x x
j=1(a w,u,i − I (j)) j=l+1(a w,u,i − I (j))
= l−1 x x q x x (7)
l=1 u=1 i=1 j=1 I (l) − I (j) ∗ j=l+1(I (l) − I (j))

q
l−1 x k x
j=1(Aw,i − I (j)) j=l+1(Aw,i − I (j))
+ l−1 x x q x x
+ 1
i=1 j=1 I (l) − I (j) ∗ j=l+1(I (l) − I (j))

Somando para todos os elementos de X, apartir de (7) tem-se:

 𝑡 q n w ,i

Aw,i ∗ k n w ,i + aw,i,n i −j+1 ∗ k n w ,i −j

𝑤=1 i=1 j=1

𝑡 q q n w ,u q
l−1 x x
j=1(a w,u,i − I (j)) j=l+1(a w,u,i − I (j))
= l−1 x x q x x (8)
𝑤=1 l=1 u=1 i=1 j=1 I (l) − I (j) ∗ j=l+1(I (l) − I (j))

q
l−1 x k x
j=1(Aw,i − I (j)) j=l+1(Aw,i − I (j))
+ l−1 x x q x x
+ 1
i=1 j=1 I (l) − I (j) ∗ j=l+1(I (l) − I (j))

Que simplifica em:

𝑡 𝑞 𝑡 𝑞 𝑛𝑖 𝑡 𝑞
(9)
𝑛 𝑤 ,𝑖 𝑛 𝑤 ,𝑖 −𝑗
(𝐴𝑤,𝑖 ∗ 𝑘 )+ (𝑎𝑤,𝑖,𝑛 𝑖 −𝑗 +1 ∗ 𝑘 )= (𝑛𝑤,𝑖 ) + 2 ∗ 𝑡 ∗ 𝑞
𝑤 =1 𝑖=1 𝑤 =1 𝑖=1 𝑗 =1 𝑤=1 𝑖=1

Como para cada nw,i existe um Aw,i e uma letra de Ix associada, tem-se, a partir de (9) que:

𝑡 𝑞 𝑡 𝑞 𝑛𝑖
(10)
(𝐴𝑤,𝑖 ∗ 𝑘 𝑛 𝑤 ,𝑖 ) + (𝑎𝑤,𝑖,𝑛 𝑖 −𝑗 +1 ∗ 𝑘 𝑛 𝑤 ,𝑖 −𝑗 ) = 𝑆(𝑋)
𝑤=1 𝑖=1 𝑤=1 𝑖=1 𝑗 =1

𝑡 𝑞 𝑛𝑖
Como 𝑤=1 𝑖=1 𝑗 =1(𝑎𝑤,𝑖,𝑛 𝑖 −𝑗 +1 ∗ 𝑘 𝑛 𝑤 ,𝑖 −𝑗 ) é estritamente positivo:

𝑡 𝑞
(11)
𝑆(𝑋) − 𝐴𝑤 ,𝑖 ∗ 𝑘 𝑛 𝑤 ,𝑖 ≥ 0
𝑤=1 𝑖=1

C.Q.D.
Conclusão

O teorema 1 apesar de não fornecer uma condições necessária e suficiente para os conjuntos

periódicos, já apresenta uma grande ferramenta para o entendimento do funcionamento deste

sistema dinâmico. A partir de (11) implica-se uma região na qual podem existir os conjuntos

periódicos, o que não apenas implica que estes são finitos como também fornece uma

poderosa ferramenta para encontar todos os conjuntos periódicos de um determinado alfabeto

e base numérica.Espera-se melhorar os algoritmos a fim de encontrar todos os pontos fixos na

base 10.
Pontos Fixos peaDSk:

k=2 k=3 k=4 k=5 k=6 k=7

111 22 22 22 22 22

1001110 11110 1211110 14233221 14233221 14233221

12111 1311110 14331231 14331231 14331231

101100 1312111 14333110 14333110 14333110

1022120 23322110 23322110 15143331 15143331

2211110 33123110 33123110 15233221 15233221

22101100 132211110 131211110 15331231 15331231

141211110 15333110 15333110

141311110 23322110 16143331

141312111 33123110 16153331

1433223110 1433223110 16233221

14132211110 1514332231 16331231

 1533223110 16333110

14131211110 23322110

15131211110 33123110

15141211110 1433223110

15141311110 1514332231

15141312111 1533223110

1514132211110 1614332231

1615332231

1633223110

1514131211110

1614131211110

1615131211110

1615141211110

1615141311110

1615141312111

16152423324110

161514132211110 TABELA 1: Pontos

Fixos de peaDSk,
k de 2 a 7
 k=8 k=9

22 1514332231 22 18233221 17162423324110

14233221 1533223110 14233221 18331231 18152423324110

14331231 1614332231 14331231 18333110 18161524233241

14333110 1615332231 14333110 23322110 18162423324110

15143331 1633223110 15143331 33123110 18171524233241

15233221 1714332231 15233221 1433223110 18171624233241

TABELA 2:
15331231 1715332231 15331231 1514332231 18172423324110 Pontos Fixos
de peaDSk, k
15333110 1716332231 15333110 1533223110 1716251423325110 = 8, k= 9;
16143331 1733223110 16143331 1614332231 1816251423325110

16153331 16152423324110 16153331 1615332231 1817162514233251

16233221 17152423324110 16233221 1633223110 1817162523325110

16331231 17161524233241 16331231 1714332231 1817251423325110

16333110 17162423324110 16333110 1715332231 17161514131211110

17143331 161514131211110 17143331 1716332231 18161514131211110

17153331 171514131211110 17153331 1733223110 18171514131211110

17163331 171614131211110 17163331 1814332231 18171614131211110

17233221 171615131211110 17233221 1815332231 18171615131211110

17331231 171615141211110 17331231 1816332231 18171615141211110

17333110 171615141311110 17333110 1817332231 18171615141311110

23322110 171615141312111 18143331 1833223110 18171615141312111

33123110 1716251423325110 18153331 16152423324110 181716251433325110

1433223110 1716151413221110 18163331 17152423324110 181726151423326110

0
18173331 17161524233241 1817161514132211110
 k = 10 23322110 19162423324110 192817161514233281 19181736151433100000

22 33123110 19171524233241 291817161514233000 19181736151433200000

14233221 1433223110 19171624233241 1817161514131210000 19182716151423300000

14331231 1514332231 19172423324110 1817161514131210000 19182716151433300000

14333110 1533223110 19181524233241 1917161514131210000 19182716152413400000

15143331 1614332231 19181624233241 1917161514131210000 19182716152423400000

15233221 1615332231 19181724233241 1918161514131210000 19182716152433300000

15331231 1633223110 19182423324110 1918161514131210000 19182716251433300000

15333110 1714332231 1716251423325110 1918171514131210000 19182726151433300000

16143331 1715332231 1816251423325110 1918171514131210000 19182726151433300000

16153331 1716332231 1817162514233251 1918171614131210000 19182726152413400000

16233221 1733223110 1817162523325110 1918171614131210000 19182726152413400000

16331231 1814332231 1817251423325110 1918171615131210000 19183716151433100000

16333110 1815332231 1916251423325110 1918171615131210000 19281716151423300000

17143331 1816332231 1917162514233251 1918171615141210000 19281716152423400000

17153331 1817332231 1917162523325110 1918171615141210000 19281716152433300000

17163331 1833223110 1917251423325110 1918171615141310000 19281716251433300000

17233221 1914332231 1918162514233251 1918171615141310000 19281716252413400000

17331231 1915332231 1918162523325110 1918171615141310000 19281716252413400000

17333110 1916332231 1918171625233251 1918171615141320000 19281726152413400000

18143331 1917332231 1918172514233251 19181716152423300000 19381716151433100000

18153331 1918332231 1918172523325110 19181716152423400000 29181716151423300000

18163331 1933223110 1918251423325110 19181716152423400000 29181716152423400000

18173331 16152423324110 181716251433325000 19181716251423300000 29181716152433300000

18233221 17152423324110 181726151423326110 19181716252423400000 29181716251433300000

18331231 17161524233241 191716251433325000 19181716252433300000 29181726151433300000

18333110 17162423324110 191726151423326110 19181716252433300000 29181726152413400000

19143331 18152423324110 191816251433325000 19181716351433100000 29182716151433300000

19153331 18161524233241 191817162533325000 19181726151423300000 39181716151433100000

19163331 18162423324110 191817251433325000 19181726151433300000 191817161514131000000

19173331 18171524233241 191817261423326110 19181726152413400000 191817161514131000000

19183331 18171624233241 191817261514233261 19181726152423400000 191817161514132000000

19233221 18172423324110 191817261523326110 19181726152423400000 191817161514132000000

19331231 19152423324110 191826151423326110 19181726152433300000 191817161514331000000

19333110 19161524233241 19182716151423327110 19181726251433300000 191817161514331000000

////Abstract e keywords/////

/////////////////////////////////////////

Referências

[1] Conway, J.H. . The Weird And Wonderful Chemistry Of Audioactive Decay.

[2] Giunti, M., & Mazzola, C. (2012, March). Dynamical Systems on Monoids: Toward a General

Theory of Deterministic Deterministic Systems and Motions. ResearchGate.

[3] Queffelec, M. (1987). Substitution Dynamical Systems - Spectral Analysis . Lecture Notes in

Mathematics, 87-108.

[4]MATLAB and Statistics Toolbox Release 2012b, TheMathWorks, Inc., Natick, Massachusetts,

United States.