# Canonical correlation

Short description: Way of inferring information from cross-covariance matrices

In statistics, canonical-correlation analysis (CCA), also called canonical variates analysis, is a way of inferring information from cross-covariance matrices. If we have two vectors X = (X1, ..., Xn) and Y = (Y1, ..., Ym) of random variables, and there are correlations among the variables, then canonical-correlation analysis will find linear combinations of X and Y which have maximum correlation with each other.[1] T. R. Knapp notes that "virtually all of the commonly encountered parametric tests of significance can be treated as special cases of canonical-correlation analysis, which is the general procedure for investigating the relationships between two sets of variables."[2] The method was first introduced by Harold Hotelling in 1936,[3] although in the context of angles between flats the mathematical concept was published by Jordan in 1875.[4]

CCA is now a cornerstone of multivariate statistics and multi-view learning, and a great number of interpretations and extensions have been proposed, such as probabilistic CCA, sparse CCA, multi-view CCA, and Deep CCA. Unfortunately, perhaps because of its popularity, the literature can be inconsistent with notation, we attempt to highlight such inconsistencies in this article to help the reader make best use of the existing literature and techniques available.

Like its sister method PCA, CCA can be viewed in population form (corresponding to random vectors and their covariance matrices) or in sample form (corresponding to datasets and their sample covariance matrices). These two forms are almost exact analogues of each other, which is why their distinction is often overlooked, but they can behave very differently in high dimensional settings.[5] We next give explicit mathematical definitions for the population problem and highlight the different objects in the so-called canonical decomposition - understanding the differences between this objects is crucial for interpretation of the technique.

## Population CCA definition via correlations

Given two column vectors $\displaystyle{ X = (x_1, \dots, x_n)^T }$ and $\displaystyle{ Y = (y_1, \dots, y_m)^T }$ of random variables with finite second moments, one may define the cross-covariance $\displaystyle{ \Sigma _{XY} = \operatorname{cov}(X, Y) }$ to be the $\displaystyle{ n \times m }$ matrix whose $\displaystyle{ (i, j) }$ entry is the covariance $\displaystyle{ \operatorname{cov}(x_i, y_j) }$. In practice, we would estimate the covariance matrix based on sampled data from $\displaystyle{ X }$ and $\displaystyle{ Y }$ (i.e. from a pair of data matrices).

Canonical-correlation analysis seeks a sequence of vectors $\displaystyle{ a_k }$ ($\displaystyle{ a_k \in\mathbb R^n }$) and $\displaystyle{ b_k }$ ($\displaystyle{ b_k \in\mathbb R^m }$) such that the random variables $\displaystyle{ a_k^T X }$ and $\displaystyle{ b_k^T Y }$ maximize the correlation $\displaystyle{ \rho = \operatorname{corr}(a_k^T X, b_k^T Y) }$. The (scalar) random variables $\displaystyle{ U = a_k^T X }$ and $\displaystyle{ V = b_k^T 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 may be continued up to $\displaystyle{ \min\{m,n\} }$ times.

$\displaystyle{ (a_k,b_k) = \underset{a,b}\operatorname{argmax} \operatorname{corr}(a^T X, b^T Y) \quad\text{ subject to } \operatorname{cov}(a^T X, a_j^T X) = \operatorname{cov}(b^T Y, b_j^T Y) = 0 \text{ for } j=1, \dots, k-1 }$

The sets of vectors $\displaystyle{ a_k, b_k }$ are called canonical directions or weight vectors or simply weights. The 'dual' sets of vectors $\displaystyle{ \Sigma_{XX}a_k, \Sigma_{YY} b_k }$ are called canonical loading vectors or simply loadings; these are often more straightforward to interpret than the weights.[6]

## Computation

### Derivation

Let $\displaystyle{ \Sigma _{XY} }$ be the cross-covariance matrix for any pair of (vector-shaped) random variables $\displaystyle{ X }$ and $\displaystyle{ Y }$. The target function to maximize is

$\displaystyle{ \rho = \frac{a^T \Sigma _{XY} b}{\sqrt{a^T \Sigma _{XX} a} \sqrt{b^T \Sigma _{YY} b}}. }$

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

$\displaystyle{ c = \Sigma _{XX} ^{1/2} a, }$
$\displaystyle{ d = \Sigma _{YY} ^{1/2} b, }$

where $\displaystyle{ \Sigma_{XX}^{1/2} }$ and $\displaystyle{ \Sigma_{YY}^{1/2} }$ can be obtained from the eigen-decomposition (or by diagonalization):

$\displaystyle{ \Sigma _{XX} ^{1/2} = V_X D_X^{1/2} V_X^\top,\qquad V_X D_X V_X^\top = \Sigma_{XX}, }$

and

$\displaystyle{ \Sigma _{YY} ^{1/2} = V_Y D_Y^{1/2} V_Y^\top,\qquad V_Y D_Y V_Y^\top = \Sigma_{YY}. }$

Thus

$\displaystyle{ \rho = \frac{c^T \Sigma _{XX} ^{-1/2} \Sigma _{XY} \Sigma _{YY} ^{-1/2} d}{\sqrt{c^Tc} \sqrt{d^Td}}. }$

By the Cauchy–Schwarz inequality,

$\displaystyle{ \left(c^T \Sigma _{XX} ^{-1/2} \Sigma _{XY} \Sigma _{YY} ^{-1/2} \right) (d) \leq \left(c^T \Sigma _{XX} ^{-1/2} \Sigma _{XY} \Sigma _{YY} ^{-1/2} \Sigma _{YY} ^{-1/2} \Sigma _{YX} \Sigma _{XX} ^{-1/2} c \right)^{1/2} \left(d^T d \right)^{1/2}, }$
$\displaystyle{ \rho \leq \frac{\left(c^T \Sigma _{XX}^{-1/2} \Sigma _{XY} \Sigma _{YY}^{-1} \Sigma _{YX} \Sigma_{XX}^{-1/2} c \right)^{1/2}}{\left(c^T c \right)^{1/2}}. }$

There is equality if the vectors $\displaystyle{ d }$ and $\displaystyle{ \Sigma_{YY}^{-1/2} \Sigma_{YX} \Sigma_{XX}^{-1/2} c }$ are collinear. In addition, the maximum of correlation is attained if $\displaystyle{ c }$ is the eigenvector with the maximum eigenvalue for the matrix $\displaystyle{ \Sigma_{XX}^{-1/2} \Sigma_{XY} \Sigma_{YY}^{-1} \Sigma_{YX} \Sigma_{XX}^{-1/2} }$ (see Rayleigh quotient). The subsequent pairs are found by using eigenvalues of decreasing magnitudes. Orthogonality is guaranteed by the symmetry of the correlation matrices.

Another way of viewing this computation is that $\displaystyle{ c }$ and $\displaystyle{ d }$ are the left and right singular vectors of the correlation matrix of X and Y corresponding to the highest singular value.

### Solution

The solution is therefore:

• $\displaystyle{ c }$ is an eigenvector of $\displaystyle{ \Sigma_{XX}^{-1/2} \Sigma_{XY} \Sigma_{YY}^{-1} \Sigma_{YX} \Sigma_{XX}^{-1/2} }$
• $\displaystyle{ d }$ is proportional to $\displaystyle{ \Sigma _{YY}^{-1/2} \Sigma_{YX} \Sigma_{XX}^{-1/2} c }$

Reciprocally, there is also:

• $\displaystyle{ d }$ is an eigenvector of $\displaystyle{ \Sigma_{YY}^{-1/2} \Sigma_{YX} \Sigma_{XX}^{-1} \Sigma_{XY} \Sigma_{YY}^{-1/2} }$
• $\displaystyle{ c }$ is proportional to $\displaystyle{ \Sigma_{XX}^{-1/2} \Sigma_{XY} \Sigma_{YY}^{-1/2} d }$

Reversing the change of coordinates, we have that

• $\displaystyle{ a }$ is an eigenvector of $\displaystyle{ \Sigma_{XX}^{-1} \Sigma_{XY} \Sigma_{YY}^{-1} \Sigma_{YX} }$,
• $\displaystyle{ b }$ is proportional to $\displaystyle{ \Sigma_{YY}^{-1} \Sigma_{YX} a; }$
• $\displaystyle{ b }$ is an eigenvector of $\displaystyle{ \Sigma _{YY}^{-1} \Sigma_{YX} \Sigma_{XX}^{-1} \Sigma_{XY}, }$
• $\displaystyle{ a }$ is proportional to $\displaystyle{ \Sigma_{XX}^{-1} \Sigma_{XY} b }$.

The canonical variables are defined by:

$\displaystyle{ U = c^T \Sigma_{XX}^{-1/2} X = a^T X }$
$\displaystyle{ V = d^T \Sigma_{YY}^{-1/2} Y = b^T Y }$

### Implementation

CCA can be computed using singular value decomposition on a correlation matrix.[7] It is available as a function in[8]

CCA computation using singular value decomposition on a correlation matrix is related to the cosine of the angles between flats. The cosine function is ill-conditioned for small angles, leading to very inaccurate computation of highly correlated principal vectors in finite precision computer arithmetic. To fix this trouble, alternative algorithms[10] are available in

## Hypothesis testing

Each row can be tested for significance with the following method. Since the correlations are sorted, saying that row $\displaystyle{ i }$ is zero implies all further correlations are also zero. If we have $\displaystyle{ p }$ independent observations in a sample and $\displaystyle{ \widehat{\rho}_i }$ is the estimated correlation for $\displaystyle{ i = 1,\dots, \min\{m,n\} }$. For the $\displaystyle{ i }$th row, the test statistic is:

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

which is asymptotically distributed as a chi-squared with $\displaystyle{ (m - i + 1)(n - i + 1) }$ degrees of freedom for large $\displaystyle{ p }$.[11] Since all the correlations from $\displaystyle{ \min\{m,n\} }$ to $\displaystyle{ p }$ are logically zero (and estimated that way also) the product for the terms after this point is irrelevant.

Note that in the small sample size limit with $\displaystyle{ p \lt n + m }$ then we are guaranteed that the top $\displaystyle{ m + n - p }$ correlations will be identically 1 and hence the test is meaningless.[12]

## Practical uses

A typical use for canonical correlation in the experimental context is to take two sets of variables and see what is common among the two sets.[13] For example, in psychological testing, one could take two well established multidimensional personality tests such as the Minnesota Multiphasic Personality Inventory (MMPI-2) and the NEO. By seeing how the MMPI-2 factors relate to the NEO factors, one could gain insight into what dimensions were common between the tests and how much variance was shared. For example, one might find that an extraversion or neuroticism dimension accounted for a substantial amount of shared variance between the two tests.

One can also use canonical-correlation analysis to produce a model equation which relates two sets of variables, for example a set of performance measures and a set of explanatory variables, or a set of outputs and set of inputs. Constraint restrictions can be imposed on such a model to ensure it reflects theoretical requirements or intuitively obvious conditions. This type of model is known as a maximum correlation model.[14]

Visualization of the results of canonical correlation is usually through bar plots of the coefficients of the two sets of variables for the pairs of canonical variates showing significant correlation. Some authors suggest that they are best visualized by plotting them as heliographs, a circular format with ray like bars, with each half representing the two sets of variables.[15]

## Examples

Let $\displaystyle{ X = x_1 }$ with zero expected value, i.e., $\displaystyle{ \operatorname{E}(X)=0 }$.

1. If $\displaystyle{ Y = X }$, i.e., $\displaystyle{ X }$ and $\displaystyle{ Y }$ are perfectly correlated, then, e.g., $\displaystyle{ a=1 }$ and $\displaystyle{ b=1 }$, so that the first (and only in this example) pair of canonical variables is $\displaystyle{ U = X }$ and $\displaystyle{ V = Y =X }$.
2. If $\displaystyle{ Y = -X }$, i.e., $\displaystyle{ X }$ and $\displaystyle{ Y }$ are perfectly anticorrelated, then, e.g., $\displaystyle{ a=1 }$ and $\displaystyle{ b=-1 }$, so that the first (and only in this example) pair of canonical variables is $\displaystyle{ U = X }$ and $\displaystyle{ V = -Y =X }$.

We notice that in both cases $\displaystyle{ U =V }$, which illustrates that the canonical-correlation analysis treats correlated and anticorrelated variables similarly.

## Connection to principal angles

Assuming that $\displaystyle{ X = (x_1, \dots, x_n)^T }$ and $\displaystyle{ Y = (y_1, \dots, y_m)^T }$ have zero expected values, i.e., $\displaystyle{ \operatorname{E}(X)=\operatorname{E}(Y)=0 }$, their covariance matrices $\displaystyle{ \Sigma _{XX} =\operatorname{Cov}(X,X) = \operatorname{E}[X X^T] }$ and $\displaystyle{ \Sigma _{YY} =\operatorname{Cov}(Y,Y) = \operatorname{E}[Y Y^T] }$ can be viewed as Gram matrices in an inner product for the entries of $\displaystyle{ X }$ and $\displaystyle{ Y }$, correspondingly. In this interpretation, the random variables, entries $\displaystyle{ x_i }$ of $\displaystyle{ X }$ and $\displaystyle{ y_j }$ of $\displaystyle{ Y }$ are treated as elements of a vector space with an inner product given by the covariance $\displaystyle{ \operatorname{cov}(x_i, y_j) }$; see Covariance.

The definition of the canonical variables $\displaystyle{ U }$ and $\displaystyle{ V }$ is then equivalent to the definition of principal vectors for the pair of subspaces spanned by the entries of $\displaystyle{ X }$ and $\displaystyle{ Y }$ with respect to this inner product. The canonical correlations $\displaystyle{ \operatorname{corr}(U,V) }$ is equal to the cosine of principal angles.

## Whitening and probabilistic canonical correlation analysis

CCA can also be viewed as a special whitening transformation where the random vectors $\displaystyle{ X }$ and $\displaystyle{ Y }$ are simultaneously transformed in such a way that the cross-correlation between the whitened vectors $\displaystyle{ X^{CCA} }$ and $\displaystyle{ Y^{CCA} }$ is diagonal.[16] The canonical correlations are then interpreted as regression coefficients linking $\displaystyle{ X^{CCA} }$ and $\displaystyle{ Y^{CCA} }$ and may also be negative. The regression view of CCA also provides a way to construct a latent variable probabilistic generative model for CCA, with uncorrelated hidden variables representing shared and non-shared variability.

## References

1. Härdle, Wolfgang; Simar, Léopold (2007). "Canonical Correlation Analysis". Applied Multivariate Statistical Analysis. pp. 321–330. doi:10.1007/978-3-540-72244-1_14. ISBN 978-3-540-72243-4.
2. Knapp, T. R. (1978). "Canonical correlation analysis: A general parametric significance-testing system". Psychological Bulletin 85 (2): 410–416. doi:10.1037/0033-2909.85.2.410.
3. Hotelling, H. (1936). "Relations Between Two Sets of Variates". Biometrika 28 (3–4): 321–377. doi:10.1093/biomet/28.3-4.321.
4. Jordan, C. (1875). "Essai sur la géométrie à $\displaystyle{ n }$ dimensions". Bull. Soc. Math. France 3: 103.
5. Gu, Fei; Wu, Hao (2018-04-01). "Simultaneous canonical correlation analysis with invariant canonical loadings" (in en). Behaviormetrika 45 (1): 111–132. doi:10.1007/s41237-017-0042-8. ISSN 1349-6964.
6. Hsu, D.; Kakade, S. M.; Zhang, T. (2012). "A spectral algorithm for learning Hidden Markov Models". Journal of Computer and System Sciences 78 (5): 1460. doi:10.1016/j.jcss.2011.12.025.
7. Huang, S. Y.; Lee, M. H.; Hsiao, C. K. (2009). "Nonlinear measures of association with kernel canonical correlation analysis and applications". Journal of Statistical Planning and Inference 139 (7): 2162. doi:10.1016/j.jspi.2008.10.011. Retrieved 2015-09-04.
8. Chapman, James; Wang, Hao-Ting (2021-12-18). "CCA-Zoo: A collection of Regularized, Deep Learning based, Kernel, and Probabilistic CCA methods in a scikit-learn style framework" (in en). Journal of Open Source Software 6 (68): 3823. doi:10.21105/joss.03823. ISSN 2475-9066.
9. Knyazev, A.V.; Argentati, M.E. (2002), "Principal Angles between Subspaces in an A-Based Scalar Product: Algorithms and Perturbation Estimates", SIAM Journal on Scientific Computing 23 (6): 2009–2041, doi:10.1137/S1064827500377332, Bibcode2002SJSC...23.2008K
10. Kanti V. Mardia, J. T. Kent and J. M. Bibby (1979). Multivariate Analysis. Academic Press.
11. Yang Song, Peter J. Schreier, David Ram´ırez, and Tanuj Hasija Canonical correlation analysis of high-dimensional data with very small sample support arXiv:1604.02047
12. Sieranoja, S.; Sahidullah, Md; Kinnunen, T.; Komulainen, J.; Hadid, A. (July 2018). "Audiovisual Synchrony Detection with Optimized Audio Features". 2018 IEEE 3rd International Conference on Signal and Image Processing (ICSIP). pp. 377–381. doi:10.1109/SIPROCESS.2018.8600424. ISBN 978-1-5386-6396-7.
13. Tofallis, C. (1999). "Model Building with Multiple Dependent Variables and Constraints". Journal of the Royal Statistical Society, Series D 48 (3): 371–378. doi:10.1111/1467-9884.00195.
14. Degani, A.; Shafto, M.; Olson, L. (2006). "Canonical Correlation Analysis: Use of Composite Heliographs for Representing Multiple Patterns". Diagrammatic Representation and Inference. Lecture Notes in Computer Science. 4045. pp. 93. doi:10.1007/11783183_11. ISBN 978-3-540-35623-3.
15. Jendoubi, T.; Strimmer, K. (2018). "A whitening approach to probabilistic canonical correlation analysis for omics data integration". BMC Bioinformatics 20 (1): 15. doi:10.1186/s12859-018-2572-9. PMID 30626338.