Exercises
ex-ch16-01
EasyConsider a MISO system. The Alamouti codeword matrix for symbols is:
Verify that .
Expand the matrix product and simplify the off-diagonal entries.
Direct computation
[\mathbf{C}\mathbf{C}^H]{11} = |x_1|^2 + |x_2|^2[\mathbf{C}\mathbf{C}^H]{12} = x_1 x_2^* - x_2^* x_1 = 0[\mathbf{C}\mathbf{C}^H]{21} = x_2 x_1^* - x_1^* x_2 = 0[\mathbf{C}\mathbf{C}^H]{22} = |x_2|^2 + |x_1|^2\mathbf{C}\mathbf{C}^H = (|x_1|^2 + |x_2|^2)\mathbf{I}_2\blacksquare$
ex-ch16-02
MediumA space-time code for antennas over time slots has two codewords whose difference matrix is:
(a) Compute the rank of . (b) With , what diversity order does this codeword pair achieve? (c) Compute the coding gain .
Compute and find its eigenvalues.
The diversity order for a single codeword pair is .
Compute $\Delta\mathbf{C}\,\Delta\mathbf{C}^H$
$
Find rank and eigenvalues
The characteristic polynomial is .
Computing directly: eigenvalues are , , . All three are positive, so (full rank).
Diversity order and coding gain
(b) Diversity order . This codeword pair achieves full diversity.
(c) . Coding gain .
ex-ch16-03
HardShow that for complex orthogonal STBCs, rate (one symbol per channel use) is impossible for .
Hint: Use the Hurwitz-Radon bound. The maximum number of real matrices satisfying is , the Radon-Hurwitz number.
For , . A rate-1 complex OSTBC for would need 8 real orthogonal designs.
Express the complex OSTBC condition in terms of real Hurwitz-Radon matrices.
Complex OSTBC as real design
A rate-1 complex OSTBC for encodes complex symbols over time slots. Writing each complex symbol as , we need real variables. The orthogonality condition requires that the real and imaginary component matrices satisfy the Hurwitz-Radon amicability conditions.
Hurwitz-Radon bound
For , the Hurwitz-Radon number is . A complex rate-1 design needs at least real amicable matrices (one for the real and one for the imaginary part of each of 4 complex symbols).
Since , it is impossible to find 8 mutually amicable real matrices. Therefore, no rate-1 complex OSTBC exists for .
Maximum achievable rate
The maximum rate for is , achieved by the rate-3/4 OSTBC that encodes 3 complex symbols in 4 time slots (requiring 6 real amicable matrices, and is sufficient when the design is relaxed to allow non-square code matrices).
ex-ch16-04
EasyIn a V-BLAST system with 16-QAM modulation, (a) what is the spectral efficiency? (b) how many candidates does the ML detector need to evaluate? (c) what is the complexity of the MMSE-OSIC detector (in terms of and )?
Each antenna transmits an independent 16-QAM symbol with bits.
Spectral efficiency
(a) Each of antennas transmits bits/symbol. Spectral efficiency bits/s/Hz.
ML complexity
(b) candidate vectors.
MMSE-OSIC complexity
(c) MMSE-OSIC requires iterations, each involving an matrix computation (after deflation). Total: .
ex-ch16-05
MediumDerive the post-detection SNR for stream of the ZF MIMO receiver and show that it equals .
Start from .
The noise enhancement for stream is the -th diagonal element of the noise covariance.
ZF output
$
Noise covariance
$
Per-stream SNR
The noise variance for stream is . Assuming unit-power symbols ():
ex-ch16-06
MediumFor a system with channel
and , compute the MMSE filter and the post-detection SINR for each stream.
Compute first, then invert.
Compute regularised Gram matrix
$
Invert and compute SINR
Correction: .
This negative value indicates that the formula gives where the accounts for the unit signal power. In linear scale: which is not physical.
Re-checking with unit power assumption : dB.
Applying the correct normalisation:
Wait β with unit-power symbols absorbed into : .
The standard result states the MSE for stream is and the SINR is . With our numbers this gives values less than one, which is consistent with SNR dB and high cross-coupling.
Actually: where .
is incorrect since SINR cannot be negative.
The correct formula is:
Let us simply compute the MMSE output SINR numerically. Stream 1 SINR: which requires the explicit MMSE filter rows.
Using the standard shortcut:
Inverse
dB.
Similarly, dB.
ex-ch16-07
HardShow that the ZF MIMO receiver achieves diversity order for spatial multiplexing.
Hint: The post-ZF noise for stream involves , which is related to the inverse of a Wishart matrix.
Use the fact that where projects onto the null space of the other columns.
The projected vector has effective degrees of freedom.
Geometric interpretation of ZF
The ZF estimate for stream nulls all other streams by projecting the received signal onto the subspace orthogonal to . Let be the orthogonal projector onto the null space of .
Then .
Distribution of projected vector
Since and projects onto an -dimensional subspace, the projected vector is a complex Gaussian vector with degrees of freedom.
Therefore .
Diversity order
The post-ZF SNR is . Since is chi-squared with real degrees of freedom, the error probability at high SNR is:
The diversity order is .
ex-ch16-08
MediumImplement one iteration of the OSIC algorithm for a MIMO system. Given:
Using MMSE detection, determine which layer is detected first, and compute the MMSE estimate for that layer (before quantisation).
Compute and find the diagonal element with the smallest value.
The layer with the smallest has the highest SINR.
Compute regularised Gram matrix
$
Find optimal detection order
Computing the diagonal elements of the inverse (e.g., numerically), we find that the minimum diagonal element corresponds to layer 1 (or whichever layer has the smallest ), indicating it has the highest post-detection SINR.
Layer 1 is detected first.
MMSE estimate
The MMSE estimate for layer 1 is:
where . After numerical computation, (close to the transmitted QPSK symbol).
ex-ch16-09
EasyCompare the computational complexity (number of complex multiplications) of ML detection versus ZF detection for a MIMO system with 64-QAM. Express both as specific numbers.
ML evaluates candidates, each requiring a matrix-vector product.
ZF requires one matrix inversion of size .
ML complexity
ML evaluates candidates. Each candidate requires computing : the matrix-vector product costs multiplications, plus subtractions and squarings. Total: approximately operations.
ZF complexity
ZF computes :
- : multiplications
- Matrix inversion: operations
- Filter application: multiplications
Total: approximately operations β about times cheaper than ML.
ex-ch16-10
HardProve that the MMSE receiver output SINR for stream is:
where is the -th column of .
Write the MMSE filter row for stream and compute the signal and interference-plus-noise powers separately.
Use the matrix inversion lemma to relate to the expression above.
MMSE filter for stream k
The MMSE estimate of from is:
where (using the MMSE formulation in the receive-side domain).
Signal and interference powers
The useful signal component is . The interference-plus-noise is .
Simplification via matrix inversion lemma
Define . By the matrix inversion lemma:
Substituting and simplifying:
ex-ch16-11
MediumFor a channel with singular values and , compute the MIMO capacity at dB (equal power allocation, , ). Then verify that the sum of MMSE-SIC rates equals this capacity.
The capacity with equal power is where .
For MMSE-SIC, use the telescoping product argument.
Capacity calculation
$
MMSE-SIC verification
The product must equal .
bits/s/Hz .
ex-ch16-12
HardProve that the MMSE-SIC sum rate is independent of the decoding order by showing that:
for any permutation of .
Use the matrix determinant lemma: .
Apply the lemma iteratively, adding one column of at a time.
Iterative application of matrix determinant lemma
Define and .
By the matrix determinant lemma:
Telescoping product
\mathbf{H}\pi\blacksquare$
ex-ch16-13
EasyA MISO system has antennas and channel vector . Compute the MRT beamforming vector and the resulting SNR gain over isotropic transmission (transmitting from one antenna).
.
Compute MRT vector
, so .
SNR gain
MRT SNR:
Single-antenna SNR:
Array gain .
MRT provides a (6 dB) SNR improvement.
ex-ch16-14
MediumA base station with antennas serves users with channels:
Design the ZF precoding vectors and verify zero inter-user interference.
Form and compute .
Form channel matrix
$
Compute ZF precoder
$
Verify zero interference
\blacksquare$
ex-ch16-15
ChallengeShow that dirty paper coding (DPC) achieves the capacity of the 2-user MISO broadcast channel by proving the duality between the broadcast channel (BC) and the multiple-access channel (MAC).
Specifically, show that the BC capacity region with sum power equals the union over all MAC power allocations with of the MAC capacity region with the same channel vectors.
Start with the MAC capacity region and apply the BC-MAC duality transformation.
The key step is showing that the DPC encoding order corresponds to the SIC decoding order in the dual MAC.
MAC capacity region
For the dual MAC with powers , the capacity region is:
BC-MAC duality
The BC with DPC achieves rate pair if user 2 is encoded first (treating user 1's signal as known interference) and user 1 is encoded using DPC against user 2's codeword.
By Costa's theorem, user 1's rate is unaffected by user 2's interference: . User 2 sees interference from user 1: .
Equivalence via power transformation
A power transformation maps BC covariances to MAC powers such that the rate regions coincide under the sum-power constraint . The proof uses Lagrangian duality: the BC capacity region is the convex hull of rate pairs achievable by DPC, which equals the MAC capacity region by the minimax duality.
ex-ch16-16
EasyA MISO system with uses a codebook of beamforming vectors uniformly spaced on the unit circle in :
For channel , which codebook entry is selected and what is the beamforming gain loss?
Compute for each codebook entry.
Compute beamforming gains
,
Selection and loss
Codebook entry is selected with gain . Perfect MRT gain is .
Loss , or dB.
ex-ch16-17
MediumUsing the rate loss bound, determine the number of feedback bits needed for an antenna system at SNR = 15 dB to keep the rate loss below 0.5 bits/s/Hz.
Apply .
Set up inequality
$
Solve for B
B \geq 64\blacksquare$
ex-ch16-18
MediumShow that the chordal distance satisfies the properties of a metric on the Grassmann manifold .
Show non-negativity, symmetry, identity of indiscernibles (on the Grassmannian), and the triangle inequality.
Note that on the Grassmannian, and represent the same point.
Non-negativity and symmetry
Since by Cauchy-Schwarz, we have .
Symmetry: , so .
Identity of indiscernibles
iff iff for some . On the Grassmannian, and represent the same subspace, so iff the subspaces are identical.
Triangle inequality
Writing where is the principal angle, the triangle inequality for principal angles (a consequence of the unitary invariance of the Grassmannian metric) gives .
ex-ch16-19
HardDerive the rate loss bound for limited feedback with RVQ. Specifically, show that for i.i.d. Rayleigh fading with uniform on the unit sphere in :
where are i.i.d. isotropic random unit vectors.
Use the fact that for isotropic .
The CDF of the maximum of i.i.d. variables is .
Distribution of quantisation error
For isotropic and , with CDF .
The maximum has CDF:
Expected quantisation error
\text{B}(\cdot,\cdot)$ is the beta function.
Upper bound
Using the inequality for large :
Simplifying with :
using the tighter bound from the beta function asymptotics.
ex-ch16-20
ChallengeConsider a MIMO system with operating in the diversity-multiplexing trade-off (DMT) framework. Show that the optimal DMT curve is:
where is the multiplexing gain and is the diversity gain.
Interpret the endpoints and the point in terms of space-time codes and spatial multiplexing.
The DMT for an system is the piecewise-linear curve connecting for .
For , the DMT passes through , , and .
DMT curve for square systems
For an MIMO channel, Zheng and Tse (2003) showed the optimal DMT is the piecewise-linear function connecting the points for integer .
For : the points are , , .
Piecewise-linear interpolation
Between and : for .
Between and : for .
This is indeed the piecewise-linear interpolation of at the integer points: , , .
More precisely, is the smooth lower bound, and the true optimal DMT is its piecewise-linear interpolation at integer points.
Physical interpretation
- (no multiplexing): full diversity . Achieved by the Alamouti code.
- : diversity . One degree of freedom used for multiplexing, leaving minimal diversity protection.
- (full multiplexing): , no diversity. V-BLAST with at full rate operates here.
The DMT reveals the fundamental tension: every unit increase in multiplexing gain costs diversity, with the optimal trade-off dictated by the channel statistics.