Covariance

This article is about the measure of linear relation between random variables. For other uses, see Covariance (disambiguation).

In probability theory and statistics, covariance is a measure of how much two random variables change together. If the greater values of one variable mainly correspond with the greater values of the other variable, and the same holds for the smaller values, i.e., the variables tend to show similar behavior, the covariance is positive. In the opposite case, when the greater values of one variable mainly correspond to the smaller values of the other, i.e., the variables tend to show opposite behavior, the covariance is negative. The sign of the covariance therefore shows the tendency in the linear relationship between the variables. The magnitude of the covariance is not easy to interpret. The normalized version of the covariance, the correlation coefficient, however, shows by its magnitude the strength of the linear relation.

A distinction must be made between (1) the covariance of two random variables, which is a population parameter that can be seen as a property of the joint probability distribution, and (2) the sample covariance, which serves as an estimated value of the parameter.

Definition

The covariance between two jointly distributed real-valued random variables X and Y with finite second moments is defined as

$\operatorname{cov}(X,Y) = \operatorname{E}{\big[(X - \operatorname{E}[X])(Y - \operatorname{E}[Y])\big]},$

where E[X] is the expected value of X, also known as the mean of X. By using the linearity property of expectations, this can be simplified to

$\begin{align} \operatorname{cov}(X,Y) &= \operatorname{E}\left[\left(X - \operatorname{E}\left[X\right]\right) \left(Y - \operatorname{E}\left[Y\right]\right)\right] \\ &= \operatorname{E}\left[X Y - X \operatorname{E}\left[Y\right] - \operatorname{E}\left[X\right] Y + \operatorname{E}\left[X\right] \operatorname{E}\left[Y\right]\right] \\ &= \operatorname{E}\left[X Y\right] - \operatorname{E}\left[X\right] \operatorname{E}\left[Y\right] - \operatorname{E}\left[X\right] \operatorname{E}\left[Y\right] + \operatorname{E}\left[X\right] \operatorname{E}\left[Y\right] \\ &= \operatorname{E}\left[X Y\right] - \operatorname{E}\left[X\right] \operatorname{E}\left[Y\right]. \end{align}$

However, when $\operatorname{E}[XY] \approx \operatorname{E}[X]\operatorname{E}[Y]$, this last equation is prone to catastrophic cancellation when computed with floating point arithmetic and thus should be avoided in computer programs when the data has not been centered before. Numerically stable algorithms should be preferred in this case.

For random vectors $\mathbf{X} \in \mathbb{R}^m$ and $\mathbf{Y} \in \mathbb{R}^n$, the m×n cross covariance matrix (also known as dispersion matrix or variance–covariance matrix, or simply called covariance matrix) is equal to

$\begin{align} \operatorname{cov}(\mathbf{X},\mathbf{Y}) & = \operatorname{E} \left[(\mathbf{X} - \operatorname{E}[\mathbf{X}]) (\mathbf{Y} - \operatorname{E}[\mathbf{Y}])^\mathrm{T}\right]\\ & = \operatorname{E}\left[\mathbf{X} \mathbf{Y}^\mathrm{T}\right] - \operatorname{E}[\mathbf{X}]\operatorname{E}[\mathbf{Y}]^\mathrm{T}, \end{align}$

where m^T is the transpose of the vector (or matrix) m.

The (i,j)-th element of this matrix is equal to the covariance Cov(X_i, Y_j) between the i-th scalar component of X and the j-th scalar component of Y. In particular, Cov(Y, X) is the transpose of Cov(X, Y).

For a vector $\mathbf{X}= \begin{bmatrix}X_1 & X_2 & \dots & X_m\end{bmatrix}^\mathrm{T}$ of m jointly distributed random variables with finite second moments, its covariance matrix is defined as

$\Sigma(\mathbf{X}) = \sigma(\mathbf{X},\mathbf{X}) .$

Random variables whose covariance is zero are called uncorrelated. Similarly, random vectors whose covariance matrix is zero in every entry outside the main diagonal are called uncorrelated.

The units of measurement of the covariance Cov(X, Y) are those of X times those of Y. By contrast, correlation coefficients, which depend on the covariance, are a dimensionless measure of linear dependence. (In fact, correlation coefficients can simply be understood as a normalized version of covariance.)

The covariance of two discrete sets can be equivalently expressed, without directly referring to the mean

$\operatorname{cov}(X,Y) = \frac{1}{n^2} \sum_{i=1}^n \sum_{j=1}^n \frac{1}{2}(x_i - x_j)\cdot(y_i - y_j)^{\mathrm{T}} = \frac{1}{n^2}\sum_i \sum_{j>i} (x_i-x_j)\cdot(y_i - y_j)^{\mathrm{T}}.$

Properties

• Variance is a special case of the covariance when the two variables are identical:

$\operatorname{cov}(X, X) =\operatorname{Var}(X)\equiv\sigma^2(X).$

• If X, Y, W, and V are real-valued random variables and a, b, c, d are constant ("constant" in this context means non-random), then the following facts are a consequence of the definition of covariance:

$\begin{align} \sigma(X, a) &= 0 \\ \sigma(X, X) &= \sigma^2(X) \\ \sigma(X, Y) &= \sigma(Y, X) \\ \sigma(aX, bY) &= ab\, \sigma(X, Y) \\ \sigma(X+a, Y+b) &= \sigma(X, Y) \\ \sigma(aX+bY, cW+dV) &= ac\,\sigma(X,W)+ad\,\sigma(X,V)+bc\,\sigma(Y,W)+bd\,\sigma(Y,V) \end{align}$

For a sequence X₁, ..., X_n of random variables, and constants a₁, ..., a_n, we have

$\sigma^2\left(\sum_{i=1}^n a_iX_i \right) = \sum_{i=1}^n a_i^2\sigma^2(X_i) + 2\sum_{i,j\,:\,i<j} a_ia_j\sigma(X_i,X_j) = \sum_{i,j} {a_ia_j\sigma(X_i,X_j)}$

A more general identity for covariance matrices

Let $\mathbf{X}$ be a random vector with covariance matrix $\Sigma(\mathbf{X})$, and let $A$ be a matrix that can act on $\mathbf{X}$. The covariance matrix of the vector $A\mathbf{X}$ is:

$\Sigma(A\mathbf{X}) = A\, \Sigma(\mathbf{X})\, A^\mathrm{T}$.

This is a direct result of the linearity of expectation and is useful when applying a linear transformation, such as a whitening transformation, to a vector.

Uncorrelatedness and independence

If X and Y are independent, then their covariance is zero. This follows because under independence,

$\operatorname{E}\left[X Y\right] = \operatorname{E}[X] \cdot \operatorname{E}[Y].$

The converse, however, is not generally true. For example, let X be uniformly distributed in [-1, 1] and let Y = X². Clearly, X and Y are dependent, but

$\begin{align} \sigma(X, Y) &= \sigma(X, X^2) \\ &= \operatorname{E}\!\left[X \cdot X^2\right] - \operatorname{E}[X] \cdot \operatorname{E}\!\left[X^2\right] \\ &= \operatorname{E}\!\left[X^3\right] - \operatorname{E}[X]\operatorname{E}\!\left[X^2\right] \\ &= 0 - 0 \cdot \operatorname{E}\!\left[X^2\right] \\ &= 0. \end{align}$

In this case, the relationship between Y and X is non-linear, while correlation and covariance are measures of linear dependence between two variables. This example shows that if two variables are uncorrelated, that does not in general imply that they are independent. However, if two variables are jointly normally distributed (but not if they are merely individually normally distributed), uncorrelatedness does imply independence.

Relationship to inner products

Many of the properties of covariance can be extracted elegantly by observing that it satisfies similar properties to those of an inner product:

1. bilinear: for constants a and b and random variables X, Y, Z, σ(aX + bY, Z) = a σ(X, Z) + b σ(Y, Z);
2. symmetric: σ(X, Y) = σ(Y, X);
3. positive semi-definite: σ²(X) = σ(X, X) ≥ 0 for all random variables X, and σ(X, X) = 0 implies that X is a constant random variable (K).

In fact these properties imply that the covariance defines an inner product over the quotient vector space obtained by taking the subspace of random variables with finite second moment and identifying any two that differ by a constant. (This identification turns the positive semi-definiteness above into positive definiteness.) That quotient vector space is isomorphic to the subspace of random variables with finite second moment and mean zero; on that subspace, the covariance is exactly the L² inner product of real-valued functions on the sample space.

As a result for random variables with finite variance, the inequality

$|\sigma(X,Y)| \le \sqrt{\sigma^2(X) \sigma^2(Y)}$

holds via the Cauchy–Schwarz inequality.

Proof: If σ²(Y) = 0, then it holds trivially. Otherwise, let random variable

$Z = X - \frac{\sigma(X,Y)}{\sigma^2(Y)} Y.$

Then we have

$\begin{align} 0 \le \sigma^2(Z) & = \sigma\left(X - \frac{\sigma(X,Y)}{\sigma^2(Y)} Y, X - \frac{\sigma(X,Y)}{\sigma^2(Y)} Y \right) \\[12pt] & = \sigma^2(X) - \frac{ (\sigma(X,Y))^2 }{\sigma^2(Y)}. \end{align}$

Calculating the sample covariance

Main article: Sample mean and sample covariance

The sample covariance of N observations of K variables is the K-by-K matrix $\textstyle \overline{ \overline q }=\left[[ q_{jk}]\right]$ with the entries

$q_{jk}=\frac{1}{N-1}\sum_{i=1}^{N}\left( X_{ij}-\bar{X}_j \right) \left( X_{ik}-\bar{X}_k \right)$,

which is an estimate of the covariance between variable j and variable k.

The sample mean and the sample covariance matrix are unbiased estimates of the mean and the covariance matrix of the random vector $\textstyle \mathbf{X}$, a row vector whose jth element (j = 1, ..., K) is one of the random variables. The reason the sample covariance matrix has $\textstyle N-1$ in the denominator rather than $\textstyle N$ is essentially that the population mean $E(X)$ is not known and is replaced by the sample mean $\mathbf{\bar{X}}$. If the population mean $E(X)$ is known, the analogous unbiased estimate is given by

$q_{jk}=\frac{1}{N}\sum_{i=1}^N \left( X_{ij}-E(X_j)\right) \left( X_{ik}-E(X_k)\right)$

Comments

The covariance is sometimes called a measure of "linear dependence" between the two random variables. That does not mean the same thing as in the context of linear algebra (see linear dependence). When the covariance is normalized, one obtains the correlation coefficient. From it, one can obtain the Pearson coefficient, which gives the goodness of the fit for the best possible linear function describing the relation between the variables. In this sense covariance is a linear gauge of dependence.

Applications

In genetics and molecular biology

Covariance is an important measure in biology. Certain sequences of DNA are conserved more than others among species, and thus to study secondary and tertiary structures of proteins, or of RNA structures, sequences are compared in closely related species. If sequence changes are found or no changes at all are found in noncoding RNA (such as microRNA), sequences are found to be necessary for common structural motifs, such as an RNA loop.

In financial economics

Covariances play a key role in financial economics, especially in portfolio theory and in the capital asset pricing model. Covariances among various assets' returns are used to determine, under certain assumptions, the relative amounts of different assets that investors should (in a normative analysis) or are predicted to (in a positive analysis) choose to hold in a context of diversification.

In meteorological data assimilation

The covariance matrix is important in estimating the initial conditions required for running weather forecast models.

See also

• Algorithms for calculating covariance
• Analysis of covariance
• Autocovariance
• Correlation and dependence
• Covariance function
• Covariance mapping
• Covariance matrix
• Covariance operator
• Distance covariance, or Brownian covariance.
• Eddy covariance
• Law of total covariance
• Propagation of uncertainty

External links

• MathWorld page on calculating the sample covariance
• Covariance Tutorial using R
• Covariance and Correlation