New method and two new sequences relating to Fib

creigh at o2online.de creigh at o2online.de
Thu Oct 7 15:30:43 CEST 2004


I would like to introduce two new sequences resulting from 
"dynamic symmetries". Both sequences are extracted from  
a single floretion ( "Ex", below).  For the sake of completeness, 
I also give all sequences arising from static symmetries
for this floretion. 

Take:
E = ( 'i + i' + 'ii' + 'jj' + 'kk' + 'jk' + kj' + 1 )/4 
x = 'i + i' + 'ji' + 'ki' + 1 

All formulas below are of the form:
(a(n)) = sym((Ex)^n) = symseq(Ex) = (a(0), a(1), ...)
where "sym" is some choice of basis vectors whose coefficients
are to be summed up. As the choice is usually based on some symmetric 
property, I write "sym".

Static Symmetries:
("static" meaning loosely that the choice of basis vectors
is independant of n as well as of the floretion itself) 

(ves((Ex)^n)) = vesseq(Ex) = ((-1)^n)*Luc   

4*tesseq(Ex) = (-1, 3, -4, 7, -11, 18, -19) = ((-1)^(n+1))*(Fib at 1 3)

(4/9)*lesseq(Ex) = (1, -1, 2, -3, 5, -8, 11, -13) = ((-1)^n)*(Fib at 1 1)

2*jesseq(Ex) = (0, 1, -1, 2, -3, 5, -8, 11) = ((-1)^(n+1))*Fib 

emseq(Ex) = vesseq(Ex) = ((-1)^n)*Luc   

(4/7)*chuseq(Ex) = (1, -1, 2, -3, 5, -8, 11, -13) = ((-1)^n)*(Fib at 1 1)

2*chutesseq(Ex) = (3, -2, 5, -7, 12, -19)  = ((-1)^n)*(Fib at 3 2)

4*chu'(Ex) = (1, 3, -2, 5, 7, -12, 19)  // similar to chutesseq

2*achu(Ex) = (1, 0, 1, -1, 2, -3, 5, -8, 11, -13) // similar to Fib 

ves identities:
jes + les + tes = chu + chu' = chu + achu + tes = ves

Dynamic Symmetries:

"pos((Ex)^n)" sums up over all basis vectors with positive coefficients for 
each n. 

2*posseq(Ex) = (7, 6, 15, 15, 38, 39, 99, 102, 259, 267, 678, 699, 1775, 1830)
comments: notice that the sequence consists of pairs of numbers more or 
less close to each other with "jumps" inbetween pairs. 

Adding up each pair and subtracting it from the next highest number, i.e. 
a(n+2) - (a(n+1) + a(n)), gives (third term is 22 since 22 = 99 - (38 + 
39) )  (2, 8, 22, 58, 152, ) = 2*Luc(2n)

Subracting each pair gives:
(1, 0, 1, 3, 8, 21, 55, ) // = Fib(2n) apart from initial term

2*negseq(Ex) = (3, 8, 9, 23, 24, 61, 63, 160, 165, 419, 432, 1097, 1131)

Subtracting each pair (starting at 8) gives:
(1, 1, 2, 5, 13, 34, ) // =  F(2n+1), apart from initial term

ves identity:
pos - neg = ves


Sincerely, 
Creighton 






More information about the SeqFan mailing list