Why is every irreducible matrix with period 1 primitive?












3














In a certain text on Perron-Frobenius theory, it is postulated that every irreducible nonnegative matrix with period $1$ is primitive and this proposition is said to be obvious. However, when I tried to prove the theorem by myself, I found that I was unable to come up with a formal proof. Intuitively, of course, I am sure that the theorem holds (and the converse statement is in fact easy to prove), but I am unable to prove it.



According to the text, the theorem should be obvious from the graph-theoretic interpretation of these notions. For a given nonnegative matrix, it is possible to construct a digraph as follows: There is an edge from the $i$-th vertex to the $j$-th vertex if and only if the entry $(i,j)$ of the matrix is positive. Thus, the matrix is irreducible if and only if its digraph is strongly connected. The period is defined to be the greatest common divisor of lengths of cycles (more precisely, the closed paths) of the graph. And finally, the matrix is said to be primitive if there is a positive integer $n$ such that for each pair of vertices of the graph there is a path of length $n$ interconnecting these vertices.



The theorem to be proved can thus be restated as follows: For every strongly connected digraph with the greatest common divisor of the lengths of closed paths equal to $1$, there is a positive integer $n$ such that for every pair of vertices of the digraph there is a path of length $n$ interconnecting these vertices.



It seems to me that the theorem might be proved by means of number theory, but I have not been able to find a proof up to now. To be more specific, I am looking for a proof without the use of the Perron-Frobenius theorem (the proposition is used in the text to prove the Perron-Frobenius theorem). Any ideas?



Thank you in advance.










share|cite|improve this question
























  • Hi -- I did some copyediting -- note that "each" and "every" are largely synonymous, but "each" is usually only used for a finite number of things.
    – joriki
    Jul 18 '12 at 9:44






  • 1




    Here's one approach. first show that aperiodicity+irreducibility implies that for any vertex $v$, there is an integer $N$ such that for every $n>N$, there is a closed path of length $n$ going from $v$ to $v$. Then show that this and irreducibility implies primitivity.
    – Colin McQuillan
    Jul 18 '12 at 10:00
















3














In a certain text on Perron-Frobenius theory, it is postulated that every irreducible nonnegative matrix with period $1$ is primitive and this proposition is said to be obvious. However, when I tried to prove the theorem by myself, I found that I was unable to come up with a formal proof. Intuitively, of course, I am sure that the theorem holds (and the converse statement is in fact easy to prove), but I am unable to prove it.



According to the text, the theorem should be obvious from the graph-theoretic interpretation of these notions. For a given nonnegative matrix, it is possible to construct a digraph as follows: There is an edge from the $i$-th vertex to the $j$-th vertex if and only if the entry $(i,j)$ of the matrix is positive. Thus, the matrix is irreducible if and only if its digraph is strongly connected. The period is defined to be the greatest common divisor of lengths of cycles (more precisely, the closed paths) of the graph. And finally, the matrix is said to be primitive if there is a positive integer $n$ such that for each pair of vertices of the graph there is a path of length $n$ interconnecting these vertices.



The theorem to be proved can thus be restated as follows: For every strongly connected digraph with the greatest common divisor of the lengths of closed paths equal to $1$, there is a positive integer $n$ such that for every pair of vertices of the digraph there is a path of length $n$ interconnecting these vertices.



It seems to me that the theorem might be proved by means of number theory, but I have not been able to find a proof up to now. To be more specific, I am looking for a proof without the use of the Perron-Frobenius theorem (the proposition is used in the text to prove the Perron-Frobenius theorem). Any ideas?



Thank you in advance.










share|cite|improve this question
























  • Hi -- I did some copyediting -- note that "each" and "every" are largely synonymous, but "each" is usually only used for a finite number of things.
    – joriki
    Jul 18 '12 at 9:44






  • 1




    Here's one approach. first show that aperiodicity+irreducibility implies that for any vertex $v$, there is an integer $N$ such that for every $n>N$, there is a closed path of length $n$ going from $v$ to $v$. Then show that this and irreducibility implies primitivity.
    – Colin McQuillan
    Jul 18 '12 at 10:00














3












3








3


4





In a certain text on Perron-Frobenius theory, it is postulated that every irreducible nonnegative matrix with period $1$ is primitive and this proposition is said to be obvious. However, when I tried to prove the theorem by myself, I found that I was unable to come up with a formal proof. Intuitively, of course, I am sure that the theorem holds (and the converse statement is in fact easy to prove), but I am unable to prove it.



According to the text, the theorem should be obvious from the graph-theoretic interpretation of these notions. For a given nonnegative matrix, it is possible to construct a digraph as follows: There is an edge from the $i$-th vertex to the $j$-th vertex if and only if the entry $(i,j)$ of the matrix is positive. Thus, the matrix is irreducible if and only if its digraph is strongly connected. The period is defined to be the greatest common divisor of lengths of cycles (more precisely, the closed paths) of the graph. And finally, the matrix is said to be primitive if there is a positive integer $n$ such that for each pair of vertices of the graph there is a path of length $n$ interconnecting these vertices.



The theorem to be proved can thus be restated as follows: For every strongly connected digraph with the greatest common divisor of the lengths of closed paths equal to $1$, there is a positive integer $n$ such that for every pair of vertices of the digraph there is a path of length $n$ interconnecting these vertices.



It seems to me that the theorem might be proved by means of number theory, but I have not been able to find a proof up to now. To be more specific, I am looking for a proof without the use of the Perron-Frobenius theorem (the proposition is used in the text to prove the Perron-Frobenius theorem). Any ideas?



Thank you in advance.










share|cite|improve this question















In a certain text on Perron-Frobenius theory, it is postulated that every irreducible nonnegative matrix with period $1$ is primitive and this proposition is said to be obvious. However, when I tried to prove the theorem by myself, I found that I was unable to come up with a formal proof. Intuitively, of course, I am sure that the theorem holds (and the converse statement is in fact easy to prove), but I am unable to prove it.



According to the text, the theorem should be obvious from the graph-theoretic interpretation of these notions. For a given nonnegative matrix, it is possible to construct a digraph as follows: There is an edge from the $i$-th vertex to the $j$-th vertex if and only if the entry $(i,j)$ of the matrix is positive. Thus, the matrix is irreducible if and only if its digraph is strongly connected. The period is defined to be the greatest common divisor of lengths of cycles (more precisely, the closed paths) of the graph. And finally, the matrix is said to be primitive if there is a positive integer $n$ such that for each pair of vertices of the graph there is a path of length $n$ interconnecting these vertices.



The theorem to be proved can thus be restated as follows: For every strongly connected digraph with the greatest common divisor of the lengths of closed paths equal to $1$, there is a positive integer $n$ such that for every pair of vertices of the digraph there is a path of length $n$ interconnecting these vertices.



It seems to me that the theorem might be proved by means of number theory, but I have not been able to find a proof up to now. To be more specific, I am looking for a proof without the use of the Perron-Frobenius theorem (the proposition is used in the text to prove the Perron-Frobenius theorem). Any ideas?



Thank you in advance.







linear-algebra graph-theory markov-chains






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 17 '12 at 12:21







user940

















asked Jul 18 '12 at 9:01









042

585518




585518












  • Hi -- I did some copyediting -- note that "each" and "every" are largely synonymous, but "each" is usually only used for a finite number of things.
    – joriki
    Jul 18 '12 at 9:44






  • 1




    Here's one approach. first show that aperiodicity+irreducibility implies that for any vertex $v$, there is an integer $N$ such that for every $n>N$, there is a closed path of length $n$ going from $v$ to $v$. Then show that this and irreducibility implies primitivity.
    – Colin McQuillan
    Jul 18 '12 at 10:00


















  • Hi -- I did some copyediting -- note that "each" and "every" are largely synonymous, but "each" is usually only used for a finite number of things.
    – joriki
    Jul 18 '12 at 9:44






  • 1




    Here's one approach. first show that aperiodicity+irreducibility implies that for any vertex $v$, there is an integer $N$ such that for every $n>N$, there is a closed path of length $n$ going from $v$ to $v$. Then show that this and irreducibility implies primitivity.
    – Colin McQuillan
    Jul 18 '12 at 10:00
















Hi -- I did some copyediting -- note that "each" and "every" are largely synonymous, but "each" is usually only used for a finite number of things.
– joriki
Jul 18 '12 at 9:44




Hi -- I did some copyediting -- note that "each" and "every" are largely synonymous, but "each" is usually only used for a finite number of things.
– joriki
Jul 18 '12 at 9:44




1




1




Here's one approach. first show that aperiodicity+irreducibility implies that for any vertex $v$, there is an integer $N$ such that for every $n>N$, there is a closed path of length $n$ going from $v$ to $v$. Then show that this and irreducibility implies primitivity.
– Colin McQuillan
Jul 18 '12 at 10:00




Here's one approach. first show that aperiodicity+irreducibility implies that for any vertex $v$, there is an integer $N$ such that for every $n>N$, there is a closed path of length $n$ going from $v$ to $v$. Then show that this and irreducibility implies primitivity.
– Colin McQuillan
Jul 18 '12 at 10:00










2 Answers
2






active

oldest

votes


















6














Here is the argument given in section 1.3 of Gregory F. Lawler's Introduction to Stochastic Processes. It treats stochastic matrices $P$,
but I think the argument applies to general non-negative matrices.



For each state $i$ define $J_i={n: P^n(i,i)>0}$. This is a semigroup and since
we have assumed that $P$ is aperiodic, we have $gcd(J_i)=1$ and it follows that
$J_i$ contains all sufficiently large integers.
That is, there is some integer $M(i)$ so that for all $ngeq M(i)$ we have
$P^n(i,i)>0$.



Since $P$ is irreducible, there exists some $m(i,j)$ such that $P^{m(i,j)}(i,j)>0$.
Hence for $ngeq M(i)$,
$$P^{n+m(i,j)}(i,j)geq P^n(i,i),P^{m(i,j)}(i,j)>0.$$



Let $M$ be the maximum value of $M(i)+m(i,j)$ over all pairs $(i,j)$. Then
for $ngeq M$, $P^n(i,j)>0$ for all states $i,j$.



Essentially the same argument is found in section 1.3 of
Markov Chains and Mixing Times by Levin, Peres, and Wilmer. So it looks like probabilists have not found a better proof.






share|cite|improve this answer































    0














    If the matrix is irreducible, given two vertices you can find a path from one to the other that visits every cycle. Then you can add an arbitrary number of traversals of each cycle. By the Chinese remainder theorem, since the $gcd$ of the cycle lengths is $1$, you can make the path length have any residue you want modulo their $operatorname{lcm}$. You can also add integer multiples of the $operatorname{lcm}$ to the path length. Thus there is some integer such that you can achieve all path lengths greater than that, and the desired integer $n$ is the maximum of all these integers over all pairs of vertices.






    share|cite|improve this answer





















    • Thanks for the answer. My thoughts have followed a similar train of thought, however I have found this approach quite problematic. The first problem is that the Chinese remainder theorem (up to my poor knowledge of number theory) requires that those numbers are pairwise coprime. Thus, if the lengths of the cycles are for instance 4,6,9, and some more, there is a problem. Moreover, the second problem is that the cycles need not have a common vertex, and thus extra steps might be needed that spoil the property of the residue. However, it is possible that I have overlooked something.
      – 042
      Jul 18 '12 at 11:00












    • @042 The C.R.T. conditions can be "weakened" in some sense, from definition, $gcd(a_1,dots,a_k)$ is such positive integer $g$ that $a_1Bbb Z+a_2Bbb Z+dots+a_kBbb Z=gBbb Z$. Therefore if $g=1$, you can combine any number $n$ as an integer combination of $a_i$'s. To make it a natural combination notice that if you add $a_2cdot a_3dotsm a_k$ to the coefficient of $a_1$, the result will be the same modulo the $mathrm{lcm}$. This way you can arbitrarily enlarge all the coefficients.
      – yo'
      Dec 6 '12 at 15:02













    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',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    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%2f172313%2fwhy-is-every-irreducible-matrix-with-period-1-primitive%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    6














    Here is the argument given in section 1.3 of Gregory F. Lawler's Introduction to Stochastic Processes. It treats stochastic matrices $P$,
    but I think the argument applies to general non-negative matrices.



    For each state $i$ define $J_i={n: P^n(i,i)>0}$. This is a semigroup and since
    we have assumed that $P$ is aperiodic, we have $gcd(J_i)=1$ and it follows that
    $J_i$ contains all sufficiently large integers.
    That is, there is some integer $M(i)$ so that for all $ngeq M(i)$ we have
    $P^n(i,i)>0$.



    Since $P$ is irreducible, there exists some $m(i,j)$ such that $P^{m(i,j)}(i,j)>0$.
    Hence for $ngeq M(i)$,
    $$P^{n+m(i,j)}(i,j)geq P^n(i,i),P^{m(i,j)}(i,j)>0.$$



    Let $M$ be the maximum value of $M(i)+m(i,j)$ over all pairs $(i,j)$. Then
    for $ngeq M$, $P^n(i,j)>0$ for all states $i,j$.



    Essentially the same argument is found in section 1.3 of
    Markov Chains and Mixing Times by Levin, Peres, and Wilmer. So it looks like probabilists have not found a better proof.






    share|cite|improve this answer




























      6














      Here is the argument given in section 1.3 of Gregory F. Lawler's Introduction to Stochastic Processes. It treats stochastic matrices $P$,
      but I think the argument applies to general non-negative matrices.



      For each state $i$ define $J_i={n: P^n(i,i)>0}$. This is a semigroup and since
      we have assumed that $P$ is aperiodic, we have $gcd(J_i)=1$ and it follows that
      $J_i$ contains all sufficiently large integers.
      That is, there is some integer $M(i)$ so that for all $ngeq M(i)$ we have
      $P^n(i,i)>0$.



      Since $P$ is irreducible, there exists some $m(i,j)$ such that $P^{m(i,j)}(i,j)>0$.
      Hence for $ngeq M(i)$,
      $$P^{n+m(i,j)}(i,j)geq P^n(i,i),P^{m(i,j)}(i,j)>0.$$



      Let $M$ be the maximum value of $M(i)+m(i,j)$ over all pairs $(i,j)$. Then
      for $ngeq M$, $P^n(i,j)>0$ for all states $i,j$.



      Essentially the same argument is found in section 1.3 of
      Markov Chains and Mixing Times by Levin, Peres, and Wilmer. So it looks like probabilists have not found a better proof.






      share|cite|improve this answer


























        6












        6








        6






        Here is the argument given in section 1.3 of Gregory F. Lawler's Introduction to Stochastic Processes. It treats stochastic matrices $P$,
        but I think the argument applies to general non-negative matrices.



        For each state $i$ define $J_i={n: P^n(i,i)>0}$. This is a semigroup and since
        we have assumed that $P$ is aperiodic, we have $gcd(J_i)=1$ and it follows that
        $J_i$ contains all sufficiently large integers.
        That is, there is some integer $M(i)$ so that for all $ngeq M(i)$ we have
        $P^n(i,i)>0$.



        Since $P$ is irreducible, there exists some $m(i,j)$ such that $P^{m(i,j)}(i,j)>0$.
        Hence for $ngeq M(i)$,
        $$P^{n+m(i,j)}(i,j)geq P^n(i,i),P^{m(i,j)}(i,j)>0.$$



        Let $M$ be the maximum value of $M(i)+m(i,j)$ over all pairs $(i,j)$. Then
        for $ngeq M$, $P^n(i,j)>0$ for all states $i,j$.



        Essentially the same argument is found in section 1.3 of
        Markov Chains and Mixing Times by Levin, Peres, and Wilmer. So it looks like probabilists have not found a better proof.






        share|cite|improve this answer














        Here is the argument given in section 1.3 of Gregory F. Lawler's Introduction to Stochastic Processes. It treats stochastic matrices $P$,
        but I think the argument applies to general non-negative matrices.



        For each state $i$ define $J_i={n: P^n(i,i)>0}$. This is a semigroup and since
        we have assumed that $P$ is aperiodic, we have $gcd(J_i)=1$ and it follows that
        $J_i$ contains all sufficiently large integers.
        That is, there is some integer $M(i)$ so that for all $ngeq M(i)$ we have
        $P^n(i,i)>0$.



        Since $P$ is irreducible, there exists some $m(i,j)$ such that $P^{m(i,j)}(i,j)>0$.
        Hence for $ngeq M(i)$,
        $$P^{n+m(i,j)}(i,j)geq P^n(i,i),P^{m(i,j)}(i,j)>0.$$



        Let $M$ be the maximum value of $M(i)+m(i,j)$ over all pairs $(i,j)$. Then
        for $ngeq M$, $P^n(i,j)>0$ for all states $i,j$.



        Essentially the same argument is found in section 1.3 of
        Markov Chains and Mixing Times by Levin, Peres, and Wilmer. So it looks like probabilists have not found a better proof.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Sep 4 '12 at 2:24

























        answered Sep 4 '12 at 1:16







        user940






























            0














            If the matrix is irreducible, given two vertices you can find a path from one to the other that visits every cycle. Then you can add an arbitrary number of traversals of each cycle. By the Chinese remainder theorem, since the $gcd$ of the cycle lengths is $1$, you can make the path length have any residue you want modulo their $operatorname{lcm}$. You can also add integer multiples of the $operatorname{lcm}$ to the path length. Thus there is some integer such that you can achieve all path lengths greater than that, and the desired integer $n$ is the maximum of all these integers over all pairs of vertices.






            share|cite|improve this answer





















            • Thanks for the answer. My thoughts have followed a similar train of thought, however I have found this approach quite problematic. The first problem is that the Chinese remainder theorem (up to my poor knowledge of number theory) requires that those numbers are pairwise coprime. Thus, if the lengths of the cycles are for instance 4,6,9, and some more, there is a problem. Moreover, the second problem is that the cycles need not have a common vertex, and thus extra steps might be needed that spoil the property of the residue. However, it is possible that I have overlooked something.
              – 042
              Jul 18 '12 at 11:00












            • @042 The C.R.T. conditions can be "weakened" in some sense, from definition, $gcd(a_1,dots,a_k)$ is such positive integer $g$ that $a_1Bbb Z+a_2Bbb Z+dots+a_kBbb Z=gBbb Z$. Therefore if $g=1$, you can combine any number $n$ as an integer combination of $a_i$'s. To make it a natural combination notice that if you add $a_2cdot a_3dotsm a_k$ to the coefficient of $a_1$, the result will be the same modulo the $mathrm{lcm}$. This way you can arbitrarily enlarge all the coefficients.
              – yo'
              Dec 6 '12 at 15:02


















            0














            If the matrix is irreducible, given two vertices you can find a path from one to the other that visits every cycle. Then you can add an arbitrary number of traversals of each cycle. By the Chinese remainder theorem, since the $gcd$ of the cycle lengths is $1$, you can make the path length have any residue you want modulo their $operatorname{lcm}$. You can also add integer multiples of the $operatorname{lcm}$ to the path length. Thus there is some integer such that you can achieve all path lengths greater than that, and the desired integer $n$ is the maximum of all these integers over all pairs of vertices.






            share|cite|improve this answer





















            • Thanks for the answer. My thoughts have followed a similar train of thought, however I have found this approach quite problematic. The first problem is that the Chinese remainder theorem (up to my poor knowledge of number theory) requires that those numbers are pairwise coprime. Thus, if the lengths of the cycles are for instance 4,6,9, and some more, there is a problem. Moreover, the second problem is that the cycles need not have a common vertex, and thus extra steps might be needed that spoil the property of the residue. However, it is possible that I have overlooked something.
              – 042
              Jul 18 '12 at 11:00












            • @042 The C.R.T. conditions can be "weakened" in some sense, from definition, $gcd(a_1,dots,a_k)$ is such positive integer $g$ that $a_1Bbb Z+a_2Bbb Z+dots+a_kBbb Z=gBbb Z$. Therefore if $g=1$, you can combine any number $n$ as an integer combination of $a_i$'s. To make it a natural combination notice that if you add $a_2cdot a_3dotsm a_k$ to the coefficient of $a_1$, the result will be the same modulo the $mathrm{lcm}$. This way you can arbitrarily enlarge all the coefficients.
              – yo'
              Dec 6 '12 at 15:02
















            0












            0








            0






            If the matrix is irreducible, given two vertices you can find a path from one to the other that visits every cycle. Then you can add an arbitrary number of traversals of each cycle. By the Chinese remainder theorem, since the $gcd$ of the cycle lengths is $1$, you can make the path length have any residue you want modulo their $operatorname{lcm}$. You can also add integer multiples of the $operatorname{lcm}$ to the path length. Thus there is some integer such that you can achieve all path lengths greater than that, and the desired integer $n$ is the maximum of all these integers over all pairs of vertices.






            share|cite|improve this answer












            If the matrix is irreducible, given two vertices you can find a path from one to the other that visits every cycle. Then you can add an arbitrary number of traversals of each cycle. By the Chinese remainder theorem, since the $gcd$ of the cycle lengths is $1$, you can make the path length have any residue you want modulo their $operatorname{lcm}$. You can also add integer multiples of the $operatorname{lcm}$ to the path length. Thus there is some integer such that you can achieve all path lengths greater than that, and the desired integer $n$ is the maximum of all these integers over all pairs of vertices.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Jul 18 '12 at 10:48









            joriki

            170k10183342




            170k10183342












            • Thanks for the answer. My thoughts have followed a similar train of thought, however I have found this approach quite problematic. The first problem is that the Chinese remainder theorem (up to my poor knowledge of number theory) requires that those numbers are pairwise coprime. Thus, if the lengths of the cycles are for instance 4,6,9, and some more, there is a problem. Moreover, the second problem is that the cycles need not have a common vertex, and thus extra steps might be needed that spoil the property of the residue. However, it is possible that I have overlooked something.
              – 042
              Jul 18 '12 at 11:00












            • @042 The C.R.T. conditions can be "weakened" in some sense, from definition, $gcd(a_1,dots,a_k)$ is such positive integer $g$ that $a_1Bbb Z+a_2Bbb Z+dots+a_kBbb Z=gBbb Z$. Therefore if $g=1$, you can combine any number $n$ as an integer combination of $a_i$'s. To make it a natural combination notice that if you add $a_2cdot a_3dotsm a_k$ to the coefficient of $a_1$, the result will be the same modulo the $mathrm{lcm}$. This way you can arbitrarily enlarge all the coefficients.
              – yo'
              Dec 6 '12 at 15:02




















            • Thanks for the answer. My thoughts have followed a similar train of thought, however I have found this approach quite problematic. The first problem is that the Chinese remainder theorem (up to my poor knowledge of number theory) requires that those numbers are pairwise coprime. Thus, if the lengths of the cycles are for instance 4,6,9, and some more, there is a problem. Moreover, the second problem is that the cycles need not have a common vertex, and thus extra steps might be needed that spoil the property of the residue. However, it is possible that I have overlooked something.
              – 042
              Jul 18 '12 at 11:00












            • @042 The C.R.T. conditions can be "weakened" in some sense, from definition, $gcd(a_1,dots,a_k)$ is such positive integer $g$ that $a_1Bbb Z+a_2Bbb Z+dots+a_kBbb Z=gBbb Z$. Therefore if $g=1$, you can combine any number $n$ as an integer combination of $a_i$'s. To make it a natural combination notice that if you add $a_2cdot a_3dotsm a_k$ to the coefficient of $a_1$, the result will be the same modulo the $mathrm{lcm}$. This way you can arbitrarily enlarge all the coefficients.
              – yo'
              Dec 6 '12 at 15:02


















            Thanks for the answer. My thoughts have followed a similar train of thought, however I have found this approach quite problematic. The first problem is that the Chinese remainder theorem (up to my poor knowledge of number theory) requires that those numbers are pairwise coprime. Thus, if the lengths of the cycles are for instance 4,6,9, and some more, there is a problem. Moreover, the second problem is that the cycles need not have a common vertex, and thus extra steps might be needed that spoil the property of the residue. However, it is possible that I have overlooked something.
            – 042
            Jul 18 '12 at 11:00






            Thanks for the answer. My thoughts have followed a similar train of thought, however I have found this approach quite problematic. The first problem is that the Chinese remainder theorem (up to my poor knowledge of number theory) requires that those numbers are pairwise coprime. Thus, if the lengths of the cycles are for instance 4,6,9, and some more, there is a problem. Moreover, the second problem is that the cycles need not have a common vertex, and thus extra steps might be needed that spoil the property of the residue. However, it is possible that I have overlooked something.
            – 042
            Jul 18 '12 at 11:00














            @042 The C.R.T. conditions can be "weakened" in some sense, from definition, $gcd(a_1,dots,a_k)$ is such positive integer $g$ that $a_1Bbb Z+a_2Bbb Z+dots+a_kBbb Z=gBbb Z$. Therefore if $g=1$, you can combine any number $n$ as an integer combination of $a_i$'s. To make it a natural combination notice that if you add $a_2cdot a_3dotsm a_k$ to the coefficient of $a_1$, the result will be the same modulo the $mathrm{lcm}$. This way you can arbitrarily enlarge all the coefficients.
            – yo'
            Dec 6 '12 at 15:02






            @042 The C.R.T. conditions can be "weakened" in some sense, from definition, $gcd(a_1,dots,a_k)$ is such positive integer $g$ that $a_1Bbb Z+a_2Bbb Z+dots+a_kBbb Z=gBbb Z$. Therefore if $g=1$, you can combine any number $n$ as an integer combination of $a_i$'s. To make it a natural combination notice that if you add $a_2cdot a_3dotsm a_k$ to the coefficient of $a_1$, the result will be the same modulo the $mathrm{lcm}$. This way you can arbitrarily enlarge all the coefficients.
            – yo'
            Dec 6 '12 at 15:02




















            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f172313%2fwhy-is-every-irreducible-matrix-with-period-1-primitive%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Probability when a professor distributes a quiz and homework assignment to a class of n students.

            Aardman Animations

            Are they similar matrix