Robust measures of central tendency and dispersion
Robust statistics seek to describe data sets that suffer from noisy measurements. In particular, they should remain meaningful when a fraction of the data is changed dramatically.

Robust Measures of Dispersion


A measure of dispersion, also known as a measure of scale, is a statistic of a data set that describes the variability or spread of that data set. Two wellknown examples are the standard deviation and the interquartile range. Two more measures of dispersion are called $\mathrm{Sn}$ and $\mathrm{Qn}$, originally proposed by Rousseeuw and Croux [1].
Let us investigate how measures of dispersion behave when noise is added to a data set. Specifically, we will have an original data set $X$ of, say, $n$ data points, and a perturbed data set $Y$ where a certain fraction $rn$ of the data points are changed dramatically. We investigate at what value of $r$ the values become meaningless.
>

X := Sample(Normal(0, 1), 1000);

${X}{\u2254}\left[\begin{array}{c}{\mathrm{1\; ..\; 1000}}{{\mathrm{Vector}}}_{{\mathrm{row}}}\\ {\mathrm{Data\; Type:}}{{\mathrm{float}}}_{{8}}\\ {\mathrm{Storage:}}{\mathrm{rectangular}}\\ {\mathrm{Order:}}{\mathrm{Fortran\_order}}\end{array}\right]$
 (1) 
${0.990176940818334}$
 (2) 
${Y}{\u2254}\left[\begin{array}{c}{\mathrm{1\; ..\; 1000}}{{\mathrm{Vector}}}_{{\mathrm{row}}}\\ {\mathrm{Data\; Type:}}{{\mathrm{float}}}_{{8}}\\ {\mathrm{Storage:}}{\mathrm{rectangular}}\\ {\mathrm{Order:}}{\mathrm{Fortran\_order}}\end{array}\right]$
 (3) 
${3.16227766016838}{}{{10}}^{{98}}$
 (4) 
For the standard deviation, we see that changing only one data point can massively change the standard deviation. In other words, there is no positive fraction $r$ of the data points that we can change while keeping the standard deviation bounded. We say that the breakdown point of the standard deviation is 0.
For the interquartile range, the process is different. Changing a single data point doesn't make the interquartile range of $Y$ change very much; in fact, we can change up to a quarter of the data points while staying within an order of magnitude from the interquartile range of $X$. As soon as we have changed 250 out of the 1000 data points, though, the interquartile range also goes through the roof.
${Y}{\u2254}\left[\begin{array}{c}{\mathrm{1\; ..\; 1000}}{{\mathrm{Vector}}}_{{\mathrm{row}}}\\ {\mathrm{Data\; Type:}}{{\mathrm{float}}}_{{8}}\\ {\mathrm{Storage:}}{\mathrm{rectangular}}\\ {\mathrm{Order:}}{\mathrm{Fortran\_order}}\end{array}\right]$
 (6) 
${5.83333333333371}{}{{10}}^{{99}}$
 (8) 
This suggests that the breakdown point of the interquartile range is $\frac{1}{4}$: changing strictly fewer than $\frac{1}{4}$ of the points cannot make the interquartile range unbounded. This is indeed correct. We say that the interquartile range is more robust than the standard deviation.
The breakdown point for any statistic can never be more than $\frac{1}{2}$: if we change over half of the data points in the set, then there's no way to decide what the "correct" data is, and what the "changed" data is. So are there dispersion statistics that reach this maximal breakdown point?
Yes, there are. A relatively wellknown one is the median absolute deviation from the median, available in Maple as MedianDeviation. As the name says, it is obtained by computing the absolute difference between every data point and the median of the data set, and taking the median of these values.
${0.686396253277771}$
 (9) 
${5.37556591483202}$
 (10) 
${5.00000000000000}{}{{10}}^{{99}}$
 (11) 
The median absolute deviation from the median is a very useful robust estimator, but it also has some disadvantages, explained in the paper [1] by Rousseeuw and Croux. One of their objections is that it doesn't deal with asymmetric distributions very well, and another is that, while it is very robust against extreme changes in some points, it needs relatively many data points to "converge" to the proper value for a distribution in the absence of disturbance. In the statistics literature, this is phrased as saying that the median absolute deviation from the median is not very efficient. These authors propose two alternative statistics that also have a breakdown point of $\frac{1}{2}$ but higher efficiency, called $\mathrm{Sn}$ and $\mathrm{Qn}$. Maple has an implementation of both of these, called RousseeuwCrouxSn and RousseeuwCrouxQn.
${0.836306393200841}$
 (12) 
${0.453501081152612}$
 (13) 
${5.64926532313226}$
 (14) 
${0.0137805612041167}$
 (15) 
${1.00000000000000}{}{{10}}^{{100}}$
 (16) 
${0.00711405767220685}$
 (17) 
The $\mathrm{Qn}$ estimator requires a different pattern to break:
>

Y[1..499] := Vector(499, i > i * 10^97):

${5.64926532313226}$
 (18) 
${1.00000000000000}{}{{10}}^{{97}}$
 (19) 
We will show how all of these statistics deviate from their true value for betadistributed data samples at sample sizes from 10 to 10000 and with fractions between $0$ and $\frac{1}{2}$ of the data replaced by the value $5$. In particular, given the sample size and the fraction $r$, we replace the highest $100r$ percent of the data by $5$, then divide value obtained for the changed sample by the true value for the distribution, thus obtaining a number that should be $1$ for an ideal statistic. We then repeat this $100$ times, and take the average squared difference from $1$. This is the number shown in the plot below for each of the five measures of dispersion discussed above.
>

functions := [StandardDeviation, InterquartileRange, MedianDeviation, RousseeuwCrouxSn, RousseeuwCrouxQn]:

>

nf := numelems(functions):

>

X := Sample(BetaDistribution(0.9, 1.7), 10^6):

>

true_values := map(f > f(X), functions);

${\mathrm{true\_values}}{\u2254}\left[{0.250723438655674}{\,}{0.398600335400938}{\,}{0.191975118167636}{\,}{0.229890358142317}{\,}{0.107737972480062}\right]$
 (20) 
>

sample_sizes := [10, 30, 100, 300, 1000, 3000, 10000]:

>

nss := numelems(sample_sizes):

>

results := Array(1 .. nf, 1 .. nss, 0 .. 10, 1 .. 100);

${\mathrm{results}}{\u2254}\left[\begin{array}{c}{\mathrm{1..5\; x\; 1..7\; x\; 0..10\; x\; 1..100}}{\mathrm{Array}}\\ {\mathrm{Data\; Type:}}{\mathrm{anything}}\\ {\mathrm{Storage:}}{\mathrm{rectangular}}\\ {\mathrm{Order:}}{\mathrm{Fortran\_order}}\end{array}\right]$
 (21) 
>

for k to 100 do
X := Sample(BetaDistribution(0.9, 1.7), max(sample_sizes));
for i to nss do
Y := X[1 .. sample_sizes[i]];
sort[inplace](Y, `>`):
for j from 0 to 10 do
Y[1 .. ceil(j * sample_sizes[i] / 20)] := 5;
for f to nf do
results[f, i, j, k] := functions[f](Y) / true_values[f];
end do;
end do;
end do:
end do:

>

rr := Array(1 .. nf, 1 .. nss, 0 .. 10):

>

for i to nss do
for j from 0 to 10 do
for f to nf do
rr[f,i,j] := sqrt(Moment(results[f, i, j], 2, origin = 1));
end do:
end do:
end do:

>

plots:display(plots:surfdata~([seq(convert(rr[i], Matrix), i=1 .. nf)], 1 .. nss, 0 .. 0.5,
color =~ [red, green, blue, yellow, purple], transparency = 0.2),
axis[1]=[tickmarks=[seq(i = sample_sizes[i], i = 1 .. nss)]], axis[3]=[mode=log],
view=[DEFAULT,DEFAULT, min(rr) .. 10], orientation=[116, 68, 177],
labels=[`Sample sizes`, r, `Standard deviation`],
labeldirections=[horizontal, horizontal, vertical]);

 
The colors are red for the standard deviation, green for the interquartile range, blue for the median absolute deviation from the median, yellow for Rousseeuw and Croux' $\mathrm{Sn}$, and purple for $\mathrm{Qn}$. Lower numbers are shown higher in the graph, and are better. We see that in the case where there is no noise ($r\=0$), the standard deviation has the lowest distortion. However, as soon as there is any distortion, it is immediately too inaccurate to be useful for any purpose. For $r<0.25$, the interquartile range (green) does reasonably well, but greater values of $r$ make it, too, unusable. For larger values, the median absolute deviation from the median (blue), $\mathrm{Sn}$ (yellow), and $\mathrm{Qn}$ (purple) all do reasonably well.
Another interesting experiment is to see how these measures of dispersion distinguish two Cauchy distributions with different scale parameters. We can see that the values in $\mathrm{X2}$ (plotted in green, below) are just a little further spread out than those in $\mathrm{X1}$ (plotted in red). Indeed, one could obtain a sample of the distribution underlying $\mathrm{X2}$ by multiplying a sample from the distribution underlying $\mathrm{X1}$ by $1.1$. It would be nice if measures of dispersion reflect this fact. However, the Cauchy distribution naturally has many outliers, and indeed the standard deviation of the distribution is undefined.
>

X1 := Sample(Cauchy(0, 1.0), 10^5):

>

X2 := Sample(Cauchy(0, 1.1), 10^5):

>

plots:display(KernelDensityPlot~([X1, X2], left=12, right=12, color =~ [red, green]));

>

for i to nf do
f1 := functions[i](X1);
f2 := functions[i](X2);
print(convert(functions[i], 'string'), f1, f2, f2/f1);
end do:

${''StandardDeviation''}{\,}{449.338396768261}{\,}{369.193670033710}{\,}{0.821638374750591}$
 
${''InterquartileRange''}{\,}{1.98067531812334}{\,}{2.19917468715040}{\,}{1.11031559136814}$
 
${''MedianDeviation''}{\,}{0.990085222109834}{\,}{1.09982427847032}{\,}{1.11083799041727}$
 
${''RousseeuwCrouxSn''}{\,}{1.40295106271317}{\,}{1.55594539119706}{\,}{1.10905179271757}$
 
${''RousseeuwCrouxQn''}{\,}{0.822708625248383}{\,}{0.911513513961144}{\,}{1.10794209029467}$
 (22) 
We see that all measures of dispersion with a breakpoint greater than $0$, that is, all of them except for the standard deviation, reproduce this ratio of $1.1$ fairly closely.


Robust measures of central tendency


A measure of central tendency is a statistic that identifies a central value in a sample or distribution. Wellknown examples are the Mean, the Median, and the Mode. Another measure of central tendency was invented by Hodges and Lehmann (see [2]) and independently by Sen (see [3]); it is often called the HodgesLehmann estimator.
We can study the breakdown point of these quantities as we did with the measures of dispersion. For the mean, the breakdown point is $0$.
>

X := Sample(Normal(0, 1), 1000);

${X}{\u2254}\left[\begin{array}{c}{\mathrm{1\; ..\; 1000}}{{\mathrm{Vector}}}_{{\mathrm{row}}}\\ {\mathrm{Data\; Type:}}{{\mathrm{float}}}_{{8}}\\ {\mathrm{Storage:}}{\mathrm{rectangular}}\\ {\mathrm{Order:}}{\mathrm{Fortran\_order}}\end{array}\right]$
 (23) 
${}{0.0440433853151993}$
 (24) 
${Y}{\u2254}\left[\begin{array}{c}{\mathrm{1\; ..\; 1000}}{{\mathrm{Vector}}}_{{\mathrm{row}}}\\ {\mathrm{Data\; Type:}}{{\mathrm{float}}}_{{8}}\\ {\mathrm{Storage:}}{\mathrm{rectangular}}\\ {\mathrm{Order:}}{\mathrm{Fortran\_order}}\end{array}\right]$
 (25) 
${1.00000000000000}{}{{10}}^{{97}}$
 (26) 
The mode is a little tricky to handle for a continuous probability distribution given by a sample. The median is clearer; its breakdown point is $\frac{1}{2}$.
${}{0.0517980929073610}$
 (27) 
${3.28336678887124}$
 (28) 
${5.00000000000000}{}{{10}}^{{99}}$
 (29) 
The HodgesLehmann estimator has a breakdown point of $1\frac{1}{2}\sqrt{2}$ or about $0.29$.
${}{0.0448012388157054}$
 (30) 
${2.03087993094348}$
 (31) 
${5.00000000000000}{}{{10}}^{{99}}$
 (32) 
The advantage of the HodgesLehmann estimator is that it converges to its limit value more quickly than the median does (at least for distributions that are symmetric about the median); that is, for relatively small sample sizes, the HodgesLehmann estimator has greater accuracy. We proceed as in the previous section.
>

functions := [Mean, Median, HodgesLehmann];

${\mathrm{functions}}{\u2254}\left[{\mathrm{Statistics:Mean}}{\,}{\mathrm{Statistics:Median}}{\,}{\mathrm{Statistics:HodgesLehmann}}\right]$
 (33) 
>

nf := numelems(functions):

>

X := Sample(BetaDistribution(0.9, 1.7), 10^6):

>

true_values := map(f > f(X), functions);

${\mathrm{true\_values}}{\u2254}\left[{0.346168635394193}{\,}{0.302645078252079}{\,}{0.334386724583336}\right]$
 (34) 
>

sample_sizes := [10, 30, 100, 300, 1000, 3000, 10000]:

>

nss := numelems(sample_sizes):

>

results := Array(1 .. nf, 1 .. nss, 0 .. 10, 1 .. 100);

${\mathrm{results}}{\u2254}\left[\begin{array}{c}{\mathrm{1..3\; x\; 1..7\; x\; 0..10\; x\; 1..100}}{\mathrm{Array}}\\ {\mathrm{Data\; Type:}}{\mathrm{anything}}\\ {\mathrm{Storage:}}{\mathrm{rectangular}}\\ {\mathrm{Order:}}{\mathrm{Fortran\_order}}\end{array}\right]$
 (35) 
>

for k to 100 do
X := Sample(BetaDistribution(0.9, 1.7), max(sample_sizes));
for i to nss do
Y := X[1 .. sample_sizes[i]];
sort[inplace](Y, `>`):
for j from 0 to 10 do
Y[1 .. ceil(j * sample_sizes[i] / 20)] := 5;
for f to nf do
results[f, i, j, k] := functions[f](Y) / true_values[f];
end do;
end do;
end do:
end do:

>

rr := Array(1 .. nf, 1 .. nss, 0 .. 10):

>

for i to nss do
for j from 0 to 10 do
for f to nf do
rr[f,i,j] := sqrt(Moment(results[f, i, j], 2, origin = 1));
end do:
end do:
end do:

>

plots:display(plots:surfdata~([seq(convert(rr[i], Matrix), i=1 .. nf)], 1 .. nss, 0 .. 0.5,
color =~ [red, green, blue], transparency = 0.2),
axis[1]=[tickmarks=[seq(i = sample_sizes[i], i = 1 .. nss)]], axis[3]=[mode=log],
view=[DEFAULT,DEFAULT, min(rr) .. 10], orientation=[116, 68, 177],
labels=[`Sample sizes`, r, `Standard deviation`],
labeldirections=[horizontal, horizontal, vertical]);

We see that the mean (in red) performs best when $r\=0$, but miserably otherwise. The HodgesLehmann estimator behaves very well for $r<0.29$. Beyond that only the median does well.
We can also reproduce the experiment with the Cauchy distribution. We now vary the location parameter between the two samples; the values in $\mathrm{X2}$ (plotted in green, below) are just a little further to the right, that is, greater, than those in $\mathrm{X1}$ (plotted in red). In this case, one could obtain a sample of the distribution underlying $\mathrm{X2}$ by adding $0.1$ to a sample from the distribution underlying $\mathrm{X1}$. It would be nice if measures of central tendency reflect this fact. However, the Cauchy distribution does not have a mean.
>

X1 := Sample(Cauchy(0.0, 1), 10^5):

>

X2 := Sample(Cauchy(0.1, 1), 10^5):

>

plots:display(KernelDensityPlot~([X1, X2], left=12, right=12, color =~ [red, green]));

>

for i to nf do
f1 := functions[i](X1);
f2 := functions[i](X2);
print(convert(functions[i], 'string'), f1, f2, f2f1);
end do:

${''Mean''}{\,}{3.75928740374888}{\,}{}{0.731653076359264}{\,}{}{4.49094048010814}$
 
${''Median''}{\,}{}{0.00155169275765436}{\,}{0.108266946816597}{\,}{0.109818639574252}$
 
${''HodgesLehmann''}{\,}{}{0.00247725147498823}{\,}{0.102976972631938}{\,}{0.105454224106927}$
 (36) 
Again, we see that the two measures of central tendency with breakpoint greater than $0$ (that is, the median and the HodgesLehmann estimator) reproduce this difference of $0.1$ correctly, whereas the mean (with breakpoint $0$) does not.


References



[1] Rousseeuw, Peter J., and Croux, Christophe. Alternatives to the Median Absolute Deviation. Journal of the American Statistical Association 88(424), 1993, pp.12731283.


[2] Hodges, Joseph L., and Lehmann, Erich L. Estimation of location based on ranks. Annals of Mathematical Statistics 34(2), 1963, pp.598–611.


[3] Sen, Pranab K. On the estimation of relative potency in dilution(direct) assays by distributionfree methods. Biometrics 19(4), 1963, pp.532–552.


