Prerequisites & Notation

Before You Begin

This is the final chapter of the book. Unlike earlier chapters, which prove what is known, this chapter catalogs what remains open. The prerequisites are therefore not a specific mathematical toolbox but the whole of the book that preceded it. The items below list the concepts we will assume the reader has already internalized; if any feels unfamiliar, consult the cross-reference before reading the corresponding open-problem section.

  • Uplink/downlink massive MIMO signal model y=Hx+w\mathbf{y} = \mathbf{H}\mathbf{x} + \mathbf{w}, with MRC/ZF/MMSE combining and favorable propagation(Review ch01)

    Self-check: Can you state the ergodic sum-rate scaling Klog⁑2NtK\log_2 N_t and explain why it is the starting point for every open problem in this chapter?

  • Spatial-correlation models and the 3GPP TR 38.901 wide-sense stationary (WSS) assumption(Review ch02)

    Self-check: Can you write the Kronecker correlation model R=RtβŠ—Rr\mathbf{R} = \mathbf{R}_t \otimes \mathbf{R}_r and state the WSS-US assumption that Section 27.1 will put into question?

  • Cell-free massive MIMO: distributed APs, centralized vs distributed processing, fronthaul capacity limits(Review ch11)

    Self-check: Can you recall the O(K3)\mathcal{O}(K^{3}) and O(NAP3)\mathcal{O}(N_{\text{AP}}^3) complexity terms in centralized cell-free and explain which grows faster as the network densifies?

  • Near-field (Fresnel) propagation and XL-MIMO visibility regions(Review ch17)

    Self-check: Can you state the Fraunhofer distance dF=2L2/Ξ»d_F = 2L^2/\lambda and explain why XL-MIMO arrays with L>1 mL > 1\,\mathrm{m} routinely have users in the near field at 3.5 GHz?

  • RIS fundamentals and the cascaded Tx-RIS-Rx channel(Review ch21)

    Self-check: Can you write the cascaded effective channel heff=H2β€‰Ξ˜β€‰H1\mathbf{h}_{\text{eff}} = \mathbf{H}_{2} \,\mathbf{\Theta}\, \mathbf{H}_{1} and identify which factors are known and which must be estimated?

  • Full-duplex concept and self-interference cancellation hierarchy

    Self-check: Can you state, in order, the three cancellation stages (passive antenna isolation, analog/RF cancellation, digital cancellation) and rough budget per stage?

Notation for This Chapter

This chapter revisits symbols from across the book but uses them in settings where our certainties break down. All customizable symbols use \ntn\ntn{} tokens; the displayed values are the defaults from the notation registry. A few new quantities are introduced for holographic and distributed-processing analyses.

SymbolMeaningIntroduced
NtN_tNumber of BS or AP antennass01
NrN_rNumber of receive antennas (user or remote AP)s01
KKNumber of active userss01
NAPN_{\text{AP}}Number of access points in a cell-free networks02
H\mathbf{H}Uplink channel matrix (context determines whether WSS or spatially non-stationary)s01
Rk\mathbf{R}_kSpatial covariance matrix of user kk; in Section 27.1 this is element-dependents01
Vk\mathcal{V}_kVisibility region of user kk: the subset of antenna elements that see non-negligible power from user kks01
v\mathbf{v}Per-user beamforming or combining vectors02
W\mathbf{W}Joint precoding or combining matrixs02
w\mathbf{w}Additive receiver noise, ∼CN(0,Οƒ2I)\sim \mathcal{CN}(\mathbf{0}, \sigma^2\mathbf{I})s01
Οƒ2\sigma^2Noise variance per receive antennas01
SNR\text{SNR}Operating SNRs01
PtP_tTransmit power per devices03
f0f_0Carrier frequencys03
Ξ»\lambdaCarrier wavelength, Ξ»=c/f0\lambda = c/f_0s04
WWSignal bandwidths02
LLPhysical aperture length of a holographic surface (meters)s04
LFL_FEffective Fresnel length, Ξ»d\sqrt{\lambda d} for communication distance dds04
Θ\mathbf{\Theta}Diagonal RIS reflection matrix with entries ejΟ•me^{j\phi_m}s05
Ξ³SI\gamma_{\text{SI}}Residual self-interference-to-noise ratio after the cancellation cascades03
ΞΎ\xiTotal self-interference cancellation depth (dB)s03
NiterN_{\text{iter}}Number of consensus/message-passing iterations in distributed processings02