Past exam of the mathematics course of the University of Cambridge 2015 ii Paper 3 24J Solution Created 2026-09-24 Updated 2026-10-06
For the proposed root criterion, fix . Convergence in probability at the two points givesOn this event the intermediate value theorem gives a zero between the two points. Since the zero is unique, it is . Therefore , without needing uniform convergence of .
For independent observations, the log-likelihood has derivative and negative second derivative . Its unique maximizer is . Apply the criterion to : the strong law of large numbers gives the limit , with the required signs. Hence the maximum-likelihood estimator is consistent.
In the bivariate model the log-likelihood, apart from constants, isMinimizing each squared pair gives . Maximizing the resulting likelihood in the variance givesEach difference is , independently of the others and independently of its unknown mean parameter. Thus the strong law of large numbers gives in probability, not . This is the Neyman-Scott incidental parameter problem: the number of nuisance means grows with the sample size, but each mean is estimated from only two observations. The usual fixed-dimensional likelihood consistency theory therefore does not apply. The corrected estimator is consistent.
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 3 20H a Solution Created 2026-09-24 Updated 2026-10-06
Write . The likelihood function for the Poisson distribution is proportional to . For , differentiation of the log-likelihood gives , and its second derivative is negative. For , the likelihood decreases with and has its maximum at the boundary zero. HenceThe estimator is unbiased, since . Its variance is . If the parameter space excludes zero, an all-zero sample gives a supremum as rather than an attained maximum.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 205 4 Solution Created 2026-10-03 Updated 2026-10-06
Write for a positive-definite matrix. Up to a constant independent of the parameters, the log-likelihood of the multivariate normal distribution isThe identityshows that, for each , the unique optimizing mean is . Using the matrix trace to rewrite the first quadratic sum, the profile likelihood isTherefore maximum likelihood estimation of the precision matrix, whenever the maximum exists, is exactlyThis is the profile likelihood for a Gaussian precision matrix. The sample covariance matrix here uses divisor , as appropriate for maximum likelihood estimation.
There is an important rank qualification in the printed assumptions. If , differentiation gives , so the unique minimizer is . Uniqueness follows because the negative log-determinant is a strictly convex function on the positive-definite matrices. But full column rank of the uncentered alone does not imply : the rank of a centered sample covariance matrix depends on the centered design. For example, with and raw data matrix ,Although has full column rank, setting gives objective . Thus an unpenalized maximizer need not exist under the literal raw-rank assumption. The likelihood reduction remains valid; existence requires full column rank of the centered data, equivalently . For the nonsingular Gaussian model this holds almost surely when .
Use the entrywise-penalty convention for the Graphical Lasso:The sum is the entrywise matrix L1 norm. Its Graphical-Lasso Karush-Kuhn-Tucker conditions areHere is symmetric; its nonzero-entry values are , and its zero-entry values are any numbers in . These are the subgradient optimality condition for this convex optimization problem. Since a positive-definite matrix has positive diagonal, and . Counting both off-diagonal entries in the penalty and in the trace makes the same appear in their stationarity equations. The common variant penalizing only off-diagonal entries instead sets ; the off-diagonal equations and the column argument below are unchanged.
For the given column problem, abbreviateIts smooth part expands to plus a constant, because is symmetric and . The matrix is a positive-definite matrix, so this quadratic is a strictly convex function. Adding the convex L1 norm penalty preserves strict convexity, and the objective tends to infinity as . The minimizer exists and is unique. Its Karush-Kuhn-Tucker conditions are
We identify that minimizer directly from the precision matrix. Write and defineThe denominator is positive. The off-diagonal part of column of givesOn the other hand, the off-diagonal Graphical-Lasso Karush-Kuhn-Tucker conditions readBecause , the coordinates of have the opposite signs from those of and vanish at exactly the same positions. The subgradient of the absolute value therefore satisfiesIt follows thatThese are exactly the Lasso column problem's Karush-Kuhn-Tucker conditions. Its unique minimizer must be , yieldingThis is the Graphical Lasso column regression identity. The minus sign is essential: it converts the precision-entry subgradient into the regression-coefficient subgradient. The argument uses the inverse identity directly, so it does not require proving the supplied block inverse formula.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 206 2 a Solution Created 2026-10-03 Updated 2026-10-06
The Gaussian likelihood has log-likelihood, apart from no omitted parameter-dependent terms,For fixed , maximizing it is ordinary least squares. Differentiating with respect to gives the normal equation . Full column rank makes the quadratic strictly convex, soAt this value, differentiating with respect to gives , soFor positive RSS this is the global likelihood maximum in . RSS is positive almost surely under the model since ; an exactly zero observed RSS instead gives a boundary supremum as .
As a linear image of a multivariate normal vector, the coefficient estimate satisfiesIndeed, , and direct matrix multiplication gives its covariance matrix.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 206 4 b Solution Created 2026-10-03 Updated 2026-10-06
For independent patients, the Bernoulli logistic-regression model iswhere with nonfrail patients as the reference level in a regression factor. The fitted linear predictor isThe null model fits one intercept, so its 99 residual degrees of freedom imply 100 patients; the full model's confirms this. Unit weights correspond to individual binary responses, not grouped binomial counts.
The Akaike information criterion estimates expected relative out-of-sample discrepancy, using the maximized log-likelihood plus a complexity penalty:Here , since the Bernoulli dispersion is fixed at one. The saturated model puts probability one on each observed binary outcome and has log likelihood zero, so the binomial deviance is . ConsequentlyThere is no estimated error-variance parameter to count. The printed name “Aikake” should be read as Akaike.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 206 1 b Solution Created 2026-10-03 Updated 2026-10-05
For fixed known , take the natural parameter of an exponential familyThe negative binomial distribution has log-likelihoodThus this is a negative binomial exponential family, with dispersion parameter in the convention of part (a). The carrier contains the Gamma function and depends on the fixed size , which need not be an integer. Differentiating the cumulant function of an exponential family givesThereforeThe size controls overdispersion relative to a Poisson distribution; it is different from the unit dispersion parameter used by this fixed-size generalized linear model. Another common convention applies to the scaled response : then and . Keeping track of the response scale prevents confusing these two representations. At the law is concentrated at zero and is obtained as a boundary limit, rather than by a finite natural parameter of an exponential family.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 206 1 e Solution Created 2026-10-03 Updated 2026-10-05
Let and . Under the proposed zero-inflated negative binomial model, independence gives the likelihood functionThe positive-count factor uses the ordinary, untruncated negative binomial distribution. With , the log-likelihood isFor latent indicators , the complete-data log-likelihood iswhere is allowed only when . This separation is what makes the expectation-maximization algorithm convenient.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 206 1 f Solution 2026-10-05
For EM for zero-inflated negative binomial regression, at iteration apply Bayes theorem to each zero in the zero-inflated negative binomial model. The E step computes the conditional expectation of its latent indicator:Treating these values as fixed, the M step maximizes the expected complete-data log-likelihood. Its two parameter blocks separate:The second block is a weighted negative binomial regression with fixed size . Writing and , its parameter-dependent objective isIts score function and negative Hessian matrix areThe objective is concave, so a finite maximizer, when it exists, can be found by Newton method or iteratively reweighted least squares. The latter uses working response and weights . This is not an unweighted regression on only the positive counts: zeros retain fractional weight in the count component.
Start with and finite coefficients, alternate the two steps, and monitor the observed log-likelihood. Exact maximization makes the expectation-maximization algorithm nondecreasing in that likelihood, although the mixture may have multiple stationary points. All-zero data can lead to boundary fits and poor identification; multiple initializations and explicit checks for boundary parameters are useful.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 206 2 a Solution Created 2026-10-03 Updated 2026-10-05
For independent random variables , the full logistic regression has linear predictorLayout A is the reference level in a regression factor. The smaller model sets , leaving the same logit link and the price predictor. In either caseThe saturated statistical model allows a separate probability per observation; its maximizing probabilities are , with log-likelihood zero under . Hence the binomial deviance for either fitted model isEquivalently, write the summands as . The fitted probabilities differ between the two models, but the definition of binomial deviance is the same. A residual deviance for individual binary data need not itself have an accurate chi-squared distribution approximation; the nested-model difference used next has a different asymptotic justification.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 206 4 b Solution Created 2026-10-03 Updated 2026-10-05
Let have columns , and let have one column per incubator, with entry in the column for observation 's incubator and zeros elsewhere. Integrating the Gaussian random effects givesConsequently its marginal log-likelihood isThe likelihood-ratio test of against usesFor each covariance, the optimizing coefficients are the generalized least squares estimator . Both fits should use the same marginal likelihood convention, for example fitting the alternative with
update(fly.model, REML=FALSE) and the null as a Gaussian linear model. The displayed alternative REML criterion alone cannot supply .The variance component is constrained to be nonnegative, and zero lies on the boundary. Thus the interior-parameter hypothesis of Wilks theorem fails; the usual approximation is inappropriate. A limit sometimes applies to a single variance component under additional asymptotic conditions, but four incubators do not give a persuasive large-number-of-groups approximation.
Use a parametric bootstrap under the null: estimate there; simulate independent Gaussian errors with that fitted variance at exactly the observed times and grouping labels; refit both models by maximum likelihood for each simulated sample; and calculate . The upper-tail proportion, conventionally , estimates the p-value. Boundary fits with estimated must remain in the simulation distribution. A restricted-likelihood ratio and a correspondingly calibrated bootstrap are another option when the fixed-effect design is identical, but one must not mix ordinary and restricted likelihoods in a single statistic.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 206 4 c Solution Created 2026-10-03 Updated 2026-10-05
The marginal Akaike information criterion is , where counts estimated population parameters. Here they are , so . The realized incubator slopes have been integrated out of the likelihood function; they are not four additional free population coefficients. From the marginal Gaussian log-likelihood, the expression isAll hats here denote the ordinary maximum likelihood estimation fit.
The displayed value is instead a restricted maximum likelihood criterion. Thus it cannot simply be substituted for the ordinary maximum-likelihood deviance. The The output does not contain that numerical answer. In particular, restricted criteria must not be used to compare models with different fixed-effect designs. A conditional AIC targeting predictions for existing groups is yet another criterion and does not follow by counting each latent slope as an ordinary parameter.
logLik method defaults to the fitting convention. If one applies AIC(fly.model) directly to the displayed REML object, the default restricted log-likelihood and the same parameter count give the software's restricted-likelihood-based value . This number should be labelled as such; it is not the ordinary marginal AIC derived above. To obtain the latter, refit and calculateAIC(update(fly.model, REML=FALSE)) Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 206 6 e Solution Created 2026-10-03 Updated 2026-10-05
Let have rows and let be the spatial covariance matrix with . Conditional on chosen covariance parameters, the best linear unbiased estimator of the drift coefficients is the generalized least squares estimatorThe printed procedure first estimates the linear drift from where those arguments are initial values, not the reported final estimates. Such semivariogram fitting typically minimizes a weighted sum of squared discrepancies between binned empirical values and model values; it is not automatically a joint Gaussian likelihood maximization. One can iterate: form residuals using the current drift, refit the covariance model, recompute the generalized least squares drift, and repeat until changes are small. The displayed commands themselves show a single sequence, not evidence that such iteration occurred.
depth ~ y, constructs a binned residual empirical semivariogram, fits a Gaussian semivariogram to it, and then uses the fitted covariance in generalized least squares trend estimation and universal kriging. The missing fit could be supplied asgauss.model2 <- fit.variogram(smvg2, vgm(0.5, "Gau", 1, 0))A likelihood-based alternative estimates the two blocks coherently fromSubstitute to obtain a profile log-likelihood, maximize over and with a positive-definite matrix , and recover the drift coefficients from the optimizing covariance. Restricted maximum likelihood adds the design determinant term and uses in place of in the normalizing term, up to a fixed-design constant. It can reduce bias from estimating the drift before the covariance. A zero fitted nugget is a legitimate boundary estimate, not proof that measurement error is absent. Estimate drift using covariance-weighted regression, and spatial dependence from drift-adjusted variation, with the two stages or likelihood explicitly distinguished.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 207 3 b ii Solution Created 2026-10-03 Updated 2026-10-05
Set , and . With equal positive rates, the one-year probability of a change is , so the conditional likelihood function is proportional toFor , its unrestricted binomial maximizer is . A finite interior positive-rate maximum exists exactly when , orIndeed the binomial log-likelihood is strictly concave at this interior maximum and is strictly increasing. If and , the likelihood increases towards its supremum as , requiring ; no finite maximum exists. Equality also has only this limiting maximum.
If , allowing the boundary gives a finite maximum there; insisting on gives only a supremum as . Thus if “valid” includes zero rates, the condition is with ; if rates must be strictly positive, it is . If , every rate has the same empty-data likelihood and the statistical parameter is not identifiable. These boundary qualifications prevent a negative or infinite plug-in rate from being called a valid interior estimate.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 207 3 b i Solution Created 2026-10-03 Updated 2026-10-05
Condition on each patient's initial observed state and assume independent patient trajectories and observation times that do not carry additional information about the unobserved path. The Markov property factors each trajectory's likelihood function into its successive one-year transition probabilities. ThusMore explicitly, with and ,Successive transitions within one patient need not be independent unconditionally: this is a product of conditional factors justified by the Markov property. If initial-state probabilities are modeled rather than conditioned on, their likelihood contributions must also be included. Zero-count terms contribute zero; a positive count attached to a zero model probability makes the log-likelihood equal to .
Past exam of the mathematics course of the University of Cambridge 2017 ii Paper 3 5J Solution Created 2026-09-24 Updated 2026-10-05
Write for the log-likelihood and for the score function. Newton method uses the Observed Fisher information ; Fisher scoring uses the Fisher information .
For independent responses in an exponential family, with fixed dispersion parameter and fixed weights , a canonical link function gives andThe last matrix depends on but not on the responses, so taking its expectation leaves it unchanged. Hence the two updates are identical, wherever this Fisher information matrix is invertible. Equivalently both solve the same iteratively reweighted least squares problem. This statement concerns the regression coefficients at a fixed dispersion parameter; a joint update of an unknown dispersion parameter need not have identical observed and expected full Fisher information matrices.
Past exam of the mathematics course of the University of Cambridge 2017 ii Paper 4 27K a Solution Created 2026-09-24 Updated 2026-10-05
The part of the log-likelihood depending on isCompleting the square separates the sum into a term independent of and . Positive definiteness makes its unique minimum occur at . Since linear combinations of independent multivariate normal vectors are normal,The Hessian matrix is negative definite, confirming the global likelihood maximum.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 216 4 b Solution Created 2026-10-03 Updated 2026-10-05
For one factor, write for the loading vector and . Let be its current value and . The E-step of the expectation-maximization algorithm uses the conditional multivariate normal distribution to obtainThus . The terms of the expected complete-data log-likelihood that depend on a candidate areThis is a strictly concave quadratic in , since . Its unique maximizer isFor an explicit expression involving only the current loading and data, put . Substitution gives the EM update for a single-factor Gaussian modelNo empirical centering is applied because the model fixes the mean to zero. If initialized at zero, this update remains at zero; monotonicity alone does not guarantee that such a stationary point is a global maximum. This part is present in the PDF but missing from the TeX transcription.