Prerequisites & Notation

Before You Begin

Real RIS hardware supports only a finite set of phase states — typically 2B2^B levels for BB-bit control. The continuous-phase algorithms of Chapters 5–7 need a quantization layer before deployment. This chapter formalizes discrete-phase optimization and quantifies its loss.

  • Continuous-phase AO and passive algorithms (Chapters 5–6)(Review ch05)

    Self-check: Write the continuous-phase passive subproblem and state how element-wise BCD solves it.

  • Hardware phase quantization (Chapter 2)(Review ch02)

    Self-check: Recall the sinc2(π/2B)\text{sinc}^2(\pi/2^B) coherent SNR loss for BB-bit quantization.

  • Projection onto discrete sets, rounding

    Self-check: For a set ΘB={0,Δθ,2Δθ,}\Theta_B = \{0, \Delta\theta, 2\Delta\theta, \ldots\}, write the projection argminϑΘBϑθmod 2π\arg\min_{\vartheta \in \Theta_B} |\vartheta - \theta|_{\text{mod } 2\pi}.

  • Combinatorial optimization: greedy algorithms, exhaustive search complexity

    Self-check: For NN RIS elements and LL phase levels per element, what is the brute-force search space?

  • SDR relaxation (Chapter 6)(Review ch06)

    Self-check: Recall the lifted PSD variable and the relaxation of the rank-1 constraint.

Notation for This Chapter

Discrete-phase notation. We introduce the level count LL, bit depth BB, and projection operators; the basic RIS symbols carry over from Chapters 1–6.

SymbolMeaningIntroduced
BBBits of phase resolution per RIS elements01
L=2BL = 2^BNumber of phase levels per elements01
Δθ=2π/L\Delta\theta = 2\pi/LPhase step sizes01
ΘB={0,Δθ,,(L1)Δθ}\Theta_B = \{0, \Delta\theta, \ldots, (L-1)\Delta\theta\}Set of admissible phase valuess01
MB={ejθ:θΘB}N\mathcal{M}_B = \{e^{j\theta} : \theta \in \Theta_B\}^NDiscrete feasible set for ϕ\boldsymbol{\phi} (a finite discrete torus of LNL^N points)s01
PΘB(θ)\mathcal{P}_{\Theta_B}(\theta)Nearest-level projection of θ[0,2π)\theta \in [0, 2\pi) onto ΘB\Theta_Bs02
ηB\eta_BDiscrete-phase efficiency factor: sinc2(π/2B)\text{sinc}^2(\pi/2^B) for coherent cases04
fB,ff^\star_B, f^\star_\inftyBest achievable objectives with BB-bit and continuous phasess04