Let with positive-definite matrix , and suppose . The matrix determinant lemma gives . Since has nonnegative derivative for , summation proves the displayed bound. In particular, , , and ensure . Without that restriction a general form is : for , . The bound connects widths of confidence ellipsoids to growth of a determinant.
A decision principle that maximizes possible reward jointly over an action and a parameter in a confidence set. On the event that the set contains the true parameter, the reward predicted for this selected pair is at least the true optimal reward. This inequality bounds pseudoregret by the width of the confidence set in the selected action's direction. For an -Lipschitz continuous reward link and a radius- confidence ellipsoid, Cauchy-Schwarz inequality and the triangle inequality bound that width by .
Use the single event
Fix a realization in . The action space is nonempty and compact, since it is a closed subset of the finite-dimensional unit ball. The Lipschitz continuous reward function is continuous, so there is an optimal action . Because the same reward function is used at every time, the pseudoregret is , where
The pair is feasible in the optimization defining . This optimism in the face of uncertainty gives
For any positive-definite matrix , the ordinary Cauchy-Schwarz inequality applied to and proves
Both and belong to the same confidence ellipsoid . The triangle inequality for the norm associated with this weighted Euclidean inner product therefore gives
and hence . Monotonicity of and another Cauchy-Schwarz inequality now yield
This reasoning holds on for every simultaneously, proving the asserted probability. In combination with part (a), it also gives
Only the supplied simultaneous confidence set coverage and the optimistic choice are needed here. No claim that the displayed linear estimator is automatically a suitable estimator for a nonlinear link is required: its coverage was an explicit hypothesis.
Put , . Orthogonal projections of the Gaussian error give independent variables
Hence the exact confidence set is the ellipsoid
Here denotes the quantile of the F-distribution.
Let be the fit with observation removed, when that reduced design retains full rank. Cook's distance is
where is its residual and is its leverage. Thus measures the deleted estimate's distance from the full estimate in exactly the metric of the confidence ellipsoids. The deleted estimate lies on the confidence contour whose quantile equals ; this is a geometric influence diagnostic, not an assertion that itself has an law.
For , , so deletion moves the estimate outside the 50% confidence ellipsoid but inside the 90% one. The observation warrants investigation for influence: the shift is substantial, though the supplied figures do not justify calling it outside the 90% region. The reciprocal and the approximate chi-square figures are unnecessary.
Put and . The rank of a matrix assumption makes invertible, and is the orthogonal projection matrix onto the column space of the design matrix. The Gaussian likelihood has log-likelihood
Minimizing the squared Euclidean norm gives the ordinary least squares normal equations . Maximizing over then gives the maximum-likelihood estimators
The divisor for the maximum-likelihood estimator of the variance is , whereas the unbiased residual variance estimate is . The exceptional event has probability zero under the Gaussian linear model with ; on that event the likelihood is unbounded as .
For the joint sampling distribution, write and . Their cross-covariance matrix vanishes because . These two vectors are jointly multivariate normal, so they are independent random variables. The residual orthogonal projection has rank , hence the standard chi-squared distribution result gives
Thus these two displayed marginal laws, with their independence, specify the full joint distribution.
The quadratic form
has a chi-squared distribution with degrees of freedom and is independent of . Their ratio therefore supplies the exact F-distribution pivot
If is the quantile of that F-distribution, inversion gives the normal linear-model confidence ellipsoid
For every and every , the probability that this confidence set contains is exactly . To test the null hypothesis, reject precisely when lies outside this confidence ellipsoid, equivalently when . Under the null hypothesis the rejection probability is exactly , independent of the unknown variance.
For the numerical calculation, the second column of the design matrix sums to zero and its sum of squares is . Direct calculation from the observations gives
Consequently the ordinary least squares estimate, residual sum of squares and unbiased residual variance are
The maximum-likelihood estimator of the variance is instead . At the proposed null value the F-distribution statistic is
Therefore reject the null hypothesis at the 5% level. The relevant critical value has numerator and residual degrees of freedom.
The pivot has independent standard normal coordinates, so has the chi-squared distribution with degrees of freedom. Let be its quantile. The confidence ellipsoid
therefore has exactly coverage for every . No large-sample approximation is required when the covariance is known.