Box–Cox transformation Created 2026-09-29 Updated 2026-10-14
For , the Box–Cox transformation is
The value of can be selected by maximizing its profile likelihood; corresponds to an affine transformation of the original response, while gives a logarithmic transformation.
A ratio translating a background yield in a particle-physics control region into its yield in a signal region. It may be estimated with simulation and calibration measurements. Its uncertainty must include acceptance, response and physics differences between the regions; contaminating backgrounds are subtracted or fitted jointly. A profile likelihood can constrain the control and signal counts together rather than treating the transferred estimate as exact.
Higgs boson discovery in 2012 Created 2026-10-18 Updated 2026-10-20
The ATLAS experiment and CMS experiment searched proton-proton collisions at the Large Hadron Collider at collision energies of and . The ATLAS experiment used silicon tracking, a solenoid, liquid-argon electromagnetic calorimeters and an external muon spectrometer. Its July 2012 paper reported a combined local statistical significance of standard deviations near ; this paper result is distinct from the initial 4 July announcement.[ref]
The CMS experiment used silicon tracking in a solenoid, lead-tungstate electromagnetic calorimeters and external muon chambers. Electrons combine tracks and particle showers; muons combine tracking and chamber hits; photons supply shower energies and directions. Selected and candidates, with , yielded invariant mass peaks. It checked lepton efficiencies with Z boson decays, estimated fake-lepton backgrounds from control samples with relaxed identification, and fitted the smooth diphoton background from data. Its combined local statistical significance was standard deviations near .[ref]
The ATLAS experiment compared signal-plus-background and background-only hypotheses with a profile likelihood, accounting for systematic uncertainties and correlations between decay channels. Diphoton and four-lepton candidates gave precise invariant masses; decays supplied additional evidence with poorer mass reconstruction because of escaping neutrinos. A local p-value concerns one specified mass; scanning masses requires a look-elsewhere effect correction.[ref]
Two-photon decay excludes spin one under the usual assumptions, but does not prove spin zero. A mass peak does not determine every Higgs boson coupling. Production rates, branching fractions and angular correlations require additional tests.[ref]
If a statistic T has marginal density depending on a parameter of interest but not on a nuisance parameter, that density gives a likelihood for the interest parameter. It is obtained by integrating out other observed coordinates. In contrast, profile likelihood maximizes the full likelihood over the nuisance parameter. This sampling-statistic construction is different from Bayesian model evidence, which integrates parameters against a prior. No prior is required for a nuisance-free sampling marginal.
Nuisance parameter 2026-10-05
A nuisance parameter is a statistical parameter required to specify the distribution of observations but not itself the target of inference. A profile likelihood maximizes over it; Bayesian model evidence integrates over it using a proper prior distribution. These operations differ and need not give the same inference. A baseline hazard in a Cox proportional-hazards model is an infinite-dimensional example.
For conditionally independent paired counts with means and , condition on every pair total . The joint conditional likelihood removes all pair-specific rates, leaving the displayed independent binomial distributions. A zero-total pair contributes no information. With unrestricted fixed baseline rates, this conditional likelihood has the same parameter-dependent part as the ordinary profile likelihood; a specified Gamma–Poisson hierarchical model can retain additional information by imposing structure on those rates.
Let each observation have dimension , and define the sample mean and the divisor- sample covariance matrix by
The multivariate normal distribution gives the log-likelihood
Writing makes the cross terms vanish, and the last sum becomes . Since is a positive-definite matrix, its minimum over the mean is at . Consequently
When is a positive-definite matrix, . Thus
where depends on the data but not on .
For the maximum-likelihood estimator, consider the positive-definite matrix , with positive eigenvalues . The part of the profile likelihood depending on is . The elementary inequality , with equality exactly at , shows that the unique maximizing matrix is . Hence
The divisor is , not the unbiased covariance divisor . The regularity qualification matters: if is singular, the displayed logarithm of its determinant is not finite, and no positive-definite covariance maximizes the likelihood. Sending the fitted variance in a null direction of to zero makes the likelihood unbounded. For a nonsingular normal population, is positive definite almost surely when , which is the setting of the large-sample test.
Partition the statistical parameter as , with of interest. For each fixed , maximize over the nuisance parameter to obtain . The profile likelihood and profile log-likelihood are
Their maximizer is the interest component of the joint maximum-likelihood estimator. At a regular nuisance maximum, and its negative Hessian matrix is the Schur complement
The profile likelihood ratio is unchanged by a one-to-one nuisance reparametrization, and transforms naturally under a one-to-one interest reparametrization. Under the regular conditions of Wilks theorem, has a limiting chi-squared distribution with dimension of degrees of freedom. Profiling is maximization, rather than integration or conditioning; need not be a normalized data density, and nuisance fitting can cause appreciable higher-order distortion.
The modified profile likelihood corrects for nuisance curvature and sample-coordinate distortion. In suitable coordinates , with an ancillary statistic, set
holding fixed when differentiating the data coordinates. Up to an interest-independent factor, the Barndorff-Nielsen modified profile likelihood is
Equivalently, implicit differentiation of the nuisance score equation gives , and
The semicolon denotes sample-coordinate differentiation, not a second parameter derivative. In orthogonal coordinates, the Cox-Reid adjusted profile likelihood uses the information adjustment alone; it agrees with this modification when , as happens below.
For the Inverse Gaussian distribution, write , and . Terms independent of both parameters can be absorbed into , giving
The nuisance score function is
It is positive below and negative above it. Thus its global maximum is
independent of . Put . Then
The nuisance observed information at this fit is
Since the constrained nuisance estimator is literally the full nuisance estimator as a function of the data, in the specified sample coordinates. Hence the modified profile likelihood for inverse Gaussian shape is
For and a nonconstant positive sample, the Cauchy-Schwarz inequality gives . The corresponding fits are and . A constant sample has and no finite profile maximum; under continuous independent sampling this event has probability zero when . In particular, the modified coefficient accounts for the fitted mean nuisance parameter.
For an interest parameter and nuisance parameter , the profile likelihood is , where maximizes the likelihood at fixed . Its maximum occurs at the joint maximum-likelihood estimate of . It preserves the optimized likelihood ratios for different interest values and is unchanged by one-to-one reparametrization of the nuisance at each fixed . It generally is neither a marginal sampling density nor a conditional likelihood, and eliminating nuisance parameters by maximization can introduce appreciable small-sample distortion. Differentiating the constrained score equation gives the curvature formula
at a joint stationary point. The corresponding expected-information expression is the efficient information for the interest parameter. Under the regular conditions of Wilks theorem, twice the profile log-likelihood drop has an asymptotic chi-squared distribution with the dimension of the interest parameter as its degrees of freedom.
For scalar nuisance, the Barndorff-Nielsen modified profile likelihood may be written
where the sample-coordinate derivative holds and the ancillary statistic fixed. For vector nuisance the last two quantities are determinants. An equivalent form is , since differentiating the constrained nuisance score gives . The semicolon denotes differentiation in sample coordinates, not another ordinary parameter derivative. This Jacobian determinant adjustment is essential to the definition.
In the present model set
The log-likelihood is . Consequently
The profile score is , and its derivative is . The expression in parentheses is the variance of the fixed design values under positive weights proportional to . Thus the profile log-likelihood is strictly concave for a nonconstant design. Its score changes from to as goes from to , giving a unique finite fit. If all coincide, only the mean is identifiable and inference on alone is not defined; that exceptional design must be excluded.
The specified ancillary coordinates give . At fixed , therefore,
Meanwhile the constrained observed information is
Substitution proves
Equivalently the sample derivative of the nuisance score is , which equals at the constrained fit and gives the same cancellation. Thus the modified profile likelihood for exponential regression is proportional to the ordinary profile likelihood. This conclusion uses the given ancillary; no proof of its ancillarity is required.
For parameter of interest and nuisance parameter , the profile likelihood has log form , where is the constrained nuisance maximum. Profiling optimizes over the nuisance dimension but does not account for its local volume or conditioning geometry. The modified profile likelihood corrects this loss.
Use ancillary sample coordinates , and let be the nuisance block of observed information. Holding fixed, put . The Barndorff-Nielsen modified profile likelihood is, up to data-only factors,
This combines a nuisance-information determinant and a data-coordinate Jacobian determinant. Implicit differentiation of gives , so equivalently
The semicolon denotes differentiation in the varying sample coordinate, rather than a parameter derivative. This form also explains the positive adjustment in Question 2: in that canonical conditional problem the mixed sample derivative is data-only, leaving the positive half-log curvature. The adjustment sign cannot be copied between unrelated constructions without tracking their Jacobians.
In an appropriate orthogonal nuisance formulation, the Cox-Reid adjusted profile likelihood uses . It is a useful simpler adjustment, but discarding is not universally legitimate. For normal data with interest and nuisance , the constrained and full nuisance fits both equal , so and . Thus
recovering the residual degrees of freedom and fitted variance . These adjustments target nuisance-related bias and higher-order likelihood inference; they are approximations to conditional or marginal constructions, not an assertion that profiling has become an exact full sampling density.
A marginal statistical likelihood uses a statistic whose marginal sampling distribution depends on the parameter of interest but does not involve the nuisance parameter. It integrates out other observed coordinates. A profile likelihood instead keeps the full data and, for every fixed interest parameter, fits the nuisance parameter by maximizing the full likelihood. Profiling supplies a likelihood function but usually not a normalized sampling probability density function. Here the marginalization is of data coordinates; Bayesian model evidence averages parameters against a prior and is a separate construction.
Use shape-rate notation for the gamma distribution. The independent sums have and , so their joint probability density for is
For , the absolute Jacobian determinant is u. Therefore
Integrate u using the gamma integral . The lambda factors cancel, leaving
Thus T gives a nuisance-free marginal likelihood. Discarding only terms independent of psi, its logarithm is
The factor t in the logarithm is required, as in the original PDF.
The full log-likelihood is . Its lambda derivative vanishes uniquely at
The second derivative in lambda is negative. Substituting this maximum gives . Since , it agrees with up to a psi-independent constant. This proves the Gamma-ratio marginal and profile likelihood identity. Their common maximizer is , if an interest-parameter estimate is also wanted.
The profile likelihood for the parameter of interest replaces the nuisance parameter by its constrained best fit: , with . It is not in general a normalized sampling density. A conditional likelihood instead uses the sampling law conditional on a statistic carrying the nuisance dependence. In the canonical exponential family here, conditioning on removes because the factor involving is constant over the conditioning fibre.
Let and let the observed equal . For the cumulant-generating function of at fixed ,
The saddlepoint solves , equivalently with . This is also the constrained likelihood equation, since . Assume an interior saddle, , and the usual smooth nonlattice conditions under which has a density. Exponential tilting to makes the tilted mean. A local normal approximation gives tilted density at that mean; undoing the tilt gives the saddlepoint density approximation
The factor is for the sample mean, rather than the sum. A transform-based derivation gives the same expression by expanding to second order at its stationary point.
The joint log-likelihood is . Subtracting cancels every appearance of the original , leaving
Any change from the ambient density to a conditional density on contributes only a data-dependent Jacobian determinant. Thus, up to a constant independent of , the saddlepoint conditional likelihood adjustment is
Equivalently up to the constant , where is the nuisance observed information. The adjustment has a positive sign. The printed exponential-family form alone does not guarantee a density for : for example a continuous can have . In a lattice case one must approximate the probability mass of the sum instead; the displayed density calculation uses the regular continuous interpretation.
For a regular iid model with a fixed-dimensional interior parameter , identifiability, sufficient differentiability and moment domination, and nonsingular per-observation Fisher information , a consistent maximum-likelihood estimator solves the score equation. Expanding it gives
where . The score has mean zero and covariance under the regularity assumptions. This proves the usual large-sample information bound and asymptotic efficiency within regular parametric inference. The observed curvature and the empirical score covariance consistently estimate when the model is correctly specified.
For smooth constraints with full-row-rank derivative , the Wald test uses
The likelihood-ratio test and score test, evaluated using the constrained fit and nuisance-adjusted efficient information, have the same first-order chi-square law. A quadratic local likelihood expansion explains their asymptotic equivalence. Profile likelihood supplies inference about a parameter of interest with fitted nuisance parameters, and the corresponding chi-square cutoffs give approximate confidence regions.
These conclusions depend on the stated regularity: parameters at a boundary, nonidentifiability, singular information, changing dimension, or parameter-dependent support can give different rates and limits. Under misspecification, the fitted parameter generally approaches a pseudo-true value and its variance is a sandwich covariance matrix, not simply inverse Fisher information.
Assume the incubation times are independent observations from the same upper-truncated distribution. Conditional on lying below , the gamma distribution density is on its support. With , the likelihood function is
In particular, the normalizing factor cannot be omitted. On the admissible region the log-likelihood is
The profile likelihood eliminates the nuisance parameters by fitting them separately at each candidate endpoint:
For fixed and ,
Equivalently, for , every nuisance-parameter fit has . Taking suprema shows that is nonincreasing. If the nuisance maximum at is attained and finite, evaluating its maximizing parameters at shows strict decrease there as well. Values below the largest observation are inadmissible. Thus upper-endpoint estimation in a truncated distribution gives the usual boundary estimate
There is a support-convention qualification: the literal strict support excludes , so it gives a supremum approached as , rather than an attained maximum-likelihood estimator. Using the equivalent closed-endpoint density convention for a continuous distribution yields the usual boundary estimate above. The argument presumes a meaningful finite nuisance fit; degenerate samples can instead have an unbounded density likelihood. Since changes the support, regular interior-parameter asymptotic formulas are not automatically applicable.
For the log-transformed location-scale model, let denote the distribution function associated with . The change-of-variables formula for a probability density gives the untruncated density and distribution function
Consequently its upper-truncated likelihood is on the observed support, and the profile likelihood maximizes this over . Restricting to the corresponding subfamilies gives the gamma distribution and lognormal distribution profiles. Write the plotted likelihood ratio as
It measures how well each endpoint fits relative to that model's own best endpoint, after nuisance refitting. It is not a probability density function for and need not integrate to one. Endpoints whose ratios are near one are relatively compatible with the observations; a rapidly falling profile indicates more information favoring endpoints near the maximum.
All three profiles favor the smallest admissible endpoint, approximately 14 days; their information about larger endpoints differs substantially. Reading the actual PDF legend and curves, the dotted gamma distribution profile falls initially but is nearly flat around from about 18 days onward. The solid generalized log-gamma profile declines much further, to roughly at 19 days and at 21 days. The dashed lognormal distribution profile falls most strongly, to roughly at 18 days and at 21 days. These are graphical readings, not recomputed fits.
Thus the gamma distribution fit gives weak discrimination between moderate and very large endpoints: much of its untruncated mass can already be below these endpoints, making further changes to the truncation have little effect. Over the displayed range, the lognormal distribution fit gives stronger relative evidence against large endpoints, and the more flexible generalized log-gamma fit is intermediate. The solid curve remains close to the dashed curve near the maximum but has appreciably more relative support farther out. The plot shows slowing declines rather than a sharply determined finite upper endpoint; it cannot establish a biological maximum.
Normalization is essential to this comparison. Although the generalized family includes the two special families and therefore has at least as large a raw maximized likelihood at any fixed , its normalization constant can also be larger. Its normalized profile need not lie above the normalized profiles of its submodels. Their individual maxima have all been replaced by one, so this plot alone cannot compare overall goodness of fit or select a family while accounting for extra fitted parameters.
A set is a relative-likelihood support set once is chosen. Turning it into a calibrated confidence interval requires an appropriate sampling argument, simulation or other justified method. In particular, a usual Wilks theorem chi-squared cutoff cannot simply be assumed for this changing-support endpoint problem. The original incubation observations are not supplied here, so numerical refitting or calibrated limits cannot be recovered from the graph alone.
Write . In this normal linear model, the ordinary least squares criterion is . Differentiating with respect to gives the normal equations for linear least squares, . Full column rank of the design matrix makes invertible, and completing the square proves that the unique minimum is
Since , its sampling distribution is the multivariate normal distribution
Let be the hat matrix. It is symmetric and idempotent with rank , and . The regression residual vector is , so
An orthogonal projection of a Gaussian vector onto the residual space gives . The residual projection and fitted projection have zero cross-covariance, hence are independent because they are jointly normal. In particular, is an unbiased estimator of and is independent of . The maximum-likelihood estimator of instead divides by and is not unbiased.
For the null hypothesis , put . Under that null hypothesis, is standard normal and independent of . Therefore the Student t-test uses
A two-sided level- test rejects when . The denominator is the estimated standard error of the regression coefficient.
The fitted linear regression includes an intercept and three covariates:
Thus , and the residual degrees of freedom are . The fitted conditional mean is
Each slope measures a conditional association with the response while the other two covariates are held fixed. Increasing wind speed by one mile per hour corresponds to a fitted decrease of in the concentration units used. Its standard error is , giving and a two-sided p-value of : evidence of a negative conditional association at the 5% level. The temperature slope is per degree Fahrenheit, with standard error , and p-value . The insolation slope is per langley per day, with standard error , and p-value . Neither of these last two conditional effects is significant at 5%; that does not establish that either true slope is zero. These are associations, not a demonstration of causal effects.
The intercept estimates the mean at zero values of all three covariates. Its value has a large standard error , giving and p-value . The zero-covariate combination may be outside the observed range, so this test may have little practical relevance. Every coefficient test uses a Student t-distribution with degrees of freedom.
The reported residual standard deviation measures unexplained variation in concentration units; the subsequent table gives , consistent with after rounding. The five-number residual summary describes the spread, from to , with median . An intercept forces the residual sum to zero, not the residual median. These five numbers alone cannot establish normal errors, constant variance or independence; residual-versus-fitted and quantile-quantile plots would be more informative, and successive days also warrant checking serial dependence. The coefficient of determination means that 65.33% of the sample response sum of squares about its mean is explained by this fit. Its adjusted version is
which accounts for the number of estimated regression coefficients.
The stepwise selection by the Akaike information criterion searches between the intercept-only model and the specified model with all three main effects. For these Gaussian fits, the printed Akaike information criterion is, up to a constant common to the candidates,
The full model has and AIC . Removing insolation increases the residual sum of squares by but decreases AIC to , so that removal is chosen. Removing temperature or wind instead would give AIC or and is worse. In the next step the candidate models include deletions and restoration of insolation. Keeping wind and temperature has the smallest AIC: removing temperature gives , restoring insolation gives , and removing wind gives . Hence the search stops, giving
The accompanying F-tests compare a larger model with a one-parameter reduction: , where is estimated from the larger model. For example, removing insolation gives , equal to the corresponding squared test statistic. Deletions from the second-stage model use in the denominator, whereas restoring insolation uses the full-model denominator. These tests describe the comparisons; they do not determine the AIC choice. In particular, temperature is retained despite its deletion-test p-value . AIC balances fit and complexity, and a stepwise optimum need not be a global optimum over a richer model class. Ordinary coefficient inference after choosing a model does not account for the selection itself.
For positive responses, the Box–Cox transformation is for , and . Its profile likelihood refits the linear regression and variance at each and includes the transformation Jacobian. The graph peaks at roughly –. The approximate 95% likelihood-ratio confidence interval contains values a little below zero through approximately one, using the cutoff . Thus a logarithmic transformation () and a square-root transformation () are plausible, while leaving the response on its original scale () is at or very near the upper confidence boundary. The broad profile supports considering a mild power transformation; it does not determine a sharply estimated power. The raster does not justify more precise endpoints or a decisive assertion about which side of the boundary lies.
If a department has population , crimes against persons and crimes against property, cancellation of the common numerator gives
Thus is a property-to-person crime count ratio, not its reciprocal. Both counts must be positive for the printed ratio to be defined.
For the reconstructed 85-row data, fit a normal linear model for the Box–Cox transformation , including four region contrasts plus Literacy, Donations and Wealth. With and , the profile likelihood, up to constants, is
The second term is the transformation's Jacobian determinant; omitting it would incorrectly compare different response scales. Maximization gives , with approximate 95% likelihood-ratio confidence interval . The logarithmic transformation is inside this interval, whereas the raw-scale choice is far outside: the twice-log-likelihood drops at zero and one are and , respectively. A log-response model is therefore a simple supported choice.
In the full log model, partial F-tests give for Region (), for Wealth (), and for Literacy and Donations. Dropping Literacy and Donations together gives and . A parsimonious final normal linear model, with C as reference and , is
The standard errors in that order are ; residual standard deviation is on 79 degrees of freedom and . Use residual-versus-fitted and quantile-quantile plots, influence diagnostics and checks for remaining curvature to assess the working Gaussian model; the small p-values alone do not validate its assumptions.
Holding Region fixed, worsening wealth rank by ten positions multiplies the fitted conditional median ratio by . Relative to C at the same wealth rank, the fitted median multipliers are for E, for N, for S and for W. Region and wealth rank explain much of the variation; Literacy and Donations add little once those terms are included. These are associations in the reconstructed dataset. Back-transforming the fitted log mean gives a conditional median under lognormal errors; estimating an original-scale mean requires bias correction after an inverse transformation. Also, the public archive's metadata describe some historical measures differently from the exam wording, so the fitted Donations effect is interpreted only on its recorded scale.
Write for a positive-definite matrix. Up to a constant independent of the parameters, the log-likelihood of the multivariate normal distribution is
The identity
shows that, for each , the unique optimizing mean is . Using the matrix trace to rewrite the first quadratic sum, the profile likelihood is
Therefore maximum likelihood estimation of the precision matrix, whenever the maximum exists, is exactly
This 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 are
Here 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, abbreviate
Its 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 define
The denominator is positive. The off-diagonal part of column of gives
On the other hand, the off-diagonal Graphical-Lasso Karush-Kuhn-Tucker conditions read
Because , the coordinates of have the opposite signs from those of and vanish at exactly the same positions. The subgradient of the absolute value therefore satisfies
It follows that
These are exactly the Lasso column problem's Karush-Kuhn-Tucker conditions. Its unique minimizer must be , yielding
This 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.
The Box–Cox transformation searches over transformations of the positive response,
The plotted horizontal coordinate is and the vertical coordinate is its maximized profile likelihood on the log scale. The likelihood includes the transformation Jacobian determinant; omitting it would compare response scales incorrectly. For the Gaussian regression it is, up to constants,
The maximum occurs around . The horizontal 95% line is approximately , and its intersections give an approximate interval roughly to , read visually. In particular, is below the line, and is far below it.
Square the response: a convenient transformation is , equivalent up to affine rescaling to . Transform energy, not the sunny-days or latitude predictors. Refit and check the normal linear model on the transformed scale; the plot is evidence for a transformation, not proof that the transformed residual assumptions hold. Inference on transformed means cannot be inverted naively to obtain original-scale conditional means.
Apply EM for a missing observation in a Gaussian AR1 process, starting from in the stationary parameter space. The Gaussian AR1 bridge gives the E-step quantities
Thus , , and , .
Let and otherwise. Keeping fixed throughout the M-step, define
The last term comes from the missing observation's conditional variance in the two adjacent innovation squares. The expected complete-data log-likelihood is
For fixed , differentiating the quadratic in gives
Also the maximizing variance is . The M-step is therefore a one-dimensional profile likelihood maximization:
Repeat the E- and M-steps until the observed-data likelihood and parameters stabilize. Exact M-steps make that likelihood nondecreasing; different initializations help detect different local optima, and convergence alone is not a guarantee of a global maximum. At an interior local maximum, impute the missing temperature by its conditional mean evaluated at the fitted parameters, retaining as its conditional uncertainty. Replacing by and discarding would not implement the expectation-maximization algorithm.