Proving |det(1+A)|^2 >=1 by Diagonalizing iA: Linear Algebra Question

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
4 replies · 2K views
N00813
Messages
31
Reaction score
0

Homework Statement


A is an anti-Hermitian matrix.
Show, by diagonalising iA, that:

|det(1+A)|^2 >=1

Homework Equations



A^H denotes hermitian conjugate of A; A^H = -A\

x = Ox' transforms vector components between 2 basis sets.

The Attempt at a Solution



I know that iA is a Hermitian matrix, so it is diagonalisable.
But I'm not sure what the point of diagonalising iA is.

D = O^(-1)(iA)O
for diagonal matrix of eigenvalues D.

det(iA) = det(D).

I'm floundering around. Any help is appreciated.
 
on Phys.org
N00813 said:

Homework Statement


A is an anti-Hermitian matrix.
Show, by diagonalising iA, that:

|det(1+A)|^2 >=1

Homework Equations



A^H denotes hermitian conjugate of A; A^H = -A\

x = Ox' transforms vector components between 2 basis sets.

The Attempt at a Solution



I know that iA is a Hermitian matrix, so it is diagonalisable.
But I'm not sure what the point of diagonalising iA is.

D = O^(-1)(iA)O
for diagonal matrix of eigenvalues D.

Therefore [itex]A = O(-iD)O^{-1}[/itex].

Also the eigenvalues of [itex]iA[/itex] (and hence the entries of [itex]D[/itex]) are real.

Hint:
[tex]O^{-1}(I + A)^2O = O^{-1}(I + 2A + A^2)O \\<br /> = O^{-1}(I + 2A + AOO^{-1}A)O[/tex]
and
[tex] \det(O^{-1}(I + A)^2O) = \det ((I + A)^2)[/tex]
 
  • Like
Likes   Reactions: 1 person
pasmith said:
Therefore [itex]A = O(-iD)O^{-1}[/itex].

Also the eigenvalues of [itex]iA[/itex] (and hence the entries of [itex]D[/itex]) are real.

Hint:
[tex]O^{-1}(I + A)^2O = O^{-1}(I + 2A + A^2)O \\<br /> = O^{-1}(I + 2A + AOO^{-1}A)O[/tex]
and
[tex] \det(O^{-1}(I + A)^2O) = \det ((I + A)^2)[/tex]
I suppose the first equality equals:

[tex]O^{-1}(I + 2A + AOO^{-1}A)O = (I - 2iD - D^2)[/tex]

(This is the bit I'm a bit wonky on, particularly the 3rd equality. Is that part correct?)
Then [tex]|\det((I + A)^2)| = |\det(I - 2iD - D^2)| = |\det((I-iD)^2)|=|\det(I^2 + D^2)| >= det(I^2) = 1[/tex]
where
 
Last edited:
N00813 said:
I suppose the first equality equals:

[tex]O^{-1}(I + 2A + AOO^{-1}A)O = (I - 2iD - D^2)[/tex]

(This is the bit I'm a bit wonky on, particularly the 3rd equality. Is that part correct?)
Then [tex]|\det((I + A)^2)| = |\det(I - 2iD - D^2)| = |\det((I-iD)^2)|=|\det(I^2 + D^2)| \geq 1[/tex]

If you're not sure that the third equality holds (and it holds only if the eigenvalues of D are real), you should prove it. This will require calculating the quantity you are asked to show is at least 1, at which point you have answered the question.
 
Last edited:
pasmith said:
If you're not sure that the third equality holds (and it holds only if the eigenvalues of D are real), you should prove it. This will require calculating the quantity you are asked to show is at least 1, at which point you have answered the question.

I suppose, if the action of the complex conjugate is to change the sign of the i:
[tex]|\det((I-iD)^2)| = \det((I-iD) (\det(I-iD))^* = \det(I-iD)\det(I+iD)[/tex]

I suppose I can prove [tex](\det(I-iD))^* = \det(I+iD)[/tex] using suffix notation definition for the determinant.

Thanks!