Product of binary matrices with binary eigenvalues
Clash Royale CLAN TAG#URR8PPP
up vote
3
down vote
favorite
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
matrices eigenvalues-eigenvectors binomial-coefficients binary
add a comment |Â
up vote
3
down vote
favorite
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
matrices eigenvalues-eigenvectors binomial-coefficients binary
add a comment |Â
up vote
3
down vote
favorite
up vote
3
down vote
favorite
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
matrices eigenvalues-eigenvectors binomial-coefficients binary
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
matrices eigenvalues-eigenvectors binomial-coefficients binary
edited Aug 18 at 3:38
Omnomnomnom
122k784170
122k784170
asked Aug 18 at 3:27
DVD
353424
353424
add a comment |Â
add a comment |Â
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\
$$
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
 |Â
show 5 more comments
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
add a comment |Â
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\
$$
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
 |Â
show 5 more comments
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\
$$
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
 |Â
show 5 more comments
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\
$$
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\
$$
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
 |Â
show 5 more comments
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
 |Â
show 5 more comments
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
add a comment |Â
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
add a comment |Â
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
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
edited Aug 20 at 4:45
community wiki
2 revs
DVD
add a comment |Â
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password