One odd pair among four
Four random variables have every pairwise correlation equal to , except .
Find the smallest value of for which such variables exist.
Fractions, decimals with at least 3 significant digits, and expressions such as sqrt(2)/2, e^-1 or pi/4.
The correlation matrix must be positive semidefinite. Look for eigenvectors that use the symmetry between and , and between and .
Try , , and vectors in the span of and .
h
s Shown after a correct answer. Revealing it first marks the problem as seen, not solved.
Idea. A correlation matrix is valid exactly when all its eigenvalues are nonnegative. The symmetries (, ) split the problem into small pieces.
Step 1: the matrix. In the order :
Step 2: two easy eigenvectors. , eigenvalue . , eigenvalue .
Step 3: the symmetric part. With and : On this plane acts like the matrix whose determinant is and whose trace is positive.
Step 4: the condition. All eigenvalues are nonnegative exactly when and , that is .
The trap. Checking only the blocks: the block for (with correlations ) allows down to . The fourth variable adds a constraint the smaller blocks do not see.