Exercises
ex-ch23-01
EasyFor the Gaussian relay channel with , , and , compute the DF achievable rate at (independent inputs) and (highly correlated inputs). Which is better?
At : relay decoding rate is , cooperative rate is .
At : relay decoding rate uses , cooperative rate uses .
$\rho = 0$
Relay: bits. Cooperative: bits. DF rate: bits.
$\rho = 0.9$
Relay: bits. Cooperative: bits. DF rate: bits.
Comparison
achieves 2.18 bits vs. achieves only 1.13 bits. High correlation hurts because the relay cannot decode: the "fresh" information drops dramatically. The optimal lies between 0 and 0.9.
ex-ch23-02
EasyShow that the CF achievable rate for the Gaussian relay channel is always at least (the direct-link rate), regardless of the relay parameters.
Consider the limit (relay sends no useful information).
Take $\Delta \to \infty$
In the CF rate , as , the relay term . The rate approaches , the direct-link rate.
CF only helps
Since gives a strictly positive relay contribution, the CF rate is always . The relay can never hurt with CF.
ex-ch23-03
EasyIn the Gupta-Kumar model, 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?
The average distance between two random points in a unit square is .
The nearest-neighbor distance is .
Average source-destination distance
For two uniformly random points in , the expected Euclidean distance is .
Number of hops
With nodes in a unit square, the nearest-neighbor distance is . To cover distance , we need hops.
Throughput implication
Each packet requires hops, each consuming a channel use. This is the root cause of the throughput scaling.
ex-ch23-04
EasyFor the constant-gap result of NNC, compute the worst-case gap in bits for networks with nodes.
The gap is bits.
Compute the gaps
| Gap = bits | |
|---|---|
| 3 | 1.0 |
| 5 | 2.0 |
| 10 | 4.5 |
| 20 | 9.5 |
Interpretation
For small networks (), the gap is modest (1-2 bits). For larger networks, the gap grows linearly with . However, this is a worst-case bound β the actual gap is typically much smaller, especially for well-connected topologies.
ex-ch23-05
MediumFor the Gaussian relay channel, find the optimal correlation that maximizes the DF rate . Express in terms of .
At the optimal , the two terms are equal (otherwise we could increase the smaller one by adjusting ).
Equate the two terms
Set . This gives .
Solve for $\rho$
. . . This is a quadratic in with , , : taking the root in .
ex-ch23-06
MediumProve that the 0.5-bit constant gap for the Gaussian relay channel follows from the arithmetic-geometric mean inequality .
The cut-set bound uses in the broadcast cut.
CF uses (independent inputs).
The beamforming gain gap
The cut-set bound's broadcast cut includes the coherent gain: . CF uses independent inputs: .
Apply AM-GM
by AM-GM. Therefore:
ex-ch23-07
MediumFor 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.
DF decodes at each hop; rate = min of hop rates.
The cut-set bound considers all three cuts (one per link).
DF rate
Each hop has capacity bits. DF rate = bits.
Cut-set bound
Each of the three cuts gives bits. Cut-set bound = 3.33 bits. DF achieves the cut-set bound for the serial chain.
NNC rate
NNC with nodes: gap bits. NNC rate bits. NNC is suboptimal for the serial chain because it does not exploit the sequential structure.
ex-ch23-08
MediumIn the ΓzgΓΌr-LΓ©vΓͺque-Tse hierarchical cooperation scheme, nearby nodes form a virtual MIMO transmitter. The local cooperation phase requires each node to learn all messages. How much time does this local exchange take, and what fraction of the total time is spent on local cooperation?
Each of nodes has one message. Exchanging all messages requires pairwise exchanges.
Each exchange uses channel uses.
Local cooperation time
nodes must share messages. Using nearest-neighbor communication within the group (which has diameter ), each message can reach all nodes in hops via flooding. The total local cooperation time is channel uses.
Fraction of total time
The MIMO transmission phase takes channel uses (one long codeword per virtual MIMO link). The cooperation overhead is per node. For (the hierarchical choice), this fraction vanishes as for fixed .
ex-ch23-09
MediumShow that for the Gaussian diamond network with symmetric links (, , equal relay powers), DF and CF achieve the same rate when (the source-relay and relay-destination links are equally strong).
At the symmetry point, both DF and CF are limited by the same bottleneck.
DF rate at symmetry
DF rate: . At symmetry: . DF = .
CF rate at symmetry
CF uses the relay-destination link to carry compressed observations. At symmetry ( equal for both links), the CF rate with optimal quantization also evaluates to approximately , as the compression overhead balances the side information gain.
Conclusion
At the symmetry point, neither strategy has an advantage β both achieve the same rate . Away from symmetry, DF is better when the source-relay link is stronger, and CF is better when the relay-destination link dominates.
ex-ch23-10
MediumThe Gupta-Kumar result assumes a path-loss exponent . What happens when exactly? Show that the per-node throughput with multi-hop routing is still but the interference structure changes.
With , the aggregate interference diverges logarithmically.
Aggregate interference with $\alpha = 2$
With nodes in a unit square and , a node at the origin experiences aggregate interference . For uniformly distributed nodes, this sum scales as (since diverges).
Impact on throughput
The SINR at any receiver is . With and : SINR (bounded). The per-link rate is , and with hops: .
Comparison with $\alpha > 2$
For , the aggregate interference is bounded, giving SINR and per-link rate , leading to β the Gupta-Kumar result. For , the interference is larger, reducing per-link rate to .
ex-ch23-11
MediumIn noisy network coding, the compression rate at relay should be set to where is the quantization distortion. Why does quantizing at the noise level () give ?
Substitute directly.
Substitute $\Delta_k = N_k$
.
Interpretation
At high SNR (): . This is approximately the point-to-point capacity of the relay's received link. Quantizing at the noise level captures all the useful information (above the noise floor) and discards only the noise β an operationally optimal choice.
ex-ch23-12
HardDerive the CF achievable rate for the Gaussian relay channel in the "high-SNR" regime ( with fixed) and show that the gap to the cut-set bound approaches exactly bits.
At high SNR, the coherent gain dominates in the cut-set bound.
The CF rate with misses this coherent gain.
Cut-set bound at high SNR
With optimal : .
CF rate at high SNR
With optimal : .
Gap
where . This is maximized at : bits. The gap is exactly 0.5 bits when at high SNR.
ex-ch23-13
HardProve that for the hierarchical cooperation scheme with , the cooperation overhead (time spent exchanging messages within clusters) does not dominate the total time, and hence the per-node throughput remains .
The key is that local message exchange uses short-range links (distance ) with high rate.
The MIMO transmission phase uses long-range links but achieves high throughput through beamforming.
Local exchange time
Within a cluster of nodes, the diameter is . Each node transmits its message to all cluster members. Using TDMA within the cluster, this takes time slots (each slot at rate β short-range link).
MIMO transmission time
The MIMO transmission between two clusters uses channel uses at rate bits per channel use. To transmit messages (each of bits), we need channel uses.
Total time and throughput
Total time per round: . For the cooperation overhead to be negligible, we need , which is satisfied by choosing long codewords. The per-node throughput is .
ex-ch23-14
HardConsider a Gaussian relay network with a "butterfly" topology: two sources (), two destinations (), and one common relay . Source wants to communicate with . 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.
The relay must help both source-destination pairs simultaneously.
The relay's compressed observation contains information about both and .
Why it is not two independent relay channels
The relay receives β a superposition of both sources. Its compressed observation necessarily contains information about both messages. The relay-destination link is shared: transmits one signal that must help both destinations. This coupling makes the problem fundamentally different from two parallel relay channels.
NNC application
With NNC, the relay compresses (containing both messages) and both destinations jointly decode using . The NNC rate region is the set of satisfying the cut-set conditions with a compression overhead penalty.
Constant gap
With nodes, the gap is at most bits per user. The shared relay creates a rate coupling between the two users, but NNC handles it automatically through joint decoding.
ex-ch23-15
HardShow that for a network of relays in parallel (source β all relays β destination, no inter-relay links), the NNC gap can be improved to bits instead of bits.
When relays are in parallel with no interaction, the compression indices can be decoded separately.
Parallel relay structure
With parallel relays: , . The cut-set bound: .
NNC with independent quantization
Each relay quantizes at . The destination jointly decodes. The coherent gain loss: (Cauchy-Schwarz), giving a gap of .
Improved bound
for all . The parallel structure allows a tighter gap because the compression indices at different relays are independent (no inter-relay interference to account for).
ex-ch23-16
ChallengeDerive 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.
DF is bottlenecked by the weaker source-relay link. NNC is bottlenecked by the MAC cut minus compression overhead.
When both source-relay links are strong, DF matches the cut-set bound.
DF rate for diamond network
. The relay decoding constraint is the bottleneck when any source-relay link is weak.
NNC rate for diamond network
. NNC avoids the relay decoding bottleneck at the cost of the compression gap.
Boundary
DF outperforms NNC when all source-relay SNRs exceed a threshold: . NNC outperforms DF when some source-relay link is weak: . The exact boundary depends on the specific link gains and can be computed numerically.
ex-ch23-17
ChallengeConsider a fading relay channel where the channel gains (source-relay) and (relay-destination) are random and known only to the receivers. Derive the outage probability for DF as a function of rate and the fading distributions. How does the diversity order depend on whether the direct link exists?
Outage occurs when the instantaneous DF rate falls below .
Without a direct link: diversity order 1 (relay path bottlenecked by weaker link).
With a direct link: diversity order 2 (two independent paths).
DF outage condition
DF outage occurs when . This simplifies to: OR .
Diversity analysis
With Rayleigh fading ():
- Without direct link: . The relay path has diversity order 1 (bottlenecked by worse of two serial links).
- With direct link: at high SNR. Diversity order 2 because the direct and relay paths provide independent fading paths.
ex-ch23-18
ChallengeThe ΓzgΓΌr-LΓ©vΓͺque-Tse result achieves throughput for using hierarchical cooperation. Prove that no scheme can achieve better than total throughput (i.e., the linear scaling is optimal) by deriving an upper bound on the total throughput of the network.
Use the cut-set bound on the entire network: any cut separating all sources from all destinations limits the total flow.
The total power in the network is , and the received power across any cut is bounded.
Network cut-set bound
Partition the nodes into two halves and by a vertical line. Approximately source-destination pairs are cut. The total rate across this cut is bounded by the mutual information between the two halves.
Power constraint
The total transmit power on the source side is at most . With and distance between the two halves, the received power at the destination side is . The MIMO capacity across the cut is where is the cross-cut channel matrix.
Bound on total throughput
The total throughput is bounded by because the MIMO capacity across any balanced cut is (at most spatial DoF, each carrying bits). This matches the achievability result, proving optimality.