Prerequisites & Notation

Before You Begin

This chapter builds the frequentist backbone of estimation theory: bias, variance, sufficiency, the Cramer--Rao bound, and the Rao--Blackwell procedure for constructing minimum-variance unbiased estimators. Before you begin, make sure the following are second nature.

  • Multivariate Gaussian distribution, covariance matrices, PSD ordering(Review ch01)

    Self-check: Can you write the density of YN(μ,Σ)\mathbf{Y} \sim \mathcal{N}(\boldsymbol{\mu}, \boldsymbol{\Sigma}) and derive the log-likelihood up to constants?

  • Conditional expectation as an L2L^2 projection(Review ch02)

    Self-check: Do you remember why E[XT]\mathbb{E}[X \mid T] minimizes the MSE over functions of TT, and what the tower property says about its variance?

  • Cauchy--Schwarz inequality and equality conditions

    Self-check: Given fgdμ\int f g \, d\mu vs. f2g2\sqrt{\int f^2} \sqrt{\int g^2}, can you state when equality holds?

  • Log-likelihood, score, and regularity conditions for differentiation under the integral sign

    Self-check: Why does Eθ[θlogf(Y;θ)]=0\mathbb{E}_\theta[\partial_\theta \log f(Y;\theta)] = 0 fail when the support depends on θ\theta?

  • Gaussian hypothesis testing and likelihood ratios(Review ch01)

    Self-check: Can you connect the score function to an infinitesimal log-likelihood ratio?

Notation for This Chapter

Symbols introduced or emphasized in this chapter. For global conventions (vectors, matrices, probability), see the master notation page of this book.

SymbolMeaningIntroduced
θ,θ\theta, \boldsymbol{\theta}Unknown parameter (scalar or vector) with θΛ\theta \in \Lambdas01
Λ\LambdaParameter domain, ΛRm\Lambda \subseteq \mathbb{R}^ms01
{fθ:θΛ}\{f_\theta : \theta \in \Lambda\}Parametric family of densities / pmfss01
g(y),θ^(y)g(\mathbf{y}), \hat{\theta}(\mathbf{y})Estimator function and its realized estimates01
b(θ)b(\theta)Bias of an estimator: b(θ)=Eθ[θ^(Y)]θb(\theta) = \mathbb{E}_\theta[\hat{\theta}(\mathbf{Y})] - \thetas01
MSEθ(θ^)\mathrm{MSE}_\theta(\hat{\theta})Mean-squared error at parameter θ\thetas01
θlogfθ(y)\partial_\theta \log f_\theta(\mathbf{y})Score functions02
J(θ)J(\theta)Scalar Fisher informations02
J(θ)\mathbf{J}(\boldsymbol{\theta})Fisher information matrix (FIM)s02
T(y)T(\mathbf{y})Statistic / sufficient statistic for θ\thetas03
h(y),gθ(t)h(\mathbf{y}), g_\theta(t)Factors in the Fisher--Neyman factorization fθ(y)=gθ(T(y))h(y)f_\theta(\mathbf{y}) = g_\theta(T(\mathbf{y})) h(\mathbf{y})s03
η(θ),A(θ)\eta(\theta), A(\theta)Natural parameter and log-partition function of an exponential familys03
g~(T)\tilde{g}(T)Rao--Blackwellized estimator g~(T)=Eθ[g(Y)T(Y)]\tilde{g}(T) = \mathbb{E}_\theta[g(\mathbf{Y}) \mid T(\mathbf{Y})]s04
MVUEMVUEMinimum-variance unbiased estimators04