Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/iii/paper-41/2/solution

A conditional likelihood is the conditional density of the observed data given a chosen statistic, viewed as a function of the parameter. Conditioning can eliminate a nuisance parameter if the statistic is sufficient for it within the relevant family. The conditioning statistic need not be ancillary; conditioning can also discard some information about the parameter of interest.
For the canonical family, let and . Normalization of the density gives the cumulant-generating function of one nuisance statistic:
For the sample mean , it is . Differentiation gives and .
Assume an interior saddle with positive curvature and the usual smooth nonlattice density conditions. Define by
This is the constrained maximum-likelihood estimator of with held fixed. The exponential tilt parameter for one summand is . Tilting puts the sample mean at , where its tilted density has leading normal value . Undoing the tilt gives the saddlepoint density approximation
This is the density of the mean, not the sum; their factors differ by .
The sample log-likelihood is . Conditional on , the factor involving is constant on the conditioning surface, so the conditional distribution is free of . Subtracting the saddlepoint log-density from the joint log-likelihood now cancels all the original nuisance terms:
The final term, and any conditioning-coordinate factor, are data-only constants. Thus the saddlepoint conditional likelihood adjustment is
The absolute-value notation agrees with the question; positive variance makes it unnecessary in this regular setting. The sign of this correction is positive, because a nuisance-statistic density with inverse-square-root curvature has been divided out. A lattice-valued statistic requires the corresponding mass approximation, and a boundary or zero-variance saddle is outside the stated regular density calculation.

New to topics? Read the docs here!