Let for independent and identically distributed observations, with having an exponential distribution of unknown scale . Test the null hypothesis within . For nondegenerate data, the likelihood function isMaximizing over the scale gives , and the resulting profile likelihood increases with . Thus the unrestricted maximum-likelihood estimates are and , while the null estimate is . The likelihood ratio is consequently
Under the null, put and . The memoryless property gives independent gamma distributions of shapes and and common scale . For a direct verification, fix which observation is the minimum and write its value as and the other observations as . Their joint density is proportional to , which factors into an exponential density for the minimum and independent exponential densities for the excesses. The minimum's index does not affect the resulting laws of .
By beta sampling by gamma ratios, . ThereforeAn exact test size is obtained by rejecting for . Equivalently,Although the alternative adds one endpoint parameter, a regular one-parameter Wilks theorem calibration is incorrect: the support depends on the endpoint, and the null lies on its boundary. In particular, tends to a chi-squared distribution with two statistical degrees of freedom, not one.
For two independent statistical samples from exponential distributions with positive means and , write , and . The unconstrained maximum-likelihood estimators are and ; under equality of the means the common fitted mean is . Dividing the constrained maximum likelihood function by its unrestricted maximum gives the displayed likelihood ratio. Its maximum is one at , so the likelihood-ratio test rejects for sufficiently small values, in either tail of .
Under the null hypothesis, the sums have independent gamma distributions with a common rate, so by beta sampling by gamma ratios. This permits exact calibration. For large samples with , the Wilks theorem gives . Its upper-tail probability is the asymptotic p-value. The one statistical degree of freedom is the difference between the unrestricted and constrained parameter dimensions.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 47 3 b iii Solution Created 2026-10-03 Updated 2026-10-14
For Beta sampling by gamma ratios, use either preceding chi-squared distribution algorithm to generate independent and , and returnWrite , so and . The Jacobian determinant is . The joint probability density function after this change of variables factors asIntegrating out proves the Beta distribution for .
A new method is Beta sampling by uniform order statistics. Generate independent uniforms, sort them, and return the th order statistic. There are uniforms below the selected value and above it. Selecting their labels and placing the selected observation in gives densitywhich is the Beta distribution density. The integrality of the shape parameters is what makes this order-statistic construction possible.
Write , and . For nondegenerate data from the shifted exponential distribution, the likelihood function isFor fixed feasible , differentiating its log-likelihood with respect to givesThe derivative changes from positive to negative there. Substituting gives the profile likelihood , which increases with . Therefore the unrestricted maximum-likelihood estimates arewhile under the null hypothesis the estimate is . Their likelihood ratio isSince the likelihood-ratio test rejects for small , the requested form is obtained withThe formulas assume , which holds almost surely for a continuous sample with ; coincident observations give an unbounded unrestricted likelihood and can be treated by its supremum.
An exact calibration is available and also explains why Wilks theorem should not be applied here. Under the null, the memoryless property makes and independent gamma distributions with common scale and shapes and . By beta sampling by gamma ratios,Consequently, for ,This yields an exact test size , independent of the unknown scale. The support endpoint and boundary null make this a likelihood-ratio test for an exponential support endpoint, with a different calibration from a regular one-parameter test.