Chapter Summary

Chapter Summary

Key Points

  • 1.

    The passive RIS subproblem is a unit-modulus QCQP. Maximize Ο•~HAΟ•~\boldsymbol{\tilde{\phi}}^H \mathbf{A} \boldsymbol{\tilde{\phi}} subject to βˆ£Ο•~n∣=1|\tilde{\phi}_n| = 1 (PSD A\mathbf{A}). The problem is NP-hard in general but tractable for RIS-relevant channel structures. Three canonical algorithms solve it: SDR, manifold optimization, element-wise BCD.

  • 2.

    SDR: lift, relax, randomize. Lift Ο•~\boldsymbol{\tilde{\phi}} to X=Ο•~Ο•~H\mathbf{X} = \boldsymbol{\tilde{\phi}}\boldsymbol{\tilde{\phi}}^H, drop the rank-1 constraint, solve the SDP, and recover a feasible solution via Gaussian randomization. The worst-case (Ο€/4)(\pi/4)-approximation guarantee is loose; in practice, randomization achieves >95%> 95\% of the SDR bound. Cost: O(N6.5)O(N^{6.5}), limits N≀128N \leq 128.

  • 3.

    Manifold: respect the geometry. The unit-modulus torus is a smooth NN-dimensional manifold. Riemannian gradient descent projects the Euclidean gradient onto the tangent space and retracts back to the manifold. Cost: O(N2)O(N^2) per iteration, ∼50\sim 50-200200 iterations. Scales to N=1024N = 1024 easily. The Manopt toolbox provides production-quality implementations.

  • 4.

    Element-wise BCD: one coordinate at a time. Update each Ο•n\phi_n in closed form while holding others fixed. Optimal for rank-1 (single-user) problems; for higher rank, reaches a local optimum typically 11-33 dB below SDR. Cost: O(N)O(N) per coordinate, ∼5\sim 5-1010 sweeps total. Fastest, deployment-ready, real-time friendly.

  • 5.

    Pareto-frontier: quality vs. speed. Choose the algorithm based on the dominant constraint. Offline benchmark β†’ SDR. Large-NN production β†’ manifold (with warm-starting). Real-time or single-user β†’ element-wise. The three algorithms are complementary, not competing: production systems often use all three in different contexts.

Looking Ahead

We have now assembled the algorithmic machinery for the passive subproblem: SDR for quality, manifold for scale, element-wise for speed. With AO from Chapter 5 as the outer loop, we can solve the joint active-passive problem for any reasonable scenario. Chapter 7 extends this to multi-user scenarios with specific objectives (sum rate, max-min fairness), requiring the WMMSE active update and careful handling of inter-user interference. Chapter 8 tackles discrete phase shifts, where the element-wise rule projects onto a finite phase grid. Chapters 9–13 apply these algorithms to advanced architectures (active RIS, STAR-RIS, array-fed RIS, multi-RIS, ISAC).