Monday 23 June 2014

linear algebra - Help Determinant Binary Matrix




I was messing around with some matrices and found the following result.




Let $A_n$ be the $(2n) \times (2n)$ matrix consisting of elements $$a_{ij} = \begin{cases} 1 & \text{if } (i,j) \leq (n,n) \text{ and } i \neq j \\ 1 & \text{if } (i,j) > (n,n) \text{ and } i \neq j \\ 0 & \text{otherwise}. \end{cases} $$

Then, the determinant of $A_n$ is given by $$\text{det}(A_n) = (n-1)^2.$$




Example: $$A_2 = \begin{pmatrix} 0 & 1 & 0 & 0 \\ 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \end{pmatrix}, A_3 = \begin{pmatrix} 0 & 1 & 1 & 0 & 0 & 0 \\ 1 & 0 & 1 & 0 & 0 & 0 \\ 1 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 1 & 0 & 1 \\ 0 & 0 & 0 & 1 & 1 & 0 \\ \end{pmatrix},$$ with det$(A_2)$ and det$(A_3)$ being $1$ and $4$ respectively. I was wondering if anybody could prove this statement for me.


Answer



Your matrix $A_n$ has the block diagonal structure



$$ A_n = \begin{pmatrix} B_n & 0 \\ 0 & B_n \end{pmatrix} $$



where $B_n \in M_n(\mathbb{F})$ is the matrix which has diagonal entries zero and all other entries $1$. Hence, $\det(A_n) = \det(B_n)^2$ so it is enough to calculate $\det(B_n)$. To do that, let $C_n$ be the matrix in which all the entries are $1$ (so $B_n = C_n - I_n$).




The matrix $C_n$ is a rank-one matrix so we can find it's eigenvalues easily. Let us assume for simplicity that $n \neq 0$ in $\mathbb{F}$. Then $C_n$ has an $n - 1$ dimensional kernel and $(1,\dots,1)^T$ is an eigenvalue of $C_n$ associated to the eigenvalue $n$. From here we see that the characteristic polynomial of $C_n$ must be $\det(\lambda I - C_n) = \lambda^{n-1}(\lambda - n)$ and hence
$$\det(B_n) = \det(C_n - I_n) = (-1)^n \det(I_n - C_n) = (-1)^{n} 1^{n-1}(1 - n) = (-1)^n(1 - n) = (-1)^{n-1}(n-1).$$



In fact this formula works even if $n = 0$ in $\mathbb{F}$ because in this case, $A^2 = 0$ so $A$ is nilpotent and $\det(C_n - \lambda I) = \lambda^n$.


No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...