Prerequisites & Notation

Before You Begin

Chapter 16 opens Part V. AirComp exploits the wireless multiple-access channel's built-in superposition property to compute the sum (or more general nomographic function) of users' values in a single channel use β€” bypassing the per-user digital upload that dominates secure aggregation (Chapter 10) and wireless FL (Chapter 17). Prerequisites span basic wireless communication (Gaussian MAC, fading, power control) and Part III's federated learning aggregation problem.

  • Gaussian multiple-access channel (MAC)(Review ch14)

    Self-check: Write the signal model for nn users transmitting over a Gaussian MAC; identify what the receiver observes.

  • Channel inversion / power control(Review ch06)

    Self-check: Given per-user channel gain hkh_k, what transmit scaling equalizes received magnitudes at the access point?

  • Aggregation goal in FL (Β§9.1, Β§10.1)(Review ch09)

    Self-check: Why does the server need only βˆ‘kgk\sum_k \mathbf{g}_k β€” not individual gk\mathbf{g}_k?

  • Minimum mean-squared error estimation(Review ch05)

    Self-check: State the MMSE estimator for a Gaussian signal in AWGN.

  • Basic complex Gaussian CN\mathcal{CN} notation(Review ch10)

    Self-check: Recall: CN(0,Οƒ2)\mathcal{CN}(0, \sigma^2) has real and imaginary parts i.i.d. N(0,Οƒ2/2)\mathcal{N}(0, \sigma^2/2).

Notation for This Chapter

AirComp notation draws from wireless (hkh_k, noise, power) and from FL (gradient gk\mathbf{g}_k). The central quantity is the aggregation MSE.

SymbolMeaningIntroduced
nnNumber of users (transmitters) sharing the MACs01
xk∈Cx_k \in \mathbb{C}Symbol transmitted by user kk (pre-processed from source value)s01
hk∈Ch_k \in \mathbb{C}Complex channel gain from user kk to the access points01
bk∈Cb_k \in \mathbb{C}Transmit scaling (power-control coefficient) at user kks02
w\mathbf{w}Receiver additive noise, CN(0,Οƒ2)\mathcal{CN}(0, \sigma^2)s01
PkP_kPer-user transmit power budget, E[∣bkxk∣2]≀Pk\mathbb{E}[|b_k x_k|^2] \leq P_ks02
Ξ·\etaCommon receive amplitude target, bkhk=Ξ·b_k h_k = \etas02
y^\hat{y}Receiver estimate of βˆ‘kxk\sum_k x_ks01
MSE\mathsf{MSE}Aggregation mean-squared error, E[∣y^βˆ’βˆ‘kxk∣2]\mathbb{E}[|\hat{y} - \sum_k x_k|^2]s02
f(x1,…,xn)f(x_1, \ldots, x_n)Target nomographic function (Β§16.3)s03
SNRk\text{SNR}_{k}Per-user receive SNR, ∣hk∣2Pk/Οƒ2|h_k|^2 P_k / \sigma^2s02