Capacity of Parallel Gaussian Channels

Uncorrelated case

Consider KK independent AWGN channels in parallel with a common power constraint PP i.e.

  • Yi=Xi+Zi, i=1,,KY_{i}=X_{i}+Z_{i}, \ i=1,\ldots,K where Xi ⁣ ⁣ ⁣Zj, i,jX_{i}\perp\!\!\!\perp Z_{j}, \ \forall i,j
  • ZiN(0,σi2), i=1,,KZ_{i}\sim\mathcal{N}(0,\sigma_{i}^{2}), \ i=1,\ldots,K
  • Z1 ⁣ ⁣ ⁣ ⁣ ⁣ ⁣ZKZ_{1}\perp\!\!\!\perp\cdots\perp\!\!\!\perp Z_{K} and i=1kE[Xi2]P\sum\limits_{i=1}^{k}E[X_{i}^{2}]\le P Note that the network of KK parallel channels is equivalent to a vector channel with input XK=(X1,,XK)X^{K}=(X_{1},\ldots,X_{K}) and output YK=(Y1,,YK)Y^{K}=(Y_{1},\ldots,Y_{K}) where overall capacity is C(P)=supFXK:i=1KE[Xi2]PI(XK;YK)i=1K12log(2πe\mboxVar(Yi))i=1K12log(2πeσi2)\begin{align*} C(P)&=\sup_{F_{X^{K}}:\sum\limits_{i=1}^{K}E[X_{i}^{2}]\le P}I(X^{K};Y^{K})\\ &\le \sum\limits_{i=1}^{K} \frac{1}{2}\log(2\pi e\mbox{Var}(Y_{i}))-\sum\limits_{i=1}^{K} \frac{1}{2}\log(2\pi e\sigma_{i}^{2}) \end{align*}but Yi=Xi+ZiY_{i}=X_{i}+Z_{i} and Xi ⁣ ⁣ ⁣ZiX_{i}\perp\!\!\!\perp Z_{i} so \mboxVar(Yi)=\mboxVar(Xi)+\mboxVar(Yi)E[Xi2]+σi2=Pi+σi2\begin{align*} \mbox{Var}(Y_{i})&=\mbox{Var}(X_{i})+\mbox{Var}(Y_{i})\\ &\le E[X_{i}^{2}]+\sigma_{i}^{2}\\ &= P_{i}+\sigma_{i}^{2} \end{align*}so we get that I(XK;YK)i=1K[12log(1+Piσi2)]I(X^{K};Y^{K})\le\sum\limits_{i=1}^{K}\left[ \frac{1}{2}\log\left(1+ \frac{P_{i}}{\sigma_{i}^{2}}\right)\right]with equality iff Xi ⁣ ⁣ ⁣Xj, i,jX_{i}\perp\!\!\!\perp X_{j}, \ \forall i,j and XiN(0,Pi), iX_{i}\sim\mathcal{N}(0,P_{i}), \ \forall i. Hence C(P)=i=1K12log(1+Piσi2)()\tag{$*$}C(P)=\sum\limits_{i=1}^{K} \frac{1}{2}\log\left(1+ \frac{P_{i}}{\sigma_{i}^{2}}\right)where Pi=E[Xi2]P_{i}=E[X_{i}^{2}] and i=1KPiP\sum\limits_{i=1}^{K}P_{i}\le P.

Theorem (Capacity of Uncorrelated Parallel Gaussian Channels)

The capacity of KK uncorrelated parallel (and independent) AWGN channels in parallel with input XK=(X1,,XK)X^{K}=(X_{1},\ldots,X_{K}) and output YK=(Y1,,YK)Y^{K}=(Y_{1},\ldots,Y_{K}) where Z1 ⁣ ⁣ ⁣ ⁣ ⁣ ⁣ZkZ_{1}\perp\!\!\!\perp\cdots\perp\!\!\!\perp Z_{k} and Zj ⁣ ⁣ ⁣Xl, j,lZ_{j}\perp\!\!\!\perp X_{l}, \ \forall j,l. With overall capacity C(P)=i=1K12log(1+Piσi2)C(P)=\sum\limits_{i=1}^{K} \frac{1}{2}\log\left(1+ \frac{P_{i}}{\sigma_{i}^{2}}\right)where Pi=E[Xi2]P_{i}=E[X_{i}^{2}] and i=1KPiP\sum\limits_{i=1}^{K}P_{i}\le P.

Correlated case

Now let’s look to a similar case to Capacity of Parallel Gaussian Channels but now we deal with KK correlated AWGN Channels, with a common power constraint PP. i.e.

  • Yi=Xi+Zi, i=1,,KY_{i}=X_{i}+Z_{i}, \ i=1,\ldots,K where Xi ⁣ ⁣ ⁣Zj, i,jX_{i}\perp\!\!\!\perp Z_{j}, \ \forall i,j.
  • ZK=(Z1,,ZK)=ZTN(0,KZ)Z^{K}=(Z_{1},\ldots,Z_{K})=\underline Z^{T}\sim\mathcal{N}(\underline0,K_{\underline Z}) where KZK_{\underline Z} invertible. and i=1kE[Xi2]=tr(KX)P\sum\limits_{i=1}^{k}E[X_{i}^{2}]=tr(K_{\underline X})\le P and similar to how we applied the methodology with Optimal Power Allotment we find that network capacity is given by C(P)=i=1K12log2(1+biiλi)C(P)=\sum\limits_{i=1}^{K} \frac{1}{2}\log_{2}\left(1+ \frac{b_{ii}}{\lambda_{i}}\right)where bii=max{0,Θλi}, i=1,,Kb_{ii}=\max\{0, \Theta-\lambda_{i}\}, \ i=1,\ldots,K with Θ\Theta chosen such that i=1Kbii=P\sum\limits_{i=1}^{K}b_{ii}=P and λ1,,λK\lambda_{1},\ldots,\lambda_{K}are eigenvalues of KZK_{\underline Z}.

Linked from