Brownian bridge independence from its endpoint Created 2026-10-05 Updated 2026-10-14
For standard Brownian motion, the Brownian bridge , , is independent of . Every finite vector of bridge coordinates is jointly multivariate normal with , and its cross-covariances with vanish. The independence of uncorrelated jointly normal variables and independence extended from generating pi-systems prove independence of the whole stochastic process.
The conditional multivariate normal distribution gives
where
For a direct justification, form . It is jointly Gaussian with , has zero mean, and satisfies
The independence of uncorrelated jointly normal variables therefore makes independent of . Conditional on , only the displayed affine shift remains, proving the result. This is the latent-function posterior variance; a new observation with fresh independent noise has predictive variance .
Minimizing the residual sum of squares gives the least-squares normal equations . Since the design matrix has full column rank, has a matrix inverse, so
The sampling distribution follows because a linear transformation of a multivariate normal distribution is again a multivariate normal distribution. Its expectation is , and its covariance matrix is .
The hat matrix is . It is the orthogonal projection matrix onto the column space of : , and . Thus the regression residuals are , with
This is fitted-residual orthogonality. The vectors are jointly normal, so independence of uncorrelated jointly normal variables strengthens both zero-covariance statements to independence.
For the quadratic linear regression, the columns of the design matrix are . The replicated design gives
For , the variance of a fitted regression mean is , hence
Writing , this is the quadratic . Its derivative vanishes at ; it decreases before that point and increases afterwards. Therefore the maximum is at , and the minimum is at .
At , and the expected yield is . The unbiased residual variance estimate is . By Cochran's theorem, independently of , giving the Student t confidence interval
The interval estimates the expected yield, so it uses the variance of a fitted regression mean without an additional future-observation error term. The supplied summary determines the half-width but does not give a numerical value of .
If , the bivariate normal density in part (a) factorizes as
Integrating over any product of measurable sets proves independence of random variables. Conversely, independent variables with finite second moments have , so their covariance is zero and . This proves independence of uncorrelated jointly normal variables; zero correlation alone would not imply independence without the joint normal assumption.
The ordinary least squares objective has gradient . The normal equation therefore gives
The Gram matrix is a positive-definite matrix because has full column rank. More explicitly, for any ,
since . This proves that the displayed solution is the unique global minimum.
The fitted values are , where the hat matrix is
The inverse of the symmetric matrix is symmetric, so . Multiplication gives . Thus is the orthogonal projection onto the column space of the design matrix.
The regression residual vector is with . Consequently , , and the residual sum of squares is
By fitted-residual orthogonality, . Using , the cross-covariance matrix is
Both vectors are jointly normal, so they are also independent by independence of uncorrelated jointly normal variables. The zero covariance calculation itself only needs the common error variance and lack of error correlations.
For the first wind fit, let be wind velocity and electrical output. The simple linear regression is , with independent . It has two fitted mean parameters and residual degrees of freedom. The missing analysis of variance entries are therefore velocity degrees of freedom , velocity mean square , and residual degrees of freedom . The residual mean square is , and , consistent with the printed value after rounding.
Because the model includes a regression intercept, the coefficient of determination is the explained sum of squares divided by the total centered sum of squares:
A large coefficient of determination does not rule out a wrong mean function. In the PDF's first residual-versus-fitted plot, residuals are negative at both ends and positive in the middle. This curved pattern agrees with the visibly flattening output-versus-velocity relationship and motivates a polynomial regression with a quadratic term.
The second wind model is , again with independent common-variance normal errors. Its fitted mean is . The line marked (A) is a two-sided Student t-test of against , conditional on retaining the intercept and linear term. Under the null hypothesis,
Its two-sided p-value is . This is far below , so reject a purely linear mean in favour of the quadratic fit. Equivalently, the extra-term nested-model F-test has and null law .
The third fit is a reciprocal-predictor regression, , with estimated mean . It has two mean parameters rather than the quadratic model's three. Its residual standard error is smaller, versus , and its coefficient of determination is larger, versus . The corresponding residual sums of squares are approximately and . The reciprocal fit is preferable on both these fit measures and parsimony. The two models are not nested, so an ordinary extra-term F-test between them is inappropriate. On the common normal-error likelihood, the difference also favours the third model.
Neither lower residual sum of squares nor a higher coefficient of determination establishes adequate assumptions. The quadratic residual-versus-fitted plot removes the original pronounced curvature; the reciprocal plot also has no comparably obvious mean trend. The low-output residuals appear somewhat more spread out, so check scale-location plots and residuals against velocity for heteroscedasticity. Q-Q plots assess normality; residuals against observation order assess serial dependence; regression leverage and Cook's distance identify influential observations. Further cross-validation, replicate observations at comparable velocities, and prediction errors would help choose between their extrapolation behaviours. Both fitted shapes should be judged principally over the observed positive-velocity range.
For any finite list , the random vector has a multivariate normal distribution, since it is a linear image of a vector of Brownian motion coordinates. The Brownian covariance kernel and linearity of covariance give
The independence of uncorrelated jointly normal variables implies that is independent of . Extending from finite-coordinate cylinder events by independence extended from generating pi-systems proves
Thus the Brownian bridge is independent of its endpoint. Its covariance kernel is , confirming that is the standard Brownian bridge. This is the Brownian bridge independence from its endpoint property.
For a diagonal entry, put . Independence and the given moment-generating function inequality for the chi-squared distribution give
The Chernoff bound with yields
Apply the same argument to and sum the two tails:
To obtain the off-diagonal bound, set and . They are jointly normal with unit variances and covariance zero, so independence of uncorrelated jointly normal variables makes them independent standard normals. Since , the moment-generating function of the product of two independent standard normal random variables is
For , is a sum of independent such products. The given inequality implies for . Taking , and repeating for the negative tail, gives
Now take and . There are diagonal entries but only distinct off-diagonal entries, since is symmetric. By the union bound, the event has probability at least
This is the required entrywise concentration of a Gaussian Gram matrix.
On that single event, any vector supported on at most coordinates satisfies
where the last step is the Cauchy-Schwarz inequality on the support. If each have at most nonzero coordinates, has at most . The same entrywise event applies simultaneously to all of them, so no union over vectors is needed. The sparse norm preservation from entrywise Gram control gives
The printed ratio is undefined at . Its equivalent quadratic statement, , includes that case trivially. The nontrivial concentration argument assumes ; at the stated probability lower bound is nonpositive and hence vacuous.
The covariance matrix is
If , the moment-generating function in part (ii) factors into the product of the two marginal moment-generating functions. Thus and are independent random variables; this is the independence of uncorrelated jointly normal variables.
By bilinearity of covariance,
Choose
Then is bivariate normal by part (i) and has zero covariance, so is a normal random variable independent of . Hence .
Write , so the data map is . The Gaussian likelihood and prior distribution give
Completing the square, or using Gaussian conjugacy for a normal linear model, identifies a multivariate normal distribution with precision matrix . Since , its posterior mean and covariance matrix are
The parameters are
For example, , which checks the square completion.
The orthogonal vectors
are eigenvectors of the covariance matrix. Their respective variances are
They are independent under the posterior distribution, by independence of uncorrelated jointly normal variables. Thus uncertainty is different in the two directions even for positive noise: the data constrain , whereas spans the null space of the data map.
As , the posterior distribution converges to the law of
This is supported on , and its posterior mean is the minimum-norm least-squares solution. The prior distribution still determines the distribution along the unobserved null space; it has not disappeared. This example of a Gaussian posterior in the zero-noise limit distinguishes exact recovery of an observed component from recovery of the whole unknown.
For and , the characteristic function is
For a multivariate normal distribution with covariance matrix , the coordinates are uncorrelated and hence independent by independence of uncorrelated jointly normal variables. Therefore
This is the characteristic function of an isotropic Gaussian vector.
Condition on the information available before time . The current wealth is then fixed, while is independent of that information. Put
For any portfolio , use the inner product induced by the positive-definite matrix to write
The linear image of a multivariate normal vector shows that the two portfolio returns are jointly normal, and
Thus independence of uncorrelated jointly normal variables makes the residual return independent of the aligned return; it also has expected value zero.
The continuation value is concave by part (c). Conditional Jensen inequality therefore shows that adding the independent centered residual cannot improve the objective:
where . Since the optimal portfolio is unique, its residual must be zero.
It remains to determine the sign. If , the portfolios and have the same return variance, namely , while their means are and . The latter return has the distribution of the former plus the positive constant . Since is increasing, replacing by cannot reduce the objective, contradicting uniqueness. Hence .
Applying this conditional argument at every time gives nonnegative, past-measurable random variables such that
This is the Gaussian one-fund theorem.
They need not be independent. For a counterexample take , , , and independent errors taking with equal probability. Then
Each centered estimator is zero with probability , but they are never both zero. Their zero events therefore violate independence.
A sufficient additional assumption is that the errors have a common normal distribution. The two estimators are then Jointly Gaussian, being linear combinations of the independent Gaussian random variables. Their zero covariance, established in iii, implies independence of uncorrelated jointly normal variables. Normal errors are a sufficient condition here, not a claim that no other error probability distribution could ever work.