Stationary & Ergodic Source

Definition (Ergodic source)

An ergodic source has the property that all its convergent sample averages (of the form 1ni=1nf(xi)\frac{1}{n}\sum\limits_{i=1}^{n}f(x_{i}), for all functions ff with E[f(xn)]< n|E[f(x_{n})]<\infty \ \forall n) converge to a constant (as nn\to\infty).

Definition (Stationary & ergodic source)

A stationary ergodic source is a generalization of a DMS such that the WLLN holds which consequently provides a generalization of the AEP such that for a stationary ergodic source {Xi}i=1\{X_i\}_{i=1}^\infty with pmf pXp_X and alphabet X\mathcal{X} we have 1nlog2(pXn(Xn))nH(X)\mboxinprobability-\frac{1}{n}\log_2(p_{X^n}(X^n))\xrightarrow{n\to\infty}H(\mathcal{X})\mbox{ in probability}

Theorem (Cesaro-Mean)

If anaa_{n}\to a as nn\to\infty and bn=1ni=1naib_{n}= \frac{1}{n}\sum\limits_{i=1}^{n}a_{i}, then bna\mboxasnb_{n}\to a\mbox{ as }n\to\infty

Proposition (Properties)

For a stationary and ergodic source

  1. Its sample averages converge to a constant given by the expected value almost surely 1ni=1nf(Xi)nE[f(X1)]  a.s.\frac{1}{n}\sum\limits_{i=1}^{n}f(X_{i})\xrightarrow{n\to\infty}E[f(X_{1})] \ \ a.s..
  2. This shows that the WLLN holds for stationary ergodic sources.
  3. A generalized AEP then holds for such sources with the source entropy replaced with entropy rate.

Theorem (Generalized Shannon Coding Theorem Theorem)

Given a stationary ergodic source then the entropy rate is as follows HD(X)=inf{R: R\mboxachievable}H_{D}(\mathcal{X})=\inf\{R: \ R\mbox{ achievable}\}

Remark

Linked from