Advertisement
Guest User

Untitled

a guest
Mar 25th, 2017
72
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.37 KB | None | 0 0
  1. My thought process went like this:
  2. I relied on the permutation expansion of the determinant
  3. In det A, we get two groups of factors: ones that include a_11 and ones that don't
  4. We may ignore all the terms in which one of the numbers is zero
  5. But since, apart from a_11, if a_ij is 1 then i+j is odd, this means that we only count the permutations in which sigma(i) has parity different than i
  6. (except possibly for i=1)
  7. And now I look at odd an even n separately
  8. Oh, before that
  9. This implies that sigma decomposes into a product of even length cycles
  10. And no fixed points except possibly 1
  11. For even n, all terms containing a_11 must vanish, since they would contain another fixed point or odd-length cycle
  12. For odd n, all terms not containing a_11 similarly vanish
  13. So for even n, we may assume a_11=0, since no terms containing it contribute anything
  14. For odd n, we may pass to the submatrix we get by removing first row and column
  15. SO
  16. We may assume the matrix has even dimensions and a_11=0
  17. And the way I did it was
  18. If we look at (odd,even) entries and (even,odd) entries, we get two identical matrices, two which we can apply row and column operations independently
  19. So we can transform them into a diagonal form
  20. And then we get a matrix which has only 2x2 blocks on the diagonal
  21. (others are zero)
  22. And each block has the form [[0,a],[a,0]], which has determinant -a^2
  23. And now we just multiply
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement