Order Statistics

Quantiles of a Random Sample

Data Science

Sushovan Majhi


September 20, 2022


In statistics, a one-value summary of a random sample is called a statistic. Mean, standard deviation, median, min, max of a sample are some of the commonly used statistics. While the computation of mean and standard deviation use the actual sample values—min, max, and median are computed using only their relative positions or order. When a sample is sorted in non-decreasing order, the first and the last positions are the min and the max, and the middle position is the median. The notion of order statistics generalizes such summaries of a sample.

Since this is the most prevalent use case, we always consider a random sample \(X_1, X_2,\ldots, X_n\) to be i.i.d. from a continuous random variable \(X\) following a common probability distribution \(\mathbb F(x)=\mathbb P(X\leq x)\). The ordered sample is denoted by \(X_{(1)}\leq X_{(2)}\leq\ldots\leq X_{(n)}\), and \(X_{(k)}\) is called the \(k\)th-order statistic for any \(1\leq k\leq n\).

So, the \(1\)st and the \(n\)th order statistics are simply the sample min and smaple max, respectively. Moreover, \(X_{\left(\frac{n-1}{2}\right)}\) is the sample median if \(n\) is odd.

Before exploring the sampling distributions of the order statistics in full generality, we start playing around with two very special order statistics—min and max.

Min and Max Statistics

In our notations, \(X_{(1)}\) and \(X_{(n)}\) are the sample min and max, respectively. For simplicity of notation, however, we let \(U\) and \(V\) denote the min and the max.

Experimenting with the Extrema

Let us consider a random sample of size \(n=10\) from the uniform distribution over the interval \([0,1]\). The sampled data-points are shown in Figure 1, along with the min (in green) and max (in red).

Figure 1: A random sample of size \(10\) from \(\mathrm{unif}([0,1])\). The red and blue points denote the min and the max, respectively.

In this random instance of the sample, the sample min (equivalently max) is not very far from \(0\) (equaivalently \(1\)). We wonder if this is generally the case across random instances. It would definitely be counter-intuitive if it turns out that way. In our setup, each sample point \(X_i\) takes on a value in \([0,1]\), without any unfair bias in favor of a particular point—moreover, \(X_i\) is oblivious to the other draws \(X_j\) for \(i\neq j\). So, it is most natural to think any point in the interval is equally-likely to be the min and max. In order to put this intuition to test, we take \(m=5\) random samples. Each sample is drawn on a line as before, and the samples are stacked vertically in Figure 2.

Figure 2: Samples are drawn on the horizontal lines, the red minimums and maximums are again shown in green and red.

As it turns out, sample mean \(U\) has a tendency to remain to close \(0\) and sample max \(V\) has a tendency to remain to close \(1\)! More specifically, for a sample of size \(n\) from uniform \([0,1]\) we have \[E[U]=\frac{1}{n+1}\text{ and }E[V]=\frac{n}{n+1}.\]

Probability Distributions of the Extrema

Let us try to prove a little more general result. We compute now the density of the extrema \(U\) and \(V\) of a sample from a general probability distribution.

Theorem 1 (Density Function of \(V\))

If \(X_1, X_2, \ldots, X_n\) are independent random variables with the common CDF \(F\) and density \(f\), then the density of \(V\) is \[f_V(v)=nf(v)[F(v)]^{n-1}.\]

Solution. We first compute the CDF \(F_V(v)\) of \(V\), then differentiate it to get the PDF. In order to compute \(F_V(v)\), we note that \(V\leq v\) if and only if every \(X_i\leq v\). So, \[\begin{align} F_V(v) &=\mathbb P(V\leq v) \\ &=\mathbb P(X_1\leq v, X_2\leq v, \ldots, X_n\leq v) \\ &=\mathbb P(X_1\leq v)\mathbb P(X_2\leq v)\ldots\mathbb P(X_n\leq v) \\ &=[F(v)]^n. \end{align}\] Differentiating we get the density \[ \begin{align} f_V(v) &=\frac{d}{dv}[F(v)]^n \\ &=n[F(v)]^{n-1}\frac{dF(v)}{dv} \\ &=n[F(v)]^{n-1}f(v). \end{align} \]

Exercise 1

Prove that, under the conditions of Theorem 1, the density of \(U\) is \[f_U(u)=nf(u)[1-F(u)]^{n-1}.\]

Order Statistics

Theorem 2

The density of \(X_{(k)}\), the \(k\)th-order statistic, is \[ f_k(x) = \frac{n!}{(k-1)!(n-k)!}f(x)F^{k-1}(x)[1-F(x)]^{n-k}. \]

Proof. As before, we compute the CDF, \(F_k(x)=\mathbb P(X_{(k)}\leq x)\), first then differentiate it to find the density. We note that \(X_{(k)}\leq x\) if and only if at least \(k\) many sample points (\(X_i\)s) are not greater than \(x\). Consequently, if denote by \(Z\) the number of \(X_i\)s that are not greater than this fixed number \(x\), the event that \(X_{(k)}\leq x\) is equaivalent to having \(Z\geq k\). So, \[ F_k(x)=\mathbb P(X_{(k)}\leq x)=\mathbb P(Z\geq k) \] Since \(X_i\)s are independent, we also note that \(Z\) is a random variable that follows the Binomial distribution distribution with parameters \(n\) and \(p=\mathbb P(X_i\leq x)=F(x)\). Therefore, \[\begin{align} F_k(x) &= \sum\limits_{i=k}^n{n \choose i}p^i(1-p)^{n-i} \\ &= \sum\limits_{i=k}^n{n \choose i}F^i(x)[1-F(x)]^{n-i} \end{align}\] Now, we differentiate \(F_k(x)\) to find the density \[ \begin{align} f_k(x) &= \frac{d}{dx}F_k(x) \\ &=\frac{d}{dx}\left[\sum\limits_{i=k}^n{n \choose i}F^i(x)[1-F(x)]^{n-i}\right] \\ &=\sum\limits_{i=k}^n{n \choose i}\frac{d}{dx}\bigg[F^i(x)[1-F(x)]^{n-i}\bigg] \\ &=\sum\limits_{i=k}^n{n \choose i}\frac{d}{dx}\bigg[F^i(x)[1-F(x)]^{n-i}\bigg] \end{align} \] Using the chain rule, we get \[ \begin{align} f_k(x)&=\sum\limits_{i=k}^n{n \choose i}\bigg[iF^{i-1}(x)\frac{dF(x)}{dx}[1-F(x)]^{n-i} \\ &\quad+F^i(x)(n-i)[1-F(x)]^{n-i-1}\frac{d[1-F_k(x)]}{dx}\bigg] \\ &=\sum\limits_{i=k}^n{n \choose i}iF^{i-1}(x)f(x)[1-F(x)]^{n-i} \\ &\quad-\sum\limits_{i=k}^n{n \choose i}(n-i)F^i(x)[1-F(x)]^{n-i-1}f(x) \end{align} \] Here, we the following two identities given as an exercise.

So, \[ \begin{align} f_k(x)&=\sum\limits_{i=k}^n \frac{n!}{(i-1)!(n-i)!} F^{i-1}(x)f(x)[1-F(x)]^{n-i} \\ &\quad-\sum\limits_{i=k}^n\frac{n!}{i!(n-i-1)!} F^i(x)[1-F(x)]^{n-i-1}f(x) \\ &=\sum\limits_{i=k}^n\bigg[\frac{n!}{(i-1)!(n-i)!} F^{i-1}(x)f(x)[1-F(x)]^{n-i} \\ &\quad-\frac{n!}{i!(n-i-1)!} F^i(x)[1-F(x)]^{n-i-1}f(x)\bigg] \\ \end{align} \] This is a telescoping series. Therefore, only the first term survives \[ f_k(x)=\frac{n!}{(k-1)!(n-k)!}f(x)F^{k-1}(x)[1-F(x)]^{n-k}. \]

Exercise 2

Prove that \[{n \choose i}i=\frac{n!}{(i-1)!(n-i)!}\] and \[{n \choose i}(n-i)=\frac{n!}{i!(n-i-1)!}.\]

The Order Statistics of Uniform \([0,1]\)

We can now apply the density obtained in Theorem 2 to compute the expectations of the order statistics for a sample of size \(n\) from uniform \([0,1]\). In this case, \[ f(x)=\begin{cases} 1,&0\leq x\leq 1 \\ 0,&\text{ otherwise} \end{cases} \] And, \[ F(x)=\begin{cases} 0,&x<0 \\ x,&0\leq x\leq 1\\ 1,&x>1 \end{cases} \] As a result, the density of the \(k\)th-order statistic is \[ f_k(x)=\begin{cases} \frac{n!}{(k-1)!(n-k)!}x^{k-1}(1-x)^{n-k},& 0\leq x\leq 1 \\ 0,&\text{ otherwise} \end{cases} \] The expectation is \[ \begin{align} E[X_{(k)}] &=\int_0^1x\cdot\frac{n!}{(k-1)!(n-k)!}x^{k-1}(1-x)^{n-k}dx \\ &=\frac{n!}{(k-1)!(n-k)!}\int_0^1x^k(1-x)^{n-k}dx. \end{align} \] The form of the integral is known as the Beta function. Using its relation to binomial coefficients, we can then write \[ \begin{align} E[X_{(k)}] &=\frac{n!}{(k-1)!(n-k)!}\int_0^1x^k(1-x)^{n-k}dx \\ &=\frac{n!}{(k-1)!(n-k)!}\cdot\frac{k!(n-k)!}{(k+n-k+1)!} \\ &=\frac{k}{n+1}. \end{align} \] The typical positions of random draws (when sorted) are equally spaced over \([0,1]\) as evident in the following plot.


In addition to the marginal densities of the order statistics, one can also compute the joint distribution. As one can imagine, the computation gets very complicated. Among other applications, order statiscs are used to define quantiles of a sample, which provide an extremely useful graphical tool called qq-plots.