Thresholds for Order Statistics
Many order-statistic problems ask for a probability at a specified threshold; others reverse the task and ask for the threshold that produces a specified probability. For example, a reliability analyst might want the time by which a certain fraction of components have failed, or a claims analyst might ask how large a loss threshold must be so that only a specified fraction of observed losses exceed it. In each case, the key is to translate a statement about a rank into a count of observations on one side of the threshold.
This tutorial considers independent observations from a common continuous distribution, including exponential and uniform examples. The methods are aligned with the SOA Exam P (Probability) syllabus. They use the usual ascending order-statistic convention: the smallest observation is \(X_{(1)}\), and the largest of \(n\) observations is \(X_{(n)}\).
Minimum and Maximum Thresholds
For the minimum, the event \(X_{(1)}>t\) occurs exactly when every observation exceeds \(t\). Independence therefore gives \(P(X_{(1)}>t)=[1-F(t)]^n\). Taking the complement gives the corresponding probability below or at the threshold. For the maximum, \(X_{(n)}\le t\) occurs exactly when every observation is at most \(t\), so its probability is \(F(t)^n\).
These formulas can also be used in reverse. If the desired probability for the minimum to exceed \(t\) is \(q\), solve \([1-F(t)]^n=q\). If the desired probability for the maximum to be at most \(t\) is \(q\), solve \(F(t)^n=q\). For a continuous distribution whose \(F\) is strictly increasing on its support, these equations have at most one solution for a given probability between 0 and 1.
Worked Example: A Minimum Lifetime Threshold
A hypothetical system has four independent components. Each component’s lifetime \(X_i\), measured in hours, has an exponential distribution with rate \(\lambda=0.5\) per hour. Find the time \(t\) such that the probability that all four components are still operating after \(t\) hours is \(0.2000\). Assume the lifetimes are identically distributed and independent.
Method. The minimum lifetime \(X_{(1)}\) exceeds \(t\) exactly when all four lifetimes exceed \(t\). For an exponential distribution, \(P(X_i>t)=e^{-\lambda t}\) for \(t\ge 0\). Thus
Set this probability equal to the target and solve:
Rounded to four decimal places, \(t=0.8047\) hours. Check: \(e^{-2(0.804718\ldots)}=e^{-\ln 5}=1/5=0.2000\). The common mistake is to use the probability for one component alone, \(e^{-0.5t}\), rather than the probability that all four survive. The fourth power, or equivalently the rate \(4\lambda=2\) for this minimum, is essential.
Worked Example: A Maximum Threshold From a Uniform Sample
Three independent inspection measurements are each uniformly distributed on the interval from 0 to 10 units. Find the threshold \(t\) such that the probability that the largest measurement is at most \(t\) is \(0.9000\). Assume the measurements are identically distributed and independent.
Method. For a uniform distribution on \([0,10]\), \(F(t)=t/10\) when \(0\le t\le10\). The maximum is at most \(t\) only if all three measurements are at most \(t\), so
Solve the threshold equation, retaining the solution within the support \([0,10]\):
Rounded to four decimal places, \(t=9.6549\) units. Check: \((9.654893\ldots/10)^3=0.9000\). Taking the cube root of \(0.9000\) is necessary; setting \(t/10=0.9000\) would find a single-measurement quantile, not the maximum’s quantile.
The kth Order Statistic as a Counting Event
For an intermediate rank, the event \(X_{(k)}\le t\) occurs exactly when at least \(k\) of the \(n\) observations are at most \(t\). Define \(N_t\) as the number of observations at most \(t\). Each observation contributes an indicator that equals 1 with probability \(F(t)\) and 0 otherwise. Under the independent, identical-distribution assumptions, \(N_t\) has a binomial distribution with parameters \(n\) and \(F(t)\). This count representation gives a direct expression for the order-statistic probability.
The reasoning is exact: if \(j\) specified observations are at most \(t\) and the other \(n-j\) exceed \(t\), independence gives probability \([F(t)]^j[1-F(t)]^{n-j}\). There are \(\binom{n}{j}\) ways to choose which \(j\) observations are at most \(t\). Summing over \(j\ge k\) gives the event that at least \(k\) observations are at most \(t\), which is precisely \(X_{(k)}\le t\). Summing over \(j\le k-1\) gives its complement. This derivation uses counts and does not require a density; it applies to discrete parent distributions as well, though a discrete threshold equation may not have an exact solution.
To find a threshold for a specified target probability \(q\), set the relevant sum equal to \(q\) and solve for \(t\). Often it is convenient to first solve for \(p=F(t)\), which lies between 0 and 1, and then invert the parent CDF. When the parent distribution is continuous and strictly increasing, this inversion is unambiguous. For a general distribution, define a quantile using the smallest \(t\) for which the CDF reaches or exceeds the target; the desired probability may then jump over the target rather than equal it.
Worked Example: A Fourth-Rank Threshold in a Uniform Sample
Five independent measurements have the uniform distribution on \([0,1]\). Find \(t\) such that \(P(X_{(4)}\le t)=0.33696\), where \(X_{(4)}\) is the fourth-smallest measurement. Assume the sample is identically distributed and independent.
Method. The event \(X_{(4)}\le t\) means at least four of the five observations are at most \(t\). Here \(F(t)=t\) for \(0\le t\le1\), so the only possible counts are four or five:
At \(t=0.6000\), the two count probabilities are
Therefore,
Thus the requested threshold is \(t=0.6000\), and the calculation checks exactly against the target. For the complementary event, the probability is
or \(0.6630\) to four decimal places. The complement counts zero, one, two, or three observations at most \(0.6\); it is not the probability that the fourth order statistic is at most \(0.6\). This distinction prevents a common rank-and-complement error.
A Reliable Threshold-Solving Process
A short sequence of checks helps keep threshold calculations organized, especially when the requested event is phrased in terms of “above,” “below,” “at least,” or “at most.”
Write whether the target concerns \(X_{(k)}\le t\) or \(X_{(k)}>t\). Do not switch to the complement unless you also change the target probability.
For \(X_{(k)}\le t\), count observations at most \(t\): at least \(k\) must qualify. For \(X_{(k)}>t\), at most \(k-1\) can qualify.
Set \(p=F(t)\). Under the iid model, the count is binomial with parameters \(n\) and \(p\), including for the minimum and maximum.
Solve the resulting equation for \(p\) or \(t\), check that the solution lies in the support, and substitute it into the original event probability.
When the Formula Applies and Why It Matters
The binomial-count formula depends on the observations being independent and having the same parent distribution. If the observations are independent but have different CDFs \(F_i(t)\), the count is generally not binomial: each observation has its own probability of being at most \(t\). The iid formula must not be applied in that setting. Similarly, dependence between observations changes the probability of the count and requires a model for that dependence.
For the minimum and maximum, the special formulas are simpler versions of the same count argument. They are often the quickest route for extreme ranks. For an intermediate \(k\), the binomial sum is the useful general method. In all cases, the target event should remain visible while solving: a threshold for “the largest is below \(t\)” and one for “the largest exceeds \(t\)” correspond to complementary probabilities, not the same equation.
Check Your Understanding
For each problem, state the event in terms of a count before calculating or solving.
- Four independent lifetimes are exponential with rate \(0.25\) per day. Find \(t\) such that the probability their minimum exceeds \(t\) is \(0.5000\). (Answer: \(0.6931\) days.)
- Four independent observations are uniform on \([0,1]\). Find \(t\) such that the probability their maximum is at most \(t\) is \(0.9500\). Give the threshold to four decimal places. (Answer: \(0.9873\).)
- Three independent observations are uniform on \([0,1]\). Find \(P(X_{(2)}\le0.4)\). (Answer: \(0.3520\).)
- Five independent observations are uniform on \([0,1]\). Find \(P(X_{(4)}>0.6)\). Give the probability to four decimal places. (Answer: \(0.6630\).)
- Three independent lifetimes are exponential with rate \(0.2\) per day. Find \(t\) such that \(P(X_{(2)}\le t)=0.5000\). Give the threshold to four decimal places. (Answer: \(3.4657\) days.)