Definitions

# Algorithms for calculating variance

Algorithms for calculating variance play a major role in statistical computing. A key problem in the design of good algorithms for this problem is that formulas for the variance may involve sums of squares, which can lead to numerical instability as well as to arithmetic overflow when dealing with large values.

## I. Naïve algorithm

The formula for calculating the variance of an entire population of size n is:

$sigma^2 = displaystylefrac \left\{sum_\left\{i=1\right\}^\left\{n\right\} x_i^2 - \left(sum_\left\{i=1\right\}^\left\{n\right\} x_i\right)^2/n\right\}\left\{n\right\}. !$

The formula for calculating an unbiased estimate of the population variance from a finite sample of n observations is:

$s^2 = displaystylefrac \left\{sum_\left\{i=1\right\}^\left\{n\right\} x_i^2 - \left(sum_\left\{i=1\right\}^\left\{n\right\} x_i\right)^2/n\right\}\left\{n-1\right\}. !$

Therefore a naive algorithm to calculate the estimated variance is given by the following pseudocode:

`n = 0`
`sum = 0`
`sum_sqr = 0`
`foreach x in data:`
`  n = n + 1`
`  sum = sum + x`
`  sum_sqr = sum_sqr + x*x`
`end for`
`mean = sum/n`
`variance = (sum_sqr - sum*mean)/(n - 1)`

This algorithm can easily be adapted to compute the variance of a finite population: simply divide by n instead of n − 1 on the last line.

Because `sum_sqr` and `sum * mean` can be very similar numbers, the precision of the result can be much less than the inherent precision of the floating-point arithmetic used to perform the computation. This is particularly bad if the variance is small relative to the sum of the numbers.

## II. Two-pass algorithm

An alternate approach, using a different formula for the variance, is given by the following pseudocode:

`n = 0`
`sum1 = 0`
`foreach x in data:`
`  n = n + 1`
`  sum1 = sum1 + x`
`end for`
`mean = sum1/n`
`sum2 = 0`
`foreach x in data:`
`  sum2 = sum2 + (x - mean)^2`
`end for`
`variance = sum2/(n - 1)`

This algorithm is often more numerically reliable than the naïve algorithm I for large sets of data, although it can be worse if much of the data is very close to but not precisely equal to the mean and some are quite far away from it.

The results of both of these simple algorithms (I and II) can depend inordinately on the ordering of the data and can give poor results for very large data sets due to repeated roundoff error in the accumulation of the sums. Techniques such as compensated summation can be used to combat this error to a degree.

### IIa. Compensated variant

The compensated-summation version of the algorithm above reads:

`n = 0`
`sum1 = 0`
`foreach x in data:`
`  n = n + 1`
`  sum1 = sum1 + x`
`end for`
`mean = sum1/n`
`sum2 = 0`
`sumc = 0`
`foreach x in data:`
`  sum2 = sum2 + (x - mean)^2`
`  sumc = sumc + (x - mean)`
`end for`
`variance = (sum2 - sumc^2/n)/(n - 1)`

## III. On-line algorithm

It is often useful to be able to compute the variance in a single pass, inspecting each value $x_i$ only once; for example, when the data are being collected without enough storage to keep all the values, or when costs of memory access dominate those of computation. For such an online algorithm, a recurrence relation is required between quantities from which the required statistics can be calculated in a numerically stable fashion.

The following formulas can be used to update the mean and (estimated) variance of the sequence, for an additional element $x_\left\{mathrm\left\{new\right\}\right\}$. Here, m denotes the estimate of the population mean(using the sample mean), s2n-1 the estimate of the population variance, s2n the estimate of the sample variance, and n the number of elements in the sequence before the addition.

$m_\left\{mathrm\left\{new\right\}\right\} = frac\left\{n ; m_\left\{mathrm\left\{old\right\}\right\} + x_\left\{mathrm\left\{new\right\}\right\}\right\}\left\{n+1\right\} = m_\left\{mathrm\left\{old\right\}\right\} + frac\left\{x_\left\{mathrm\left\{new\right\}\right\} - m_\left\{mathrm\left\{old\right\}\right\}\right\}\left\{n+1\right\} !$

$s^2_\left\{mathrm\left\{n-1, new\right\}\right\} = frac\left\{\left(n-1\right) ; s^2_\left\{mathrm\left\{n-1, old\right\}\right\} + \left(x_\left\{mathrm\left\{new\right\}\right\} - m_\left\{mathrm\left\{new\right\}\right\}\right) , \left(x_\left\{mathrm\left\{new\right\}\right\} - m_\left\{mathrm\left\{old\right\}\right\}\right)\right\}\left\{n\right\} ; ; , , ; , mathrm\left\{n>0\right\} !$

$s^2_\left\{mathrm\left\{n, new\right\}\right\} = frac\left\{n ; s^2_\left\{mathrm\left\{n, old\right\}\right\} + \left(x_\left\{mathrm\left\{new\right\}\right\} - m_\left\{mathrm\left\{new\right\}\right\}\right) , \left(x_\left\{mathrm\left\{new\right\}\right\} - m_\left\{mathrm\left\{old\right\}\right\}\right)\right\}\left\{n+1\right\}.$

It turns out that a more suitable quantity for updating is the sum of squares of differences from the (current) mean, $sum_\left\{i=1\right\}^n \left(x_i - m\right)^2$, here denoted $M_2$:

$M_mathrm\left\{2,new\right\}! = M_mathrm\left\{2,old\right\} + \left(x_mathrm\left\{new\right\} - m_mathrm\left\{old\right\}\right)\left(x_mathrm\left\{new\right\} - m_mathrm\left\{new\right\}\right)$
$s^2_mathrm\left\{n\right\} = frac\left\{M_2\right\}\left\{n\right\}$
$s^2_mathrm\left\{n-1\right\} = frac\left\{M_2\right\}\left\{n-1\right\}$

A numerically stable algorithm is given below. It also computes the mean. This algorithm is due to Knuth, who cites Welford.

`n = 0`
`mean = 0`
`M2 = 0`
`foreach x in data:`
`  n = n + 1`
`  delta = x - mean`
`  mean = mean + delta/n`
`  M2 = M2 + delta*(x - mean)      // This expression uses the new value of mean`
`end for`
`variance_n = M2/n`
`variance = M2/(n - 1)`

This algorithm is much less prone to loss of precision due to massive cancellation, but might not be as efficient because of the division operation inside the loop. For a particularly robust two-pass algorithm for computing the variance, first compute and subtract an estimate of the mean, and then use this algorithm on the residuals.

A slightly more convenient form allows one to calculate the standard deviation without having to explicitly calculate the new mean. If $n$ is the number of elements in the sequence after the addition of the new element, then one has

$s^2_\left\{mathrm\left\{n-1, new\right\}\right\} = frac\left\{\left(n-2\right)s^2_\left\{mathrm\left\{n-1, old\right\}\right\}+frac\left\{n-1\right\}\left\{n\right\}left\left(x_text\left\{new\right\}-m_text\left\{old\right\}right\right)^2\right\}\left\{n-1\right\}$

## IV. Weighted incremental algorithm

When the observations are weighted, West (1979) suggests this incremental algorithm:

`n = 0`
`foreach x in the data:`
`  if n=0 then`
`      n = 1`
`      mean = x`
`      S = 0`
`      sumweight = weight`
`  else`
`      n = n + 1`
`      temp = weight + sumweight`
`      S = S + sumweight*weight*(x-mean)^2 / temp`
`      mean = mean + (x-mean)*weight / temp`
`      sumweight = temp`
`  end if`
`end for`
`Variance = S * n / ((n-1) * sumweight)  // if sample is the population, omit n/(n-1)`

## V. Parallel algorithm

Chan et al. note that the above on-line algorithm III is a special case of an algorithm that works for any partition of the sample $X$ into sets $X^A$, $X^B$:
$delta! = m^B - m^A$
$m^X = m^A + deltacdotfrac\left\{N^B\right\}\left\{N^X\right\}$
$M_2^X = M_2^A + M_2^B + delta^2cdotfrac\left\{N^A N^B\right\}\left\{N^X\right\}$.
This may be useful when, for example, multiple processing units may be assigned to discrete parts of the input.

### Higher-order statistics

Terriberry extends Chan's formulae to calculating the third and fourth central moments, needed for example when estimating skewness and kurtosis:
$M_3^X = M_3^A + M_3^B + delta^3frac\left\{N^A N^B \left(N^A - N^B\right)\right\}\left\{\left(N^X\right)^2\right\} + 3deltafrac\left\{N^AM_2^B - N^BM_2^A\right\}\left\{N^X\right\}$
begin\left\{align\right\}
M_4^X = M_4^A + M_4^B & + delta^4frac{N^A N^B left((N^A)^2 - N^A N^B + (N^B)^2right)}{(N^X)^3} & + 6delta^2frac{(N^A)^2 M_2^B + (N^B)^2 M_2^A}{(N^X)^2} + 4deltafrac{N^AM_3^B - N^BM_3^A}{N^X} end{align}

Here the $M_k$ are again the sums of powers of differences from the mean $Sigma\left(x - overline\left\{x\right\}\right)^k$, giving

skewness: $g_1 = frac\left\{sqrt\left\{n\right\} M_3\right\}\left\{M_2^\left\{3/2\right\}\right\},$
kurtosis: $g_2 = frac\left\{n M_4\right\}\left\{M_2^2\right\}.$

For the incremental case (i.e., $B = \left\{x\right\}$), this simplifies to:

$delta! = x - m$
$m\text{'} = m + frac\left\{delta\right\}\left\{n\right\}$
$M_2\text{'} = M_2 + delta^2 frac\left\{ n-1\right\}\left\{n\right\}$
$M_3\text{'} = M_3 + delta^3 frac\left\{ \left(n - 1\right) \left(n - 2\right)\right\}\left\{n^2\right\} - frac\left\{3delta M_2\right\}\left\{n\right\}$
$M_4\text{'} = M_4 + frac\left\{delta^4 \left(n - 1\right) \left(n^2 - 3n + 3\right)\right\}\left\{n^3\right\} + frac\left\{6delta^2 M_2\right\}\left\{n^2\right\} - frac\left\{4delta M_3\right\}\left\{n\right\}$

It should be noted that by preserving the value $delta / n$, only one division operation is needed and thus that the higher-order statistics can be calculated for little incremental cost.

## Example

Assume that all floating point operations use the standard IEEE 754 double-precision arithmetic. Consider the sample (4, 7, 13, 16) from an infinite population. Based on this sample, the estimated population mean is 10, and the unbiased estimate of population variance is 30. Both Algorithm I and Algorithm II compute these values correctly. Next consider the sample (108 + 4, 108 + 7, 108 + 13, 108 + 16), which gives rise to the same estimated variance as the first sample. Algorithm II computes this variance estimate correctly, but Algorithm I returns 29.333333333333332 instead of 30. While this loss of precision may be tolerable and viewed as a minor flaw of Algorithm I, it is easy to find data that reveal a major flaw in the naive algorithm: Take the sample to be (109 + 4, 109 + 7, 109 + 13, 109 + 16). Again the estimated population variance of 30 is computed correctly by Algorithm II, but the naive algorithm now computes it as −170.66666666666666. This is a serious problem with Algorithm I, since the variance can, by definition, never be negative.