Prerequisites & Notation

Before You Begin

This chapter assumes comfort with random vectors, Gaussian distributions, and the basic properties of estimators introduced in Chapters 5 and 6. If any item feels unfamiliar, revisit the referenced material first.

  • Joint, marginal, and conditional distributions; Bayes' rule

    Self-check: Can you write fXY(xy)f_{X|Y}(x|y) in terms of fYX(yx)f_{Y|X}(y|x) and fX(x)f_X(x)?

  • Multivariate Gaussian distribution: density, marginals, conditionals

    Self-check: Given (X,Y)(\mathbf{X},\mathbf{Y}) jointly Gaussian, do you know the formula for E[XY=y]\mathbb{E}[\mathbf{X}|\mathbf{Y}=\mathbf{y}]?

  • Covariance matrices, positive semidefiniteness, matrix inversion(Review ch01 (telecom))

    Self-check: Can you state when a covariance matrix Σy\boldsymbol{\Sigma}_y is strictly positive definite?

  • Classical estimation: bias, variance, MSE, CRLB, MLE(Review ch05, ch06)

    Self-check: Can you state the CRLB and explain when the MLE attains it?

  • Orthogonal projection onto a subspace in an inner product space(Review ch01 (telecom))

    Self-check: Can you characterize the projection of x\mathbf{x} onto span(y1,,ym)\text{span}(\mathbf{y}_1,\ldots,\mathbf{y}_m) by an orthogonality condition?

Notation for This Chapter

Symbols used throughout Chapter 7. The Bayesian viewpoint treats the parameter as a random variable, so every symbol has a prior distribution.

SymbolMeaningIntroduced
θ,θ\theta, \boldsymbol{\theta}Scalar or vector parameter to be estimated (random in the Bayesian framework)s01
Y,YY, \mathbf{Y}Scalar or vector observations01
fθ(θ)f_\theta(\theta)Prior density of θ\thetas01
fYθ(yθ)f_{Y|\theta}(y|\theta)Likelihood: conditional density of YY given θ\thetas01
fθY(θy)f_{\theta|Y}(\theta|y)Posterior density of θ\theta given the observation Y=yY=ys01
θ^MAP(y)\hat{\theta}_{\text{MAP}}(y)Maximum a posteriori (MAP) estimators02
θ^MMSE(y)=gmmse(y)\hat{\theta}_{\text{MMSE}}(y) = g_{\text{mmse}}(y)Minimum mean-square error estimator =E[θY=y]= \mathbb{E}[\theta|Y=y]s02
θ^LMMSE(y)\hat{\theta}_{\text{LMMSE}}(y)Linear MMSE estimator (affine function of Y\mathbf{Y})s04
A\mathbf{A}LMMSE gain matrix ΣθyΣy1\boldsymbol{\Sigma}_{\theta y}\boldsymbol{\Sigma}_y^{-1}s04
Σθ\boldsymbol{\Sigma}_\thetaPrior covariance of θ\boldsymbol{\theta}s04
Σy\boldsymbol{\Sigma}_{y}Covariance of the observation Y\mathbf{Y}s04
Σxy\boldsymbol{\Sigma}_{xy}Cross-covariance Cov(θ,Y)\text{Cov}(\boldsymbol{\theta},\mathbf{Y})s04
mθ,my\mathbf{m}_\theta, \mathbf{m}_yMean vectors E[θ]\mathbb{E}[\boldsymbol{\theta}], E[Y]\mathbb{E}[\mathbf{Y}]s04
Σθy\boldsymbol{\Sigma}_{\theta|y}Posterior (MMSE-error) covariance ΣθΣθyΣy1Σyθ\boldsymbol{\Sigma}_\theta - \boldsymbol{\Sigma}_{\theta y}\boldsymbol{\Sigma}_y^{-1}\boldsymbol{\Sigma}_{y\theta}s04