Exercises
ex-ch25-01
EasyConsider a two-user cooperative MAC with , , , , and . Compute the maximum sum rate with decode-and-forward cooperation, assuming equal power allocation between Phases 1 and 2.
First check that the inter-user links can support the user rates.
The inter-user capacity is bits/use.
For the destination, combine Phase 1 and Phase 2 contributions with coherent combining ().
Inter-user link capacity
The inter-user link supports bits/use per user.
Phase 1 contribution to destination
Each user's Phase 1 rate to the destination: bits/use.
Phase 2 with coherent combining
With equal power split and : bits/use.
Sum rate
Per-user rate: bits/use. Sum rate: bits/use. The bottleneck is the inter-user link. Increasing would help.
ex-ch25-02
EasyFor the non-cooperative point-to-point channel with i.i.d. Rayleigh fading, verify that the DMT is for .
The outage probability at rate is .
Rearrange to get .
For , use for small .
Outage event
The outage event is , which simplifies to .
High-SNR approximation
For large : . Since : .
Diversity gain
.
ex-ch25-03
EasyIn a C-RAN system with APs, each observing (single user, , ), compute the quantization noise and the effective capacity for bits/use per AP.
Use .
The effective channel after quantization is with total noise .
Quantization noise
.
Effective capacity with MRC
With 2 APs and MRC, the effective capacity is: bits/use.
Compare with ideal (): bits/use. Loss: only 0.02 bits/use.
ex-ch25-04
EasyShow that in cell-free massive MIMO with equal large-scale fading for all , and perfect CSI (), the per-user SINR with matched-filter combining simplifies to .
Substitute for all and for all into the rate formula.
Substitute into the rate formula
From Theorem 25.3, with and :
This confirms SINR , and the per-user rate grows as for large .
ex-ch25-05
EasyIn the user-centric cell-free architecture, user is served by its nearest APs out of total. If each AP forwards a complex scalar estimate at 10 bits (5 bits for I, 5 for Q), what is the per-user fronthaul rate in a system with bandwidth MHz?
Each AP forwards one complex number per channel use for each served user.
The fronthaul rate is bits/s where is bits per real component.
Fronthaul calculation
Per-user fronthaul: Mbps.
Compare with full cooperation (): Gbps. The user-centric approach reduces fronthaul by a factor of 16.
ex-ch25-06
MediumDerive the DMT for a -user cooperative MAC with dynamic DF, where all users cooperate in a round-robin fashion. Show that , matching the MISO DMT.
With independent paths (direct + relay paths), the diversity order is .
Dynamic DF avoids the rate penalty of static protocols.
Use the outage probability with independent Rayleigh paths.
Outage with $K$ independent paths
With dynamic DF, the effective channel to the destination has independent fading paths: the direct link and cooperative links. The outage probability at rate requires all paths to be simultaneously weak:
High-SNR scaling
For independent exponential random variables, the CDF near zero satisfies:
for small . Therefore and .
Achievability via dynamic DF
The dynamic DF protocol achieves this by adapting the listening duration at each relay. When relay 's link is strong, it decodes quickly and cooperates for most of the block. The effective multiplexing gain is (full rate) because the protocol overhead vanishes in the high-SNR limit.
ex-ch25-07
MediumIn a C-RAN with APs and users, the channel matrix is Each AP has fronthaul capacity bits/use, , .
(a) Compute the sum-rate with compress-and-forward and Gaussian quantization.
(b) Compare with the ideal sum-rate (unlimited fronthaul).
For CF, compute from the fronthaul constraint for each AP.
The effective channel is .
The ideal sum-rate is .
Signal power at each AP
:
- AP 1:
- AP 2:
- AP 3:
- AP 4:
Quantization noise
For each AP: .
- APs 1,2:
- APs 3,4:
Effective noise: .
CF sum-rate
. Numerically computing this (or using the approximation ): the CF rate is within 0.1 bits/use of the ideal rate.
Ideal: .
ex-ch25-08
MediumConsider cell-free massive MIMO with APs, users, and i.i.d. Rayleigh fading with for all . Pilot length , user power mW, W.
Compute the per-user achievable rate and verify that it matches the scaling law .
First compute from the MMSE channel estimation formula.
Substitute into the rate expression from Theorem 25.3.
Channel estimation quality
.
Since , the channel estimation is nearly perfect.
SINR computation
Per-user rate and scaling verification
bits/use.
With : SINR , bits/use. With : SINR , bits/use.
Indeed , confirming scaling.
ex-ch25-09
MediumProve that the diversity order of amplify-and-forward cooperation between two users (each with one antenna) is at multiplexing gain , but the coding gain is inferior to decode-and-forward.
In AF, the relay amplifies its received signal by a gain and retransmits.
The effective SNR at the destination has the form .
Use the harmonic mean bound for the relay link SNR.
AF relay signal model
The relay receives and transmits where normalizes the power. The destination receives .
Effective SNR
The SNR of the relay link is:
The total effective SNR is .
Diversity analysis
At (fixed rate), outage requires both the direct link and the relay link to be weak. Since the relay link depends on two independent channels ( and ), the overall diversity is . However, the relay link SNR is bounded by the harmonic mean of and , which gives a 3 dB coding gain loss compared to DF (where the relay decodes perfectly before re-encoding).
ex-ch25-10
MediumIn coded cooperation with a rate- convolutional code and BPSK modulation, user 1 transmits 100 systematic bits in Phase 1 and user 2 transmits 100 parity bits for user 1's message in Phase 2. Both phases experience independent Rayleigh fading with average dB.
(a) What is the diversity order of the coded cooperation scheme?
(b) Compare the frame error rate (FER) with non-cooperative transmission at the same total energy per bit.
Coded cooperation achieves diversity 2 because the two code halves go through independent channels.
For a rate-1/2 code with diversity 2, the FER at high SNR scales as .
Diversity order
The 200-bit codeword is split into two 100-bit halves, each transmitted through an independent Rayleigh fading channel. The Viterbi decoder at the destination sees a virtual space-time code. The diversity order is 2.
FER comparison
Non-cooperative (diversity 1): for a rate- convolutional code with free distance .
Coded cooperation (diversity 2): .
At dB (= 10 linear), with : , (about one order of magnitude improvement).
ex-ch25-11
MediumConsider a C-RAN downlink where the CP wants to send independent messages to users through APs. Each AP has fronthaul capacity . Formulate the achievable rate region using multivariate compression (Marton coding at the CP + fronthaul compression).
The downlink C-RAN can be modeled as a broadcast channel with fronthaul constraints.
Marton coding with common and private messages, then compress the beamformed signal for each AP.
System model
The CP computes beamformed signals where is the beamforming vector for user and is the data symbol. Each AP must receive through the fronthaul.
Fronthaul compression
The CP quantizes to and sends the quantization index through the fronthaul. The fronthaul constraint is: for each .
Achievable rate region
User receives where is the quantization noise. The achievable rates are: subject to and power constraints .
This is a joint optimization over beamforming vectors, power allocation, and quantization distortion levels.
ex-ch25-12
MediumShow that in cell-free massive MIMO with MMSE channel estimation, the channel estimate and estimation error are uncorrelated, and compute as a function of , , , and .
Use the MMSE estimation property: the estimate and error are orthogonal in Gaussian models.
The MMSE estimate of from the pilot observation is .
Pilot observation model
During pilot phase, user sends pilot of length at power . AP receives: where includes noise and interference from pilot-sharing users. For orthogonal pilots (no contamination): , .
MMSE estimate
Since and :
Orthogonality
By the MMSE property for jointly Gaussian variables: . The estimation error variance is .
ex-ch25-13
HardDerive the cut-set bound for the uplink C-RAN with users, APs, and per-AP fronthaul capacity . Show that the sum-rate is bounded by:
and interpret the bound for the extreme cases and .
Apply the cut-set bound to the relay network, cutting between the users and the CP.
The cut must separate the users from the CP; the information flow across the cut includes both over-the-air and fronthaul links.
For : no APs are on the CP side, so all information flows through fronthaul.
Cut-set formulation
Consider a cut that places the users and APs in on one side, and the remaining APs and the CP on the other side. Information crosses this cut via: (1) the wireless channel from users to APs in , and (2) the fronthaul links from APs in to the CP.
Bounding the information flow
By the cut-set bound: The first term is the mutual information through the wireless channel to the uncut APs (conditioned on the cut APs' observations), and the second is the total fronthaul capacity of the cut APs.
Extreme cases
: β the full cooperative MIMO capacity (no fronthaul constraint).
: β the sum rate cannot exceed the total fronthaul capacity (wireless channel not a bottleneck).
The tightest bound is the minimum over all possible cuts.
ex-ch25-14
HardIn cell-free massive MIMO with pilot contamination (users and share the same pilot), show that the channel estimate at AP satisfies:
and that the resulting SINR has a finite ceiling as :
The pilot observation now includes .
The MMSE estimate of will be contaminated by .
Contaminated pilot observation
When users and share a pilot, AP receives: .
The MMSE estimate of is:
SINR with contamination
The key issue is that is correlated with (the contaminating user's channel). The interference term grows as , which scales as β the same rate as the desired signal.
SINR ceiling
Therefore SINR as . The ceiling is:
This ceiling depends on the spatial separation of the contaminating users: if for most APs (users are far apart), the ceiling is high. Pilot assignment must exploit this spatial structure.
ex-ch25-15
HardConsider the two-user cooperative MAC where each user has two antennas () and the destination has antennas. Formulate the cooperative MIMO channel model and derive the achievable rate region with block-Markov encoding and DF at each user.
The Phase 1 channel is a MIMO MAC (each user transmits 2 streams).
In Phase 2, with successful decoding, the users form a distributed MIMO system.
The rate region is a polymatroid intersected with the inter-user link constraints.
Channel model
Phase 1: where . Inter-user channels: .
Phase 2: forming an effective MIMO channel.
Rate region
The achievable rate for user is:
where is the effective cooperative MIMO channel and is the joint covariance matrix of the cooperative transmission.
Spatial multiplexing gain
The maximum multiplexing gain is , limited by the destination's 2 antennas. Cooperation doubles the effective number of transmit antennas but does not increase the multiplexing gain beyond . The benefit is in diversity: .
ex-ch25-16
HardProve that the compress-and-forward strategy in C-RAN achieves within a constant gap of the cut-set bound when (single relay) and the channel is Gaussian. Specifically, show that:
This is the single-relay Gaussian channel. The cut-set bound is .
The CF rate with optimal quantization achieves within a constant gap by choosing the quantization noise to equalize the two cut-set terms.
Cut-set bound
For the single-relay Gaussian channel:
CF achievable rate
With Gaussian quantization at distortion : subject to .
Gap analysis
Choosing and bounding the gap between CF and cut-set yields a constant independent of channel parameters. The gap is at most bits, following the approach of El Gamal and Kim (2011, Theorem 16.4).
ex-ch25-17
HardIn a cell-free system with max-min fairness power control, the goal is:
subject to for each AP (per-AP power constraint).
(a) Show that this is a quasi-convex optimization problem.
(b) Describe how to solve it via bisection on the minimum rate.
The SINR is a ratio of linear functions of , making the rate a log of a ratio of linear functions.
The sublevel sets of are convex (intersection of SOCP constraints).
Quasi-convexity
The per-user SINR is where both and are linear in . Therefore is quasi-concave in (a log of a ratio of affine functions). The minimum of quasi-concave functions is quasi-concave, so the problem is quasi-convex.
Bisection algorithm
Fix a target rate . The feasibility problem is equivalent to , which is a system of linear inequalities in (after rearranging the SINR expression). This is a linear program, solvable efficiently.
Bisect on : if feasible, increase ; if infeasible, decrease. Converges to the optimal max-min rate in LP solves.
ex-ch25-18
ChallengeOpen problem flavor. Consider the C-RAN downlink with APs, users, and per-AP fronthaul capacity . The CP uses zero-forcing beamforming with fronthaul compression.
(a) Derive the achievable sum-rate as a function of the beamforming vectors and quantization distortions .
(b) Show that joint optimization over is non-convex, and propose a successive convex approximation algorithm.
The beamformed signal at AP is , compressed to before transmission.
The objective is a difference of convex functions (DC programming).
Signal model
The CP computes and quantizes: with . User receives:
Sum-rate expression
.
Subject to: (per-AP power), (fronthaul).
Non-convexity and SCA
The rate expression is non-convex because the SINR is a ratio of quadratic forms in . Using the weighted MMSE equivalence (Shi et al., 2011), the problem can be reformulated as a sequence of convex subproblems:
- Fix , optimize (convex in ).
- Fix , optimize (WMMSE is convex).
- Iterate until convergence.
Each iteration increases the sum-rate, and the sequence converges to a stationary point of the non-convex problem.
ex-ch25-19
ChallengeResearch-level. Analyze the spectral efficiency of cell-free massive MIMO in the large-system limit ( with ) using random matrix theory. Specifically, for i.i.d. Rayleigh fading with heterogeneous large-scale fading:
(a) Derive a deterministic equivalent for the per-user SINR with MMSE combining at the CP (fully centralized processing).
(b) Show that in the regime (many more APs than users), the SINR converges to the matched-filter result from Theorem 25.3.
Use the Stieltjes transform approach: .
The deterministic equivalent follows from the Marchenko-Pastur law generalized to heterogeneous variances.
System model in matrix form
The channel matrix has entries with i.i.d. The MMSE receiver for user is: .
Deterministic equivalent
By the resolvent identity and random matrix theory, as : where , , and with determined by a system of fixed-point equations.
Matched-filter limit
As , the MMSE receiver converges to the matched filter because inter-user interference vanishes. The SINR becomes , which matches the MF result when (perfect CSI).
ex-ch25-20
ChallengeImplementation project. Simulate a cell-free massive MIMO system with APs and users distributed uniformly in a km area. Use the 3GPP urban micro path-loss model: where is in meters.
(a) Compare the CDF of per-user rates for: (i) cell-free with MF combining, (ii) cell-free with MMSE combining, (iii) co-located massive MIMO (all 64 antennas at the center), (iv) small cells (each AP serves its nearest user).
(b) Verify that cell-free provides the most uniform rate distribution (highest 5th-percentile rate).
Use Monte Carlo: random user drops, compute rates for each drop, build CDF.
For co-located MIMO, place all 64 antennas at m.
For small cells, partition the area into Voronoi cells around the APs.
Simulation setup
- Place 64 APs on an grid with 125 m spacing.
- Drop users uniformly at random.
- Compute using the path-loss model (with 10 m minimum distance).
- Generate i.i.d. Rayleigh small-scale fading.
- Compute per-user rates for each scheme.
- Repeat for 1000 random user drops to build CDFs.
Expected results
Cell-free (MF): moderate median rate, high 5th-percentile rate. Cell-free (MMSE): highest median and 5th-percentile rate. Co-located: high median but low 5th-percentile (cell-edge users suffer). Small cells: lowest performance due to lack of cooperation.
The key metric is the 5th-percentile: cell-free should outperform co-located by 2-5x at the cell edge, validating the "no cell boundaries" claim.