# Covariance As Signed Area Of Rectangles

A colleague at work recently pointed me to a wonderful stats.stackexchange answer with an intuitive explanation of covariance: For each pair of points, draw the rectangle with these points at opposite corners. Treat the rectangle's area as signed, with the same sign as the slope of the line between the two points. If you add up all of the areas, you have the (sample) covariance, up to a constant that depends only on the data set.

Here's an example with 4 points. Each spot on the plot is colored by the sum corresponding to that point. For example, the dark space in the lower left has three "positively" signed rectangles going through it, but for the white space in the middle, one positive and one negative rectangle cancel out.

In this next example, *x* and *y* are drawn from independent normals, so we have roughly an even amount of positive and negative:

## Formal Explanation

The formal way to speak about multiple draws from a distribution is with a set of independent and identically distributed (i.i.d.) random variables. If we have a random variable *X*, saying that *X*_{1}, *X*_{2}, … are i.i.d means that they are all independent, but follow the same distribution.

To consider covariance and these rectangles, we need to think of a random variable which is the ordered pair of random variables (*X*, *Y*). Suppose that {(*X*_{1}, *Y*_{1}), (*X*_{2}, *Y*_{2}), …, (*X*_{n}, *Y*_{n})} are i.i.d. random variables (each of which consists of a pair of random variables that are *not* assumed to be independent). The (signed) area corresponding to the two corner points (*X*_{i}, *Y*_{i}) and (*X*_{j}, *Y*_{j}) is:

(*X*_{j} − *X*_{i})(*Y*_{j} − *Y*_{i})

Before considering the sum of areas, let's examine the expected value of the signed area for just one rectangle, given just two different (i.e. *i* ≠ *j*) i.i.d. draws:

(*X*_{j} − *X*_{i})(*Y*_{j} − *Y*_{i}) = *X*_{j}*Y*_{j} − *X*_{j}*Y*_{i} + *X*_{i}*Y*_{j} − *X*_{i}*Y*_{i}

Taking expected values of both sides gives usual:

E[(*X*_{j} − *X*_{i})(*Y*_{j} − *Y*_{i})] = 2E[*X**Y*] − 2E[*X*]E[*Y*] = 2Cov[*X*, *Y*]

This follows by:

- noting that when
*i*≠*j*,*X*_{j}and*Y*_{i}are independent so the expected value of their product is the product of their expected values - applying linearity of E
- simplifying the notation by writing
*X*and*Y*where we don't need to refer to a particular i.i.d copy - applying the definition of covariance: Cov[
*X*,*Y*] = E[*X**Y*] − E[*X*]E[*Y*].

## Sum Across Pairs as an Approximation of Single-Pair Expected Value

Since we've seen that the expected signed area for a single pair of points is the covariance, it follows that the average signed area across all our pairs is an estimator for the covariance (in fact it's the usual sample covariance, but I haven't shown that). This means that to go from the sum of areas to the covariance, we need to divide by the number of pairs, *n*(*n* − 1)/2.

## Making These Plots Yourself

These plots were made using the Julia language. If you want to make similar plots using my code, get the relevant function definitions here, and use the source for this blog post as an example. Note that the Julia ecosystem is rapidly developing (and changing), so it's possible that when you read this the packages used (e.g. Gadfly, for plotting) work a little differently from when I wrote it.