Prerequisites & Notation

Prerequisites for This Chapter

  • Linear Algebra and Operator Theory (Ch 01) — Hilbert spaces, bounded linear operators, adjoints, singular value decomposition(Review ch01)

    Self-check: Can you state the SVD of a bounded linear operator and define its pseudoinverse?

  • Ill-Posed Problems and Regularization Theory (Ch 02) — Forward models, Tikhonov regularization, spectral filtering, discrepancy principle(Review ch02)

    Self-check: Can you derive the Tikhonov solution and interpret the regularization parameter λ\lambda as a bias-variance tradeoff?

  • Probability Spaces and Random Variables (Telecom Ch 02) — Probability distributions, conditional probability, Bayes theorem, expectation, variance(Review ch02)

    Self-check: Can you state Bayes theorem and compute the posterior for a Gaussian prior with Gaussian likelihood?

  • Estimation Theory and LMMSE (Telecom Ch 09) — LMMSE estimation, MSE, bias-variance trade-off(Review ch09)

    Self-check: Can you derive the LMMSE estimator and connect it to the Wiener filter?

Notation for This Chapter

Symbols introduced in this chapter. All distributions are on Rn\mathbb{R}^n unless stated otherwise. The forward model is y=Aγ+w\mathbf{y} = \mathbf{A}\boldsymbol{\gamma} + \mathbf{w} with wN(0,σ2I)\mathbf{w} \sim \mathcal{N}(0, \sigma^2 \mathbf{I}) and γ\boldsymbol{\gamma} the scene reflectivity.

SymbolMeaningIntroduced
p(yγ)p(\mathbf{y} \mid \boldsymbol{\gamma})Likelihood: probability of data y\mathbf{y} given unknown scene γ\boldsymbol{\gamma}s01
π(γ)\pi(\boldsymbol{\gamma})Prior distribution on the scene reflectivity γ\boldsymbol{\gamma}s01
p(γy)p(\boldsymbol{\gamma} \mid \mathbf{y})Posterior distribution of γ\boldsymbol{\gamma} given data y\mathbf{y}s01
γ^MAP\hat{\boldsymbol{\gamma}}_{\text{MAP}}Maximum a posteriori estimate (mode of posterior)s01
γ^MMSE\hat{\boldsymbol{\gamma}}_{\text{MMSE}}Posterior mean (MMSE) estimates01
Γ\mathbf{\Gamma}Prior covariance matrixs01
Γpost\mathbf{\Gamma}_{\text{post}}Posterior covariance matrixs01
Z(y)\mathcal{Z}(\mathbf{y})Evidence (marginal likelihood): p(yγ)π(γ)dγ\int p(\mathbf{y} \mid \boldsymbol{\gamma})\,\pi(\boldsymbol{\gamma})\,\mathrm{d}\boldsymbol{\gamma}s01
αi\alpha_iPer-component precision hyperparameter (ARD/SBL)s03
C0\mathcal{C}_0Covariance operator of a Gaussian measure on a Hilbert spaces04
H\mathcal{H}Cameron-Martin space =Range(C01/2)= \operatorname{Range}(\mathcal{C}_0^{1/2})s04