MHB Markov Chains with No Limit: Proving Convergence for $A_n$

  • Thread starter Thread starter Jason4
  • Start date Start date
  • Tags Tags
    Limit
AI Thread Summary
The discussion focuses on the properties of the matrix P, defined as P = [[0, 1], [1, 0]], and its powers. It is established that P^n does not converge to a limit, alternating between the identity matrix for even n and P for odd n. However, the sequence A_n, defined as A_n = (1/(n+1))(I + P + P^2 + ... + P^n), does converge to a limit. The convergence of A_n is demonstrated through the averaging of the oscillating behavior of P. The key takeaway is that while P itself does not stabilize, the average of its powers does converge.
Jason4
Messages
27
Reaction score
0
Consider:

$P=\left( \begin{array}{cc} 0 & 1 \\ 1 & 0 \end{array} \right)$

Show that $P^n$ has no limit, but that: $A_n=\frac{1}{n+1}(I+P+P^2+\ldots+P^n)$ has a limit.

I can see that $P^{EVEN}=\left( \begin{array}{cc} 1 & 0 \\ 0 & 1 \end{array} \right)$ and $P^{ODD}=\left( \begin{array}{cc} 0 & 1 \\ 1 & 0 \end{array} \right)$, so a steady state is never reached, but I can't figure out the second part.

Any suggestions?
 
Physics news on Phys.org
Jason said:
Consider:
$P=\left( \begin{array}{cc} 0 & 1 \\ 1 & 0 \end{array} \right)$
Show that $P^n$ has no limit, but that: $A_n=\frac{1}{n+1}(I+P+P^2+\ldots+P^n)$ has a limit.
$\sum\limits_{k = 0}^N {{P^k}} = \left\{ {\begin{array}{rl}{\tfrac{1}{2}\left[ {\begin{array}{rl}{N + 2}&N\\N&{N + 2}\end{array}} \right]}&{,N\text{ even}}\\{\tfrac{{N + 1}}{2}\left[ {\begin{array}{rl}1&1\\1&1\end{array}} \right]}&{,N\text{ odd}}\end{array}} \right.$
 
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top