Write , and . For nondegenerate data from the shifted exponential distribution, the likelihood function is
For fixed feasible , differentiating its log-likelihood with respect to gives
The derivative changes from positive to negative there. Substituting gives the profile likelihood , which increases with . Therefore the unrestricted maximum-likelihood estimates are
while under the null hypothesis the estimate is . Their likelihood ratio is
Since the likelihood-ratio test rejects for small , the requested form is obtained with
The 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.
Take to be the positive standard deviations. Multiply the normal likelihood function by the normal prior density. Terms independent of can be absorbed into the normalizing constant:
The identity makes the quadratic term explicit. Completing the square gives
where
Thus . This is normal-normal conjugacy: prior and data precisions add, and the posterior mean shrinks the sample mean towards the prior mean zero.
For the independent statistical sample, write the likelihood function and log-likelihood function as
The expected Fisher information in the whole statistical sample is
Under the regularity conditions that permit differentiation under the integral sign, the score function has expected value zero and
For an interior statistical parameter, assuming identifiability and , the regular asymptotic normality of a maximum likelihood estimator states
Thus the large-sample normal approximation is . The inverse information is the leading sampling variance approximation; the displayed convergence specifies its precise asymptotic meaning.
Put , and . The normal distribution model gives
and, up to a constant independent of , its log-likelihood function is
The score function and its zero equation are
For , this quadratic equation has exactly one positive root, giving the maximum-likelihood estimator
The numerator of the score function is positive between its negative and positive roots and negative above its positive root. Thus the likelihood function increases up to and decreases afterwards: this is its unique global maximum on . Also, at both ends. The all-zero observation vector has probability zero; on that exceptional vector and there is no attained maximum.
The second derivative and the relevant moments are
Therefore the expected Fisher information is
The support of a probability distribution is the whole real line, independent of the positive statistical parameter. The law of large numbers gives and in probability, so the displayed maximum-likelihood estimator is a consistent estimator. The regular asymptotic normality of a maximum likelihood estimator now yields
Thus the requested leading asymptotic variance on the unscaled estimator's scale is . The normal mean proportional to standard deviation model provides a reusable version of this calculation.
Let . For the exponential distribution with mean , the likelihood function is on positive observations. Fix any . The alternative-to-null likelihood ratio is
Since , this is strictly decreasing in . The Neyman-Pearson lemma says to reject for small . Under the null hypothesis, the given sum rule yields , where the second argument is a rate, and hence
Let be the lower quantile of this chi-squared distribution. The required critical region is
Its test size is exactly because the null distribution is continuous. Its cutoff is the same for every , so it is simultaneously most powerful against every such value: it is a uniformly most powerful test. Equivalently, reject if is below the lower quantile of the specified gamma distribution.
Put , and . Independence gives the likelihood function
The unrestricted maximum-likelihood estimators are and . Under the null hypothesis, the common mean maximizes at . These are maxima because each one-parameter score function has the sign of its observed sum minus its sample size times its proposed mean.
Define the generalized likelihood ratio to be the constrained maximum divided by the unrestricted maximum. The exponential factors cancel, giving
Since and ,
It has maximum one at , when the two fitted means agree, and is small toward either endpoint. A likelihood-ratio test rejects for small , or equivalently large . This is the likelihood-ratio test for equality of exponential means.
Let . The Bernoulli distribution likelihood function is . Multiplication by the beta distribution prior density and Bayes' theorem give
Recognizing the normalized beta distribution,
This is Beta-binomial conjugacy; the same update applies whether the data are recorded as the individual Bernoulli trials or their success count.
Let and . For the observed positive data, the uniform distribution likelihood function is
Multiplying by the Pareto distribution prior density gives the posterior density kernel . Since
the normalized posterior distribution is
This is uniform-Pareto conjugacy. The posterior density is strictly decreasing over its support, so the highest posterior density interval starts at , where the admissible density is largest in the limiting sense. Its upper endpoint satisfies
Hence a 95% highest posterior density interval is
Inclusion of endpoints does not change its posterior probability. Every point inside has higher posterior density than every admissible point to its right, and points below have density zero. This is the Pareto highest density interval; equal endpoint densities are unnecessary because one endpoint is the support boundary.
Write , with the natural logarithm. The likelihood function and log-likelihood function are
The score function is and the second derivative is . Thus the log-likelihood function is strictly concave, its stationary point is the unique global maximum, and the maximum-likelihood estimator is
The one-observation Fisher information is . The support of a probability distribution here is independent of , so the regular asymptotic normality of a maximum likelihood estimator gives
There is also a direct check: has an exponential distribution with rate , since for . Its mean and variance are and . Apply the central limit theorem to and the delta method to to obtain the same result.
Put , , and . The two independent statistical samples give the joint likelihood function
The unrestricted maximum-likelihood estimators are and . Under the null hypothesis, the common statistical parameter has log-likelihood function , maximized at . With the likelihood ratio defined as the null maximum divided by the unrestricted maximum,
The statistic in the paper is , since both original sums of natural logarithms are negative. Hence
It has maximum one at , corresponding to equal fitted rates. This is the likelihood-ratio test for equality of beta shape parameters.
Set and . Conditional independence of the binomial distribution observations gives the likelihood function
The prior distribution is the beta distribution with parameters . By Bayes' theorem, multiplying the prior density by the likelihood function gives a posterior density proportional to
Recognizing and normalizing this beta distribution gives
for . This is Beta-binomial conjugacy; the original binomial coefficients cancel in the normalization because they are independent of .
Let , , and . The independent observations in the normal linear model give
The centered design condition removes the term:
The stated prior density factors into independent normal distributions for the regression intercept and regression coefficient . Multiplication by the likelihood function therefore leaves separate quadratic expressions in the two coefficients. Define the positive posterior variances
and the posterior means
By completing the square, the joint posterior density is
Equivalently,
This is Gaussian conjugacy for a normal linear model. Each posterior precision parameter is the sum of its data and prior precision parameters. The formulas remain valid when : all are then zero, so the posterior distribution of equals its prior distribution.
TODO: Complete the data-specific numerical results and diagnostics when the original Iris_data.csv is available.
The identity
shows that the likelihood function is a bell-shaped curve in , maximized at the sample mean, with width . Its actual vertical scale also depends on the within-sample sum of squares.
Continue the R script with:
sse <- sum((x - xbar)^2)
loglik <- function(mu) {
  -n/2 * log(2*pi) - 0.5 * (sse + n * (mu - xbar)^2)
}
grid <- seq(3, 6, length.out = 2001L)
ell <- loglik(grid)
png("q2-likelihood.png", width = 900, height = 600)
par(mar = c(4.5, 4.5, 4, 1))
if (max(ell) > log(.Machine$double.xmin)) {
  plot(grid, exp(ell), type = "l", xlab = expression(mu),
       ylab = expression(L(mu)), main = "Likelihood on [3,6]")
} else {
  # Explicitly label a proportional likelihood if the true scale underflows.
  plot(grid, exp(ell - max(ell)), type = "l", xlab = expression(mu),
       ylab = "Likelihood relative to maximum on plotted grid",
       main = "Likelihood on [3,6] (rescaled)")
}
abline(v = xbar, col = "steelblue", lty = 2)
dev.off()
Working first with the log-likelihood avoids premature numerical underflow. The fallback preserves the shape on the requested interval and labels the altered scale. A data-specific plot requires the missing CSV file; no fabricated observation set is used here.
Pedigree likelihood 2026-10-13
For latent genotypes and observed phenotypes , assume conditional phenotype independence, independent founder genotypes, and conditionally independent Mendelian transmissions. The likelihood function is
This follows by the chain rule applied to the acyclic ancestry graph, then the law of total probability over all latent genotypes. Penetrance supplies the phenotype factors and genetic recombination supplies multilocus transmission factors.
A recursive calculation of the likelihood function on a phylogenetic tree, summing over unknown ancestral states while reusing partial calculations from descendant subtrees.[ref]
Approximate changing covariates by constant values on observation intervals. The generator matrix is then constant on each interval, with transition matrix . Multiplying the relevant entries gives a conditional likelihood function for discretely observed states.
Poisson change-point posterior Created 2026-10-06 Updated 2026-10-14
For an Inhomogeneous Poisson process whose known positive intensity changes from to at an unknown time , the ordered arrival-time likelihood function is
Under a uniform prior, each interval between successive arrivals has an exponential posterior density with rate in the exponent . Its integrated weights allow exact interval selection followed by a truncated exponential draw; when the two rates coincide, the Bayesian posterior is uniform and the data contain no change-time information.
Poisson-gamma conjugacy Created 2026-09-24 Updated 2026-10-25
For conditionally independent Poisson observations of mean and a gamma distribution prior of shape and rate , the likelihood function contributes . Multiplying by the prior density gives a posterior distribution with shape and rate . The single-observation update is shape and rate .
The posterior mean is the convex combination
Thus the prior mean and the sample maximum-likelihood estimate bracket it. Integrating the next conditional Poisson distribution against this posterior distribution gives the Poisson-gamma mixture, a negative binomial distribution; its spread includes uncertainty in as well as the conditional count variation.
Pseudolikelihood 2026-10-20
A pseudolikelihood multiplies conditional probabilities rather than the full joint likelihood function. It can be useful for fitting a Markov random field, but using the product itself as a probability density defines a different model unless an additional equivalence is established.
Pseudo-marginal Metropolis–Hastings algorithm Created 2026-10-06 Updated 2026-10-14
A pseudo-marginal Metropolis–Hastings algorithm replaces an intractable likelihood function by a nonnegative unbiased likelihood estimator and includes its auxiliary randomness in the state. If for , the extended target is proportional to . An independence proposal for new auxiliary randomness cancels the factors in the Metropolis–Hastings acceptance probability. On rejection the old estimate must be retained. Integrating the extended target gives the desired marginal posterior distribution exactly.