Download Other Approaches to 102 Linear algebra, Groups and polynomials

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Bra–ket notation wikipedia , lookup

Tensor operator wikipedia , lookup

Basis (linear algebra) wikipedia , lookup

System of linear equations wikipedia , lookup

Capelli's identity wikipedia , lookup

System of polynomial equations wikipedia , lookup

Cartesian tensor wikipedia , lookup

Determinant wikipedia , lookup

Non-negative matrix factorization wikipedia , lookup

Polynomial wikipedia , lookup

Polynomial greatest common divisor wikipedia , lookup

Singular-value decomposition wikipedia , lookup

Rotation matrix wikipedia , lookup

Symmetry in quantum mechanics wikipedia , lookup

Polynomial ring wikipedia , lookup

Jordan normal form wikipedia , lookup

Gaussian elimination wikipedia , lookup

Perron–Frobenius theorem wikipedia , lookup

Four-vector wikipedia , lookup

Eisenstein's criterion wikipedia , lookup

Orthogonal matrix wikipedia , lookup

Linear algebra wikipedia , lookup

Fundamental theorem of algebra wikipedia , lookup

Eigenvalues and eigenvectors wikipedia , lookup

Matrix multiplication wikipedia , lookup

Group (mathematics) wikipedia , lookup

Factorization wikipedia , lookup

Factorization of polynomials over finite fields wikipedia , lookup

Cayley–Hamilton theorem wikipedia , lookup

Matrix calculus wikipedia , lookup

Transcript
Other Approaches
to 102
Linear algebra, Groups and
polynomials
What We’ve Done So Far

Discovered some cool properties of Rule 102.


Used straight-forward brute-force proofs.
But we can take advantage of techniques from
other branches of mathematics.




Linear Algebra
Group theory.
Polynomials.
Other... (you discover it!)
Optional Sections

The sections on linear algebra and group theory
may be skipped.




Depends on time constraints.
Depends on student background and interest.
Neither section is critical to later developments.
The section on polynomials and derivatives is
important to later developments.
Linear Algebra


Basic idea is to use matrix multiplication to get
the derivative.
Consider
1

0
0
D

0

1

1 0 0  0 0

1 1 0  0 0
0 1 1
0 0




0 0 0
1 1
0 0 0  0 1 
First Derivative Matrix

What happens if multiply D by x?

Get first derivative!
Try it!
These give the sum of the
second two elements.
These give the sum of the
first two elements.
D
1

0
0
Dx  
0
0

1

1
1
0
0
0
0
x
0
1
1
0
0
0
0
0
1
1
0
0
0
0
0
1
1
0
0  0 
 
d(x)
0  1 
0  0 
   1 1 1 0 1 0
0  1 



1  1 
1  0 
Kth Derivative Matrix

So call D the first derivative
matrix.

What if I want the kth
derivative?




Apply first derivative k times.
D(Dx) = 2nd derivative.
D(D(Dx) = 3rd derivative.
That’s just matrix
multiplication. The kth
derivative is just
1

0
0
k
D 

0

1

1 0 0  0 0

1 1 0  0 0
0 1 1
0 0



0 0 0
1 1 
0 0 0  0 1 
k
2nd Derivative Matrix

What’s the second derivative matrix look like?
1

0
0
2
D 

0

1

1 0 0  0 0 2  1 0


1 1 0  0 0
0 1
0 0
0 1 1
0 0
 



1 0
0 0 0
1 1



0 1
0 0 0  0 1

1 0  0
0 1  0
1 0
0

0 0
0
0 0  0
Can you guess the pattern?
0
0
0

1
0
0

0
0


0

1 
Pascal Triangle Gives kth
Derivative

The rows of the kth derivative matrix are just the kth
derivative of Pascal’s triangle.


Example, 4th row of Pascal is





Modified for finite length.
So
4th
0001
0011
0101
1111
1

0
0
4
D 

0

1

derivative matrix is
1 0 0  0 0 4  1 1


1 1 0  0 0
0 1
0 0
0 1 1
0 0
 




1 1
0 0 0
1 1


1 1
0 0 0  0 1 

1 1
1 1
1 1
0
1
1

0 0 0
1 0 0
 0 0

 0 0
 0 0



 1 1

 0 1 
Eigenvector Solutions

So now can use all the power of linear
algebra.

Example: Recall eigenvectors?

Eigenvectors are vectors x such that Dx = l x for
some scalar l and l is the eigenvalue).
Eigenvectors Give Cycle Lengths

If we want the cycle length Just want the
derivative that gives back x. i.e., dkx = x.

Theorem (eigenvector cycle lengths):
The eigenvectors x associated with
eigenvalue 1 of the kth derivative matrix
are those vectors with cycle length k (i.e.,
vectors such that dkx = x).
Eigenvector Implication

Implication: If we want to find the vectors
that have cycle length k, we just have to
find the eigenvectors of Dk.

So use linear algebra to find those
eigenvectors!

I leave that to you.
The Identity Matrix


If Dkx = x, then that means Dk is some kind of
identity matrix.
Is it
1
0
0

0
0 0
1 0
0 1
0
0
0

0 0 0
0
0
0
1
?
Not the Real Identity

No! The real identity matrix would imply
that any and every vector cycles.

For example, consider 000001.
Does not cycle.
 Why not? The “odd order corollary” says its cycle
length is zero.
 But if Dk is the standard identity then that implies
00001 will multiply times Dk to give itself. i.e., has
cycle length k. Oops!

Even Identity

Is there a matrix that lets 000011 cycle but not
000001?
0

1
I  1


1


Yes! Let

That’s our identity!
1 1  1

0 1  1
1 0
1

 
1 1  0 
Group Theory

And now with an appropriate identity we can
take a small diversion.

Some of you may not have taken group theory.

Don’t panic!
I will explain what you need.
We will barely use it, and I will not test you on it.
Just want you to consider something delicious and cool.

Sit back and enjoy the ride.



What’s a Group?

Any collection of objects G with an
operation “.” that satisfies the following
properties.
1.
2.
3.
4.
Closure: if a, b are in G, then a.b is also in G.
Associative: a.(b.c) = (a.b).c.
Identity: There exists and identity e such that a.e
= e.a = a for all a in G.
Inverse: For every a in G there exists a-1 such
that a-1.a = e.
Example of a Group

The set of all integers ..., -2, -1, 0, 1, 2, ...
with operation “+”.
i.e., a.b = a+b.
 Closure obvious.
 Associative obvious.
 0 is the identity.
 -a is the inverse of a.


This is an infinite sized group.
Example of Finite Sized Group

The numbers 1 and -1 with the operation
multiplication.
Identity is 1
 Inverse of 1 is 1. Inverse of -1 is -1.


Has size or order of 2.
Example of Geometric Group

Rotations.

Consider a triangle.



Can rotate 120 degrees three times before back at beginning
position.
 0th rotation is the identity e. (No rotation.)
 1st rotation is a.
 2nd rotation is a2
 3rd rotation is a3 = e
So we have a group {e, a, a2}.
 What’s the inverse of each element?
Consider a pentagon.

Rotations create group {e, a, a2 , a3 , a4}.
Rotations and Reflections Group

Consider triangle with rotation “a” AND reflection
“b” about vertical axis.



Have e, a, a2 for rotations.
And e, b for reflections (two reflections give back e).
Also have ab (rotation followed by reflection).
 And ba, a2b, ba2.
 Note ab does not equal ba! But ba = a2b and ab = ba2.

Try it!
 Draw a triangle.
 Label vertices 1, 2, and 3.
 Now try combinations of rotations and reflections.

Whole group is {e, a, a2, b, ab, ba}.
 Other combinations give one of the elements listed above.
Cyclic Groups

Consider an integer n. Construct a group of
order n by considering any symbol “a” and the
symbols a0, a1, a2, a3, ...an-1 where we insist that
a0 = an = e, ai . aj = ai+j mod n.

Called cyclic groups. “a” is the generator.

Example: triangle rotation group!

Example: integers modulo n with addition.

Consider modulo 5. Have 0, 1, 2, 3, 4.
 Generator is 1.
 Identity is 0.
 Inverse is the number plus 5 (ai+5 . aj = 0).
Rule 102 Derivative Matrix Group

Now coolness! The kth derivative matrices form a cyclic
group.

Theorem (derivative matrix group): Suppose Dkx = x.
Then D1, D2, ...Dk are a cyclic group of order k.

Proof:



Identity is I = Dk (the “even” identity matrix).
Inverse of Di is Di+(k-1).
Associative and closure are obvious.
Who Cares if it is a Group?

Can now use group theory to prove results
about rule 102!

Example:

Subgroups are subsets of a group that also form their own
group.
 0, 1, 2, 3 with addition mod 4. Has subgroup 0, 2.

Subgroups always have a size that divides the size of their
parent group.
 Whoa, is that cool or what!
Cycle Length Divisors

So consider subgroups of the “derivative matrix
group”.

Their size will divide k (the cycle length).
Can prove from this that any vector x will have a cycle length
that divides the cycle length of 000...011.

That’s the divisor theorem again!

But can now see how to expand the divisor theorem to find
out exactly what vectors will be in each cycle.

An Aside on Other CA and Groups

I find group theory to be beautiful. If you do too,
you may want to explore the following.

Many CA correspond to a group!

How? Treat each state of the CA as a group
element.

E.g., 0 and 1


But call them a and b.
Or 0, 1, and 2

But call them a, b, and c.
Group Z2

Now consider rules for their combination.

E.g., for rule 102




aa = a
ab = b
ba = b
bb = a
(0+0 = 0)
(0+1 = 1)
(1+0 = 1)
(1+1 = 0)

Note the identity, associativity, inverse, closure.

This group is called Z2.

The integers 0, 1, ..., n with sum mod n form the “cyclic
groups” Zn.
Evolution of Group Elements

Now consider the time evolution as a CA.





a
a
aa
b
ab
aaab
aaababba
a
ba
abba
...
...
...
...
The patterns that we see in the CA (e.g., fractal)
reflect underlying structures in the groups!
CA with “Reflection”

So now treat a and b as rotation and
reflection of a triangle!

Then have other states as well (besides a and b).
 Remember {e, a, a2, b, ab , ba}?
 So have 6 states.
 Each one of these states should get a different color.

Now can look at the CA picture.
a
a
aa = a2
b
ab
ba
aaab = b
abba = a2
aaababba = ab
a
...
...
...
...
Explore CA With Groups

Fascinated?




Explore what CA correspond to what groups.
For a given CA, explore what group elements form different
visual patterns.
Find subgroups, cyclic subgroups, normal subgroups, cosets,
etc. in the visual patterns.
Group theory is deep and powerful. There are
many other possibilities for exploration.

Perhaps good idea for class final project...
One More Approach: Polynomials

Just briefly, another avenue is to treat each
vector as a polynomial.

Consider a = (a0, a1, a2, a3, ..., an). Write this
as a polynomial
i n
i
i
i 0
p( x)   a x
Derivative as Polynomial
Multiplication

The derivative is found by multiplying by
1
x 1

Why?
Multiplying a polynomial by xj shifts each coefficient j places to
the right.
 Multiplying a polynomial by x-j shifts each coefficient j places to
the left.


So x-1+1 adds the (i+1)st polynomial term to the ith term.
The term to the right has
been shifted to the left.
Polynomial Example
p( x)  1011  1x 0  0 x1  1x 2  1x 3
d ( x)  (1x 0  0 x1  1x 2  1x 3 )( x 1  1)
1
 (1x  0 x  1x  1x ) 
0
1
2
(1x 0  0 x1  1x 2  1x 3 )
1
 1x  1x  1x  0 x  1x
0
1
2
3
Term due to x-1.
Term due to 1.
But wait! Now, my polynomial is
too long. See next slide.
But basic idea is to wrap around
that term and add to the end.
Boundary Conditions

How do you get wrap around?

Take the polynomial modulo (xn+1).

In other words, the remainder after dividing by
xn+1.

Yeah, slight pain in the rear.
Advantage of Polynomial
Approach?

Easily generalized.

Suppose we are using rule 90.


That’s the same as adding the left and right neighbors mod
2.
Try it!





Try writing out rule 90.
000 goes to what?
001 maps to what?
Etc.
Now the derivative is found by multiplying by
x 1  0  x
Other Rules

Can look at any other additive rules by
changing the derivative polynomial.

For example, what rule number has a
derivative that is found by multiplying by
1 x
1
Reference

The polynomial approach was used by
Stephen Wolfram.

See his 1984 paper, Algebraic properties of
cellular automata, in Communications in
Mathematical Physics, vol. 93, pp. 219-258.

Good stuff.
Try Exploring!

I leave it to you to explore with
polynomials.
And groups
 And linear algebra
 And ...!
