Definitions

# Canonical correlation

In statistics, canonical correlation analysis, introduced by Harold Hotelling, is a way of making sense of cross-covariance matrices.

## Definition

Given two column vectors $X = \left(x_1, dots, x_n\right)\text{'}$ and $Y = \left(y_1, dots, y_m\right)\text{'}$ of random variables with finite second moments, one may define the cross-covariance $Sigma _\left\{12\right\} = operatorname\left\{cov\right\}\left(X, Y\right)$ to be the $n times m$ matrix whose $\left(i, j\right)$ entry is the covariance $operatorname\left\{cov\right\}\left(x_i, y_j\right)$.

Canonical correlation analysis seeks vectors $a$ and $b$ such that the random variables $a\text{'} X$ and $b\text{'} Y$ maximize the correlation $rho = operatorname\left\{cor\right\}\left(a\text{'} X, b\text{'} Y\right)$. The random variables $U = a\text{'} X$ and $V = b\text{'} Y$ are the first pair of canonical variables. Then one seeks vectors maximizing the same correlation subject to the constraint that they are to be uncorrelated with the first pair of canonical variables; this gives the second pair of canonical variables. This procedure continues $min\left\{m,n\right\}$ times.

## Computation

### Proof

Let $Sigma _\left\{11\right\} = operatorname\left\{cov\right\}\left(X, X\right)$ and $Sigma _\left\{22\right\} = operatorname\left\{cov\right\}\left(Y, Y\right)$. The parameter to maximize is


rho = frac{a' Sigma _{12} b}{sqrt{a' Sigma _{11} a} sqrt{b' Sigma _{22} b}}.

The first step is to define a change of basis and define


c = Sigma _{11} ^{1/2} a,


d = Sigma _{22} ^{1/2} b.

And thus we have


rho = frac{c' Sigma _{11} ^{-1/2} Sigma _{12} Sigma _{22} ^{-1/2} d}{sqrt{c' c} sqrt{d' d}}.

By the Cauchy-Schwarz inequality, we have


c' Sigma _{11} ^{-1/2} Sigma _{12} Sigma _{22} ^{-1/2} d leq left(c' Sigma _{11} ^{-1/2} Sigma _{12} Sigma _{22} ^{-1/2} Sigma _{22} ^{-1/2} Sigma _{21} Sigma _{11} ^{-1/2} c right)^{1/2} left(d' d right)^{1/2},


rho leq frac{left(c' Sigma _{11} ^{-1/2} Sigma _{12} Sigma _{22} ^{-1/2} Sigma _{22} ^{-1/2} Sigma _{21} Sigma _{11} ^{-1/2} c right)^{1/2}}{left(c' c right)^{1/2}}.

There is equality if the vectors $d$ and $Sigma _\left\{22\right\} ^\left\{-1/2\right\} Sigma _\left\{21\right\} Sigma _\left\{11\right\} ^\left\{-1/2\right\} c$ are colinear. In addition, the maximum of correlation is attained if $c$ is the eigenvector with the maximum eigenvalue for the matrix $Sigma _\left\{11\right\} ^\left\{-1/2\right\} Sigma _\left\{12\right\} Sigma _\left\{22\right\} ^\left\{-1\right\} Sigma _\left\{21\right\} Sigma _\left\{11\right\} ^\left\{-1/2\right\}$ (see Rayleigh quotient). The subsequent pairs are found by using eigenvalues of decreasing magnitudes. Orthogonality is guaranteed by the symmetry of the correlation matrices.

### Solution

The solution is therefore:

• $c$ is an eigenvector of $Sigma _\left\{11\right\} ^\left\{-1/2\right\} Sigma _\left\{12\right\} Sigma _\left\{22\right\} ^\left\{-1\right\} Sigma _\left\{21\right\} Sigma _\left\{11\right\} ^\left\{-1/2\right\}$
• $d$ is proportional to $Sigma _\left\{22\right\} ^\left\{-1/2\right\} Sigma _\left\{21\right\} Sigma _\left\{11\right\} ^\left\{-1/2\right\} c$

Reciprocally, there is also:

• $d$ is an eigenvector of $Sigma _\left\{22\right\} ^\left\{-1/2\right\} Sigma _\left\{21\right\} Sigma _\left\{11\right\} ^\left\{-1\right\} Sigma _\left\{12\right\} Sigma _\left\{22\right\} ^\left\{-1/2\right\}$
• $c$ is proportional to $Sigma _\left\{11\right\} ^\left\{-1/2\right\} Sigma _\left\{12\right\} Sigma _\left\{22\right\} ^\left\{-1/2\right\} d$

Reversing the change of coordinates, we have that

• $a$ is an eigenvector of $Sigma _\left\{11\right\} ^\left\{-1\right\} Sigma _\left\{12\right\} Sigma _\left\{22\right\} ^\left\{-1\right\} Sigma _\left\{21\right\}$
• $b$ is an eigenvector of $Sigma _\left\{22\right\} ^\left\{-1\right\} Sigma _\left\{21\right\} Sigma _\left\{11\right\} ^\left\{-1\right\} Sigma _\left\{12\right\}$
• $a$ is proportional to $Sigma _\left\{11\right\} ^\left\{-1\right\} Sigma _\left\{12\right\} b$
• $b$ is proportional to $Sigma _\left\{22\right\} ^\left\{-1\right\} Sigma _\left\{21\right\} a$

The canonical variables are defined by:

$U = c\text{'} Sigma _\left\{11\right\} ^\left\{-1/2\right\} X = a\text{'} X$

$V = d\text{'} Sigma _\left\{22\right\} ^\left\{-1/2\right\} Y = b\text{'} Y$

## Hypothesis testing

Each row can be tested for significance with the following method. If we have $p$ independent observations in a sample and $widehat\left\{rho\right\}_i$ is the estimated correlation for $i = 1,dots, min\left\{m,n\right\}$. For the $i$th row, the test statistic is:

$chi ^2 = - left\left(p - 1 - frac\left\{1\right\}\left\{2\right\}\left(m + n + 1\right)right\right) ln prod _ \left\{j = i\right\} ^p \left(1 - widehat\left\{rho\right\}_j^2\right),$

which is asymptotically distributed as a chi-square with $\left(m - i + 1\right)\left(n - i + 1\right)$ degrees of freedom for large $p$.

## Practical uses

A typical use for canonical correlation in the psychological context is to take a two sets of variables and see what is common amongst the two sets. For example you could take two well established multidimensional personality tests such as the MMPI and the NEO. By seeing how the MMPI factors relate to the NEO factors, you could gain insight into what dimensions were common between the tests and how much variance was shared. For example you might find that an extraversion or neuroticism dimension accounted for a substantial amount of shared variance between the two tests.