For the normal linear model, the log-likelihood is
The full column rank of the design matrix makes invertible. Differentiating in gives the normal equations . With the minimized residual sum of squares substituted, differentiation in gives
These are the maximum-likelihood estimators almost surely; almost surely when and . The linear transformation of the multivariate normal distribution yields
Define the hat matrix . The fitted values are , the regression residuals are , and . The orthogonal projection has rank and annihilates . By Cochran's theorem,
Consequently , with bias . The unbiased estimator is
Its square root, the reported residual standard error, estimates ; the assertion of unbiasedness applies to the variance, not generally to its square root.
For the paper-strength analysis, let be the measured percentage and . Both normal linear models use independent errors of common variance . Their mean functions are for lm1, and for lm2, with separately fitted coefficients. The reported residual standard errors are and , respectively.
For lm1, the estimated conditional expectation at a new percentage is
The original data mean must be used for centering the new percentage; its numerical value is not supplied in the excerpt. Because , the two columns of this design matrix are orthogonal, and . Hence the coefficient standard errors in the output give
This estimates uncertainty in the mean. Predicting an individual future batch would additionally require the new-error variance, estimated by .
To compare the nested normal linear models, test against within the quadratic model. The Student t-test statistic is
Its two-sided p-value is . Equivalently is a partial F-test statistic with null distribution . Reject the linear restriction and prefer lm2 at the 5% level. Its residual spread is much smaller; the increase in the coefficient of determination from to supports the same conclusion, although the test is the relevant complexity-adjusted comparison.
For regression diagnostics, inspect regression residuals against fitted means and hardwood percentage for omitted curvature, a scale-location plot for nonconstant variance, and a quantile-quantile plot against the normal distribution for departures from the error assumption. Check unusual observations using regression leverage and Cook's distance, and examine residuals in collection or batch order if dependence is plausible. Independence and a common variance require substantive justification as well as these plots; a small p-value for a polynomial term does not itself check the error model.
For woman , write for the number of births, for the number with defects, for baseline age, and for exposure. Let be the common marginal defect probability for her births. The first fit is a grouped grouped-binomial logistic regression:
It assumes independent women and, conditionally on their covariates, independent births with the same probability within each woman. The supplied birth totals are the binomial denominators; fitting the proportions with weights is equivalent to this grouped-binomial specification. The fitted linear predictor is .
The second fit is a generalized additive model with the same logit link function and the mean specification
The functions are penalized cubic regression splines with natural boundary conditions. Centering constraints such as separate them from the intercept; the fitted centered intercept is . Their second derivative roughness penalties control complexity.
The call estimates a common scale rather than fixing it at one. Its working variance specification for the counts is
Equivalently the variance of is . This is the working moment interpretation of an overdispersed binomial generalized additive model: the code uses binomial deviance for fitting and estimated scale for inference. With , it is not an exact independent-binomial sampling model. Women are still treated as independent groups, but within-woman dependence or unobserved heterogeneity can motivate the extra dispersion. The quasibinomial regression interpretation states what the scaled analysis assumes without inventing a full probability distribution for its counts.
For independent and identically distributed random variables sampled from a probability density function , a kernel density estimator with kernel for density estimation and smoothing bandwidth is
The usual kernel for density estimation is nonnegative; finite makes the integrated variance finite. The mean integrated squared error and its bias-variance decomposition of mean squared error are
The interchange is justified by the Tonelli theorem.
For the exponential distribution and the specified unit-width uniform kernel, put . The expected value is . Intersecting this interval with the positive half-line gives
On the true probability density function vanishes, whereas
Here for . This leakage across the support boundary proves the integrated squared bias from a density jump:
In particular, and suffice. The phenomenon differs from a smooth interior bias of a kernel density estimator: the order-one boundary error persists over a region of width proportional to .
By independence, . Integrating the first term and using yields
Also : the kernel density estimator mean is an average of translates of , so the Jensen inequality followed by the Tonelli theorem bounds its squared integral.
To optimize over every , we must establish that useful smoothing bandwidths approach zero, rather than optimize only a formal small- expression. An exact calculation supplies that justification. The autocorrelation integral of the exponential distribution density is
Averaging over the two uniform windows, or integrating the piecewise expression for , gives
These formulas show that is continuous on , is strictly positive there because on , and tends to as . Consequently, is bounded away from zero on for every . Its expansion agrees with the supplied .
The choice gives
Choose smoothing bandwidths within of the infimum. Their mean integrated squared error tends to zero, and nonnegativity of the integrated variance gives , hence . For any , eventually
The last step is the arithmetic-geometric mean inequality. Taking the lower limit and then matches the upper bound. Thus
The original PDF has this constant; the TeX aid's is a transcription error.
For fixed-design nonparametric regression, let and . The degree- local polynomial estimator takes the fitted intercept , where
Use a nonnegative regression kernel and an invertible local polynomial Gram matrix to obtain a unique fit. For , solving the single weighted least squares normal equation gives the local constant estimator:
At the interior point , use the standard unit-integral regression kernel convention . Otherwise the leading variance below is ; unlike a kernel density estimator, the local constant estimator itself is unchanged by rescaling .
The local constant estimator is a linear estimator in nonparametric regression with weights . The independent unit-variance errors imply
To control the bias of an estimator, differentiability at this one point is enough. Write
Symmetry makes , and the supplied moment approximation gives . Therefore the linear contribution to the bias of an estimator is . The remaining contribution has absolute value at most , because only receive positive weight. This is the interior first-order bias cancellation for local constant regression, and gives squared bias of an estimator . Combining with the variance proves
For fixed , take . It satisfies both asymptotic smoothing bandwidth conditions, and the displayed remainder, multiplied by , tends to zero for this fixed . Thus
Letting proves the optimized scaled pointwise error tends to zero. The order of these limits matters: no remainder uniform in has been assumed.
For the lower bound over the whole function class, the absence of a uniform bound on derivatives permits a particularly direct argument. It also avoids assuming a normal distribution for errors when the model only supplies their first two moments. Fix and . Choose a smooth bump function on the interval, with , whose support contains no design point except possibly . Such a bump exists because the design is finite; at an endpoint use the restriction of a smooth bump on the real line. Every , , belongs to the differentiability class.
If is not a design point, all observation means are zero for every . The Le Cam two-point lemma applied to has total variation distance zero and gives a lower bound tending to infinity with . In fact, the supremum of the mean squared error is infinite at every such .
If is a design point, only its response depends on . The resulting location family is the single observation ; all remaining observations are independent of and give no extra information. The single-observation location minimax bound is
Here is a proof covering discrete as well as continuous errors. Give the prior distribution , independently of the noise. Put and . Consider an easier experiment in which an oracle also reveals whether , and reveals itself on the complementary event. On the event and , every possible truncated noise value places within . The flat prior distribution then makes the Bayesian posterior noise law exactly its truncated original law. The smallest conditional squared-error loss is its conditional variance , attained by the posterior mean.
The probability of that event is at least for , by restricting further to . Thus every rule's supremum risk function is at least the original Bayes risk, which is at least the easier experiment's Bayes risk, and therefore at least . Let and then . Finite second moment and zero mean give . The rule has constant mean squared error one, proving the equality.
Consequently, at every , the unrestricted differentiability class satisfies the stronger conclusion
Thus works for every . There is no conflict with the preceding fixed-function limit: the worst functions, including arbitrarily narrow bumps, can vary with . This is the pointwise versus uniform risk distinction. A smoothness ball with a common derivative bound would pose a different minimax risk problem.
By Poisson-gamma conjugacy, the posterior density is proportional to
Thus the shape-rate posterior is
Its posterior mean is and its variance is . The parameter is a rate, rather than a scale.
For a binomial distribution, the score function is
Its squared expected value is , using the binomial distribution variance . Hence the Jeffreys prior is
the Beta distribution . The factor is independent of and disappears on normalization.
Start with the Beta distribution draw in the Beta-binomial exchangeable coupling. Write and
These are the expected value and variance of . The fixed in this coupling is a dependence parameter chosen by the investigator, not necessarily the observed number of cups. The four numbered stages together address the single printed correlation request.
The next Beta distribution has conditional expected value and variance
For large , its expected value approaches , while its variance is at most . The final draw therefore stays close to the first. These are prior distributions for the cup probabilities: the auxiliary count is a device for constructing dependence, rather than additional observed tea data.
Represent the independent locally flat intercept prior distributions by broad finite uniform priors, for example on ; this is proper and approximately constant over plausible mortality logits. With calibrated above, rough BUGS code is
model {
  mu ~ dnorm(0,0.25)
  tau ~ dunif(0,A)
  invtau2 <- pow(tau,-2)
  for (j in 1:J) {
    alpha[j] ~ dunif(-10,10)
    beta[j] ~ dnorm(mu,invtau2)
    logit(thetaC[j]) <- alpha[j]-beta[j]/2
    logit(thetaT[j]) <- alpha[j]+beta[j]/2
    rC[j] ~ dbin(thetaC[j],nC[j])
    rT[j] ~ dbin(thetaT[j],nT[j])
    oddsRatio[j] <- exp(beta[j])
  }
}
Use and supply treated death counts with totals , and control death counts with totals . In BUGS, the second dnorm argument is a precision parameter, so 0.25 corresponds to variance four. Initialize the positive scale away from zero. Monitor and study odds ratios, checking Markov chain Monte Carlo convergence diagnostics and sensitivity to the finite intercept bounds and scale prior distribution. The fitted hierarchy combines binomial sampling uncertainty with between-study heterogeneity.
The autoregressive polynomial factors as , with zeros
Both have modulus greater than one. The causality root criterion for an autoregressive model therefore gives a causal stationary solution. The moving-average polynomial has its only zero at , also outside the unit circle, so the invertibility of a moving-average model holds. There is no common root to cancel.
To use unit-variance white noise, put . One suitable pair is
Then with . The factor two changes the innovation scale, not the zero of the moving-average polynomial.
Write , with innovation variance four. The generating function of this linear process is
Equating coefficients gives , and for . Thus the first five coefficients, including lag zero, are
For all remaining lags, partial fractions give
The coefficients are absolutely summable, so the series converges in mean square and defines the causal moving-average expansion. In the unit-variance convention of part (c), with ; its first five coefficients are . This is the two-geometric-coefficient expansion of a causal ARMA(2,1) process.
White noise orthogonality gives, for any integer ,
To see this directly, expand the covariance of the two convergent series. Only matching noise indices contribute. Cauchy-Schwarz inequality makes the coefficient-product sum finite, justifying the covariance limit.
There is also a closed expression. Set , , , . For ,
and negative lags follow by symmetry. Dividing by the expression at zero gives the same autocorrelation function.
Interpret stationarity in the usual second-order time-series sense and assume nondegenerate noise, . For a two-sided autoregressive equation, the missing existence condition is
It is important to separate this from causality. If , the unique stationary solution is . If , there is still a stationary solution, but it is anticausal:
Both expansions converge in L2 because their coefficients are square summable. Substitution verifies the equation. Their means are zero and their covariance functions depend only on lag. Uniqueness follows by iterating the equation backward in the first case and forward in the second: the remainders or tend to zero in L2 for any stationary finite-variance solution. This is the stationary versus causal solution of a two-sided AR(1) equation.
For , iteration gives
The variance of the right side is . The variance of the left side is at most by stationarity and Cauchy-Schwarz inequality. These are incompatible as . Thus no weakly stationary finite-variance solution exists at those unit roots.
If the intended claim includes a causal innovation representation, its condition is instead , as in the next part. The stated white noise equation alone does not say that is orthogonal to the past of . If zero innovation variance is allowed, the unit-root exclusion has degenerate exceptions, such as random constant solutions when ; the nondegenerate convention is necessary for the asserted nonexistence.