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 and the RIS coefficients . The differences:
- has complex (gain + phase) entries, not just unit-modulus.
- The passive subproblem becomes a constrained quadratic in with magnitude and sum-power bounds β more complex than the unit-modulus torus but often easier (the feasible set is convex!).
- The objective includes the amplified noise term , which couples differently to .
This section adapts the AO framework to active RIS.
Definition: Joint Active-RIS Beamforming Problem
Joint Active-RIS Beamforming Problem
The active-RIS joint optimization problem is
subject to
- BS power: ,
- Per-element gain: ,
- Total RIS power: .
The uses the active-RIS noise term from Theorem 9.1. Unlike passive RIS (where is an equality), active RIS has inequality constraints on the magnitudes β giving a convex feasible set in (but with a non-convex objective due to SINR ratios).
Theorem: The Active Passive Subproblem Has Convex Constraints
The active-RIS passive subproblem (fix , optimize ) 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:
- WMMSE reformulation of the active rate objective β a block-convex problem (Lagrangian duality applicable).
- Global optimum of the WMMSE surrogate via SOCP / QCQP solvers β no need for SDR relaxation.
- 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 defines a disk in , a convex set. The total-power constraint is a quadratic bound, also convex. The feasible set of is the intersection of disks and one ellipsoid β convex! This is in sharp contrast to the passive case where defines a non-convex torus.
Disk constraint
is a closed disk β convex.
Power constraint
Total RIS power is a convex quadratic constraint in (since both terms are convex).
Intersection
Intersection of convex sets is convex. The feasible set is convex.
AO for Active RIS
Complexity: ,Passive update cost: for SOCP; or for gradient projection. Both scale better than passive RIS's SDR (), making active RIS surprisingly cheap at the algorithm level despite added modeling complexity.
Example: Active RIS for Single-User: Closed-Form
Single-user active RIS with matched-filter BS beamformer, optimal phase alignment. Solve for the optimal per element under total power constraint (simplifying with ).
Per-element gain
With total power and equal-strength channels, the optimum water-fills inversely to noise. For identical elements: .
Optimum SINR
Substituting into the SINR formula and optimizing gives the active-RIS SINR. The max grows with up to a ceiling set by the signal-to-amplifier-noise ratio.
Compared to passive
Active SINR = passive SINR + -term for amplifier contribution. Active wins when: (i) path loss is severe, (ii) passive SNR is below UE noise floor, (iii) exceeds the amplifier noise cost. Section 9.3 gives the precise crossover.
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 is non-convex. NP-hard QCQP. Requires SDR, manifold methods, etc.
- Active: magnitude 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.