Exercises
ex-ch29-01
EasyA radar system operates at carrier frequency GHz (the ITS band) with bandwidth MHz and coherent processing interval ms.
(a) Compute the range resolution .
(b) Compute the velocity resolution .
(c) What is the time-bandwidth product ?
(d) What is the area of a single resolution cell in the range-velocity plane?
Use and with .
Range resolution
Velocity resolution
Time-bandwidth product
Resolution cell area
Alternatively, .
ex-ch29-02
EasyThe ambiguity function of a rectangular pulse of duration is:
(a) Verify that (the pulse energy for unit-amplitude signal).
(b) Find the dB width of the zero-Doppler cut in the delay domain.
(c) Find the dB width of the zero-delay cut in the Doppler domain.
(d) Explain why the rectangular pulse has poor joint range-Doppler resolution despite satisfying Moyal's identity.
The zero-Doppler cut is a triangular function; find where its square drops to half the peak.
The zero-delay cut is .
Peak value
(when the amplitude is normalised to give energy ). More precisely, for a unit-amplitude pulse.
Zero-Doppler cut width
. Setting : , so . The full dB width is .
Zero-delay cut width
. The dB width of is approximately in frequency, giving a Doppler resolution of .
Poor joint resolution
The rectangular pulse has a time-bandwidth product (bandwidth ), which is the minimum possible. This means improving range resolution (shorter pulse, larger ) degrades Doppler resolution (shorter observation time), and vice versa. Pulse compression waveforms (chirps, phase codes) achieve , decoupling range and Doppler resolution.
ex-ch29-03
EasyAn FMCW radar at 77 GHz transmits a chirp with bandwidth GHz and chirp duration s.
(a) Compute the chirp rate .
(b) A target at range m produces a beat frequency . Compute .
(c) If the ADC samples the beat signal at MHz, what is the maximum detectable range (determined by the Nyquist limit on the beat frequency)?
(d) Compare the range resolution with that of the OFDM-based radar from Exercise 1 ( MHz).
The maximum beat frequency is (Nyquist), which maps to a maximum range via .
Chirp rate
Beat frequency
Maximum detectable range
Range resolution comparison
FMCW:
OFDM (Ex. 1):
The FMCW radar has 13 times better range resolution due to its much wider bandwidth (1 GHz vs 75 MHz).
ex-ch29-04
EasyA 5G NR base station operating at 28 GHz with 100 MHz bandwidth and 120 kHz subcarrier spacing is used for ISAC. A slot consists of OFDM symbols with symbol duration s (including cyclic prefix).
(a) How many subcarriers are available?
(b) Compute the range resolution.
(c) Compute the maximum unambiguous range .
(d) Compute the velocity resolution from the 14-symbol slot.
(e) Compute the maximum unambiguous velocity .
.
.
Number of subcarriers
(in 5G NR, the actual value may differ due to guard bands, but this is the approximate count).
Range resolution
Maximum unambiguous range
Velocity resolution
Total observation time:
Maximum unambiguous velocity
The velocity resolution from a single slot is quite coarse (42.86 m/s); coherent processing across multiple slots is needed for finer Doppler resolution in automotive applications.
ex-ch29-05
EasyExplain why the element-wise division step in OFDM radar processing does not degrade the sensing performance, and state the condition under which this operation is valid.
Under what circumstances might this division cause problems?
Consider the effect on noise statistics.
What happens if (null subcarrier)?
Why division preserves sensing performance
After OFDM demodulation, the received signal on subcarrier of symbol is:
Dividing by :
The noise has variance . For constant-modulus constellations (e.g., PSK) where , the noise variance is unchanged: is still . For QAM constellations with varying amplitudes, the noise becomes heteroscedastic but the sensing information is preserved.
Validity condition
The division requires for all subcarriers used in radar processing. This is satisfied for all standard modulation schemes (QAM, PSK) but fails for null subcarriers (DC subcarrier, guard band subcarriers) where . These subcarriers must be excluded from the radar processing, which creates small gaps in the effective sensing bandwidth.
Potential problems
(i) For high-order QAM (e.g., 256-QAM), some symbols have very small amplitude, amplifying noise after division. (ii) Null subcarriers create spectral gaps that increase range sidelobes. (iii) If the transmitted symbols are not known to the radar processor (e.g., in a passive sensing scenario), the division cannot be performed.
ex-ch29-06
MediumDerive the ambiguity function of a linear frequency modulated (LFM) chirp signal for , where is the chirp rate.
(a) Show that the ambiguity function is: for .
(b) Sketch the dB contour of in the plane and explain the "ridge" shape.
(c) Compute the range-Doppler coupling: for a target with Doppler shift , what is the apparent range error?
Substitute into the ambiguity function definition and complete the square.
The zero of the sinc function occurs along the line .
Ambiguity function derivation
Starting from the definition:
Substituting and :
Therefore:
The integral over the rectangular window of length (accounting for the overlap region of length ) gives:
Normalising by and taking the magnitude:
Ridge shape
The sinc function peaks when its argument is zero: , i.e., .
The dB contour of forms an elongated ridge along the line in the plane. This ridge is tilted at an angle with respect to the axis. The width of the ridge (perpendicular to it) is approximately in delay, while its length (along the ridge) extends to in delay.
Range-Doppler coupling
A target with Doppler shift shifts the peak of the matched filter output by in delay. This causes an apparent range error of:
For example, with MHz, s, and kHz: m.
This range-Doppler coupling is the main disadvantage of the LFM chirp. It can be mitigated by transmitting up-chirps and down-chirps alternately or by Doppler compensation after velocity estimation.
ex-ch29-07
MediumConsider an OFDM radar frame with subcarriers, kHz, and symbols at carrier frequency GHz. Two targets are present:
- Target A: range m, velocity m/s
- Target B: range m, velocity m/s
(a) Can the two targets be resolved in range?
(b) Can they be resolved in velocity (from a single slot)?
(c) How many slots must be coherently processed to resolve them in velocity?
(d) At what bins and do the targets appear in the range-Doppler map?
Compute and and compare with the target separations.
Range bin: . Doppler bin: .
Range resolution
Range separation: m m. Yes, the targets are resolvable in range.
Velocity resolution from single slot
mm. s. s. Velocity separation: m/s m/s. No, the targets cannot be resolved in velocity from one slot.
Required number of slots
Need m/s, so ms. Each slot is 125.0 s, so we need at least slots coherently processed. (With symbols, m/s m/s.)
Range-Doppler bin locations
Range bins: .
Doppler bins (single slot): . Both targets fall in the same Doppler bin (bin 0), confirming they are not resolvable in velocity from a single slot.
ex-ch29-08
MediumConsider the OFDM radar waveform optimisation problem where the transmit power on each subcarrier is a design variable. The communication channel gain is and the total power budget is .
(a) Show that the CRB for delay estimation is:
(b) Formulate the problem of minimising subject to a minimum communication rate constraint and total power .
(c) Show that the optimal power allocation concentrates power on the edge subcarriers (for sensing) and the strong-channel subcarriers (for communication), and characterise the trade-off using a Lagrangian argument.
The RMS bandwidth is .
Write the Lagrangian with multipliers for both the rate and power constraints.
CRB derivation
The Fisher information for delay from an OFDM signal is:
Therefore:
Defining and the squared RMS bandwidth :
Minimising the CRB is equivalent to maximising (the RMS bandwidth).
Optimisation formulation
Let . The problem is:
subject to:
Lagrangian analysis and trade-off
The Lagrangian is:
Setting :
Solving:
When (no rate constraint): โ all power goes to edge subcarriers to maximise RMS bandwidth. When (rate dominates): water-filling over โ power goes to strong subcarriers. Intermediate values trade off between these extremes.
ex-ch29-09
MediumProve Moyal's identity for the ambiguity function: for any finite-energy signal with energy ,
Hint: Use Parseval's theorem and the substitution , .
Write and integrate over first.
The integral over gives a delta function via the Fourier transform.
Expand the squared magnitude
Integrate over Doppler
Integrate over delay
Substituting ():
This completes the proof.
ex-ch29-10
MediumA colocated MIMO radar has transmit antennas with spacing and receive antennas with spacing .
(a) List all virtual element positions (in units of ).
(b) Is the virtual array a filled ULA? If not, identify any gaps or redundancies.
(c) Compute the angular resolution of the virtual array and compare it with a conventional 4-element receive-only phased array.
(d) Suppose instead . Are there any redundant virtual positions? What is the effective aperture?
Virtual positions are for all .
For a filled ULA, we need .
Virtual element positions
TX positions (in units of ): RX positions:
Virtual positions =
All 16 positions are distinct, forming a filled ULA from 0 to 15 with spacing .
Filled ULA verification
Yes, the virtual array is a filled ULA. This is because , which is the condition for a filled virtual array. Each group of 4 RX elements fills the gap between consecutive TX elements.
Angular resolution
Virtual aperture: . Angular resolution: rad .
For a 4-element receive-only phased array: . rad .
Improvement factor: . The angular resolution improves by approximately times.
Non-optimal spacing
With : TX positions: , RX positions: Virtual positions: but with redundancies at positions .
Checking: , (redundant); , (redundant); etc. Distinct positions: = 13 unique elements. Effective aperture: . We lose 3 virtual elements to redundancy but the array is still filled.
ex-ch29-11
MediumIn the ISAC beamforming problem, show that when the communication user and radar target are in the same direction (), the rate-CRB trade-off vanishes, i.e., the optimal communication beamformer is simultaneously optimal for sensing.
Specifically, for a single-user MISO system with channel (line-of-sight), show that the MRT beamformer maximises both the communication SNR and the beampattern gain at .
The communication SNR with MRT is , which is maximum.
Evaluate when .
Communication SNR with MRT
The MRT beamformer maximises the communication SNR:
This is the maximum achievable SNR (Cauchy-Schwarz bound).
Sensing beampattern gain at the target
When : .
Optimality of MRT for sensing
For any unit-norm beamformer ():
by Cauchy-Schwarz, with equality iff . When , the MRT beamformer achieves this maximum.
Therefore, the same beamformer simultaneously maximises both the communication SNR and the sensing beampattern gain. The trade-off only arises when , in which case .
ex-ch29-12
MediumThe soft-thresholding operator used in ISTA is defined as:
(a) Show that is the proximal operator of , i.e.,
(b) Plot as a function of for and explain why it promotes sparsity.
(c) For complex-valued , show that the proximal operator becomes .
Consider three cases: , , and .
For complex , write and minimise over and separately.
Proximal operator derivation (real case)
Minimise over .
Case 1: . . . Valid when , giving .
Case 2: . . . Valid when , giving .
Case 3: . , which is optimal when (the subdifferential condition is satisfied).
Combining: .
Sparsity promotion
The soft-thresholding operator sets all values with exactly to zero, and shrinks larger values by towards zero. This creates a "dead zone" around the origin that promotes sparsity: small noisy components are killed, while large genuine signal components are preserved (with slight bias). The parameter controls the aggressiveness of sparsification.
Complex case
For , write and minimise:
The phase minimiser is (align with ). The magnitude minimiser: , .
Therefore: .
ex-ch29-13
HardConsider a MIMO ISAC system with transmit antennas serving one single-antenna communication user and sensing one target. The communication channel is and the target is at angle .
(a) Formulate the joint beamforming problem: subject to .
(b) Show that the optimal is rank-2 (or rank-1 when ) and find its structure.
(c) For , , , and , derive the KKT conditions and explain how to numerically solve for the optimal power split.
(d) Plot (or describe) how the Pareto frontier changes as increases from to .
Use the eigenvalue decomposition of and note that only directions and matter.
The rank follows from the structure of the objective: only two steering vectors appear.
Problem formulation
The objective combines weighted communication rate and sensing gain. Since :
The problem involves only through its projections onto and .
Rank structure
Since the objective depends on only through and , the optimal solution lies in the 2D subspace spanned by .
Decompose: where are orthonormal vectors in and .
When : , so (rank-1).
KKT conditions
With , the problem reduces to a scalar optimisation over the power split with :
The KKT condition yields: where and . This is solved numerically via bisection.
Pareto frontier behaviour
When : the Pareto frontier degenerates to a single point (no trade-off), both metrics are simultaneously maximised.
As increases: the steering vectors become less correlated ( decreases), and the Pareto frontier bows outward, indicating a sharper trade-off.
When : the steering vectors become nearly orthogonal, and the trade-off is most severe โ gains in communication come at nearly one-for-one cost in sensing.
ex-ch29-14
HardDerive the Cram'{e}r-Rao bound (CRB) for joint delay and Doppler estimation from an OFDM radar frame.
Consider the signal model: where are i.i.d.
(a) Compute the Fisher information matrix (FIM) for the parameter vector (or equivalently for ).
(b) Show that the CRBs for and decouple from the nuisance parameters when and are large.
(c) Express and in terms of , , , , and .
The FIM for a complex Gaussian model is .
The cross-terms between and involve ; argue that these vanish when indices are centred.
FIM computation
Define . The partial derivatives are:
The FIM elements for and are:
Decoupling of nuisance parameters
The cross-term contains . When the indices are centred (i.e., runs from to and from to ), these sums vanish: . In practice, this centering is equivalent to subtracting the mean frequency and mean time, which is standard.
Similarly, cross-terms between (or ) and the amplitude parameters involve or , which also vanish under centering. Therefore, the FIM is (block) diagonal for large , and the CRBs decouple.
Final CRB expressions
With centred indices, :
where .
Similarly:
Converting to range and velocity:
ex-ch29-15
HardDoppler-division MIMO (DDM): A practical method to achieve MIMO radar with OFDM is to apply a slow-time phase code to each transmit antenna. Antenna () applies a phase shift of to the -th OFDM symbol.
(a) Show that after the slow-time FFT (across symbols), the contributions of different transmit antennas are separated into different Doppler bins, spaced apart.
(b) What is the maximum unambiguous velocity for each antenna's signal after the separation?
(c) Explain why the maximum unambiguous velocity is reduced by a factor of compared to a single-antenna system, and discuss strategies to mitigate this limitation.
(d) For , , kHz, and GHz, compute the Doppler resolution and maximum unambiguous velocity.
The phase code shifts the apparent Doppler of antenna by .
The Doppler FFT has bins; after TX separation, each TX occupies bins.
Doppler separation
The signal from TX antenna in OFDM symbol has an additional phase . This is equivalent to a Doppler shift of .
After the -point FFT across symbols, antenna appears shifted by bins. Since the spacing between TX contributions is bins, and there are antennas, they are uniformly distributed across the Doppler bins.
Maximum unambiguous velocity per antenna
Each antenna's signal occupies Doppler bins. The Doppler range per antenna is , giving a maximum unambiguous velocity:
Velocity reduction and mitigation
The -fold reduction occurs because the Doppler domain is shared among antennas. Mitigation strategies: (i) Use longer CPIs () to improve Doppler resolution without changing . (ii) Chinese Remainder Theorem (CRT): use non-uniform phase codes across antennas with coprime periods to extend the unambiguous range. (iii) Staggered PRIs to break the Doppler aliasing.
Numerical computation
mm. s (without CP).
Doppler resolution (per TX): Hz. m/s.
m/s km/h.
For comparison, the single-antenna limit: m/s km/h.
ex-ch29-16
HardSparse recovery performance analysis.
Consider a sparse RF imaging problem with grid points, non-zero targets, and measurements from a random Gaussian sensing matrix .
(a) Using the RIP measurement bound , estimate the minimum number of measurements needed (use ).
(b) For a noiseless system (), use the null space property to argue that minimisation recovers the exact sparse vector.
(c) For the noisy case with dB, derive the expected normalised mean squared error (NMSE) of the LASSO estimate as a function of , , , and .
(d) Show that the NMSE decreases as when , and interpret this scaling.
The null space property states that for any vector in the null space of , for all support sets with .
The LASSO error bound is .
Minimum measurements
Using : .
With the constant , approximately 65--94 measurements suffice (depending on the logarithm base convention).
Noiseless exact recovery
The null space property (NSP) states: satisfies the NSP of order if for every and every set with :
When is a Gaussian random matrix with rows, the NSP holds with high probability. For any -sparse with support (), suppose also satisfies . Then and implies , contradicting the NSP. Hence .
Noisy NMSE bound
For the LASSO with (the universal threshold choice), the estimation error satisfies:
with high probability, provided . The NMSE is:
At SNR = 20 dB ( per measurement): .
Scaling interpretation
The NMSE scales as :
- Linear in sparsity : more targets require more measurements.
- Logarithmic in grid size : the penalty for a larger grid is mild.
- Inversely proportional to : each additional measurement reduces error.
This scaling shows that compressed sensing achieves efficient recovery with measurements, compared to for Nyquist sampling โ an exponential reduction when .
ex-ch29-17
HardMulti-target CRB for MIMO-OFDM ISAC.
Consider a MIMO-OFDM ISAC system with TX antennas, RX antennas, subcarriers, and OFDM symbols. Two targets are present at angles and .
(a) Write the received signal model for the two-target case, showing the contribution of each target.
(b) Compute the FIM for the parameter vector (ignoring amplitude nuisance parameters).
(c) Under what conditions on the array geometry and waveform parameters are the two targets' FIM blocks approximately decoupled?
(d) How does the angular CRB depend on the virtual aperture size?
The MIMO-OFDM signal model for the -th symbol, -th subcarrier is a sum over targets, each with a delay, Doppler, and spatial signature.
Cross-target FIM coupling depends on where is the virtual steering vector.
Two-target signal model
After matched filtering to separate TX waveforms, the virtual array data on subcarrier , symbol is:
where is the virtual steering vector.
FIM computation
The FIM for the full parameter vector (ignoring amplitudes) has block structure:
where is the FIM for target 's parameters, and captures the coupling.
The diagonal blocks contain:
where .
Decoupling conditions
The cross-target coupling is proportional to . The coupling is negligible when:
(i) (angular separation exceeds the virtual array beamwidth), making .
(ii) (range separation exceeds the range resolution), which zeroes the delay cross-terms.
(iii) (Doppler separation exceeds the Doppler resolution).
When any one of these conditions holds, the targets' FIM blocks decouple.
Angular CRB and virtual aperture
For a filled virtual ULA with elements at spacing :
The angular CRB decreases as the cube of the virtual array size, reflecting the combined effects of array gain (), aperture (), and the number of virtual elements ().
ex-ch29-18
HardISTA convergence analysis.
Consider the ISTA algorithm applied to the LASSO problem with step size where is the Lipschitz constant of the gradient.
(a) Show that each ISTA iteration decreases the objective value, i.e., .
(b) Prove that the convergence rate of ISTA is : where is the optimal solution.
(c) Describe how FISTA (Fast ISTA) achieves convergence by adding a momentum term, and state the update rule.
(d) For a sensing matrix with condition number , estimate how many iterations ISTA and FISTA need to achieve .
Use the descent lemma: for -smooth .
FISTA uses as the extrapolation step.
Monotone decrease
Let and , so .
By the descent lemma for -smooth :
The ISTA update minimises the upper bound .
Therefore .
O(1/k) convergence
From the descent lemma and the optimality condition of the proximal step:
Summing from to (telescoping):
Since is non-increasing:
Therefore: .
FISTA update rule
FISTA introduces Nesterov momentum:
where with . This achieves: .
Iteration count estimates
Let and target relative accuracy.
ISTA: , so . For , is large relative to the curvature at the solution, and typically iterations.
FISTA: , so iterations.
FISTA requires roughly fewer iterations, which is significant for ill-conditioned sensing matrices.