Past exam of the year 1 of the computer science course of the University of Oxford / 2013 / Digital systems, linear algebra, introduction to formal proof / 6 / f / Solution

The other eigenvalues are $1/2$ and $0$. Their magnitudes are strictly less than one. All three eigenvalues are distinct, so their eigenvectors form a basis and the matrix is diagonalizable. Every component outside the stationary direction therefore decays under repeated application of $P$.

For an explicit justification, chooseThen $Pw=w/2$, $Pu=0$, andThe zero-eigenvalue component disappears after one step. For every $n\ge 1$,Thus the shares converge to $v$ and the resource vector converges to $10v$, since the conserved total is ten. For any other initial resource vector of total $T$, the same eigenvector argument gives the limit $Tv$.