Sequential probability ratio test
Builds on Sequential analysisStatistical hypothesis testIndependent and identically distributed random variablesLikelihood functionStopping timeType I and type II errorsRandom walk
Definition
Let be independent and identically distributed random variables with a density with respect to a -finite measure. Let be two densities, and consider the hypotheses and . The ratio of the likelihoods after observations is Let be constants. The sequential probability ratio test with boundaries and is the sequential procedure such that:
- It stops at the stopping time .
- It rejects if and accepts if .
Remarks
Example: for coin tosses , let be the Bernoulli law with parameter and the one with parameter . Then each head multiplies by and each tail by . With and , the test stops the first time the running product leaves the interval .
Non-example: comparing with a single threshold after exactly tosses is a fixed-sample likelihood ratio test, not an SPRT, because the stopping rule of clause 1 is not used.
Since , the time is finite with probability one under both hypotheses and has finite expectation. In logarithms, is a random walk with the two absorbing barriers . Let and be the error probabilities of type I and type II. Wald's inequalities are and , and in practice the boundaries and are used as approximations.
Reading path
To understand this page from the ground up, read these 56 pages in order. The foundations come first.
- Construction of the reals from Cauchy sequences concept
- Element definition
- Independent and identically distributed random variables concept
- Integers object
- Likelihood function concept
- Ordered field definition
- Proposition concept
- Random experiment concept
- Random walk concept
- Rational numbers object
- Real numbers object
- Sequential analysis concept
- Stopping time concept
- Type I and type II errors concept
- Set definition
- Ring of integers statement
- Disjunction definition
- Implication definition
- Predicate definition
- Ordered pair definition
- Union definition
- Sample space definition
- Existential quantifier definition
- Universal quantifier definition
- The rationals form a field statement
- Cartesian product definition
- Subset definition
- Uniqueness quantifier definition
- The rationals form an ordered field statement
- Binary relation definition
- Universal set definition
- Power set definition
- Order on the reals definition
- Complement definition
- Function definition
- Interval definition
- Sigma-algebra definition
- Preimage of a set definition
- Event definition
- Borel sigma-algebra definition
- Probability axioms concept
- Probability measure definition
- Probability distribution definition
- Probability space definition
- Conditional probability definition
- Random variable definition
- Independence of two events definition
- Law of a random variable definition
- Mutual independence of events definition
- Identically distributed random variables definition
- Independent sigma-algebras definition
- Independence of random variables definition
- Independent and identically distributed random variables definition
- Statistic definition
- Statistical hypothesis test concept
- Sequential probability ratio test definition
Further reading
About this page
| Tag | 4PBC71YCTK |
|---|---|
| URI | m2://4PBC71YCTK |
| Kind | definition |
| Writing | W0 stub |
| MSC | 62L10, 62F03 |
| Defines | Sequential probability ratio test |
| Uses | Sequential analysis, Statistical hypothesis test, Independent and identically distributed random variables, Likelihood function, Stopping time, Type I and type II errors, Random walk |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.