Exercises
ex-mimo-ch01-01
EasyA BS has antennas serving single-antenna users. All users have i.i.d. channel coefficients and equal transmit power .
(a) What is the multiplexing gain (degrees of freedom)? (b) Using the asymptotic formula from Theorem " data-ref-type="theorem">TSum Rate Linear Scaling with , compute the approximate sum rate when . (c) How does the sum rate change if is doubled to 200?
The multiplexing gain is . Which quantity is the bottleneck?
Substitute , , , , into the asymptotic formula.
To compare and , use since .
(a) Multiplexing gain
The multiplexing gain is . The system is user-limited.
(b) Sum rate
With , per-user SNR: . Asymptotic sum rate:
(c) Doubling antennas
With , , SNR : bps/Hz. Gain: bps/Hz . Consistent with — wait, doubling increases SNR by (since also changes), adding bps/Hz.
ex-mimo-ch01-02
MediumProve that for i.i.d. channels: Then use these results to show that the coefficient of variation (standard deviation divided by mean) of equals .
Write . The are i.i.d. exponential with mean .
For Exponential() with mean : .
Use variance of sum of i.i.d. variables, then normalize by .
Statistics of a single component
For , we have (an exponential with mean ). Hence and (using for ).
Sum statistics
. . Dividing by : , .
Coefficient of variation
. Thus the relative fluctuation decreases as . At , the standard deviation is 10% of the mean; at , it is 1%.
ex-mimo-ch01-03
MediumShow that for two independent and channel vectors , Conclude that the normalized cross-correlation vanishes as .
Write out .
Most cross terms vanish by independence (or zero mean). Only the diagonal terms survive.
Each diagonal term contributes .
Expand the squared magnitude
. Taking expectation and using independence of and , then independence of different components: .
Evaluate cross-terms
For : (independent, zero mean). For : and . Therefore: . Dividing by : .
ex-mimo-ch01-04
MediumDerive the ZF combining matrix by minimizing the total squared error subject to the zero-interference constraint: minimize subject to for all and .
The constraint and can be written as (the -th standard basis vector).
Minimize subject to this linear constraint using Lagrange multipliers or the pseudo-inverse.
The solution is — the -th column of .
Reformulate as constrained optimization
Let satisfy , i.e., . We want to minimize subject to this linear equality.
Minimum-norm solution
The minimum-norm solution to (with full row rank ) is . Here and : .
Combine for all users
Stacking all combining vectors as columns:
ex-mimo-ch01-05
MediumA system has , , coherence block symbols. Users transmit at power dBm during pilots and dBm during data. The path-loss model is where m and user is at distance . Users are at distances m.
(a) Compute the path-loss for each user. (b) Compute the TDD pilot overhead fraction. (c) Using the asymptotic sum rate formula, compare the rate with and without path-loss heterogeneity (replace all with their mean).
. Compute in linear scale, then convert to dB if desired.
TDD pilot overhead: symbols, fraction .
Asymptotic rate: where is the noise power.
(a) Path-loss values
: , , , , , , , . Mean: .
(b) Pilot overhead
. Fraction: . Negligible.
(c) Sum rate comparison
Using where, with typical values, the per-antenna SNR is . Heterogeneous: sum of 8 individual log terms. Homogeneous: . Due to Jensen's inequality ( is concave), the heterogeneous sum rate is lower than the homogeneous case when the geometric mean arithmetic mean, which is always true unless all are equal. Power control (Chapter 5) addresses this by boosting weaker users.
ex-mimo-ch01-06
HardProve that the ZF combining SINR satisfies
where is the matched filter (MRC single-user) SNR. Conclude that ZF SINR is always at least as good as MRC single-user SNR (ignoring inter-user interference in MRC).
Show that using the Cauchy-Schwarz or interlacing inequality.
Use the block matrix inversion lemma: where is the projection onto the nullspace of all other users.
Since projection can only reduce a vectors norm: .
Denominator via projection
Using block inversion, the entry of is , where is the projection onto the null space of (all columns of except ).
Norm inequality
Since is an orthogonal projection (idempotent Hermitian), . Therefore .
Conclude SINR ordering
\leq\blacksquare$
ex-mimo-ch01-07
EasyA BS has antennas. User 1 has covariance (i.i.d. Rayleigh). User 2 has a rank-5 covariance with equal nonzero eigenvalues: where has orthonormal columns.
Compute the hardening coefficient for each user and interpret the result.
For user 1: and .
For user 2: has 5 equal nonzero eigenvalues. Compute and .
Interpret: smaller means faster hardening.
User 1 (i.i.d.)
, . .
User 2 (rank-5)
The 5 nonzero eigenvalues are each. . . .
Interpretation
User 1 has (strong hardening). User 2 has (weaker hardening — only 5 effective antennas). The rank-5 user needs 20× more antennas to achieve the same hardening level. This motivates using spatially diverse antennas (uniform linear arrays in rich scattering) over co-located antennas.
ex-mimo-ch01-08
HardConsider a 2-user massive MIMO system with MRC combining. User 1 has power and path-loss ; user 2 has power and path-loss . Derive the asymptotic (large-) SINR for user 1 under MRC and show that it can be written as: For the finite- regime, identify the residual interference floor.
Start from the SINR expression in Definition DLinear Uplink Receivers: MRC and ZF with .
Divide numerator and denominator by and apply the convergence results: and .
Be careful: the interference term has mean , not zero. Use the expectation form for the approximation.
MRC SINR with two users
With :
Apply law of large numbers (mean approximation)
Replace random quantities with their expectations: , so . For the interference: (from Exercise Eex-mimo-ch01-03). Therefore:
Identify interference floor
As with fixed : — limited by residual interference from user 2, not noise. But since this diverges with , there is no floor! At finite , the interference has variance (not just mean) — the actual realized SINR fluctuates. The formula above is valid as a deterministic approximation.
ex-mimo-ch01-09
EasyConsider a TDD system with coherence block symbols, users, and uplink pilot power equal to data power.
(a) What is the minimum pilot overhead fraction? (b) If the system operates at 2 GHz with 200 kHz coherence bandwidth and UEs moving at 30 km/h, estimate . (c) How many users can be served with at most 5% pilot overhead?
for TDD with orthogonal pilots.
Coherence time: where . Coherence block in symbols: .
Maximum such that .
(a) Minimum overhead
. Fraction: .
(b) Coherence block estimation
Hz. ms. . With kHz subcarrier spacing and OFDM: symbol duration s. Symbols per ms: symbols. So in this OFDM system.
(c) Users at 5% overhead
, so users with at most 5% overhead. (With : users.)
ex-mimo-ch01-10
ChallengeFor i.i.d. Rayleigh fading, use the deterministic equivalent (asymptotic analysis) to show that the gap between MRC sum rate and ZF sum rate vanishes as .
Specifically, show that
Hint: use the asymptotic per-user SINRs for both schemes and show they converge to the same limit.
Asymptotic MRC SINR for user : .
For ZF with i.i.d. channels: as by random matrix theory.
Take the ratio SINR/SINR and show it approaches 1 as .
MRC asymptotic SINR
From Theorem TMRC Asymptotic Near-Optimality (with general path-losses):
ZF asymptotic SINR
For ZF with i.i.d. , the matrix (favorable propagation). By continuous mapping: . Therefore:
Compare and take limit
Ratio: . Wait — this ratio is actually , so ZF is always better than or equal to MRC at finite ! The claim that they converge should be interpreted in the high- regime where . In that case: (interference limited) and (noise limited). The ZF advantage vanishes only as compared to interference.
ex-mimo-ch01-11
MediumThe Gram matrix is central to favorable propagation. For and with i.i.d. channels, simulate 1000 realizations of and: (a) Compute the mean and variance of the diagonal entries. (b) Compute the mean and variance of the off-diagonal entries. (c) Repeat for and verify the theoretical predictions.
Generate as a complex Gaussian matrix, compute .
Theoretical: diagonal mean , variance . Off-diagonal mean , mean squared magnitude .
A short Python script using numpy is sufficient.
Simulation (Python sketch)
import numpy as np
N_t, K, n_mc = 4, 2, 1000
diag_vals, offdiag_vals = [], []
for _ in range(n_mc):
H = (np.random.randn(N_t, K) + 1j*np.random.randn(N_t, K)) / np.sqrt(2)
G = H.conj().T @ H / N_t
diag_vals.append(np.real(np.diag(G)))
offdiag_vals.append(G[0, 1])
Verify theory
For : diagonal mean , variance . Off-diagonal mean , mean-squared . For : all variances . The numerical results should match the theoretical predictions from Theorems TChannel Hardening for i.i.d. Rayleigh Fading and TFavorable Propagation for i.i.d. Rayleigh Fading.
ex-mimo-ch01-12
MediumExplain why pilot contamination is fundamentally different from additive interference or noise.
Specifically: show that when users and share the same pilot sequence in two different cells, the contamination term in the estimate of does NOT decrease with .
In cell 1, the BS observes .
The LS channel estimate is .
The contamination term is a fixed- vector — it does not average out.
Contaminated LS estimate
Cell 1 BS receives during uplink training: (both users transmit the same pilot ). LS estimate: where as pilot power .
Non-vanishing contamination
Even with infinite SNR, . The contamination term is a random vector of length — it does not "average out" when grows. Increasing makes each component of small relative to , but the effect on beamforming is that the BS accidentally points a beam toward the contaminating user in the adjacent cell. This residual interference grows with (Marzetta, 2010).
ex-mimo-ch01-13
EasyState whether each of the following systems exhibits channel hardening, and justify briefly. (a) , , i.i.d. Rayleigh. (b) , , i.i.d. Rayleigh. (c) , , rank-1 covariance (pure LoS). (d) , , rank-10 covariance (partial scattering).
Hardening coefficient: .
Compare values: the system hardens if as .
Case analysis
(a) : (single antenna; no averaging; the channel is just a scalar random variable — no hardening).
(b) , i.i.d.: — strong hardening. The gain concentrates within 10% of its mean.
(c) , rank-1: regardless of — no hardening. The array gain where is a single Rayleigh fading coefficient. Even with 100 antennas, the effective gain fluctuates like a single-antenna channel.
(d) , rank-10: . With 10 equal eigenvalues each: — partial hardening. The system hardens like it has 10 effective antennas.
ex-mimo-ch01-14
MediumPower Scaling Law. Show that with MRC combining and (single user), the transmit power can be scaled as (decreasing with ) while maintaining a fixed target SNR . What does this imply for energy efficiency?
MRC SINR (single user) = .
Set and observe that SINR regardless of .
Energy efficiency (bits per Joule) — how does this scale with ?
MRC SINR with power scaling
Single-user MRC SINR . With : SINR — constant in . So the achievable rate is fixed while transmit power decreases.
Energy efficiency
Energy efficiency , which grows linearly with . Adding more BS antennas allows the user to transmit with proportionally less power (maintaining the same rate), or equivalently, extending battery life by a factor of .
In 5G NR, this is exploited via uplink power control: cell-edge users transmit at lower power when served by a massive MIMO BS (fewer retransmissions, longer battery life).
ex-mimo-ch01-15
ChallengeMutual Information with Finite . Consider a user system with antennas and i.i.d. channels. Using the determinant formula, show that the exact ergodic sum rate (not the asymptotic approximation) can be written as
and argue using the Marchenko–Pastur law that as (fixed ), the term converges to a deterministic function.
Scale the determinant: vs .
The Marchenko-Pastur law states that the empirical spectral distribution of converges to a deterministic limit as (for fixed ).
For fixed and , (favorable propagation), making the determinant trivial to evaluate.
Apply determinant identity
Write :
Convergence via random matrix theory
As with fixed , favorable propagation gives a.s. By continuous mapping: This is the same asymptote as derived in Theorem " data-ref-type="theorem">TSum Rate Linear Scaling with . The random matrix (Marchenko–Pastur) approach gives the full finite- correction terms, developed in Chapters 2 and 4.