Reading for Today's Lecture:
Goals of Today's Lecture:
Today's notes
Theorem: In testing f0 against f1 the probability
of a type II error is minimized, subject to
by the test function:
Definition: In the general problem of testing
against
the level of a test function
is
Example: In the Binomial(n,p) to test p=p0 versus
p1 for a p1>p0 the NP test is of the form
Example: In the
example to test
against
for some
the NP test is of the
form
Proof of the Neyman Pearson lemma: Given a test
with level strictly less than
we can define
the test
For each
we have seen that
minimizes
where
.
As
increases the level of
decreases from 1
when
to 0 when
.
There is thus a
value
where for
the level is less than
while for
the level is at least
.
Temporarily let
.
If
define
.
If
define
Now
has level
and according to the theorem above
minimizes
.
Suppose
is some other
test with level
.
Then
The examples show a phenomenon which is somewhat general.
What happened was this. For any
the likelihood
ratio
is an increasing
function of
.
The rejection region of the NP test is thus
always a region of the form
.
The value of the constant
k is determined by the requirement that the test have level
and this depends on
not on
.
Definition: The family
has monotone likelikelood ratio with respect to a statistic T(X)if for each
the likelihood ratio
is a monotone increasing function of T(X).
Theorem: For a monotone likelihood ratio family the
Uniformly Most Powerful level
test of
(or of
)
against the alternative
is
A typical family where this will work is a one parameter exponential
family. In almost any other problem the method doesn't work and there
is no uniformly most powerful test. For instance to test against the two sided alternative
there is no UMP level
test. If there were its power at
would have to be
as high as that of the one sided level
test and so its rejection
region would have to be the same as that test, rejecting for large
positive values of
.
But it also has to have power as
good as the one sided test for the alternative
and
so would have to reject for large negative values of
.
This would make its level too large.
The favourite test is the usual 2 sided test which rejects for large values
of
with the critical value chosen appropriately.
This test maximizes the power subject to two constraints: first, that
the level be
and second that the test have power which is
minimized at
.
This second condition is really that the
power on the alternative be larger than it is on the null.
Definition: A test
of
against
is unbiased level
if it has level
and,
for every
we have
When testing a point null hypothesis like
this requires
that the power function be minimized at
which will mean that
if
is differentiable then
We now apply that condition to the
problem. If
is any test function then
Consider the problem of minimizing
subject to
the two constraints
and
.
Now fix two
values
and
and minimize
The likelihood ratio f1/f0 is simply
Now you have to mimic the Neyman Pearson lemma proof to check
that if
and
are adjusted so that the
unconstrained problem has the rejection region given then the
resulting test minimizes
subject to the two constraints.
A test
is a Uniformly Most Powerful Unbiased level
test if
Conclusion: The two sided z test which rejects
if
What good can be said about the t-test? It's UMPU.
Suppose
are iid
and that
we want to test
or
against
.
Notice that
the parameter space is two dimensional and that the boundary
between the null and alternatives is
If a test has
for all
and
for
all
then we must have
for all
because the power function of any test must
be conntinuous. (This actually uses the dominated convergence
theorem; the power function is an integral.)
Now think of
as a
parameter space for a model. For this parameter space you
can check that
Now let us fix a single value of
and a
.
To make our notation simpler I take
.
Our observations above permit us to condition on S=s. Given
S=s we have a level
test which is a function of
.
If we maximize the conditional power of this test for each s then
we will maximize its power. What is the conditional model
given S=s? That is, what is the conditional distribution of
given S=s? The answer is that the joint density of
is of the form
This makes the conditional density of
given S=s of the form