Chapter Summary

Chapter Summary

Key Points

  • 1.

    The joint active-passive beamforming problem is non-convex. Maximize βˆ‘klog⁑2(1+SINRk)\sum_k \log_2(1 + \text{SINR}_k) over (W,Ξ¦)(\mathbf{W}, \boldsymbol{\Phi}) subject to power constraint and unit-modulus βˆ£Ο•n∣=1|\phi_n| = 1. The unit-modulus torus is non-convex, and the objective is bilinear rather than jointly concave. No polynomial-time global algorithm is known.

  • 2.

    But the conditional subproblems are tractable. For fixed Ξ¦\boldsymbol{\Phi}, the active subproblem is standard MU-MIMO precoding β€” convex under WMMSE reformulation. For fixed W\mathbf{W}, the passive subproblem is a QCQP on the complex torus, solvable by SDR, manifold, or element-wise methods (Chapter 6).

  • 3.

    Alternating optimization (AO) is the practical workhorse. Iterate: active update via WMMSE, passive update via Chapter 6 algorithm. Each iteration is monotonically non-decreasing in the objective; convergence to a stationary point is guaranteed under mild regularity conditions. Typical convergence: 10–30 iterations for Ο΅=10βˆ’3\epsilon = 10^{-3}.

  • 4.

    Local vs. global optima. AO produces local optima. With 5-20 random initializations and taking the best, the AO result is typically within 11-5%5\% of the SDR upper bound β€” good enough for nearly all practical purposes. Warm-starting across coherence blocks accelerates real-time operation.

  • 5.

    The RIS pattern is just MU-MIMO plus one extra variable. If you already know MU-MIMO precoding, the RIS joint problem is a natural extension: W\mathbf{W} still shapes the transmit signal, and Ξ¦\boldsymbol{\Phi} shapes the channel itself. The outer AO loop interleaves these two shaping operations; the theoretical N2N^2 coherent gain is realized algorithmically by alternating between them.

Looking Ahead

Chapter 5 set up the AO framework and identified the active and passive subproblems. The active subproblem reduces to standard MU-MIMO precoding (WMMSE). The passive subproblem is harder β€” non-convex, quadratic with unit-modulus constraints. Chapter 6 now focuses entirely on that passive subproblem and develops the three workhorse algorithms: SDR (with Gaussian randomization), manifold optimization, and element-wise optimization. Each has its own tradeoff of solution quality against runtime; together they cover the practical RIS optimization landscape.