Restricted sumset: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
add link to total degree, as this term is undefined.
en>Jdaloner
m →‎Cauchy–Davenport theorem: Changed hyphens to en dashes.
 
Line 1: Line 1:
The '''sequential probability ratio test''' (SPRT) is a specific [[Sequential analysis|sequential hypothesis test]], developed by [[Abraham Wald]].<ref>{{cite journal
Hi there. Allow me begin by introducing the writer, her title is Sophia Boon but she never really liked  [http://www.octionx.sinfauganda.co.ug/node/22469 live psychic reading] that title. The favorite pastime for him and his children is style and he'll be starting some thing else alongside with it. I've usually loved residing in Mississippi. Office supervising is where my main income arrives from but I've usually needed my personal company.<br><br>my website; cheap [http://netwk.hannam.ac.kr/xe/data_2/85669 authentic psychic readings] readings - [http://conniecolin.com/xe/community/24580 conniecolin.com] -
|first=Abraham
|last=Wald
|title=Sequential Tests of Statistical Hypotheses
|journal=Annals of Mathematical Statistics
|volume=16
|issue=2
|date=June 1945
|pages=117–186
|doi=10.1214/aoms/1177731118
|year=1945
|jstor=2235829
}}</ref> [[Neyman-Pearson lemma|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.<ref>Ferguson, Richard L. (1969). [http://eric.ed.gov/ERICWebPortal/custom/portlets/recordDetails/detailmini.jsp?_nfpb=true&_&ERICExtSearch_SearchValue_0=ED034406&ERICExtSearch_SearchType_0=no&accno=ED034406 The development, implementation, and evaluation of a computer-assisted branched test for a program of individually prescribed instruction]. Unpublished doctoral dissertation, University of Pittsburgh.</ref><ref>Reckase, M. D. (1983). A procedure for decision making using tailored testing. In D. J. Weiss (Ed.), New horizons in testing: Latent trait theory and computerized adaptive testing (pp. 237-254). New York: Academic Press.</ref><ref name=Eggen1999>{{cite journal
| author = Eggen, T. J. H. M.
| year = 1999
| title = Item Selection in Adaptive Testing with the Sequential Probability Ratio Test
| journal = Applied Psychological Measurement
| volume = 23
| issue = 3
| pages = 249–261
| doi = 10.1177/01466219922031365
}}</ref>
 
==Theory==
As in classical [[hypothesis testing]], SPRT starts with a pair of hypotheses, say <math>H_0</math> and <math>H_1</math> for the [[null hypothesis]] and [[alternative hypothesis]] respectively. They must be specified as follows:
 
:<math>H_0: p=p_0</math>
:<math>H_1: p=p_1</math>
 
The next step is calculate the cumulative sum of the log-[[likelihood-ratio test|likelihood ratio]], <math>\log \Lambda_i</math>, as new data arrive:
 
:<math>S_i=S_{i-1}+ \log \Lambda_i </math>
 
The [[stopping rule]] is a simple thresholding scheme:
 
* <math>a < S_i < b</math>: continue monitoring (''critical inequality'')
* <math>S_i \geq b</math>: Accept <math>H_1</math>
* <math>S_i \leq a</math>: Accept <math>H_0</math>
 
where a and b (<math>0<a<b<\infty</math>) depend on the desired [[type I and type II errors]], <math>\alpha</math> and <math>\beta</math>. They may be chosen as follows:
 
<math>a \approx \log \frac{ \beta }{1-\alpha}</math> and <math>b \approx \log \frac{1-\beta}{\alpha}</math>
 
In other words, <math>\alpha</math> and <math>\beta</math> 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]]:
 
:<math>f_\theta(x)=\theta^{-1}\exp\left(-x/\theta\right), x,\theta>0</math>
 
The hypotheses are simply <math>H_0: \theta=\theta_0</math> and <math>H_1: \theta=\theta_1</math>, with <math>\theta_1>\theta_0</math>. Then the log-likelihood function (LLF) for one sample is
 
:<math>\begin{align}
\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{align}</math>
 
The cumulative sum of the LLFs for all x is
 
:<math>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}</math>
 
Accordingly, the stopping rule is
:<math>a<\frac{\theta_1-\theta_0}{\theta_0 \theta_1} \sum_{i=1}^n x_i - n \log \frac{\theta_1}{\theta_0}<b</math>
 
After re-arranging we finally find
:<math>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}</math>
 
The thresholds are simply two [[parallel lines]] with [[slope]] <math>\log ( \theta_1/\theta_0 )</math>. 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<sub>1</sub>'' or ''p<sub>2</sub>''.  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<sub>1</sub> = 0.01'' and ''p<sub>2</sub> = 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<sub>1</sub>'' and ''p<sub>2</sub>'' 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<sub>1</sub> = 0.65'' and ''p<sub>2</sub> = 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 [[Standard-setting study#Item-centered_studies|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<sub>2</sub>'' 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<sub>1</sub>'' 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 testing|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<sub>1</sub>'' and ''p<sub>2</sub>'' 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:
 
#Large item banks tend to be calibrated with IRT
#This allows more accurate specification of the parameters
#By using the item response function for each item, the parameters are easily allowed to vary between items.
 
===Detection of anomalous medical outcomes===
[[David Spiegelhalter|Spiegelhalter]] et al. <ref>[http://intqhc.oxfordjournals.org/content/15/1/7.full.pdf Risk-adjusted sequential probability ratio tests: application to Bristol, Shipman and adult cardiac surgery Spiegelhalter, D. et al ''Int J Qual Health Care'' vol 15 7-13 (2003)]</ref> 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==
<references/>
Holger Wilker: ''Sequential-Statistik in der Praxis'', BoD, Norderstedt 2012, ISBN 978-3848232529.
 
[[Category:Statistical tests]]
[[Category:Psychometrics]]
[[Category:Sequential methods]]

Latest revision as of 14:08, 3 September 2014

Hi there. Allow me begin by introducing the writer, her title is Sophia Boon but she never really liked live psychic reading that title. The favorite pastime for him and his children is style and he'll be starting some thing else alongside with it. I've usually loved residing in Mississippi. Office supervising is where my main income arrives from but I've usually needed my personal company.

my website; cheap authentic psychic readings readings - conniecolin.com -