Why Covariance Matrix of Complex Random Vector is Hermitian Positive Definite

AI Thread Summary
The discussion centers on the properties of the covariance matrix of complex random vectors, specifically its classification as Hermitian positive definite rather than merely positive semi-definite. Participants express difficulty in finding a clear proof for this classification and question whether it extends to cross-covariance matrices between different complex random vectors. It is noted that while every real symmetric matrix is Hermitian, the isomorphism for Gaussian random variables may not hold for non-Gaussian cases. Additionally, the nature of cross-covariance matrices is highlighted, indicating they do not necessarily possess positive semi-definite properties. Overall, the conversation seeks clarity on these mathematical concepts and their implications.
fcastillo
Messages
2
Reaction score
0
I've been reading everywhere, including wikipedia, and I can't seem to find a prove to the fact that the covariance matrix of a complex random vector is Hermitian positive definitive. Why is it definitive and not just simple semi-definitive like any other covariance matrix?
Wikipedia just states this and never provides with a prove. Some people might say that it follows from the definition and that a prove is trivial, but I just can't seem to find why. Even if the prove is trivial (and it's eluding me) can somebody please demonstrate why?

Also, if this is true, does it also apply for crosscovariance matrix? (between two different complex random vectors)
 
Physics news on Phys.org
Every real symmetric matrix is Hermitian and there is a complex to real isomorphism for Gaussian RVs. I believe this arises from the definition of Hermitian matrices. I'm not sure if the isomorphism holds for the covariance matrix of non-Gaussian RVs.

http://www.ee.ic.ac.uk/hp/staff/dmb/matrix/expect.html
 
Last edited:
SW VandeCarr said:
Every real symmetric matrix is Hermitian and there is a complex to real isomorphism for Gaussian RVs. I believe this arises from the definition of Hermitian matrices. I'm not sure if the isomorphism holds for the covariance matrix of non-Gaussian RVs.

http://www.ee.ic.ac.uk/hp/staff/dmb/matrix/expect.html

Thanks for the reply, in that post it states that the matrix is positive semi-definite. And the reference I found somewhere else said that the covariance matrix is always positive-definite. Thanks a lot for your reply!
 
fcastillo said:
Thanks for the reply, in that post it states that the matrix is positive semi-definite. And the reference I found somewhere else said that the covariance matrix is always positive-definite. Thanks a lot for your reply!

Sorry, for some reason the wrong link came up. I've got one that answers your question re covariance matrices.

http://www.riskglossary.com/link/positive_definite_matrix.htm
 
Last edited by a moderator:
fcastillo said:
Also, if this is true, does it also apply for crosscovariance matrix? (between two different complex random vectors)

There are no constraints on the elements of a crosscovariance matrix, so it is clearly not necessarily positive semidefinite (or even square in shape!)
 
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top