Restricted sumset

The sequential probability ratio test (SPRT) is a specific sequential hypothesis test, developed by Abraham Wald. Neyman and Pearson's 1933 result inspired Wald to reformulate it as a sequential analysis problem. The Neyman-Pearson lemma, by contrast, offers a rule of thumb for when all the data is collected (and its likelihood ratio known).

While originally developed for use in quality control studies in the realm of manufacturing, SPRT has been formulated for use in the computerized testing of human examinees as a termination criterion.

Theory

As in classical hypothesis testing, SPRT starts with a pair of hypotheses, say $H_{0}$ and $H_{1}$ for the null hypothesis and alternative hypothesis respectively. They must be specified as follows:

$H_{0}:p=p_{0}$

$H_{1}:p=p_{1}$

The next step is calculate the cumulative sum of the log-likelihood ratio, $\log \Lambda _{i}$, as new data arrive:

$S_{i}=S_{i-1}+\log \Lambda _{i}$

The stopping rule is a simple thresholding scheme:

• $a<S_{i}<b$: continue monitoring (critical inequality)
• $S_{i}\geq b$: Accept $H_{1}$
• $S_{i}\leq a$: Accept $H_{0}$

where a and b ($0<a<b<\infty$) depend on the desired type I and type II errors, $\alpha$ and $\beta$. They may be chosen as follows:

$a\approx \log {\frac {\beta }{1-\alpha }}$ and $b\approx \log {\frac {1-\beta }{\alpha }}$

In other words, $\alpha$ and $\beta$ must be decided beforehand in order to set the thresholds appropriately. The numerical value will depend on the application. The reason for using approximation signs is that, in the discrete case, the signal may cross the threshold between samples. Thus, depending on the penalty of making an error and the sampling frequency, one might set the thresholds more aggressively. Of course, the exact bounds may be used in the continuous case.

Example

A textbook example is parameter estimation of a probability distribution function. Let us consider the exponential distribution:

$f_{\theta }(x)=\theta ^{-1}\exp \left(-x/\theta \right),x,\theta >0$

The hypotheses are simply $H_{0}:\theta =\theta _{0}$ and $H_{1}:\theta =\theta _{1}$, with $\theta _{1}>\theta _{0}$. Then the log-likelihood function (LLF) for one sample is

${\begin{aligned}\log \Lambda (x)&=\log \left[{\frac {\theta _{1}^{-1}\exp \left(-x/\theta _{1}\right)}{\theta _{0}^{-1}\exp \left(-x/\theta _{0}\right)}}\right]\\&=\log \left[{\frac {\theta _{0}}{\theta _{1}}}\exp \left(x/\theta _{0}-x/\theta _{1}\right)\right]\\&={\frac {\theta _{1}-\theta _{0}}{\theta _{0}\theta _{1}}}x-\log {\frac {\theta _{1}}{\theta _{0}}}\end{aligned}}$

The cumulative sum of the LLFs for all x is

$S_{n}=\sum _{i=1}^{n}\log \Lambda (x_{i})={\frac {\theta _{1}-\theta _{0}}{\theta _{0}\theta _{1}}}\sum _{i=1}^{n}x_{i}-n\log {\frac {\theta _{1}}{\theta _{0}}}$

Accordingly, the stopping rule is

$a<{\frac {\theta _{1}-\theta _{0}}{\theta _{0}\theta _{1}}}\sum _{i=1}^{n}x_{i}-n\log {\frac {\theta _{1}}{\theta _{0}}}<b$

After re-arranging we finally find

$a+n\log {\frac {\theta _{1}}{\theta _{0}}}<{\frac {\theta _{1}-\theta _{0}}{\theta _{0}\theta _{1}}}\sum _{i=1}^{n}x_{i}<b+n\log {\frac {\theta _{1}}{\theta _{0}}}$

The thresholds are simply two parallel lines with slope $\log(\theta _{1}/\theta _{0})$. Sampling should stop when the sum of the samples makes an excursion outside the continue-sampling region.

Applications

Manufacturing

The test is done on the proportion metric, and tests that a variable p is equal to one of two desired points, p₁ or p₂. The region between these two points is known as the indifference region (IR). For example, suppose you are performing a quality control study on a factory lot of widgets. Management would like the lot to have 3% or less defective widgets, but 1% or less is the ideal lot that would pass with flying colors. In this example, p₁ = 0.01 and p₂ = 0.03 and the region between them is the IR because management considers these lots to be marginal and is OK with them being classified either way. Widgets would be sampled one at a time from the lot (sequential analysis) until the test determines, within an acceptable error level, that the lot is ideal or should be rejected.

Testing of human examinees

The SPRT is currently the predominant method of classifying examinees in a variable-length computerized classification test (CCT). The two parameters are p₁ and p₂ are specified by determining a cutscore (threshold) for examinees on the proportion correct metric, and selecting a point above and below that cutscore. For instance, suppose the cutscore is set at 70% for a test. We could select p₁ = 0.65 and p₂ = 0.75 . The test then evaluates the likelihood that an examinee's true score on that metric is equal to one of those two points. If the examinee is determined to be at 75%, they pass, and they fail if they are determined to be at 65%.

These points are not specified completely arbitrarily. A cutscore should always be set with a legally defensible method, such as a modified Angoff procedure. Again, the indifference region represents the region of scores that the test designer is OK with going either way (pass or fail). The upper parameter p₂ is conceptually the highest level that the test designer is willing to accept for a Fail (because everyone below it has a good chance of failing), and the lower parameter p₁ is the lowest level that the test designer is willing to accept for a pass (because everyone above it has a decent chance of passing). While this definition may seem to be a relatively small burden, consider the high-stakes case of a licensing test for medical doctors: at just what point should we consider somebody to be at one of these two levels?

While the SPRT was first applied to testing in the days of classical test theory, as is applied in the previous paragraph, Reckase (1983) suggested that item response theory be used to determine the p₁ and p₂ parameters. The cutscore and indifference region are defined on the latent ability (theta) metric, and translated onto the proportion metric for computation. Research on CCT since then has applied this methodology for several reasons:

1. Large item banks tend to be calibrated with IRT
2. This allows more accurate specification of the parameters
3. By using the item response function for each item, the parameters are easily allowed to vary between items.

Detection of anomalous medical outcomes

Spiegelhalter et al. have shown that SPRT can be used to monitor the performance of doctors, surgeons and other medical practitioners in such a way as to give early warning of potentially anomalous results. In their 2003 paper, they showed how it could have helped identify Harold Shipman as a murderer well before he was actually identified.

See also

• CUSUM
• Computerized classification test
• Wald test
• Likelihood-ratio test

References

Holger Wilker: Sequential-Statistik in der Praxis, BoD, Norderstedt 2012, ISBN 978-3848232529.