Product of binary matrices with binary eigenvalues

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











up vote
3
down vote

favorite
1












Consider two binary matrices with obvious patterns:



C=
[1 0 0 0 0 0 0]
[1 0 0 0 0 0 0]
[0 1 0 0 0 0 0]
[0 1 0 0 0 0 0]
[0 0 1 0 0 0 0]
[0 0 1 0 0 0 0]
[0 0 0 1 0 0 0]


and



T=
[1 1 0 0 0 0 0]
[0 1 1 0 0 0 0]
[0 0 1 1 0 0 0]
[0 0 0 1 1 0 0]
[0 0 0 0 1 1 0]
[0 0 0 0 0 1 1]
[0 0 0 0 0 0 1]


The eigenvalues of the matrices $T^n C,n=0,1,2,3$ are zeros and consecutive powers of $2$ equal to $0,1,2,4$. I'd like to have a proof of the generalization of this fact for matrices of larger size with the same patterns.



Note, the entries of $T^n C$ in the left upper corner are zeros and binomial coefficients for the power $n+1$.



A motivation for this question is in
Binary eigenvalues matrices and continued fractions







share|cite|improve this question


























    up vote
    3
    down vote

    favorite
    1












    Consider two binary matrices with obvious patterns:



    C=
    [1 0 0 0 0 0 0]
    [1 0 0 0 0 0 0]
    [0 1 0 0 0 0 0]
    [0 1 0 0 0 0 0]
    [0 0 1 0 0 0 0]
    [0 0 1 0 0 0 0]
    [0 0 0 1 0 0 0]


    and



    T=
    [1 1 0 0 0 0 0]
    [0 1 1 0 0 0 0]
    [0 0 1 1 0 0 0]
    [0 0 0 1 1 0 0]
    [0 0 0 0 1 1 0]
    [0 0 0 0 0 1 1]
    [0 0 0 0 0 0 1]


    The eigenvalues of the matrices $T^n C,n=0,1,2,3$ are zeros and consecutive powers of $2$ equal to $0,1,2,4$. I'd like to have a proof of the generalization of this fact for matrices of larger size with the same patterns.



    Note, the entries of $T^n C$ in the left upper corner are zeros and binomial coefficients for the power $n+1$.



    A motivation for this question is in
    Binary eigenvalues matrices and continued fractions







    share|cite|improve this question
























      up vote
      3
      down vote

      favorite
      1









      up vote
      3
      down vote

      favorite
      1






      1





      Consider two binary matrices with obvious patterns:



      C=
      [1 0 0 0 0 0 0]
      [1 0 0 0 0 0 0]
      [0 1 0 0 0 0 0]
      [0 1 0 0 0 0 0]
      [0 0 1 0 0 0 0]
      [0 0 1 0 0 0 0]
      [0 0 0 1 0 0 0]


      and



      T=
      [1 1 0 0 0 0 0]
      [0 1 1 0 0 0 0]
      [0 0 1 1 0 0 0]
      [0 0 0 1 1 0 0]
      [0 0 0 0 1 1 0]
      [0 0 0 0 0 1 1]
      [0 0 0 0 0 0 1]


      The eigenvalues of the matrices $T^n C,n=0,1,2,3$ are zeros and consecutive powers of $2$ equal to $0,1,2,4$. I'd like to have a proof of the generalization of this fact for matrices of larger size with the same patterns.



      Note, the entries of $T^n C$ in the left upper corner are zeros and binomial coefficients for the power $n+1$.



      A motivation for this question is in
      Binary eigenvalues matrices and continued fractions







      share|cite|improve this question














      Consider two binary matrices with obvious patterns:



      C=
      [1 0 0 0 0 0 0]
      [1 0 0 0 0 0 0]
      [0 1 0 0 0 0 0]
      [0 1 0 0 0 0 0]
      [0 0 1 0 0 0 0]
      [0 0 1 0 0 0 0]
      [0 0 0 1 0 0 0]


      and



      T=
      [1 1 0 0 0 0 0]
      [0 1 1 0 0 0 0]
      [0 0 1 1 0 0 0]
      [0 0 0 1 1 0 0]
      [0 0 0 0 1 1 0]
      [0 0 0 0 0 1 1]
      [0 0 0 0 0 0 1]


      The eigenvalues of the matrices $T^n C,n=0,1,2,3$ are zeros and consecutive powers of $2$ equal to $0,1,2,4$. I'd like to have a proof of the generalization of this fact for matrices of larger size with the same patterns.



      Note, the entries of $T^n C$ in the left upper corner are zeros and binomial coefficients for the power $n+1$.



      A motivation for this question is in
      Binary eigenvalues matrices and continued fractions









      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Aug 18 at 3:38









      Omnomnomnom

      122k784170




      122k784170










      asked Aug 18 at 3:27









      DVD

      353424




      353424




















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          2
          down vote













          Some thoughts:



          Note that $T = I + N$, where $I$ is the identity matrix and
          $$
          N = pmatrix0&1\&0&1\&&0&1\&&&0&1\&&&&0&1\&&&&&0&1\&&&&&&0
          $$
          Notably, $N^7 = 0$. Because $NI = IN$, we can compute $T^n = (I + N)^n$ by binomial expansion. That is, we have
          $$
          T^n = binom n0 I + binom n1 N + cdots + binom n6 N^6
          $$
          We can verify that $T^n$ is therefore the upper triangular Toeplitz matrix for which, in the notation of the linked wiki page, we have $a_-k = binom nk$ whenever $0 leq k leq n$ and all other entries are $0$.



          With that, we may compute
          $$
          T^n C = pmatrixbinom n0 + binom n1 & binom n2 + binom n3 & binom n4 + binom n5 & binom n6 &0&0&0\
          binom n0 & binom n1 + binom n2 & binom n3 + binom n4 & binom n5 & 0&0&0\
          0 & binom n0 + binom n1 & binom n2 + binom n3 & binom n4 & 0&0&0\
          0 & binom n0 & binom n1 + binom n2 & binom n3 & 0&0&0\
          0 & 0 & binom n0 + binom n1 & binom n2 & 0&0&0\
          0 & 0 & binom n0 & binom n1 & 0&0&0\
          0 & 0 & 0 & binom n0 & 0&0&0\
          $$






          share|cite|improve this answer


















          • 1




            Note that the characteristic polynomial of $T^n C$ does not factor into linear terms for $n = 4$. I suspect that for $N times N$-matrices, we only should expect powers of $2$ and zeros for $n leq leftlfloor N/2 rightrfloor$.
            – darij grinberg
            Aug 18 at 21:31







          • 1




            An approach that seems promising is to compute the characteristic polynomial of $T^n C$ as $det left(X I_N - T^n Cright)$. The matrix $X I_N - T^n C$ is block-triangular, so we only need to find the determinant of its northwestern $4times 4$-block. The corresponding block of $T^n C$ has $left(i, jright)$-th entry $dbinomn2j-i + dbinomn2j-i-1 = dbinomn+12j-i$; I recall such a matrix appear in the work of Christian Krattenthaler, possibly even on MathOverflow.
            – darij grinberg
            Aug 18 at 21:41







          • 1




            Note that the only matrices we need to study are the $n times n$-matrices $B_n$ whose $left(i,jright)$-th entry is $dbinomn+12j-i$ for all $i, j in left1,2,ldots,nright$. Once we know the characteristic polynomial of this $B_n$ (which I conjecture to be $left(X-2^1right)left(X-2^2right)cdotsleft(X-2^nright)$), we'll obtain those of $T^n C$ for all $N geq 2n$ using their block-triangular structure. Note that the product of the eigenvalues reminds me of the Aztec diamond.
            – darij grinberg
            Aug 18 at 23:05







          • 1




            Okay, it is definitely true that $detleft(B_nright) = 2^1+2+cdots+n$ (so the product of the eigenvalues is correct). This follows from considering $B_n$ as the matrix in the Jacobi-Trudi formula for the skew Schur polynomial $s_left(n,n,ldots,nright) / left(n-1,n-2,ldots,1,0right)left(1,1,ldots,1right)$ in $n+1$ variables all set to $1$ (written in terms of the elementary symmetric functions). But this is probably a dead end; I have never heard anything about characteristic polynomials of Jacobi-Trudi matrices.
            – darij grinberg
            Aug 18 at 23:17







          • 1




            Okay, the first eigenvalue ($2$) stands: Let $v_n$ be the column vector whose $i$-th entry (for $i = 1, 2, ldots, n$) is $left(-1right)^i-1 dbinomn-1i-1$. Then, $B_n v = 2 v$. The other eigenvectors look less simple, however.
            – darij grinberg
            Aug 18 at 23:51

















          up vote
          0
          down vote



          accepted










          The left upper block of the matrix $T^n C$ can be conjugated to upper triangular one with the eigenvalues on diagonal by Pascal triangle matrix.



          @Suvrit https://mathoverflow.net/questions/258284/is-the-matrix-left2m-choose-2j-i-right-i-j-12m-1-nonsingular






          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%2f2886392%2fproduct-of-binary-matrices-with-binary-eigenvalues%23new-answer', 'question_page');

            );

            Post as a guest






























            2 Answers
            2






            active

            oldest

            votes








            2 Answers
            2






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            2
            down vote













            Some thoughts:



            Note that $T = I + N$, where $I$ is the identity matrix and
            $$
            N = pmatrix0&1\&0&1\&&0&1\&&&0&1\&&&&0&1\&&&&&0&1\&&&&&&0
            $$
            Notably, $N^7 = 0$. Because $NI = IN$, we can compute $T^n = (I + N)^n$ by binomial expansion. That is, we have
            $$
            T^n = binom n0 I + binom n1 N + cdots + binom n6 N^6
            $$
            We can verify that $T^n$ is therefore the upper triangular Toeplitz matrix for which, in the notation of the linked wiki page, we have $a_-k = binom nk$ whenever $0 leq k leq n$ and all other entries are $0$.



            With that, we may compute
            $$
            T^n C = pmatrixbinom n0 + binom n1 & binom n2 + binom n3 & binom n4 + binom n5 & binom n6 &0&0&0\
            binom n0 & binom n1 + binom n2 & binom n3 + binom n4 & binom n5 & 0&0&0\
            0 & binom n0 + binom n1 & binom n2 + binom n3 & binom n4 & 0&0&0\
            0 & binom n0 & binom n1 + binom n2 & binom n3 & 0&0&0\
            0 & 0 & binom n0 + binom n1 & binom n2 & 0&0&0\
            0 & 0 & binom n0 & binom n1 & 0&0&0\
            0 & 0 & 0 & binom n0 & 0&0&0\
            $$






            share|cite|improve this answer


















            • 1




              Note that the characteristic polynomial of $T^n C$ does not factor into linear terms for $n = 4$. I suspect that for $N times N$-matrices, we only should expect powers of $2$ and zeros for $n leq leftlfloor N/2 rightrfloor$.
              – darij grinberg
              Aug 18 at 21:31







            • 1




              An approach that seems promising is to compute the characteristic polynomial of $T^n C$ as $det left(X I_N - T^n Cright)$. The matrix $X I_N - T^n C$ is block-triangular, so we only need to find the determinant of its northwestern $4times 4$-block. The corresponding block of $T^n C$ has $left(i, jright)$-th entry $dbinomn2j-i + dbinomn2j-i-1 = dbinomn+12j-i$; I recall such a matrix appear in the work of Christian Krattenthaler, possibly even on MathOverflow.
              – darij grinberg
              Aug 18 at 21:41







            • 1




              Note that the only matrices we need to study are the $n times n$-matrices $B_n$ whose $left(i,jright)$-th entry is $dbinomn+12j-i$ for all $i, j in left1,2,ldots,nright$. Once we know the characteristic polynomial of this $B_n$ (which I conjecture to be $left(X-2^1right)left(X-2^2right)cdotsleft(X-2^nright)$), we'll obtain those of $T^n C$ for all $N geq 2n$ using their block-triangular structure. Note that the product of the eigenvalues reminds me of the Aztec diamond.
              – darij grinberg
              Aug 18 at 23:05







            • 1




              Okay, it is definitely true that $detleft(B_nright) = 2^1+2+cdots+n$ (so the product of the eigenvalues is correct). This follows from considering $B_n$ as the matrix in the Jacobi-Trudi formula for the skew Schur polynomial $s_left(n,n,ldots,nright) / left(n-1,n-2,ldots,1,0right)left(1,1,ldots,1right)$ in $n+1$ variables all set to $1$ (written in terms of the elementary symmetric functions). But this is probably a dead end; I have never heard anything about characteristic polynomials of Jacobi-Trudi matrices.
              – darij grinberg
              Aug 18 at 23:17







            • 1




              Okay, the first eigenvalue ($2$) stands: Let $v_n$ be the column vector whose $i$-th entry (for $i = 1, 2, ldots, n$) is $left(-1right)^i-1 dbinomn-1i-1$. Then, $B_n v = 2 v$. The other eigenvectors look less simple, however.
              – darij grinberg
              Aug 18 at 23:51














            up vote
            2
            down vote













            Some thoughts:



            Note that $T = I + N$, where $I$ is the identity matrix and
            $$
            N = pmatrix0&1\&0&1\&&0&1\&&&0&1\&&&&0&1\&&&&&0&1\&&&&&&0
            $$
            Notably, $N^7 = 0$. Because $NI = IN$, we can compute $T^n = (I + N)^n$ by binomial expansion. That is, we have
            $$
            T^n = binom n0 I + binom n1 N + cdots + binom n6 N^6
            $$
            We can verify that $T^n$ is therefore the upper triangular Toeplitz matrix for which, in the notation of the linked wiki page, we have $a_-k = binom nk$ whenever $0 leq k leq n$ and all other entries are $0$.



            With that, we may compute
            $$
            T^n C = pmatrixbinom n0 + binom n1 & binom n2 + binom n3 & binom n4 + binom n5 & binom n6 &0&0&0\
            binom n0 & binom n1 + binom n2 & binom n3 + binom n4 & binom n5 & 0&0&0\
            0 & binom n0 + binom n1 & binom n2 + binom n3 & binom n4 & 0&0&0\
            0 & binom n0 & binom n1 + binom n2 & binom n3 & 0&0&0\
            0 & 0 & binom n0 + binom n1 & binom n2 & 0&0&0\
            0 & 0 & binom n0 & binom n1 & 0&0&0\
            0 & 0 & 0 & binom n0 & 0&0&0\
            $$






            share|cite|improve this answer


















            • 1




              Note that the characteristic polynomial of $T^n C$ does not factor into linear terms for $n = 4$. I suspect that for $N times N$-matrices, we only should expect powers of $2$ and zeros for $n leq leftlfloor N/2 rightrfloor$.
              – darij grinberg
              Aug 18 at 21:31







            • 1




              An approach that seems promising is to compute the characteristic polynomial of $T^n C$ as $det left(X I_N - T^n Cright)$. The matrix $X I_N - T^n C$ is block-triangular, so we only need to find the determinant of its northwestern $4times 4$-block. The corresponding block of $T^n C$ has $left(i, jright)$-th entry $dbinomn2j-i + dbinomn2j-i-1 = dbinomn+12j-i$; I recall such a matrix appear in the work of Christian Krattenthaler, possibly even on MathOverflow.
              – darij grinberg
              Aug 18 at 21:41







            • 1




              Note that the only matrices we need to study are the $n times n$-matrices $B_n$ whose $left(i,jright)$-th entry is $dbinomn+12j-i$ for all $i, j in left1,2,ldots,nright$. Once we know the characteristic polynomial of this $B_n$ (which I conjecture to be $left(X-2^1right)left(X-2^2right)cdotsleft(X-2^nright)$), we'll obtain those of $T^n C$ for all $N geq 2n$ using their block-triangular structure. Note that the product of the eigenvalues reminds me of the Aztec diamond.
              – darij grinberg
              Aug 18 at 23:05







            • 1




              Okay, it is definitely true that $detleft(B_nright) = 2^1+2+cdots+n$ (so the product of the eigenvalues is correct). This follows from considering $B_n$ as the matrix in the Jacobi-Trudi formula for the skew Schur polynomial $s_left(n,n,ldots,nright) / left(n-1,n-2,ldots,1,0right)left(1,1,ldots,1right)$ in $n+1$ variables all set to $1$ (written in terms of the elementary symmetric functions). But this is probably a dead end; I have never heard anything about characteristic polynomials of Jacobi-Trudi matrices.
              – darij grinberg
              Aug 18 at 23:17







            • 1




              Okay, the first eigenvalue ($2$) stands: Let $v_n$ be the column vector whose $i$-th entry (for $i = 1, 2, ldots, n$) is $left(-1right)^i-1 dbinomn-1i-1$. Then, $B_n v = 2 v$. The other eigenvectors look less simple, however.
              – darij grinberg
              Aug 18 at 23:51












            up vote
            2
            down vote










            up vote
            2
            down vote









            Some thoughts:



            Note that $T = I + N$, where $I$ is the identity matrix and
            $$
            N = pmatrix0&1\&0&1\&&0&1\&&&0&1\&&&&0&1\&&&&&0&1\&&&&&&0
            $$
            Notably, $N^7 = 0$. Because $NI = IN$, we can compute $T^n = (I + N)^n$ by binomial expansion. That is, we have
            $$
            T^n = binom n0 I + binom n1 N + cdots + binom n6 N^6
            $$
            We can verify that $T^n$ is therefore the upper triangular Toeplitz matrix for which, in the notation of the linked wiki page, we have $a_-k = binom nk$ whenever $0 leq k leq n$ and all other entries are $0$.



            With that, we may compute
            $$
            T^n C = pmatrixbinom n0 + binom n1 & binom n2 + binom n3 & binom n4 + binom n5 & binom n6 &0&0&0\
            binom n0 & binom n1 + binom n2 & binom n3 + binom n4 & binom n5 & 0&0&0\
            0 & binom n0 + binom n1 & binom n2 + binom n3 & binom n4 & 0&0&0\
            0 & binom n0 & binom n1 + binom n2 & binom n3 & 0&0&0\
            0 & 0 & binom n0 + binom n1 & binom n2 & 0&0&0\
            0 & 0 & binom n0 & binom n1 & 0&0&0\
            0 & 0 & 0 & binom n0 & 0&0&0\
            $$






            share|cite|improve this answer














            Some thoughts:



            Note that $T = I + N$, where $I$ is the identity matrix and
            $$
            N = pmatrix0&1\&0&1\&&0&1\&&&0&1\&&&&0&1\&&&&&0&1\&&&&&&0
            $$
            Notably, $N^7 = 0$. Because $NI = IN$, we can compute $T^n = (I + N)^n$ by binomial expansion. That is, we have
            $$
            T^n = binom n0 I + binom n1 N + cdots + binom n6 N^6
            $$
            We can verify that $T^n$ is therefore the upper triangular Toeplitz matrix for which, in the notation of the linked wiki page, we have $a_-k = binom nk$ whenever $0 leq k leq n$ and all other entries are $0$.



            With that, we may compute
            $$
            T^n C = pmatrixbinom n0 + binom n1 & binom n2 + binom n3 & binom n4 + binom n5 & binom n6 &0&0&0\
            binom n0 & binom n1 + binom n2 & binom n3 + binom n4 & binom n5 & 0&0&0\
            0 & binom n0 + binom n1 & binom n2 + binom n3 & binom n4 & 0&0&0\
            0 & binom n0 & binom n1 + binom n2 & binom n3 & 0&0&0\
            0 & 0 & binom n0 + binom n1 & binom n2 & 0&0&0\
            0 & 0 & binom n0 & binom n1 & 0&0&0\
            0 & 0 & 0 & binom n0 & 0&0&0\
            $$







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            answered Aug 18 at 4:01


























            community wiki





            Omnomnomnom








            • 1




              Note that the characteristic polynomial of $T^n C$ does not factor into linear terms for $n = 4$. I suspect that for $N times N$-matrices, we only should expect powers of $2$ and zeros for $n leq leftlfloor N/2 rightrfloor$.
              – darij grinberg
              Aug 18 at 21:31







            • 1




              An approach that seems promising is to compute the characteristic polynomial of $T^n C$ as $det left(X I_N - T^n Cright)$. The matrix $X I_N - T^n C$ is block-triangular, so we only need to find the determinant of its northwestern $4times 4$-block. The corresponding block of $T^n C$ has $left(i, jright)$-th entry $dbinomn2j-i + dbinomn2j-i-1 = dbinomn+12j-i$; I recall such a matrix appear in the work of Christian Krattenthaler, possibly even on MathOverflow.
              – darij grinberg
              Aug 18 at 21:41







            • 1




              Note that the only matrices we need to study are the $n times n$-matrices $B_n$ whose $left(i,jright)$-th entry is $dbinomn+12j-i$ for all $i, j in left1,2,ldots,nright$. Once we know the characteristic polynomial of this $B_n$ (which I conjecture to be $left(X-2^1right)left(X-2^2right)cdotsleft(X-2^nright)$), we'll obtain those of $T^n C$ for all $N geq 2n$ using their block-triangular structure. Note that the product of the eigenvalues reminds me of the Aztec diamond.
              – darij grinberg
              Aug 18 at 23:05







            • 1




              Okay, it is definitely true that $detleft(B_nright) = 2^1+2+cdots+n$ (so the product of the eigenvalues is correct). This follows from considering $B_n$ as the matrix in the Jacobi-Trudi formula for the skew Schur polynomial $s_left(n,n,ldots,nright) / left(n-1,n-2,ldots,1,0right)left(1,1,ldots,1right)$ in $n+1$ variables all set to $1$ (written in terms of the elementary symmetric functions). But this is probably a dead end; I have never heard anything about characteristic polynomials of Jacobi-Trudi matrices.
              – darij grinberg
              Aug 18 at 23:17







            • 1




              Okay, the first eigenvalue ($2$) stands: Let $v_n$ be the column vector whose $i$-th entry (for $i = 1, 2, ldots, n$) is $left(-1right)^i-1 dbinomn-1i-1$. Then, $B_n v = 2 v$. The other eigenvectors look less simple, however.
              – darij grinberg
              Aug 18 at 23:51












            • 1




              Note that the characteristic polynomial of $T^n C$ does not factor into linear terms for $n = 4$. I suspect that for $N times N$-matrices, we only should expect powers of $2$ and zeros for $n leq leftlfloor N/2 rightrfloor$.
              – darij grinberg
              Aug 18 at 21:31







            • 1




              An approach that seems promising is to compute the characteristic polynomial of $T^n C$ as $det left(X I_N - T^n Cright)$. The matrix $X I_N - T^n C$ is block-triangular, so we only need to find the determinant of its northwestern $4times 4$-block. The corresponding block of $T^n C$ has $left(i, jright)$-th entry $dbinomn2j-i + dbinomn2j-i-1 = dbinomn+12j-i$; I recall such a matrix appear in the work of Christian Krattenthaler, possibly even on MathOverflow.
              – darij grinberg
              Aug 18 at 21:41







            • 1




              Note that the only matrices we need to study are the $n times n$-matrices $B_n$ whose $left(i,jright)$-th entry is $dbinomn+12j-i$ for all $i, j in left1,2,ldots,nright$. Once we know the characteristic polynomial of this $B_n$ (which I conjecture to be $left(X-2^1right)left(X-2^2right)cdotsleft(X-2^nright)$), we'll obtain those of $T^n C$ for all $N geq 2n$ using their block-triangular structure. Note that the product of the eigenvalues reminds me of the Aztec diamond.
              – darij grinberg
              Aug 18 at 23:05







            • 1




              Okay, it is definitely true that $detleft(B_nright) = 2^1+2+cdots+n$ (so the product of the eigenvalues is correct). This follows from considering $B_n$ as the matrix in the Jacobi-Trudi formula for the skew Schur polynomial $s_left(n,n,ldots,nright) / left(n-1,n-2,ldots,1,0right)left(1,1,ldots,1right)$ in $n+1$ variables all set to $1$ (written in terms of the elementary symmetric functions). But this is probably a dead end; I have never heard anything about characteristic polynomials of Jacobi-Trudi matrices.
              – darij grinberg
              Aug 18 at 23:17







            • 1




              Okay, the first eigenvalue ($2$) stands: Let $v_n$ be the column vector whose $i$-th entry (for $i = 1, 2, ldots, n$) is $left(-1right)^i-1 dbinomn-1i-1$. Then, $B_n v = 2 v$. The other eigenvectors look less simple, however.
              – darij grinberg
              Aug 18 at 23:51







            1




            1




            Note that the characteristic polynomial of $T^n C$ does not factor into linear terms for $n = 4$. I suspect that for $N times N$-matrices, we only should expect powers of $2$ and zeros for $n leq leftlfloor N/2 rightrfloor$.
            – darij grinberg
            Aug 18 at 21:31





            Note that the characteristic polynomial of $T^n C$ does not factor into linear terms for $n = 4$. I suspect that for $N times N$-matrices, we only should expect powers of $2$ and zeros for $n leq leftlfloor N/2 rightrfloor$.
            – darij grinberg
            Aug 18 at 21:31





            1




            1




            An approach that seems promising is to compute the characteristic polynomial of $T^n C$ as $det left(X I_N - T^n Cright)$. The matrix $X I_N - T^n C$ is block-triangular, so we only need to find the determinant of its northwestern $4times 4$-block. The corresponding block of $T^n C$ has $left(i, jright)$-th entry $dbinomn2j-i + dbinomn2j-i-1 = dbinomn+12j-i$; I recall such a matrix appear in the work of Christian Krattenthaler, possibly even on MathOverflow.
            – darij grinberg
            Aug 18 at 21:41





            An approach that seems promising is to compute the characteristic polynomial of $T^n C$ as $det left(X I_N - T^n Cright)$. The matrix $X I_N - T^n C$ is block-triangular, so we only need to find the determinant of its northwestern $4times 4$-block. The corresponding block of $T^n C$ has $left(i, jright)$-th entry $dbinomn2j-i + dbinomn2j-i-1 = dbinomn+12j-i$; I recall such a matrix appear in the work of Christian Krattenthaler, possibly even on MathOverflow.
            – darij grinberg
            Aug 18 at 21:41





            1




            1




            Note that the only matrices we need to study are the $n times n$-matrices $B_n$ whose $left(i,jright)$-th entry is $dbinomn+12j-i$ for all $i, j in left1,2,ldots,nright$. Once we know the characteristic polynomial of this $B_n$ (which I conjecture to be $left(X-2^1right)left(X-2^2right)cdotsleft(X-2^nright)$), we'll obtain those of $T^n C$ for all $N geq 2n$ using their block-triangular structure. Note that the product of the eigenvalues reminds me of the Aztec diamond.
            – darij grinberg
            Aug 18 at 23:05





            Note that the only matrices we need to study are the $n times n$-matrices $B_n$ whose $left(i,jright)$-th entry is $dbinomn+12j-i$ for all $i, j in left1,2,ldots,nright$. Once we know the characteristic polynomial of this $B_n$ (which I conjecture to be $left(X-2^1right)left(X-2^2right)cdotsleft(X-2^nright)$), we'll obtain those of $T^n C$ for all $N geq 2n$ using their block-triangular structure. Note that the product of the eigenvalues reminds me of the Aztec diamond.
            – darij grinberg
            Aug 18 at 23:05





            1




            1




            Okay, it is definitely true that $detleft(B_nright) = 2^1+2+cdots+n$ (so the product of the eigenvalues is correct). This follows from considering $B_n$ as the matrix in the Jacobi-Trudi formula for the skew Schur polynomial $s_left(n,n,ldots,nright) / left(n-1,n-2,ldots,1,0right)left(1,1,ldots,1right)$ in $n+1$ variables all set to $1$ (written in terms of the elementary symmetric functions). But this is probably a dead end; I have never heard anything about characteristic polynomials of Jacobi-Trudi matrices.
            – darij grinberg
            Aug 18 at 23:17





            Okay, it is definitely true that $detleft(B_nright) = 2^1+2+cdots+n$ (so the product of the eigenvalues is correct). This follows from considering $B_n$ as the matrix in the Jacobi-Trudi formula for the skew Schur polynomial $s_left(n,n,ldots,nright) / left(n-1,n-2,ldots,1,0right)left(1,1,ldots,1right)$ in $n+1$ variables all set to $1$ (written in terms of the elementary symmetric functions). But this is probably a dead end; I have never heard anything about characteristic polynomials of Jacobi-Trudi matrices.
            – darij grinberg
            Aug 18 at 23:17





            1




            1




            Okay, the first eigenvalue ($2$) stands: Let $v_n$ be the column vector whose $i$-th entry (for $i = 1, 2, ldots, n$) is $left(-1right)^i-1 dbinomn-1i-1$. Then, $B_n v = 2 v$. The other eigenvectors look less simple, however.
            – darij grinberg
            Aug 18 at 23:51




            Okay, the first eigenvalue ($2$) stands: Let $v_n$ be the column vector whose $i$-th entry (for $i = 1, 2, ldots, n$) is $left(-1right)^i-1 dbinomn-1i-1$. Then, $B_n v = 2 v$. The other eigenvectors look less simple, however.
            – darij grinberg
            Aug 18 at 23:51










            up vote
            0
            down vote



            accepted










            The left upper block of the matrix $T^n C$ can be conjugated to upper triangular one with the eigenvalues on diagonal by Pascal triangle matrix.



            @Suvrit https://mathoverflow.net/questions/258284/is-the-matrix-left2m-choose-2j-i-right-i-j-12m-1-nonsingular






            share|cite|improve this answer


























              up vote
              0
              down vote



              accepted










              The left upper block of the matrix $T^n C$ can be conjugated to upper triangular one with the eigenvalues on diagonal by Pascal triangle matrix.



              @Suvrit https://mathoverflow.net/questions/258284/is-the-matrix-left2m-choose-2j-i-right-i-j-12m-1-nonsingular






              share|cite|improve this answer
























                up vote
                0
                down vote



                accepted







                up vote
                0
                down vote



                accepted






                The left upper block of the matrix $T^n C$ can be conjugated to upper triangular one with the eigenvalues on diagonal by Pascal triangle matrix.



                @Suvrit https://mathoverflow.net/questions/258284/is-the-matrix-left2m-choose-2j-i-right-i-j-12m-1-nonsingular






                share|cite|improve this answer














                The left upper block of the matrix $T^n C$ can be conjugated to upper triangular one with the eigenvalues on diagonal by Pascal triangle matrix.



                @Suvrit https://mathoverflow.net/questions/258284/is-the-matrix-left2m-choose-2j-i-right-i-j-12m-1-nonsingular







                share|cite|improve this answer














                share|cite|improve this answer



                share|cite|improve this answer








                edited Aug 20 at 4:45


























                community wiki





                2 revs
                DVD























                     

                    draft saved


                    draft discarded


























                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function ()
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2886392%2fproduct-of-binary-matrices-with-binary-eigenvalues%23new-answer', 'question_page');

                    );

                    Post as a guest













































































                    這個網誌中的熱門文章

                    How to combine Bézier curves to a surface?

                    Mutual Information Always Non-negative

                    Why am i infinitely getting the same tweet with the Twitter Search API?