Eigenmode Analysis of the Cascaded Channel

What Controls the Rank of a Reflective Channel?

Sections 21.1 and 21.2 analyzed the scalar link budget. To understand multiuser and multistream operation, we need the singular-value structure of the cascaded channel Heff=HRIS-Rx Φ HTx-RIS\mathbf{H}_{\text{eff}} = \mathbf{H}_{\text{RIS-Rx}}\, \boldsymbol{\Phi}\, \mathbf{H}_{\text{Tx-RIS}}. Two questions shape the analysis: (i) what is the rank of Heff\mathbf{H}_{\text{eff}}, and (ii) how do its dominant singular values depend on NaN_a, NRISN_{\text{RIS}}, and Ο•\boldsymbol{\phi}?

The answer that underlies the whole chapter is that the passive RIS cannot create rank. A diagonal matrix cannot raise the rank of the product beyond the rank of the narrowest factor. In the array-fed setting, the narrowest factor is almost always the active feed: Heff\mathbf{H}_{\text{eff}} has rank at most min⁑(Nr,Na)\min(N_r, N_a), no matter how many RIS elements we throw in. But the value of the non-zero singular values does grow with NRISN_{\text{RIS}} β€” the passive aperture concentrates energy onto the NaN_a available modes. This distinction between rank and gain is the key to understanding both the benefits and the fundamental limits of the architecture.

Definition:

Effective Cascaded MIMO Channel

Consider an array-fed RIS transmitter with NaN_a active elements feeding an NRISN_{\text{RIS}}-element passive RIS, and an NrN_r-antenna receiver. The effective cascaded channel is

Heff(Ο•)=HRIS-Rx⏟NrΓ—NRIS diag(Ο•)⏟NRISΓ—NRIS Gf⏟NRISΓ—Na∈CNrΓ—Na,\mathbf{H}_{\text{eff}}(\boldsymbol{\phi}) = \underbrace{\mathbf{H}_{\text{RIS-Rx}}}_{N_r \times N_{\text{RIS}}}\, \underbrace{\text{diag}(\boldsymbol{\phi})}_{N_{\text{RIS}} \times N_{\text{RIS}}}\, \underbrace{\mathbf{G}_f}_{N_{\text{RIS}} \times N_a} \quad \in \mathbb{C}^{N_r \times N_a},

where Ο•\boldsymbol{\phi} is the vector of unit-modulus RIS reflection coefficients. Writing diag(Ο•)=D(Ο•)\text{diag}(\boldsymbol{\phi}) = \mathbf{D}(\boldsymbol{\phi}), a useful identity expresses Heff\mathbf{H}_{\text{eff}} as a linear function of Ο•\boldsymbol{\phi}:

Heff(Ο•)=βˆ‘n=1NRISΟ•n rn gnT,\mathbf{H}_{\text{eff}}(\boldsymbol{\phi}) = \sum_{n=1}^{N_{\text{RIS}}} \phi_n\, \mathbf{r}_n\, \mathbf{g}_n^T,

where rn=[HRIS-Rx]:,n\mathbf{r}_n = [\mathbf{H}_{\text{RIS-Rx}}]_{:,n} and gnT=[Gf]n,:\mathbf{g}_n^T = [\mathbf{G}_f]_{n,:} are the nn-th column/row of the two factor matrices. Thus Heff\mathbf{H}_{\text{eff}} is a linear combination of NRISN_{\text{RIS}} rank-one matrices with unit-modulus coefficients, which gives the design problem an elegant structure.

Theorem: Rank Upper Bound of the Effective Channel

For any RIS phase profile Ο•\boldsymbol{\phi},

rank(Heff(Ο•))≀min⁑(Nr, Na, NRIS).\text{rank}(\mathbf{H}_{\text{eff}}(\boldsymbol{\phi})) \leq \min(N_r,\, N_a,\, N_{\text{RIS}}).

In particular, when Na≀min⁑(Nr,NRIS)N_a \leq \min(N_r, N_{\text{RIS}}), the effective rank is at most NaN_a regardless of how many RIS elements are used.

Multiplying a full-rank matrix by a diagonal matrix cannot increase its rank. The active-feed coupling Gf\mathbf{G}_f is NRISΓ—NaN_{\text{RIS}} \times N_a, so its rank is at most NaN_a. Left-multiplying by diag(Ο•)\text{diag}(\boldsymbol{\phi}) cannot help, and pre-multiplying by HRIS-Rx\mathbf{H}_{\text{RIS-Rx}} only caps rank at NrN_r. A passive RIS can redirect energy between the NaN_a available modes but cannot create new spatial degrees of freedom.

Theorem: Dominant Singular Values Scale with NextRISN_{ ext{RIS}}

Let the forward coupling be normalized so that GfHGf=(NRIS/Na) INa\mathbf{G}_f^H \mathbf{G}_f = (N_{\text{RIS}}/N_a)\, \mathbf{I}_{N_a} (reactive-near-field approximation for a well-matched feed) and let HRIS-Rx\mathbf{H}_{\text{RIS-Rx}} have i.i.d. zero-mean entries with variance Οƒr2\sigma_r^2. For the optimal RIS phase profile that co-phases the dominant right singular vector of HRIS-Rx\mathbf{H}_{\text{RIS-Rx}} with the corresponding column of Gf\mathbf{G}_f,

Οƒ1(Heff)≍σr NRISNa NRISNa=Οƒr NRIS.\sigma_1(\mathbf{H}_{\text{eff}}) \asymp \sigma_r\, \sqrt{\frac{N_{\text{RIS}}}{N_a}}\, \sqrt{N_{\text{RIS}} N_a} = \sigma_r\, N_{\text{RIS}}.

The k-th singular value satisfies Οƒk(Heff)≍σrNRISNa/Na=ΟƒrNRIS\sigma_k(\mathbf{H}_{\text{eff}}) \asymp \sigma_r \sqrt{N_{\text{RIS}} N_a}/\sqrt{N_a} = \sigma_r N_{\text{RIS}} for k≀Nak \leq N_a (all are of the same order) and zero for k>Nak > N_a.

Two mechanisms compound. First, each of the NaN_a non-zero singular values of Heff\mathbf{H}_{\text{eff}} inherits an amplitude proportional to NRIS\sqrt{N_{\text{RIS}}} from the aperture-gain side of the RIS reflection. Second, the RIS phase profile co-phases one specific direction, promoting that direction's amplitude by another factor of NRIS\sqrt{N_{\text{RIS}}}. The resulting gain is quadratic in NRISN_{\text{RIS}} in power β€” exactly the passive-RIS aperture law β€” but confined to the NaN_a-dimensional column space.

,

Cascaded channel (RIS)

The end-to-end MIMO channel of an RIS-aided link, written as Heff=HRIS-Rx diag(Ο•) Gf\mathbf{H}_{\text{eff}} = \mathbf{H}_{\text{RIS-Rx}}\, \text{diag}(\boldsymbol{\phi})\, \mathbf{G}_f. The cascaded channel is bilinear in the RIS phase profile Ο•\boldsymbol{\phi} and the active-feed coupling, has rank at most min⁑(Nr,Na,NRIS)\min(N_r, N_a, N_{\text{RIS}}), and is the central object of channel estimation, precoding, and capacity analysis for array-fed RIS architectures.

Related: Array-Fed RIS Architecture, Array-Fed RIS Architecture

Aperture gain

The directivity boost of an aperture antenna of effective area AeffA_{\text{eff}} at wavelength Ξ»\lambda, given by Gap=4Ο€Aeff/Ξ»2G_{\text{ap}} = 4\pi A_{\text{eff}}/\lambda^{2}. For a half-wavelength-spaced array of NN elements, Gapβ‰ˆNG_{\text{ap}} \approx N. For an array-fed RIS, the transmit aperture gain is set by NRISN_{\text{RIS}} even though only Naβ‰ͺNRISN_a \ll N_{\text{RIS}} RF chains exist.

Related: Spatial Nulling of Self-Interference (Array Gain), Directivity

Eigenmode

A right singular vector of the channel matrix H\mathbf{H}, viewed as a "spatial mode" along which information can be transmitted at the gain given by the corresponding singular value Οƒk\sigma_k. SVD-based transmission decomposes the MIMO channel into parallel scalar eigenmode subchannels.

Related: Svd, Spatial Multiplexing

Key Takeaway

Rank is set by NaN_a; gain is set by NRISN_{\text{RIS}}. The array-fed RIS can support at most NaN_a parallel streams, no matter how big the RIS is β€” that is the cost of moving all RF chains to the feed. But each of those streams enjoys an array gain proportional to NRISN_{\text{RIS}}, which is what makes the architecture worthwhile. To support KK users, pick Naβ‰₯KN_a \geq K (small); to boost SINR, pick NRISN_{\text{RIS}} large. The two design parameters are almost decoupled.

Singular-Value Spectrum of Heff\mathbf{H}_{\text{eff}}

Plot the ordered singular values of Heff(Ο•)\mathbf{H}_{\text{eff}}(\boldsymbol{\phi}) for a random Rayleigh reflected channel. See the sharp cutoff at k=Nak = N_a predicted by Theorem TRank Upper Bound of the Effective Channel and watch the dominant singular values grow with NRISN_{\text{RIS}} as predicted by Theorem NextRISN_{ ext{RIS}}" data-ref-type="theorem">TDominant Singular Values Scale with NextRISN_{ ext{RIS}}.

Parameters
256
8
16

Example: Rank and Gain for a Sample Configuration

Consider an array-fed RIS with NRIS=1024N_{\text{RIS}} = 1024, Na=8N_a = 8, Nr=16N_r = 16. Assume HRIS-Rx\mathbf{H}_{\text{RIS-Rx}} is i.i.d. CN(0,1)\mathcal{CN}(0, 1). Compute (i) the rank of Heff\mathbf{H}_{\text{eff}}, (ii) the expected dominant singular value under the optimal phase profile, and (iii) the ratio Οƒ1/ΟƒNa\sigma_1/\sigma_{N_a} (the condition number of the non-zero block).

Historical Note: Lens Arrays and Continuous-Aperture Radar

1950s–present

Before "reflectarray" and long before "RIS," the radar community built lens arrays β€” discrete or quasi-continuous dielectric lenses illuminated by a compact feed. The Luneburg lens (1944) is the classical example, and dielectric-lens antennas were widely used in X-band radars and Earth-station receivers through the 1970s. What metasurface technology added was electronic reconfigurability: the phase profile that a Luneburg lens imposes geometrically, a programmable reflectarray imposes electrically. Caire's array-fed RIS is in a direct line of descent from this tradition, and the eigenmode analysis of this section mirrors the "focal-plane array" analysis that mm-wave radar engineers have done for decades.

,

Common Mistake: Thinking the RIS Provides Extra Spatial DoF

Mistake:

A common misreading is that NRISN_{\text{RIS}} effective antennas yield NRISN_{\text{RIS}} spatial degrees of freedom β€” so a 1024-element RIS supports 1024 simultaneous streams.

Correction:

The RIS is a diagonal transformation. It has NRISN_{\text{RIS}} knobs (the phases) but only NaN_a modes because its rank is bounded by that of the active feed it illuminates. The DoF available for spatial multiplexing is min⁑(Na,Nr)\min(N_a, N_r), not NRISN_{\text{RIS}}. What the RIS does provide is per-mode array gain scaling with NRISN_{\text{RIS}}, which boosts SINR without unlocking extra streams. This distinction is subtle but central: confusing it produces massive overestimates of achievable sum rate and explains several early enthusiastic RIS papers.

Quick Check

An array-fed RIS has NRIS=4096N_{\text{RIS}} = 4096, Na=4N_a = 4, Nr=64N_r = 64. How many simultaneous independent data streams can it support?

4096

64

4

NaNRIS=128\sqrt{N_a N_{\text{RIS}}} = 128