Why Correlations Must Fit Together
Pairwise correlations summarize how two variables move together. But when three variables are involved, three individually plausible correlations may still be incompatible with one another. A useful consistency check comes from the fact that the variance of every linear combination of random variables must be nonnegative. This requirement is expressed through positive semidefiniteness.
For actuarial work, the condition matters whenever a model specifies several related quantities at once—for example, hypothetical claim amounts from three lines of business. The pairwise correlations cannot be chosen independently: together they must define a valid correlation matrix. This tutorial develops the required matrix condition and a practical test for three variables.
A PSD matrix may be singular: some nonzero vector \(t\) can satisfy \(t^{\mathsf T}Rt=0\). A positive definite matrix instead has \(t^{\mathsf T}Rt>0\) for every nonzero \(t\). Correlation matrices are allowed to be PSD rather than positive definite because the variables may have exact linear relationships.
Why a Correlation Matrix Is PSD
Let \(X_1,\ldots,X_n\) have finite, strictly positive variances. Write \(\sigma_j=\sqrt{\operatorname{Var}(X_j)}\) and standardize each variable as \(Z_j=(X_j-E[X_j])/\sigma_j\). The correlation matrix \(R\) has entries \(R_{jk}=\operatorname{Cov}(Z_j,Z_k)\). For any fixed real coefficients \(t_1,\ldots,t_n\), the weighted sum of the standardized variables has a variance that cannot be negative.
This is the key justification: the entries of a correlation matrix must work together so that every such variance is nonnegative. The diagonal entries equal 1 because each \(Z_j\) has variance 1, and symmetry follows from \(\operatorname{Cov}(Z_j,Z_k)=\operatorname{Cov}(Z_k,Z_j)\).
Conversely, every symmetric PSD matrix with diagonal entries 1 can serve as a correlation matrix. A PSD matrix can be factored as \(R=AA^{\mathsf T}\). If \(U\) is a vector of independent, mean-zero, variance-one variables, then \(Z=AU\) has covariance matrix \(R\); its component variances are the diagonal entries, all equal to 1. Thus the matrix test checks whether a proposed collection is mathematically feasible, not whether a particular real-world model is appropriate.
The Three-Variable Principal-Minor Test
For three variables, write the candidate correlation matrix as
where \(a=\operatorname{Corr}(X_1,X_2)\), \(b=\operatorname{Corr}(X_1,X_3)\), and \(c=\operatorname{Corr}(X_2,X_3)\). A principal minor is the determinant of a submatrix formed by selecting the same set of rows and columns. The principal-minor criterion says that a real symmetric matrix is PSD exactly when all its principal minors are nonnegative. In this three-variable case, the one-by-one principal minors are all 1, and the three two-by-two principal minors are \(1-a^2\), \(1-b^2\), and \(1-c^2\). The remaining condition is the determinant of the full matrix.
Therefore, the three-variable matrix is PSD exactly when
The pairwise bounds are necessary but not sufficient: the determinant condition also checks whether all three correlations can hold together. To see why the principal-minor test covers PSD, one may use the standard principal-minor criterion. Its sufficiency follows by considering \(R+\varepsilon I\) for \(\varepsilon>0\): when all principal minors of \(R\) are nonnegative, every leading principal minor of \(R+\varepsilon I\) is positive, so Sylvester’s criterion makes \(R+\varepsilon I\) positive definite. Letting \(\varepsilon\) decrease to zero gives \(t^{\mathsf T}Rt\geq0\) for every \(t\). Necessity follows because every principal submatrix of a PSD matrix is PSD and therefore has nonnegative determinant.
Worked Checks
Worked Example: Testing a Candidate Matrix
A hypothetical model proposes correlations \(a=0.5\), \(b=0.2\), and \(c=-0.1\) among three standardized quantities. Determine whether the matrix is PSD. Method: calculate each principal minor. The common mistake to avoid is checking only that each pairwise correlation lies between \(-1\) and 1.
The matrix is
The one-by-one principal minors are \(1,1,1\). The two-by-two principal minors are
The determinant is
Every principal minor is nonnegative, so the matrix is PSD. The check is complete: the three proposed pairwise correlations are jointly feasible.
Worked Example: Pairwise-Valid but Jointly Impossible
Another hypothetical model proposes \(a=0.8\), \(b=0.8\), and \(c=-0.8\). Decide whether these three correlations can form a correlation matrix. Method: test all principal minors. The trap is to conclude that the matrix is valid because every individual correlation is within the permitted range.
Each one-by-one minor is 1. Each two-by-two principal minor is
so all the pairwise minors are nonnegative. But the full determinant is
The determinant is negative, so the matrix is not PSD. The proposed correlations cannot all hold for the same three variables, even though every pair is individually within the range \([-1,1]\). The negative determinant is the decisive check.
Worked Example: Finding the Range of a Missing Correlation
A hypothetical portfolio model fixes the correlations of a standardized variable with two others at \(a=0.6\) and \(b=0.2\). Find the allowable range for the third correlation \(c\), then check the candidate \(c=0.9\). Method: solve the determinant inequality. The common mistake to avoid is treating the pairwise bound \(|c|\leq1\) as the full range.
The determinant condition is
Rearrange the inequality and complete the square:
Taking square roots gives
so the allowable range is approximately \(-0.6638\leq c\leq0.9038\), rounded to four decimal places. The candidate \(c=0.9\) is inside the range. Directly, its determinant is
The other principal minors are \(1-0.36=0.64\), \(1-0.04=0.96\), and \(1-0.81=0.19\), all nonnegative. Thus the matrix with \(c=0.9\) is PSD. Values above approximately \(0.9038\) fail the determinant condition, despite still being less than 1.
Common Exam Traps and Practical Meaning
- Checking only pairwise bounds. The requirements \(|a|,|b|,|c|\leq1\) do not ensure joint feasibility. Always check the full determinant as well.
- Using the wrong sign in the determinant. The product term is \(+2abc\), while all three squared correlations are subtracted: \(1+2abc-a^2-b^2-c^2\).
- Confusing PSD with positive definite. A zero determinant is allowed for a PSD correlation matrix. It indicates a boundary case, not automatically an invalid matrix.
- Forgetting which entry represents which pair. In the displayed matrix, \(a\) is the correlation between variables 1 and 2, \(b\) is between 1 and 3, and \(c\) is between 2 and 3. The determinant formula assumes this symmetric placement.
In a model with many variables, the same principle applies: every variance of a weighted sum must be nonnegative. A proposed covariance or correlation structure that fails the PSD condition can produce impossible negative variances in calculations. For three variables, principal minors provide a direct hand check; for larger matrices, the same condition remains essential even when a computational method is used.
Check Your Understanding
For each candidate, use the principal-minor test. Give determinant values or ranges to four decimal places where needed.
- A candidate has \(a=0.3\), \(b=-0.4\), and \(c=0.2\). Is its correlation matrix PSD? (Answer: Yes; the determinant is \(0.6620\), and all principal minors are nonnegative.)
- A candidate has \(a=0.7\), \(b=0.7\), and \(c=-0.2\). Are the pairwise bounds sufficient to accept it? (Answer: No; the determinant is \(-0.2160\), so the matrix is not PSD.)
- Two correlations are \(a=0.5\) and \(b=0.4\). Find the allowable interval for \(c\). (Answer: Approximately \(-0.5937\leq c\leq0.9937\).)
- A model specifies \(a=0.8\) and \(b=0.1\). Find the allowable interval for \(c\), the correlation between variables 2 and 3. (Answer: Approximately \(-0.5170\leq c\leq0.6770\).)
- A candidate has \(a=-0.6\), \(b=-0.5\), and \(c=0.1\). Determine whether the matrix is PSD and report the full determinant. (Answer: Yes; the determinant is \(0.4400\), and the pairwise principal minors are \(0.6400\), \(0.7500\), and \(0.9900\).)