Chapter Summary

Chapter 16 Summary

Key Points

  • 1.

    AirComp model (Β§16.1): users transmit xk=bkskx_k = b_k s_k synchronously over a Gaussian MAC; receiver observes βˆ‘khkbksk+w\sum_k h_k b_k s_k + \mathbf{w}; magnitude alignment bkhk=Ξ·b_k h_k = \eta gives y^=βˆ‘ksk+w/Ξ·\hat{y} = \sum_k s_k + \mathbf{w}/\eta β€” aggregate in one channel use.

  • 2.

    Zero-forcing MSE (Β§16.2): MSE⋆=Οƒ2/min⁑kΞ³k\mathsf{MSE}^{\star} = \sigma^2/\min_k \gamma_k where Ξ³k=∣hk∣2Pk/Οƒs2\gamma_k = |h_k|^2 P_k / \sigma_s^2; the weakest user sets the MSE. Threshold scheduling traces the Pareto frontier between MSE and user count.

  • 3.

    Nomographic functions (Β§16.3): f=ψ(βˆ‘kΟ†k(sk))f = \psi(\sum_k \varphi_k(s_k)) β€” means, weighted sums, geometric means, moments, smooth-max. Kolmogorov-Arnold guarantees every continuous aggregate has a nomographic representation. Non-linear ψ\psi introduces Jensen bias.

  • 4.

    Native privacy (Β§16.4): MAC superposition hides individual sjs_j; per-user MI bound is O(1/n)O(1/n) under single-antenna honest-but-curious server. AirComp amplifies Gaussian dither by n\sqrt{n} β€” communication-efficient DP.

  • 5.

    Misalignment floor: carrier-phase error Ο•max⁑\phi_{\max} produces SNR-independent MSE floor Οƒs2(1βˆ’sinc2(Ο•max⁑))\sigma_s^2(1 - \mathrm{sinc}^2(\phi_{\max})). Budget Ο•max⁑≀17Β°\phi_{\max} \leq 17Β° for 33-dB floor.