11
$\begingroup$

I noticed this interesting pattern while doing a matrix multiplication homework given in school. Also, if the rows sum to 1, after raising it to a sufficiently large n, both its rows will be identical. Same with the columns if the column values sum to 1 in the matrix. Why does this happen?

For example, if $B=\begin{pmatrix}0.6& 0.4\\ 0.15& 0.85\end{pmatrix}$ is our matrix, then:

$$B=\begin{pmatrix}0.6000& 0.4000\\ 0.1500& 0.8500\end{pmatrix}$$ $$B^2=\begin{pmatrix}0.4200& 0.5800\\ 0.2175& 0.7825\end{pmatrix}$$ $$B^3=\begin{pmatrix}0.3390& 0.6610\\ 0.2479& 0.7521\end{pmatrix}$$ $$B^{10}=\begin{pmatrix}0.2730& 0.7270\\ 0.2726& 0.7274\end{pmatrix}$$ $$B^{20}=\begin{pmatrix}0.2727& 0.7273\\ 0.2727& 0.7273\end{pmatrix}$$ $$B^{100}=\begin{pmatrix}0.2727& 0.7273\\ 0.2727& 0.7273\end{pmatrix}$$ $$B^{1000}=\begin{pmatrix}0.2727& 0.7273\\ 0.2727& 0.7273\end{pmatrix}$$

$\endgroup$
  • $\begingroup$ Are you familiar with the notion of eigenvalue ? $\endgroup$ – Stravog Feb 19 '16 at 17:08
  • 3
    $\begingroup$ Nice observation! This matrix is the "transition matrix for a Markov chain" - see en.wikipedia.org/wiki/Stochastic_matrix. Explaining why its powers stabilize (and what that means) requires some linear algebra ("eigenvalues") you may not yet know. $\endgroup$ – Ethan Bolker Feb 19 '16 at 17:10
  • $\begingroup$ @Stravog When I Googled about this, I found some links mentioning eigenvalue. But, I did not understand it properly. $\endgroup$ – Kristada673 Feb 19 '16 at 17:10
10
$\begingroup$

These matrices are called Stochastic matrices, when you learn more about matrices you will hear about something they have which is called eigenvalues. These stochastic matrices have eigenvalues which one is $1$ and the others have modulus (absolute value) $ \leq 1$. This means that when multiplying with the matrix, one particular (column) vector will be preserved and all others will either remain or shrink in magnitude, but never grow. For stochastic matrices the vector which is preserved (has eigenvalue 1) is called the steady state vector.


There are many interpretations or usages of such matrices, what the sum equals $1$ can be interpreted as is inside parentheses

  • Approximate diffusion in sciences ( matter / energy is indestructible so the total is preserved )
  • Calculate probabilities ( sums of probabilities of all events = $1$ ).

Note: Steady state vector is in general not the vector full of ones.

We need to go into left- and right- eigenvectors to clear this out, but it's probably a bit too overkill.

$\endgroup$
  • $\begingroup$ So, what does it mean? What is its physical interpretation? $\endgroup$ – Kristada673 Feb 19 '16 at 17:15
  • $\begingroup$ The physical interpretatiosn is: If you shake things around, you will first notice a difference. But if you shake long enough it doesn't matterif you shake a bit longer or not. $\endgroup$ – Hagen von Eitzen Feb 19 '16 at 17:18
  • $\begingroup$ As long as you shake in the same motion ( same matrix ). $\endgroup$ – mathreadler Feb 19 '16 at 17:25
  • $\begingroup$ @HagenvonEitzen and mathreadler: I see. So, you mean multiplying by a matrix by itself means shaking it? If so, in which direction, and by how much (which I'm guessing might be its determinant)? $\endgroup$ – Kristada673 Feb 19 '16 at 17:37
  • $\begingroup$ @Kristada673 see Ethan Bolker’s comment to your question for one interpretation. What your observation means in that context is that after a large number of steps, the probability that you’ll find the system in a particular state settles down and approaches a fixed distribution. $\endgroup$ – amd Feb 19 '16 at 18:30
11
$\begingroup$

This does not always happen.

Consider $A=\begin{pmatrix}0&1\\1&0\end{pmatrix}$. Then $A^{n}=I$ for $n$ even and $A^n=A$ for $n$ odd.

Consider $C=\begin{pmatrix}2&-1\\-1&2\end{pmatrix}$. Then $C^n=\begin{pmatrix}\frac{3^n+1}2&\frac{1-3^n}2\\\frac{1-3^n}2&\frac{3^n+1}2\end{pmatrix}$, i.e., all matrix entries grow to $\pm \infty$.

The difference to your examples is this: While both $A$ and $C$ have an eigenvector of eigenvalue $1$, i.e., there exists $v\ne 0$ with $Av=v$ (resp. $Cv=v$), this is not the strictly largest in absolute value: We find $w\ne 0$ with $Aw=-w$ (so an eigenvector of eigenvalue $-1$, which is just as large as $1$ in absolute value), resp. with $Cw=3w$, which is much larger than $1$. In fact $v=\begin{pmatrix}1\\1\end{pmatrix}$ and $w=\begin{pmatrix}1\\-1\end{pmatrix}$ happen to have the described properties for both $A$ and $C$.

While the occurrence of the same $w$ is somewhat arbitrary (or because I didn't bother making up more complicated examples), the occurrence of the same $v$ in my examples is not just by chance: The very fact that the row-sums are all equal to $1$ means precisely that multiplication of the matrix with the all-entries-are-one vector produces the all-entries-are-one vector. (So $v$ is also of eigenvalue $1$ for your example matrix $B$). What makes your example different is that the other eigenvalue (yes, there is another) is strictly smaller in absolute value than $1$ (without exhibiting the corresponding eigenvector, I can see immediately that the eigenvalue is $0.45$ - be surprised by the my magic or go ahead and find somewhere to learn more about eigenvalues and stuff ;) )

The interesting point is that $v,w$ form a basis of $\Bbb R^2$, that is any vector $u$ can be written as $u=av+bw$. It follows that $C^nu=C^n(av+bw)=aC^nv+bC^nw=a1^nv+b3^nw$. Hence unless $b=0$ (i.e., unless $u$ is exactly a multiple of $v$), the summand $b3^nw$ will sooner or later dominate and $C^nu$ will start growing $\sim 3^n$. In fact, you may notice that instead of $C^n$ itself, the matrix $\frac1{3^n}C^n$ "stabilizes" after a few steps. Similarly, we find $A^nu = av+b(-1)^nw$, which will always flip between two values. But for your example matrix $B$ we have (with a different $w$ that I am too lazy to compute) $B^nu=av+b\cdot 0.45^n w$. This time $|0.45|<1$ implies that the $w$-part will tend to zero as $n$ grows, i.e., for large $n$ the effect of $B^n$ on any vector is approximately that it gets mapped to its share of $v$; as this approximation does not depend on $n$, all $B^n$ (for large enough $n$) are nearly equal.

$\endgroup$
0
$\begingroup$

Another example when it does not happen is if you have a matrix $$G_\epsilon = \left[\begin{array}{cc}1-\epsilon^2/2 &\epsilon \\-\epsilon & 1-\epsilon^2/2\end{array}\right]$$ for small real positive $\epsilon$, although not having exactly sum 1 it is interesting. If you are bored and have the time you can experiment with raising such a matrix to higher powers.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.