Exercises

ex-ch23-01

Easy

For the Gaussian relay channel with P=Pr=10P = P_r = 10, N=1N = 1, and Nr=0.5N_r = 0.5, compute the DF achievable rate at ρ=0\rho = 0 (independent inputs) and ρ=0.9\rho = 0.9 (highly correlated inputs). Which is better?

ex-ch23-02

Easy

Show that the CF achievable rate for the Gaussian relay channel is always at least 12log⁑(1+P/N)\frac{1}{2}\log(1 + P/N) (the direct-link rate), regardless of the relay parameters.

ex-ch23-03

Easy

In the Gupta-Kumar model, nn nodes are placed in a unit square. What is the average distance between a random source-destination pair? How many hops are needed to cover this distance with nearest-neighbor routing?

ex-ch23-04

Easy

For the constant-gap result of NNC, compute the worst-case gap in bits for networks with K=3,5,10,20K = 3, 5, 10, 20 nodes.

ex-ch23-05

Medium

For the Gaussian relay channel, find the optimal correlation Οβˆ—\rho^* that maximizes the DF rate RDF=min⁑{12log⁑(1+(1βˆ’Ο2)P/Nr),12log⁑(1+(P+Pr+2ρPPr)/N)}R_{\text{DF}} = \min\{\frac{1}{2}\log(1+(1-\rho^2)P/N_r), \frac{1}{2}\log(1+(P+P_r+2\rho\sqrt{PP_r})/N)\}. Express Οβˆ—\rho^* in terms of P,Pr,N,NrP, P_r, N, N_r.

ex-ch23-06

Medium

Prove that the 0.5-bit constant gap for the Gaussian relay channel follows from the arithmetic-geometric mean inequality (a+b)2≀2(a+b)(\sqrt{a} + \sqrt{b})^2 \leq 2(a + b).

ex-ch23-07

Medium

For a two-relay serial chain (source β†’ relay 1 β†’ relay 2 β†’ destination) with all Gaussian links having SNR = 20 dB, compute: (a) the DF rate, (b) the cut-set bound, (c) the NNC rate with quantization at the noise level.

ex-ch23-08

Medium

In the Γ–zgΓΌr-LΓ©vΓͺque-Tse hierarchical cooperation scheme, MM nearby nodes form a virtual MIMO transmitter. The local cooperation phase requires each node to learn all MM messages. How much time does this local exchange take, and what fraction of the total time is spent on local cooperation?

ex-ch23-09

Medium

Show that for the Gaussian diamond network with symmetric links (h1=h2=hh_1 = h_2 = h, g1=g2=gg_1 = g_2 = g, equal relay powers), DF and CF achieve the same rate when ∣h∣2P/Nr=∣g∣2Pr/N|h|^2 P / N_r = |g|^2 P_r / N (the source-relay and relay-destination links are equally strong).

ex-ch23-10

Medium

The Gupta-Kumar result assumes a path-loss exponent Ξ±>2\alpha > 2. What happens when Ξ±=2\alpha = 2 exactly? Show that the per-node throughput with multi-hop routing is still O(1/n)O(1/\sqrt{n}) but the interference structure changes.

ex-ch23-11

Medium

In noisy network coding, the compression rate at relay kk should be set to R^k=12log⁑(1+(P+Nk)/Ξ”k)\hat{R}_k = \frac{1}{2}\log(1 + (P + N_k)/\Delta_k) where Ξ”k\Delta_k is the quantization distortion. Why does quantizing at the noise level (Ξ”k=Nk\Delta_k = N_k) give R^k=12log⁑(1+P/Nk+1)β‰ˆ12log⁑(SNRk+2)\hat{R}_k = \frac{1}{2}\log(1 + P/N_k + 1) \approx \frac{1}{2}\log(\text{SNR}_{k} + 2)?

ex-ch23-12

Hard

Derive the CF achievable rate for the Gaussian relay channel in the "high-SNR" regime (P,Prβ†’βˆžP, P_r \to \infty with P/PrP/P_r fixed) and show that the gap to the cut-set bound approaches exactly 12log⁑2=0.5\frac{1}{2}\log 2 = 0.5 bits.

ex-ch23-13

Hard

Prove that for the hierarchical cooperation scheme with α=2\alpha = 2, the cooperation overhead (time spent exchanging messages within clusters) does not dominate the total time, and hence the per-node throughput remains Θ(1)\Theta(1).

ex-ch23-14

Hard

Consider a Gaussian relay network with a "butterfly" topology: two sources (S1,S2S_1, S_2), two destinations (D1,D2D_1, D_2), and one common relay RR. Source SkS_k wants to communicate with DkD_k. Each link is Gaussian with the same SNR. Show that NNC achieves within a constant gap of the cut-set bound, and explain why this network cannot be treated as two independent relay channels.

ex-ch23-15

Hard

Show that for a network of KK relays in parallel (source β†’ all relays β†’ destination, no inter-relay links), the NNC gap can be improved to 12log⁑(K)\frac{1}{2}\log(K) bits instead of (Kβˆ’1)/2(K-1)/2 bits.

ex-ch23-16

Challenge

Derive the conditions under which DF strictly outperforms NNC for the Gaussian diamond network, and conversely, when NNC strictly outperforms DF. Characterize the boundary in terms of the link SNRs.

ex-ch23-17

Challenge

Consider a fading relay channel where the channel gains hsrh_{\text{sr}} (source-relay) and hrdh_{\text{rd}} (relay-destination) are random and known only to the receivers. Derive the outage probability for DF as a function of rate RR and the fading distributions. How does the diversity order depend on whether the direct link exists?

ex-ch23-18

Challenge

The Γ–zgΓΌr-LΓ©vΓͺque-Tse result achieves Θ(n)\Theta(n) throughput for Ξ±=2\alpha = 2 using hierarchical cooperation. Prove that no scheme can achieve better than Θ(n)\Theta(n) total throughput (i.e., the linear scaling is optimal) by deriving an upper bound on the total throughput of the network.