Chapter IV.1: Regular matrices
Relating to first step analysis
  -  One very important "first step" problem is the stationary
       distribution.
  
-  Under sutiable regularity conditions the stationary distribution
       instead of being a matrix is just a vector.
  
-  What are these magic conditions?
Regular transition matrices
  -  regular: P to a large power has only positive elements
  
-  Note: thus there is an epsilon such that Pt >
       epsilon for all large t.
  
-  Via first step analysis: If we check for power n, we can show
       for power n+1.
  
-  Claim: Probability of going from i to j at some point in time is 1.
       (called recurence)
  
-  Proof: (1 - epsilon)t - - > zero.
Limiting distribution
  -  Pijt -->
       Pijinfinity
  
-  But does it really depend on i?
  
-  We will use the "long run mean fraction" of times in state j
       starting from state i as our probability of interest.
  
-  Let fj(t) be the actual fraction of times in state j if
       we start in state i.  (NOTE: this is a random variable.)
  
-  Let gkj(t) be the actual fraction of times in state
       j AFTER we touch state k.
  
-  Let Tk be the first time we touch k.
  
-  Then: t fj(t) < t gj(t) +  Tk
  
-  And:  t fj(t) > t gj(t)
  
-  But: gkj(t) --> Pkjinfinity
  
-  But: fj(t) --> Pijinfinity
  
-  So  Pkjinfinity = Pijinfinity
  
-  Call it pij
Powers of matrices
  -  Computing pinfinity by computer: keep squaring it.
  
-  For regularity: we only need to know 0*x = 0, x*y > 0.
  
-  Keep track of signs.
  
-  If you raise it to power larger than n2, it will be
	regular if it is ever going to be regular. (proof by
        induction.)  
  
-  Need all n squared steps.  (Consider cyclic shift with one
       alternate path of length 1 vs length 2.)
What if it isn't regular?
  -  One case we have already studied: absorbing states. (Note:
       dependence on initial condition.)
  
-  Another is periodic (Note: dependence on initional conditions.)
  
-  We'll discuss both of these later in the chapter.
Dean P. Foster
Last modified: Thu Mar  5 12:42:09 EST 2009