Active-Passive Joint Optimization

A Two-Variable Problem, Now With Gain

The optimization structure of active RIS is close to passive: AO between the BS precoder W\mathbf{W} and the RIS coefficients Ξ¨\boldsymbol{\Psi}. The differences:

  1. Ξ¨\boldsymbol{\Psi} has complex (gain + phase) entries, not just unit-modulus.
  2. The passive subproblem becomes a constrained quadratic in ψ\boldsymbol{\psi} with magnitude and sum-power bounds β€” more complex than the unit-modulus torus but often easier (the feasible set is convex!).
  3. The objective includes the amplified noise term βˆ₯h2HΞ¨βˆ₯2\|\mathbf{h}_2^H \boldsymbol{\Psi}\|^2, which couples differently to ψ\boldsymbol{\psi}.

This section adapts the AO framework to active RIS.

Definition:

Joint Active-RIS Beamforming Problem

The active-RIS joint optimization problem is

β€…β€Šmax⁑W,Ξ¨βˆ‘klog⁑2(1+SINRkactive)β€…β€Š\boxed{\;\max_{\mathbf{W}, \boldsymbol{\Psi}} \sum_k \log_2(1 + \text{SINR}_k^{\text{active}})\;}

subject to

  • BS power: tr(WHW)≀Pt\text{tr}(\mathbf{W}^{H} \mathbf{W}) \leq P_t,
  • Per-element gain: ∣ψnβˆ£β‰€gmax⁑|\psi_n| \leq g_{\max},
  • Total RIS power: Ptβˆ₯Ξ¨H1Wβˆ₯F2+ΟƒRIS2βˆ₯Ξ¨βˆ₯F2≀PRISP_t\|\boldsymbol{\Psi}\mathbf{H}_1 \mathbf{W}\|_F^2 + \sigma^2_{\text{RIS}} \|\boldsymbol{\Psi}\|_F^2 \leq P_{\text{RIS}}.

The SINRkactive\text{SINR}_k^{\text{active}} uses the active-RIS noise term from Theorem 9.1. Unlike passive RIS (where ∣ψn∣=1|\psi_n| = 1 is an equality), active RIS has inequality constraints on the magnitudes β€” giving a convex feasible set in ψ\boldsymbol{\psi} (but with a non-convex objective due to SINR ratios).

Theorem: The Active Passive Subproblem Has Convex Constraints

The active-RIS passive subproblem (fix W\mathbf{W}, optimize Ξ¨\boldsymbol{\Psi}) has a convex feasible set and a non-convex objective (rate = log of SINR ratio). The non-convexity is only in the objective; the constraints are well-behaved. This allows:

  1. WMMSE reformulation of the active rate objective β†’ a block-convex problem (Lagrangian duality applicable).
  2. Global optimum of the WMMSE surrogate via SOCP / QCQP solvers β€” no need for SDR relaxation.
  3. Faster convergence of the AO outer loop than in the passive case.

In short: active RIS is algorithmically easier than passive RIS because the feasible set is convex.

The constraint ∣ψnβˆ£β‰€gmax⁑|\psi_n| \leq g_{\max} defines a disk in C\mathbb{C}, a convex set. The total-power constraint is a quadratic ≀\leq bound, also convex. The feasible set of ψ\boldsymbol{\psi} is the intersection of NN disks and one ellipsoid β€” convex! This is in sharp contrast to the passive case where ∣ψn∣=1|\psi_n| = 1 defines a non-convex torus.

AO for Active RIS

Complexity: O(Tβ‹…(TWMMSEKNt3+CSOCP/GP))O(T \cdot (T_{\text{WMMSE}} K N_t^{3} + C_{\text{SOCP/GP}})), T∼10T \sim 10
Input: channels, BS power PtP_t, RIS power PRISP_{\text{RIS}}, max gain gmax⁑g_{\max}.
Output: (W⋆,Ψ⋆)(\mathbf{W}^\star, \boldsymbol{\Psi}^\star).
1. Initialize Ψ(0)\boldsymbol{\Psi}^{(0)} (e.g., all ψn=1\psi_n = 1, i.e., unit-gain reflection).
2. Repeat t=0,1,…t = 0, 1, \ldots:
3. \quad Compute hk,eff(t)\mathbf{h}_{k,\text{eff}}^{(t)} using active-RIS Ξ¨(t)\boldsymbol{\Psi}^{(t)}.
4. \quad Active update: WMMSE on effective channels
(with UE noise augmented by active-RIS noise term).
5. \quad Passive update: solve the convex-constraint QCQP-like problem
with WMMSE surrogate; gradient projection with line search,
or SOCP solver directly.
6. \quad Check ∣R(t+1)βˆ’R(t)∣<Ο΅|R^{(t+1)} - R^{(t)}| < \epsilon.
7. return (W,Ξ¨)(\mathbf{W}, \boldsymbol{\Psi}).

Passive update cost: O(N3)O(N^3) for SOCP; or O(TGPN)O(T_{\text{GP}} N) for gradient projection. Both scale better than passive RIS's SDR (N6.5N^{6.5}), making active RIS surprisingly cheap at the algorithm level despite added modeling complexity.

Example: Active RIS for Single-User: Closed-Form ∣ψn∣|\psi_n|

Single-user active RIS with matched-filter BS beamformer, optimal phase alignment. Solve for the optimal ∣ψn∣|\psi_n| per element under total power constraint βˆ‘n∣ψn∣2≀PRIS/Pt/∣(H1v)n∣2+…\sum_n |\psi_n|^2 \leq P_{\text{RIS}}/P_t/|(\mathbf{H}_1\mathbf{v})_n|^2 + \ldots (simplifying with ∣ψn∣2≀PRIS/(Pt(signalΒ powerΒ atΒ elementΒ n)+ΟƒRIS2)|\psi_n|^2 \leq P_{\text{RIS}}/(P_t(\text{signal power at element } n) + \sigma^2_{\text{RIS}})).

Passive Problem: NP-hard; Active Problem: Tractable

A quick sanity check: why is the active problem easier to optimize than the passive one?

  • Passive: unit-modulus constraint βˆ£Ο•n∣=1|\phi_n| = 1 is non-convex. NP-hard QCQP. Requires SDR, manifold methods, etc.
  • Active: magnitude ≀gmax⁑\leq g_{\max} is convex. The RIS power budget is convex (quadratic inequality). WMMSE surrogate gives a convex-constraint block-convex problem. Global optimum via SOCP.

So active RIS is more expensive to build and operate (amplifiers, power) but computationally easier to optimize. In trade-offs for realistic deployments, the algorithmic easiness is a secondary advantage β€” the main story is still the link-budget gain.

Active vs. Passive AO Convergence

Compare AO convergence traces for active and passive RIS on the same channel instance. Active AO typically converges faster (5-10 iterations) thanks to the convex inner problem; passive AO needs more iterations (10-30) due to non-convex unit-modulus constraint.

Parameters
64
4
2
15
0