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.
Put . As a linear combination of independent normal random variables under the posterior distribution,
The shortest 95% credible interval is
Here is the standard normal distribution cumulative distribution function. To justify shortest length, consider all intervals of a fixed length . If is this normal distribution posterior density, the interval probability has derivative with respect to . The normal distribution is symmetric and its density strictly decreases with distance from its mean, so this probability is uniquely maximized when the midpoint is . The centered interval can therefore attain 95% posterior probability with the least length. It is both an equal-tailed credible interval and a highest posterior density interval.
The target is the experiment's mean at . A posterior predictive distribution for a new noisy observation would instead have variance ; that extra observation variance does not belong in the requested interval.

Articles by others on the same topic (0)

There are currently no matching articles.