Median

The median is the value separating the higher half from the lower half of a data sample (a population or a probability distribution). For a data set, it may be thought of as the "middle" value. For example, in the data set {1, 3, 3, 6, 7, 8, 9}, the median is 6, the fourth largest, and also the fourth smallest, number in the sample. For a continuous probability distribution, the median is the value such that a number is equally likely to fall above or below it.

The median is a commonly used measure of the properties of a data set in statistics and probability theory. The basic advantage of the median in describing data compared to the mean (often simply described as the "average") is that it is not skewed so much by extremely large or small values, and so it may give a better idea of a "typical" value. For example, in understanding statistics like household income or assets which vary greatly, a mean may be skewed by a small number of extremely high or low values. Median income, for example, may be a better way to suggest what a "typical" income is.

Because of this, the median is of central importance in robust statistics, as it is the most resistant statistic, having a breakdown point of 50%: so long as no more than half the data are contaminated, the median will not give an arbitrarily large or small result.

Finite set of numbers[edit]

The median of a finite list of numbers can be found by arranging all the numbers from smallest to greatest.

If there is an odd number of numbers, the middle one is picked. For example, consider the list of numbers

1, 3, 3, 6, 7, 8, 9

This list contains seven numbers. The median is the fourth of them, which is 6.

If there is an even number of observations, then there is no single middle value; the median is then usually defined to be the mean of the two middle values.^[1][2] For example, in the data set

1, 2, 3, 4, 5, 6, 8, 9

the median is the mean of the middle two numbers: this is ${\displaystyle (4+5)/2}$, which is ${\displaystyle 4.5}$. (In more technical terms, this interprets the median as the fully trimmed mid-range).

The formula used to find the index of the middle number of a data set of n numerically ordered numbers is ${\displaystyle (n+1)/2}$. This either gives the middle number (for an odd number of values) or the halfway point between the two middle values. For example, with 14 values, the formula will give an index of 7.5, and the median will be taken by averaging the seventh (the floor of this index) and eighth (the ceiling of this index) values. So the median can be represented by the following formula:

${\displaystyle \mathrm {median} (a)={\frac {a_{\lceil \#x\div 2\rceil }+a_{\lceil \#x\div 2+1\rceil }}{2}}}$

Comparison of common averages of values { 1, 2, 2, 3, 4, 7, 9 }

Type	Description	Example	Result
Arithmetic mean	Sum of values of a data set divided by number of values: ${\displaystyle \scriptstyle {\bar {x}}={\frac {1}{n}}\sum _{i=1}^{n}x_{i}}$	(1+2+2+3+4+7+9) / 7	4
Median	Middle value separating the greater and lesser halves of a data set	1, 2, 2, 3, 4, 7, 9	3
Mode	Most frequent value in a data set	1, 2, 2, 3, 4, 7, 9	2

One can find the median using the Stem-and-Leaf Plot.

There is no widely accepted standard notation for the median, but some authors represent the median of a variable x either as x͂ or as μ_1/2^[1] sometimes also M.^[3][4] In any of these cases, the use of these or other symbols for the median needs to be explicitly defined when they are introduced.

The median is used primarily for skewed distributions, which it summarizes differently from the arithmetic mean. Consider the multiset { 1, 2, 2, 2, 3, 14 }. The median is 2 in this case, (as is the mode), and it might be seen as a better indication of central tendency (less susceptible to the exceptionally large value in data) than the arithmetic mean of 4.

The median is a popular summary statistic used in descriptive statistics, since it is simple to understand and easy to calculate, while also giving a measure that is more robust in the presence of outlier values than is the mean. The widely cited empirical relationship between the relative locations of the mean and the median for skewed distributions is, however, not generally true.^[5] There are, however, various relationships for the absolute difference between them; see below.

With an even number of observations (as shown above) no value need be exactly at the value of the median. Nonetheless, the value of the median is uniquely determined with the usual definition. A related concept, in which the outcome is forced to correspond to a member of the sample, is the medoid.

In a population, at most half have values strictly less than the median and at most half have values strictly greater than it. If each group contains less than half the population, then some of the population is exactly equal to the median. For example, if a < b < c, then the median of the list {a, b, c} is b, and, if a < b < c < d, then the median of the list {a, b, c, d} is the mean of b and c; i.e., it is (b + c)/2. Indeed, as it is based on the middle data in a group, it is not necessary to even know the value of extreme results in order to calculate a median. For example, in a psychology test investigating the time needed to solve a problem, if a small number of people failed to solve the problem at all in the given time a median can still be calculated.^[6]

The median can be used as a measure of location when a distribution is skewed, when end-values are not known, or when one requires reduced importance to be attached to outliers, e.g., because they may be measurement errors.

A median is only defined on ordered one-dimensional data, and is independent of any distance metric. A geometric median, on the other hand, is defined in any number of dimensions.

The median is one of a number of ways of summarising the typical values associated with members of a statistical population; thus, it is a possible location parameter. The median is the 2nd quartile, 5th decile, and 50th percentile. Since the median is the same as the second quartile, its calculation is illustrated in the article on quartiles. A median can be worked out for ranked but not numerical classes (e.g. working out a median grade when students are graded from A to F), although the result might be halfway between grades if there is an even number of cases.

When the median is used as a location parameter in descriptive statistics, there are several choices for a measure of variability: the range, the interquartile range, the mean absolute deviation, and the median absolute deviation.

For practical purposes, different measures of location and dispersion are often compared on the basis of how well the corresponding population values can be estimated from a sample of data. The median, estimated using the sample median, has good properties in this regard. While it is not usually optimal if a given population distribution is assumed, its properties are always reasonably good. For example, a comparison of the efficiency of candidate estimators shows that the sample mean is more statistically efficient than the sample median when data are uncontaminated by data from heavy-tailed distributions or from mixtures of distributions, but less efficient otherwise, and that the efficiency of the sample median is higher than that for a wide range of distributions. More specifically, the median has a 64% efficiency compared to the minimum-variance mean (for large normal samples), which is to say the variance of the median will be ~50% greater than the variance of the mean—see asymptotic efficiency and references therein.

Probability distributions[edit]

For any probability distribution on the real line R with cumulative distribution function F, regardless of whether it is any kind of continuous probability distribution, in particular an absolutely continuous distribution (which has a probability density function), or a discrete probability distribution, a median is by definition any real number m that satisfies the inequalities

${\displaystyle \operatorname {P} (X\leq m)\geq {\frac {1}{2}}{\text{ and }}\operatorname {P} (X\geq m)\geq {\frac {1}{2}}\,\!}$

or, equivalently, the inequalities

${\displaystyle \int _{(-\infty ,m]}dF(x)\geq {\frac {1}{2}}{\text{ and }}\int _{[m,\infty )}dF(x)\geq {\frac {1}{2}}\,\!}$

in which a Lebesgue–Stieltjes integral is used. For an absolutely continuous probability distribution with probability density function ƒ, the median satisfies

${\displaystyle \operatorname {P} (X\leq m)=\operatorname {P} (X\geq m)=\int _{-\infty }^{m}f(x)\,dx={\frac {1}{2}}.\,\!}$

Any probability distribution on R has at least one median, but in specific cases there may be more than one median. Specifically, if a probability distribution is zero on an interval [a, b], and the cumulative distribution function at a is 1/2, any value between a and b will also be a median.

Medians of particular distributions[edit]

The medians of certain types of distributions can be easily calculated from their parameters; furthermore, they exist even for some distributions lacking a well-defined mean, such as the Cauchy distribution:

• The median of a symmetric unimodal distribution coincides with the mode.
• The median of a symmetric distribution which possesses a mean μ also takes the value μ.
  • The median of a normal distribution with mean μ and variance σ² is μ. In fact, for a normal distribution, mean = median = mode.
  • The median of a uniform distribution in the interval [a, b] is (a + b) / 2, which is also the mean.
• The median of a Cauchy distribution with location parameter x₀ and scale parameter y is x₀, the location parameter.
• The median of a power law distribution x^−a, with exponent a > 1 is 2^{1/(a − 1)}x_min, where x_min is the minimum value for which the power law holds^[8]
• The median of an exponential distribution with rate parameter λ is the natural logarithm of 2 divided by the rate parameter: λ⁻¹ln 2.
• The median of a Weibull distribution with shape parameter k and scale parameter λ is λ(ln 2)^1/k.

Populations[edit]

Optimality property[edit]

The mean absolute error of a real variable c with respect to the random variable X is

${\displaystyle E(\left|X-c\right|)\,}$

Provided that the probability distribution of X is such that the above expectation exists, then m is a median of X if and only if m is a minimizer of the mean absolute error with respect to X.^[9] In particular, m is a sample median if and only if m minimizes the arithmetic mean of the absolute deviations.

More generally, a median is defined as a minimum of

${\displaystyle E(|X-c|-|X|),}$

as discussed below in the section on multivariate medians (specifically, the spatial median).

This optimization-based definition of the median is useful in statistical data-analysis, for example, in k-medians clustering.

Unimodal distributions[edit]

It can be shown for a unimodal distribution that the median ${\displaystyle {\tilde {X}}}$ and the mean ${\displaystyle {\bar {X}}}$ lie within (3/5)^1/2 ≈ 0.7746 standard deviations of each other.^[10] In symbols,

${\displaystyle {\frac {\left|{\tilde {X}}-{\bar {X}}\right|}{\sigma }}\leq \left({\frac {3}{5}}\right)^{\frac {1}{2}}}$

where |·| is the absolute value.

A similar relation holds between the median and the mode: they lie within 3^1/2 ≈ 1.732 standard deviations of each other:

${\displaystyle {\frac {|{\tilde {X}}-\mathrm {mode} |}{\sigma }}\leq 3^{\frac {1}{2}}.}$

Inequality relating means and medians[edit]

If the distribution has finite variance, then the distance between the median and the mean is bounded by one standard deviation.

This bound was proved by Mallows,^[11] who used Jensen's inequality twice, as follows. We have

${\displaystyle {\begin{aligned}|\mu -m|=|\operatorname {E} (X-m)|&\leq \operatorname {E} (|X-m|)\\&\leq \operatorname {E} (|X-\mu |)\\&\leq {\sqrt {\operatorname {E} \left((X-\mu )^{2}\right)}}=\sigma .\end{aligned}}}$

The first and third inequalities come from Jensen's inequality applied to the absolute-value function and the square function, which are each convex. The second inequality comes from the fact that a median minimizes the absolute deviation function

${\displaystyle a\mapsto \operatorname {E} (|X-a|).\,}$

This proof also follows directly from Cantelli's inequality.^[12] The result can be generalized to obtain a multivariate version of the inequality,^[13] as follows:

${\displaystyle {\begin{aligned}\|\mu -m\|=\|\operatorname {E} (X-m)\|&\leq \operatorname {E} \|X-m\|\\&\leq \operatorname {E} (\|X-\mu \|)\\&\leq {\sqrt {\operatorname {E} \left(\|X-\mu \|^{2}\right)}}={\sqrt {\operatorname {trace} \left(\operatorname {var} (X)\right)}}\end{aligned}}}$

where m is a spatial median, that is, a minimizer of the function ${\displaystyle a\mapsto \operatorname {E} (\|X-a\|).\,}$ The spatial median is unique when the data-set's dimension is two or more.^[14][15] An alternative proof uses the one-sided Chebyshev inequality; it appears in an inequality on location and scale parameters.

Jensen's inequality for medians[edit]

Jensen's inequality states that for any random variable x with a finite expectation E(x) and for any convex function f

${\displaystyle f[E(x)]\leq E[f(x)]}$

It has been shown^[16] that if x is a real variable with a unique median m and f is a C function then

${\displaystyle f(m)\leq \operatorname {Median} [f(x)]}$

A C function is a real valued function, defined on the set of real numbers R, with the property that for any real t

${\displaystyle f^{-1}\left(\,(-\infty ,t]\,\right)=\{x\in R\mid f(x)\leq t\}}$

is a closed interval, a singleton or an empty set.

Medians for samples[edit]

The sample median[edit]

Efficient computation of the sample median[edit]

Even though comparison-sorting n items requires Ω(n log n) operations, selection algorithms can compute the k'th-smallest of n items with only Θ(n) operations. This includes the median, which is the n/2'th order statistic (or for an even number of samples, the arithmetic mean of the two middle order statistics).

Selection algorithms still have the downside of requiring Ω(n) memory, that is, they need to have the full sample (or a linear-sized portion of it) in memory. Because this, as well as the linear time requirement, can be prohibitive, several estimation procedures for the median have been developed. A simple one is the median of three rule, which estimates the median as the median of a three-element subsample; this is commonly used as a subroutine in the quicksort sorting algorithm, which uses an estimate of its input's median. A more robust estimator is Tukey's ninther, which is the median of three rule applied with limited recursion:^[17] if A is the sample laid out as an array, and

med3(A) = median(A[1], A[n/2], A[n]),

then

ninther(A) = med3(med3(A[1 ... 1/3n]), med3(A[1/3n ... 2/3n]), med3(A[2/3n ... n]))

The remedian is an estimator for the median that requires linear time but sub-linear memory, operating in a single pass over the sample.^[18]

Easy explanation of the sample median[edit]

In individual series (if number of observation is very low) first one must arrange all the observations in order. Then count(n) is the total number of observation in given data.

If n is odd then Median (M) = value of ((n + 1)/2)th item term.

If n is even then Median (M) = value of [(n/2)th item term + (n/2 + 1)th item term]/2

For an odd number of values

As an example, we will calculate the sample median for the following set of observations: 1, 5, 2, 8, 7.

Start by sorting the values: 1, 2, 5, 7, 8.

In this case, the median is 5 since it is the middle observation in the ordered list.

The median is the ((n + 1)/2)th item, where n is the number of values. For example, for the list {1, 2, 5, 7, 8}, we have n = 5, so the median is the ((5 + 1)/2)th item.

median = (6/2)th item

median = 3rd item

median = 5

For an even number of values

As an example, we will calculate the sample median for the following set of observations: 1, 6, 2, 8, 7, 2.

Start by sorting the values: 1, 2, 2, 6, 7, 8.

In this case, the arithmetic mean of the two middlemost terms is (2 + 6)/2 = 4. Therefore, the median is 4 since it is the arithmetic mean of the middle observations in the ordered list.

Sampling distribution[edit]

The distributions of both the sample mean and the sample median were determined by Laplace.^[19] The distribution of the sample median from a population with a density function ${\displaystyle f(x)}$ is asymptotically normal with mean ${\displaystyle m}$ and variance^[20]

${\displaystyle {\frac {1}{4nf(m)^{2}}}}$

where ${\displaystyle m}$ is the median of ${\displaystyle f(x)}$ and ${\displaystyle n}$ is the sample size.

These results have also been extended.^[21] It is now known for the ${\displaystyle p}$-th quantile that the distribution of the sample ${\displaystyle p}$-th quantile is asymptotically normal around the ${\displaystyle p}$-th quantile with variance equal to

${\displaystyle {\frac {p(1-p)}{nf(x_{p})^{2}}}}$

where ${\displaystyle f(x_{p})}$ is the value of the distribution density at the ${\displaystyle p}$-th quantile.

In the case of a discrete variable, the sampling distribution of the median for small-samples can be investigated as follows. We take the sample size to be an odd number ${\displaystyle N=2n+1}$. If a given value ${\displaystyle v}$ is to be the median of the sample then two conditions must be satisfied. The first is that at most ${\displaystyle n}$ observations can have a value of ${\displaystyle v-1}$ or less. The second is that at most ${\displaystyle n}$ observations can have a value of ${\displaystyle v+1}$ or more. Let ${\displaystyle i}$ be the number of observations which have a value of ${\displaystyle v-1}$ or less and let ${\displaystyle k}$ be the number of observations which have a value of ${\displaystyle v+1}$ or more. Then ${\displaystyle i}$ and ${\displaystyle k}$ both have a minimum value of 0 and a maximum of ${\displaystyle n}$. If an observation has a value below ${\displaystyle v}$, it is not relevant how far below ${\displaystyle v}$ it is and conversely, if an observation has a value above ${\displaystyle v}$, it is not relevant how far above ${\displaystyle v}$ it is. We can therefore represent the observations as following a trinomial distribution with probabilities ${\displaystyle F(v-1)}$, ${\displaystyle f(v)}$ and ${\displaystyle 1-F(v)}$. The probability that the median ${\displaystyle m}$ will have a value ${\displaystyle v}$ is then given by

${\displaystyle \Pr(m=v)=\sum _{i=0}^{n}\sum _{k=0}^{n}{\frac {N!}{i!(N-i-k)!k!}}[F(v-1)]^{i}[f(v)]^{N-i-k}[1-F(v)]^{k}.}$

Summing this over all values of ${\displaystyle v}$ defines a proper distribution and gives a unit sum. In practice, the function ${\displaystyle f(v)}$ will often not be known but it can be estimated from an observed frequency distribution. An example is given in the following table where the actual distribution is not known but a sample of 3,800 observations allows a sufficiently accurate assessment of ${\displaystyle f(v)}$.

v	0	0.5	1	1.5	2	2.5	3	3.5	4	4.5	5
f(v)	0.000	0.008	0.010	0.013	0.083	0.108	0.328	0.220	0.202	0.023	0.005
F(v)	0.000	0.008	0.018	0.031	0.114	0.222	0.550	0.770	0.972	0.995	1.000

Using these data it is possible to investigate the effect of sample size on the standard errors of the mean and median. The observed mean is 3.16, the observed raw median is 3 and the observed interpolated median is 3.174. The following table gives some comparison statistics. The standard error of the median is given both from the above expression for ${\displaystyle pr(m=v)}$ and from the asymptotic approximation given earlier.

Sample size Statistic	3	9	15	21
Expected value of median	3.198	3.191	3.174	3.161
Standard error of median (above formula)	0.482	0.305	0.257	0.239
Standard error of median (asymptotic approximation)	0.879	0.508	0.393	0.332
Standard error of mean	0.421	0.243	0.188	0.159

The expected value of the median falls slightly as sample size increases while, as would be expected, the standard errors of both the median and the mean are proportionate to the inverse square root of the sample size. The asymptotic approximation errs on the side of caution by overestimating the standard error.

In the case of a continuous variable, the following argument can be used. If a given value ${\displaystyle v}$ is to be the median, then one observation must take the value ${\displaystyle v}$. The elemental probability of this is ${\displaystyle f(v)\,dv}$. Then, of the remaining ${\displaystyle 2n}$ observations, exactly ${\displaystyle n}$ of them must be above ${\displaystyle v}$ and the remaining ${\displaystyle n}$ below. The probability of this is the ${\displaystyle n}$th term of a binomial distribution with parameters ${\displaystyle F(v)}$ and ${\displaystyle 2n}$. Finally we multiply by ${\displaystyle 2n+1}$ since any of the observations in the sample can be the median observation. Hence the elemental probability of the median at the point ${\displaystyle v}$ is given by

${\displaystyle f(v){\frac {(2n)!}{n!n!}}[F(v)]^{n}[1-F(v)]^{n}(2n+1)\,dv.}$

Now we introduce the beta function. For integer arguments ${\displaystyle \alpha }$ and ${\displaystyle \beta }$, this can be expressed as ${\displaystyle \mathrm {B} (\alpha ,\beta )=(\alpha -1)!(\beta -1)!/(\alpha +\beta -1)!}$. Also, we note that ${\displaystyle f(v)=dF(v)/dv}$. Using these relationships and setting both ${\displaystyle \alpha }$ and ${\displaystyle \beta }$ equal to ${\displaystyle (n+1)}$ allows the last expression to be written as

${\displaystyle {\frac {[F(v)]^{n}[1-F(v)]^{n}}{\mathrm {B} (n+1,n+1)}}\,dF(v)}$

Hence the density function of the median is a symmetric beta distribution over the unit interval which supports ${\displaystyle F(v)}$. Its mean, as we would expect, is 0.5 and its variance is ${\displaystyle 1/(4(N+2))}$. The corresponding variance of the sample median is

${\displaystyle {\frac {1}{4(N+2)f(m)^{2}}}.}$

However this finding can only be used if the density function ${\displaystyle f(v)}$ is known or can be assumed. As this will not always be the case, the median variance has to be estimated sometimes from the sample data.

Estimation of variance from sample data

The value of ${\displaystyle (2f(x))^{-2}}$—the asymptotic value of ${\displaystyle n^{-{\frac {1}{2}}}(\nu -m)}$ where ${\displaystyle \nu }$ is the population median—has been studied by several authors. The standard "delete one" jackknife method produces inconsistent results.^[22] An alternative—the "delete k" method—where ${\displaystyle k}$ grows with the sample size has been shown to be asymptotically consistent.^[23] This method may be computationally expensive for large data sets. A bootstrap estimate is known to be consistent,^[24] but converges very slowly (order of ${\displaystyle n^{-{\frac {1}{4}}}}$).^[25] Other methods have been proposed but their behavior may differ between large and small samples.^[26]

Efficiency

The efficiency of the sample median, measured as the ratio of the variance of the mean to the variance of the median, depends on the sample size and on the underlying population distribution. For a sample of size ${\displaystyle N=2n+1}$ from the normal distribution, the efficiency for large N is

${\displaystyle {\frac {2}{\pi }}{\frac {N+2}{N}}}$

The efficiency tends to ${\displaystyle {\frac {2}{\pi }}}$ as ${\displaystyle N}$ tends to infinity.

Other estimators[edit]

For univariate distributions that are symmetric about one median, the Hodges–Lehmann estimator is a robust and highly efficient estimator of the population median.^[27]

If data are represented by a statistical model specifying a particular family of probability distributions, then estimates of the median can be obtained by fitting that family of probability distributions to the data and calculating the theoretical median of the fitted distribution.^{[citation needed]} Pareto interpolation is an application of this when the population is assumed to have a Pareto distribution.

Coefficient of dispersion[edit]

The coefficient of dispersion (CD) is defined as the ratio of the average absolute deviation from the median to the median of the data.^[28] It is a statistical measure used by the states of Iowa, New York and South Dakota in estimating dues taxes.^[29][30][31] In symbols

${\displaystyle CD={\frac {1}{n}}{\frac {\sum |m-x|}{m}}}$

where n is the sample size, m is the sample median and x is a variate. The sum is taken over the whole sample.

Confidence intervals for a two-sample test in which the sample sizes are large have been derived by Bonett and Seier^[28] This test assumes that both samples have the same median but differ in the dispersion around it. The confidence interval (CI) is bounded inferiorly by

${\displaystyle \exp \left[\log \left({\frac {t_{a}}{t_{b}}}\right)-z_{\alpha }\left(\operatorname {var} \left[\log \left({\frac {t_{a}}{t_{b}}}\right)\right]\right)^{\frac {1}{2}}\right]}$

where t_j is the mean absolute deviation of the j^th sample, var() is the variance and z_α is the value from the normal distribution for the chosen value of α: for α = 0.05, z_α = 1.96. The following formulae are used in the derivation of these confidence intervals

${\displaystyle \operatorname {var} [\log(t_{a})]={\frac {1}{n}}\left[{\frac {s_{a}^{2}}{t_{a}^{2}}}+\left({\frac {x_{a}-{\bar {x}}}{t_{a}}}\right)^{2}-1\right]}$

${\displaystyle \operatorname {var} \left[\log \left({\frac {t_{a}}{t_{b}}}\right)\right]=\operatorname {var} [\log(t_{a})]+\operatorname {var} [\log(t_{b})]-2r(\operatorname {var} [\log(t_{a})]\operatorname {var} [\log(t_{b})])^{\frac {1}{2}}}$

where r is the Pearson correlation coefficient between the squared deviation scores

${\displaystyle d_{ia}=|x_{ia}-{\bar {x}}_{a}|}$ and ${\displaystyle d_{ib}=|x_{ib}-{\bar {x}}_{b}|}$

a and b here are constants equal to 1 and 2, x is a variate and s is the standard deviation of the sample.

Multivariate median[edit]

Previously, this article discussed the univariate median, when the sample or population had one-dimension. When the dimension is two or higher, there are multiple concepts that extend the definition of the univariate median; each such multivariate median agrees with the univariate median when the dimension is exactly one.^{[27][32][33][34]}

Medoid[edit]

Let be a set of points in a space with a distance function ${\displaystyle d}$. Medoid is defined as

${\displaystyle {\displaystyle x_{\text{medoid}}={\text{argmin}}_{y\in \{x_{1},x_{2},\cdots ,x_{n}\}}\sum _{i=1}^{n}d(y,x_{i}).}}$

The medoid is often used in clustering using the k-medoid algorithm.

Marginal median[edit]

The marginal median is defined for vectors defined with respect to a fixed set of coordinates. A marginal median is defined to be the vector whose components are univariate medians. The marginal median is easy to compute, and its properties were studied by Puri and Sen.^[27][35]

Spatial median[edit]

For N vectors in a normed vector space, a spatial median minimizes the average distance

${\displaystyle a\mapsto {\frac {1}{N}}\sum _{n}(\|x_{n}-a\|),\,}$

where x_n and a are vectors. The spatial median is unique when the data-set's dimension is two or more and the norm is the Euclidean norm (or another strictly convex norm).^[14][15][27] The spatial median is also called the L1 median, even when the norm is Euclidean. Other names are used especially for finite sets of points: geometric median, Fermat point (in mechanics), or Weber or Fermat-Weber point (in geographical location theory).^[36] In the special case where the norm is an L1-norm, then the spatial median and the marginal median are the same.

More generally, a spatial median is defined as a minimizer of

${\displaystyle a\mapsto {\frac {1}{N}}\sum _{n}{(\|x_{n}-a\|-\|x_{n}\|)};}$^[27][37]

this general definition is convenient for defining a spatial median of a population in a finite-dimensional normed space, for example, for distributions without a finite mean.^[14][27] Spatial medians are defined for random vectors with values in a Banach space.^[14]

The spatial median is a robust and highly efficient estimator of a central tendency of a population.^{[27][37][38][39]}

Other multivariate medians[edit]

An alternative generalization of the spatial median in higher dimensions that does not relate to a particular metric is the centerpoint.

Other median-related concepts[edit]

Interpolated median[edit]

When dealing with a discrete variable, it is sometimes useful to regard the observed values as being midpoints of underlying continuous intervals. An example of this is a Likert scale, on which opinions or preferences are expressed on a scale with a set number of possible responses. If the scale consists of the positive integers, an observation of 3 might be regarded as representing the interval from 2.50 to 3.50. It is possible to estimate the median of the underlying variable. If, say, 22% of the observations are of value 2 or below and 55.0% are of 3 or below (so 33% have the value 3), then the median ${\displaystyle m}$ is 3 since the median is the smallest value of ${\displaystyle x}$ for which ${\displaystyle F(x)}$ is greater than a half. But the interpolated median is somewhere between 2.50 and 3.50. First we add half of the interval width ${\displaystyle w}$ to the median to get the upper bound of the median interval. Then we subtract that proportion of the interval width which equals the proportion of the 33% which lies above the 50% mark. In other words, we split up the interval width pro rata to the numbers of observations. In this case, the 33% is split into 28% below the median and 5% above it so we subtract 5/33 of the interval width from the upper bound of 3.50 to give an interpolated median of 3.35. More formally, if the values ${\displaystyle f(x)}$ are known, the interpolated median can be calculated from

${\displaystyle m_{\text{int}}=m+w\left[{\frac {1}{2}}-{\frac {F(m)-{\frac {1}{2}}}{f(m)}}\right].}$

Alternatively, if in an observed sample there are ${\displaystyle k}$ scores above the median category, ${\displaystyle j}$ scores in it and ${\displaystyle i}$ scores below it then the interpolated median is given by

${\displaystyle m_{\text{int}}=m+{\frac {w}{2}}\left[{\frac {k-i}{j}}\right].}$

Pseudo-median[edit]

For univariate distributions that are symmetric about one median, the Hodges–Lehmann estimator is a robust and highly efficient estimator of the population median; for non-symmetric distributions, the Hodges–Lehmann estimator is a robust and highly efficient estimator of the population pseudo-median, which is the median of a symmetrized distribution and which is close to the population median.^{[citation needed]} The Hodges–Lehmann estimator has been generalized to multivariate distributions.^[37]

Variants of regression[edit]

The Theil–Sen estimator is a method for robust linear regression based on finding medians of slopes.^[40]

Median filter[edit]

In the context of image processing of monochrome raster images there is a type of noise, known as the salt and pepper noise, when each pixel independently becomes black (with some small probability) or white (with some small probability), and is unchanged otherwise (with the probability close to 1). An image constructed of median values of neighborhoods (like 3×3 square) can effectively reduce noise in this case.^{[citation needed]}

Cluster analysis[edit]

In cluster analysis, the k-medians clustering algorithm provides a way of defining clusters, in which the criterion of maximising the distance between cluster-means that is used in k-means clustering, is replaced by maximising the distance between cluster-medians.

Median–median line[edit]

This is a method of robust regression. The idea dates back to Wald in 1940 who suggested dividing a set of bivariate data into two halves depending on the value of the independent parameter ${\displaystyle x}$: a left half with values less than the median and a right half with values greater than the median.^[41] He suggested taking the means of the dependent ${\displaystyle y}$ and independent ${\displaystyle x}$ variables of the left and the right halves and estimating the slope of the line joining these two points. The line could then be adjusted to fit the majority of the points in the data set.

Nair and Shrivastava in 1942 suggested a similar idea but instead advocated dividing the sample into three equal parts before calculating the means of the subsamples.^[42] Brown and Mood in 1951 proposed the idea of using the medians of two subsamples rather the means.^[43] Tukey combined these ideas and recommended dividing the sample into three equal size subsamples and estimating the line based on the medians of the subsamples.^[44]

Median-unbiased estimators[edit]

Any mean-unbiased estimator minimizes the risk (expected loss) with respect to the squared-error loss function, as observed by Gauss. A median-unbiased estimator minimizes the risk with respect to the absolute-deviation loss function, as observed by Laplace. Other loss functions are used in statistical theory, particularly in robust statistics.

The theory of median-unbiased estimators was revived by George W. Brown in 1947:^[45]

An estimate of a one-dimensional parameter θ will be said to be median-unbiased if, for fixed θ, the median of the distribution of the estimate is at the value θ; i.e., the estimate underestimates just as often as it overestimates. This requirement seems for most purposes to accomplish as much as the mean-unbiased requirement and has the additional property that it is invariant under one-to-one transformation.

— page 584

Further properties of median-unbiased estimators have been reported.^{[46][47][48][49]} Median-unbiased estimators are invariant under one-to-one transformations.

There are methods of construction median-unbiased estimators that are optimal (in a sense analogous to minimum-variance property considered for mean-unbiased estimators). Such constructions exist for probability distributions having monotone likelihood-functions.^[50][51] One such procedure is an analogue of the Rao–Blackwell procedure for mean-unbiased estimators: The procedure holds for a smaller class of probability distributions than does the Rao—Blackwell procedure but for a larger class of loss functions.^[52]

History[edit]

The idea of the median appeared in the 13th century in the Talmud ^[53][54] (further^{[citation needed]} for possible older mentions)

The idea of the median also appeared later in Edward Wright's book on navigation (Certaine Errors in Navigation) in 1599 in a section concerning the determination of location with a compass. Wright felt that this value was the most likely to be the correct value in a series of observations.

In 1757, Roger Joseph Boscovich developed a regression method based on the L1 norm and therefore implicitly on the median.^[55]

In 1774, Laplace suggested the median be used as the standard estimator of the value of a posterior pdf. The specific criterion was to minimize the expected magnitude of the error; ${\displaystyle |\alpha -\alpha ^{*}|}$ where ${\displaystyle \alpha ^{*}}$ is the estimate and ${\displaystyle \alpha }$ is the true value. Laplaces's criterion was generally rejected for 150 years in favor of the least squares method of Gauss and Legendre which minimizes ${\displaystyle (\alpha -\alpha ^{*})^{2}}$ to obtain the mean.^[56] The distribution of both the sample mean and the sample median were determined by Laplace in the early 1800s.^[19][57]

Antoine Augustin Cournot in 1843 was the first^{[citation needed]} to use the term median (valeur médiane) for the value that divides a probability distribution into two equal halves. Gustav Theodor Fechner used the median (Centralwerth) in sociological and psychological phenomena.^[58] It had earlier been used only in astronomy and related fields. Gustav Fechner popularized the median into the formal analysis of data, although it had been used previously by Laplace.^[58]

Francis Galton used the English term median in 1881,^[59] having earlier used the terms middle-most value in 1869, and the medium in 1880.^[60][61]

See also[edit]

• Medoids which are a generalisation of the median in higher dimensions
• Central tendency
  • Mean
  • Mode
• Absolute deviation
• Bias of an estimator
• Concentration of measure for Lipschitz functions
• Median (geometry)
• Median graph
• Median search
• Median slope
• Median voter theory
• Weighted median

References[edit]

External links[edit]

• Hazewinkel, Michiel, ed. (2001) [1994], "Median (in statistics)", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
• Median as a weighted arithmetic mean of all Sample Observations
• On-line calculator
• Calculating the median
• A problem involving the mean, the median, and the mode.
• Weisstein, Eric W. "Statistical Median". MathWorld.
• Python script for Median computations and income inequality metrics
• Fast Computation of the Median by Successive Binning
• 'Mean, median, mode and skewness', A tutorial devised for first-year psychology students at Oxford University, based on a worked example.

This article incorporates material from Median of a distribution on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.