Cesàro limit of a stochastic matrix

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
5
down vote

favorite
3












Let $A$ be a stochastic matrix. Then
beginalign*
lim_t rightarrowinfty A^t
endalign*



may not exist. For example:
beginalign*
A &= beginbmatrix
0 & 1 \
1 & 0
endbmatrix \
A^2t &= I \
A^2t+1 &= A
endalign*



Now define the Cesàro limit $A^infty$ of $A$ to be
beginalign*
lim_t rightarrow infty frac1t sum_k=0^t-1 A^k
endalign*



Then, for the above example,
beginalign*
A^infty = beginbmatrix
frac12 & frac12 \
frac12 & frac12
endbmatrix
endalign*



Intuitively, $A^infty$ represents the long-run average amount of time spent in each state of the Markov chain described by $A$. My question is this: Does every (finite) stochastic matrix have a Cesàro limit? If so, what is the most efficient algorithm for finding this limit?



According to this article, $R^2 = R = RA = AR$ and rank $R geq $ rank $A^infty$ implies $R = A^infty$.



It appears that the rows of $A^infty$ are the normalized eigenvectors of $A^top$ that have a corresponding eigenvalue of 1. How does one determine the correct order and repetition of such eigenvectors, algorithmically?



EDIT: According to this article, the Cesàro limit is guaranteed to exist and is equal to the eigenprojection for the eigenvalue 1 of $A$.



EDIT 2: According to this article,



$$A^infty = X (Y^* X)^-1 Y^*$$



where $X$ are the eigenvectors of $A$ with eigenvalue 1 and $Y$ are the eigenvectors of $A^top$ with eigenvalue 1. I generally get the right result with this approach but sometimes numerical errors seem to result in the wrong Cesàro limit. Is there a more numerically stable approach?







share|cite|improve this question

























    up vote
    5
    down vote

    favorite
    3












    Let $A$ be a stochastic matrix. Then
    beginalign*
    lim_t rightarrowinfty A^t
    endalign*



    may not exist. For example:
    beginalign*
    A &= beginbmatrix
    0 & 1 \
    1 & 0
    endbmatrix \
    A^2t &= I \
    A^2t+1 &= A
    endalign*



    Now define the Cesàro limit $A^infty$ of $A$ to be
    beginalign*
    lim_t rightarrow infty frac1t sum_k=0^t-1 A^k
    endalign*



    Then, for the above example,
    beginalign*
    A^infty = beginbmatrix
    frac12 & frac12 \
    frac12 & frac12
    endbmatrix
    endalign*



    Intuitively, $A^infty$ represents the long-run average amount of time spent in each state of the Markov chain described by $A$. My question is this: Does every (finite) stochastic matrix have a Cesàro limit? If so, what is the most efficient algorithm for finding this limit?



    According to this article, $R^2 = R = RA = AR$ and rank $R geq $ rank $A^infty$ implies $R = A^infty$.



    It appears that the rows of $A^infty$ are the normalized eigenvectors of $A^top$ that have a corresponding eigenvalue of 1. How does one determine the correct order and repetition of such eigenvectors, algorithmically?



    EDIT: According to this article, the Cesàro limit is guaranteed to exist and is equal to the eigenprojection for the eigenvalue 1 of $A$.



    EDIT 2: According to this article,



    $$A^infty = X (Y^* X)^-1 Y^*$$



    where $X$ are the eigenvectors of $A$ with eigenvalue 1 and $Y$ are the eigenvectors of $A^top$ with eigenvalue 1. I generally get the right result with this approach but sometimes numerical errors seem to result in the wrong Cesàro limit. Is there a more numerically stable approach?







    share|cite|improve this question























      up vote
      5
      down vote

      favorite
      3









      up vote
      5
      down vote

      favorite
      3






      3





      Let $A$ be a stochastic matrix. Then
      beginalign*
      lim_t rightarrowinfty A^t
      endalign*



      may not exist. For example:
      beginalign*
      A &= beginbmatrix
      0 & 1 \
      1 & 0
      endbmatrix \
      A^2t &= I \
      A^2t+1 &= A
      endalign*



      Now define the Cesàro limit $A^infty$ of $A$ to be
      beginalign*
      lim_t rightarrow infty frac1t sum_k=0^t-1 A^k
      endalign*



      Then, for the above example,
      beginalign*
      A^infty = beginbmatrix
      frac12 & frac12 \
      frac12 & frac12
      endbmatrix
      endalign*



      Intuitively, $A^infty$ represents the long-run average amount of time spent in each state of the Markov chain described by $A$. My question is this: Does every (finite) stochastic matrix have a Cesàro limit? If so, what is the most efficient algorithm for finding this limit?



      According to this article, $R^2 = R = RA = AR$ and rank $R geq $ rank $A^infty$ implies $R = A^infty$.



      It appears that the rows of $A^infty$ are the normalized eigenvectors of $A^top$ that have a corresponding eigenvalue of 1. How does one determine the correct order and repetition of such eigenvectors, algorithmically?



      EDIT: According to this article, the Cesàro limit is guaranteed to exist and is equal to the eigenprojection for the eigenvalue 1 of $A$.



      EDIT 2: According to this article,



      $$A^infty = X (Y^* X)^-1 Y^*$$



      where $X$ are the eigenvectors of $A$ with eigenvalue 1 and $Y$ are the eigenvectors of $A^top$ with eigenvalue 1. I generally get the right result with this approach but sometimes numerical errors seem to result in the wrong Cesàro limit. Is there a more numerically stable approach?







      share|cite|improve this question













      Let $A$ be a stochastic matrix. Then
      beginalign*
      lim_t rightarrowinfty A^t
      endalign*



      may not exist. For example:
      beginalign*
      A &= beginbmatrix
      0 & 1 \
      1 & 0
      endbmatrix \
      A^2t &= I \
      A^2t+1 &= A
      endalign*



      Now define the Cesàro limit $A^infty$ of $A$ to be
      beginalign*
      lim_t rightarrow infty frac1t sum_k=0^t-1 A^k
      endalign*



      Then, for the above example,
      beginalign*
      A^infty = beginbmatrix
      frac12 & frac12 \
      frac12 & frac12
      endbmatrix
      endalign*



      Intuitively, $A^infty$ represents the long-run average amount of time spent in each state of the Markov chain described by $A$. My question is this: Does every (finite) stochastic matrix have a Cesàro limit? If so, what is the most efficient algorithm for finding this limit?



      According to this article, $R^2 = R = RA = AR$ and rank $R geq $ rank $A^infty$ implies $R = A^infty$.



      It appears that the rows of $A^infty$ are the normalized eigenvectors of $A^top$ that have a corresponding eigenvalue of 1. How does one determine the correct order and repetition of such eigenvectors, algorithmically?



      EDIT: According to this article, the Cesàro limit is guaranteed to exist and is equal to the eigenprojection for the eigenvalue 1 of $A$.



      EDIT 2: According to this article,



      $$A^infty = X (Y^* X)^-1 Y^*$$



      where $X$ are the eigenvectors of $A$ with eigenvalue 1 and $Y$ are the eigenvectors of $A^top$ with eigenvalue 1. I generally get the right result with this approach but sometimes numerical errors seem to result in the wrong Cesàro limit. Is there a more numerically stable approach?









      share|cite|improve this question












      share|cite|improve this question




      share|cite|improve this question








      edited Jul 27 at 20:13
























      asked Jul 27 at 4:46









      user76284

      1,1541021




      1,1541021




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          1
          down vote













          As any entry of $A^k$ is between $0$ and $1$, the sequence $$S_k=frac1t sum_k=0^t-1$$ consists of matrices with entries bounded between $0$ and $1$, and each entry is monotone (weakly) increasing in $k$. So by the monotone sequence theorem, the Cesàro limit exists for any stochastic matrix $A$.



          I have no idea what to do about efficiently computing this limit.






          share|cite|improve this answer





















            Your Answer




            StackExchange.ifUsing("editor", function ()
            return StackExchange.using("mathjaxEditing", function ()
            StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
            StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
            );
            );
            , "mathjax-editing");

            StackExchange.ready(function()
            var channelOptions =
            tags: "".split(" "),
            id: "69"
            ;
            initTagRenderer("".split(" "), "".split(" "), channelOptions);

            StackExchange.using("externalEditor", function()
            // Have to fire editor after snippets, if snippets enabled
            if (StackExchange.settings.snippets.snippetsEnabled)
            StackExchange.using("snippets", function()
            createEditor();
            );

            else
            createEditor();

            );

            function createEditor()
            StackExchange.prepareEditor(
            heartbeatType: 'answer',
            convertImagesToLinks: true,
            noModals: false,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            noCode: true, onDemand: true,
            discardSelector: ".discard-answer"
            ,immediatelyShowMarkdownHelp:true
            );



            );








             

            draft saved


            draft discarded


















            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2864062%2fces%25c3%25a0ro-limit-of-a-stochastic-matrix%23new-answer', 'question_page');

            );

            Post as a guest






























            1 Answer
            1






            active

            oldest

            votes








            1 Answer
            1






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            1
            down vote













            As any entry of $A^k$ is between $0$ and $1$, the sequence $$S_k=frac1t sum_k=0^t-1$$ consists of matrices with entries bounded between $0$ and $1$, and each entry is monotone (weakly) increasing in $k$. So by the monotone sequence theorem, the Cesàro limit exists for any stochastic matrix $A$.



            I have no idea what to do about efficiently computing this limit.






            share|cite|improve this answer

























              up vote
              1
              down vote













              As any entry of $A^k$ is between $0$ and $1$, the sequence $$S_k=frac1t sum_k=0^t-1$$ consists of matrices with entries bounded between $0$ and $1$, and each entry is monotone (weakly) increasing in $k$. So by the monotone sequence theorem, the Cesàro limit exists for any stochastic matrix $A$.



              I have no idea what to do about efficiently computing this limit.






              share|cite|improve this answer























                up vote
                1
                down vote










                up vote
                1
                down vote









                As any entry of $A^k$ is between $0$ and $1$, the sequence $$S_k=frac1t sum_k=0^t-1$$ consists of matrices with entries bounded between $0$ and $1$, and each entry is monotone (weakly) increasing in $k$. So by the monotone sequence theorem, the Cesàro limit exists for any stochastic matrix $A$.



                I have no idea what to do about efficiently computing this limit.






                share|cite|improve this answer













                As any entry of $A^k$ is between $0$ and $1$, the sequence $$S_k=frac1t sum_k=0^t-1$$ consists of matrices with entries bounded between $0$ and $1$, and each entry is monotone (weakly) increasing in $k$. So by the monotone sequence theorem, the Cesàro limit exists for any stochastic matrix $A$.



                I have no idea what to do about efficiently computing this limit.







                share|cite|improve this answer













                share|cite|improve this answer



                share|cite|improve this answer











                answered Jul 27 at 6:52









                Kusma

                1,097111




                1,097111






















                     

                    draft saved


                    draft discarded


























                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function ()
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2864062%2fces%25c3%25a0ro-limit-of-a-stochastic-matrix%23new-answer', 'question_page');

                    );

                    Post as a guest













































































                    Comments

                    Popular posts from this blog

                    What is the equation of a 3D cone with generalised tilt?

                    Color the edges and diagonals of a regular polygon

                    Relationship between determinant of matrix and determinant of adjoint?