What Are the Constraints of a Valid Covariance Matrix?

AI Thread Summary
A valid covariance matrix must be positive semidefinite, meaning all its eigenvalues must be non-negative. In the example provided, the variable x must be constrained by the values of the other covariances, specifically that it cannot exceed 1 in magnitude and must also satisfy certain inequalities derived from the combinations of the random variables involved. The discussion highlights the need for a geometrical interpretation to better understand these constraints. Additionally, there is a distinction between covariance matrices for random variables and those computed from samples, with implications for their properties. Understanding these constraints is essential for ensuring the validity of a covariance matrix in statistical analysis.
weetabixharry
Messages
111
Reaction score
0
I'm trying to understand what makes a valid covariance matrix valid. Wikipedia tells me all covariance matrices are positive semidefinite (and, in fact, they're positive definite unless one signal is an exact linear combination of others). I don't have a very good idea of what this means in practice.

For example, let's assume I have a real-valued covariance matrix of the form:

\mathbf{R}=\left[<br /> \begin{array}{ccc}<br /> 1 &amp; 0.7 &amp; x \\<br /> 0.7 &amp; 1 &amp; -0.5 \\<br /> x &amp; -0.5 &amp; 1<br /> \end{array}<br /> \right]
where x is some real number. What range of values can x take?

I can sort of see that x is constrained by the other numbers. Like it can't have magnitude more than 1, because the diagonals are all 1. However, it is also constrained by the off-diagonals.

Of course, for my simple example, I can solve the eigenvalue problem for eigenvalues of zero to give me the range of values (roughly -0.968465844 to 0.268465844)... but this hasn't really given me any insight in a general sense.

I feel like there might be a neat geometrical interpretation that would make this obvious.

Can anyone offer any insight?
 
Last edited:
Physics news on Phys.org
I don't know if this a complete answer. However assume you have three random variables X, Y, Z each with variance 1, cov(X,Y) = 0.7, cov(X,Z) = x, and cov(Y,Z) = -0.5. For simplicity assume all means = 0.
Consider E((X±Y±Z)2)≥0 for all possible sign combinations. This will give you four bounds on x. This may be the best, although I am not sure.
 
weetabixharry said:
I'm trying to understand what makes a valid covariance matrix valid.

The terminology "covariance matrix" is ambiguous. There is a covariance matrix for random variables and there is a covariance matrix computed from samples of random variables. I don't think it works to claim that the sample covariance matrix is just the covariance matrix of a population consisting of the sample because the usual way to compute the sample covariance involves using denominators of n-1 instead of n.
 
mathman said:
Consider E((X±Y±Z)2)≥0 for all possible sign combinations. This will give you four bounds on x.
I'll have to give this some thought. It's not obvious to me how this works.
 
Stephen Tashi said:
There is a covariance matrix for random variables and there is a covariance matrix computed from samples of random variables.
What's the difference between these two? Do either/both have to be Hermitian positive semidefinite? That's the sort I'm interested in.
 
weetabixharry said:
I'll have to give this some thought. It's not obvious to me how this works.
1.5+cov(X,Y)+cov(X,Z)+cov(Y,Z)≥0
1.5-cov(X,Y)+cov(X,Z)-cov(Y,Z)≥0
1.5+cov(X,Y)-cov(X,Z)-cov(Y,Z)≥0
1.5-cov(X,Y)-cov(X,Z)+cov(Y,Z)≥0
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Replies
1
Views
1K
Replies
5
Views
2K
Replies
9
Views
2K
Replies
3
Views
3K
Replies
11
Views
2K
Replies
2
Views
4K
Back
Top