Exercises
ex-ris-ch03-01
EasyWrite out for a system. What are the dimensions of , and ?
Multiply dimensions: gives .
List dimensions
, , , .
Product dimension
, so .
ex-ris-ch03-02
MediumProve that under LoS on both hops, the effective RIS-path channel remains rank-1 for every choice of with .
Use Theorem 3.2 to factor out the scalar.
Apply the LoS structure
From Theorem 3.2, .
Identify the rank
The outer product is rank-1. Multiplying by a scalar preserves rank. So the cascaded matrix is rank- (rank 1 when , else 0).
ex-ris-ch03-03
MediumVerify the Khatri-Rao identity by concrete example: . Compute both sides for .
LHS: , then .
LHS
. (column-major vec).
RHS
Khatri-Rao product column : . : . : . Matrix: . Times : . β
ex-ris-ch03-04
MediumFor the LoS cascaded SNR of Theorem 3.4, show that , and interpret each factor: BS beamforming gain, UE aperture gain, RIS coherent gain.
Each etc. contributes a linear gain; square root cancels when amplitudes square.
Break down
Three linear gains combine multiplicatively: at the BS (matched filter on antennas), at the UE (aperture on antennas), and at the RIS (coherent combining of elements).
Note the shape of the $N$ term
The BS and UE gains are linear in antenna count because each side uses matched filtering of an -dim or -dim vector. The at the RIS comes from the two-in-one nature of the RIS (re-transmission + aperture), as explained in Chapter 1.
ex-ris-ch03-05
EasyCompute the Fraunhofer distance for an RIS of operating at 60 GHz.
is the diagonal, .
Aperture diagonal
.
Wavelength
.
Fraunhofer distance
. Most practical links would be in the near-field of this RIS at 60 GHz.
ex-ris-ch03-06
MediumTwo UEs lie at the same angular direction from an RIS but at distances and . RIS is aperture at 100 GHz. Are they distinguishable by the RIS using near-field focusing?
Compute and compare to the UE distances.
Fraunhofer distance
. Both UEs are well within near-field.
Near-field focus sizes
Each UE's near-field focal spot has size . UE 1: . UE 2: . Both are at scale, well-separated in distance ( apart), so the RIS can focus independently at each.
Conclusion
Yes β the near-field enables distance-specific focusing, so the RIS can spatially multiplex these two UEs even though they share the same angular direction. This is impossible in the far-field.
ex-ris-ch03-07
MediumA cascaded Rayleigh channel with and equal per-hop . Compute under the CLT approximation vs. the exact double-Rayleigh distribution. Which is better/worse for outage?
CLT: .
Double Rayleigh has heavier tails at low .
CLT approximation
with mean 4. .
Exact double Rayleigh
The exact distribution has a modified Bessel form. Numerically, for : β nearly twice the CLT prediction. The heavier tail near means the outage is materially worse than CLT suggests.
Moral
Small- RIS cannot be analyzed by CLT; use the exact double-Rayleigh (or simulate). Large- ( typically) is safe for CLT.
ex-ris-ch03-08
HardProve the effective-DoF formula for the correlation matrix . Show that iff all eigenvalues are equal.
Use the Cauchy-Schwarz inequality on and .
Set up
; . Ratio: .
Upper bound
By Cauchy-Schwarz: . So , with equality iff all are equal.
Lower bound
for PSD , so More directly: if one eigenvalue dominates, .
Equality
Cauchy-Schwarz equality requires all proportional β i.e., all equal (since Cauchy-Schwarz is applied to the constant sequence vs. ). So iff is a multiple of β the i.i.d. case.
ex-ris-ch03-09
EasyAn RIS at half-wavelength spacing operates in isotropic scattering. Compute the correlation between two corner elements at positions and .
Use the sinc formula; distance is .
Compute distance
.
Apply sinc formula
. Since : . Nearly zero.
Observation
Corner-to-corner correlation is essentially zero β the two elements see independent fields in isotropic scattering. Adjacent-element correlation is also zero (), confirming that half-wavelength spacing gives approximately i.i.d. elements.
ex-ris-ch03-10
MediumShow that in the LoS cascaded model, the BS-side beamformer is independent of the RIS phase choice .
From Theorem 3.2, the cascaded matrix is .
Matched filter
Under the rank-1 cascaded structure, the end-to-end BSβUE beamformer-combiner gain is . Maximizing over decouples as: and , regardless of .
Interpretation
The LoS RIS separates the optimization: BS/UE sides are independent of the RIS phases (they only depend on angles), and the RIS phases are chosen to maximize . Alternating optimization converges in two steps for this special case. For Rayleigh/mixed channels this separation breaks and AO needs more iterations.
ex-ris-ch03-11
MediumThe Ricean cascaded channel has K-factor on the BS-RIS hop and on the RIS-UE hop. Estimate the fraction of end-to-end gain that is deterministic (LoS) vs. random (NLoS).
The LoS-NLoS power ratio in each hop is .
LoS components multiply; NLoS components add incoherently.
Decompose each hop
Hop 1: , so LoS power fraction is . Hop 2: , so LoS power fraction is .
Cascade
LoS-LoS end-to-end fraction: (69%). Remaining 31% is some combination of LoS-NLoS, NLoS-LoS, and NLoS-NLoS terms. The cascaded K-factor is typically smaller than the smaller of the two hops β you can think of cascading as "mixing down" the strength of the deterministic path.
Implication
Even with moderately strong per-hop LoS, the cascaded channel has a sizable random component (~31%) that cannot be predicted from geometry alone. This is why practical RIS systems need channel estimation (Chapter 4) even in LoS-dominated deployments.
ex-ris-ch03-12
ChallengeResearch-style: Consider an array-fed RIS (Caire 2023) with an -element active array very close to an -element passive RIS, with inter-aperture distance in the near-field (). Qualitatively describe how many independent beams the active array can form through the RIS. What is the role of the eigenmode decomposition of ?
Think about the rank of as a function of the near-field geometry.
The rank is bounded by the number of 'angular-plus-distance' modes that fit in the RIS aperture.
Near-field rank
In the near-field, has rank bounded by the number of distinct quadratic phase profiles fitting in the RIS aperture, which scales roughly as for a 2D aperture at distance . For active array elements, the effective rank is .
Eigenmodes
The SVD of decomposes the BS-RIS channel into parallel eigenmodes. The top eigenmodes can carry independent streams; each stream is a specific active-array RIS beam pattern. The RIS then focuses each beam to a different UE direction, giving multi-user multiplexing.
Caire's key insight
By carefully choosing and , Caire et al. engineer to have a rich high-rank structure β exactly useful eigenmodes for a -user system. The RIS aperture then provides independent beams toward the UEs. This is the architectural insight behind Chapter 11.