Fading, Correlation, and the Keyhole Effect
Real RIS Channels Are Not Pure LoS
At sub-6 GHz or in cluttered indoor mmWave, both hops of the RIS link see multipath: reflections off walls, scattering from furniture, weak blockage. The channel is a superposition of a strong LoS ray and many weaker non-LoS (NLoS) components. This section models that structure: Ricean fading per hop, spatial correlation across RIS elements, and the cascaded rank / keyhole implications for end-to-end performance.
Definition: Ricean Fading on Both Hops
Ricean Fading on Both Hops
Each hop of the RIS link is modelled as a Ricean-fading channel with K-factor :
where is the rank-1 deterministic LoS component (Section 3.2) and is a zero-mean complex Gaussian matrix capturing multipath scattering. Similarly for . Large (pure LoS) collapses to the deterministic rank-1 model; gives pure Rayleigh fading.
Keyhole Channel
A cascaded channel of the form where are vectors. Keyhole channels have rank 1 β the signal must pass through a "keyhole" that limits the spatial degrees of freedom. LoS-on-both-hops RIS channels are exactly keyhole channels; LoS-plus- multipath RIS channels are approximately keyhole at high K-factor.
Theorem: Cascaded Rayleigh: The Double-Rayleigh Distribution
For a single-antenna BS () and single-antenna UE () with independent Rayleigh fading on both hops: and a random-phase RIS, the cascaded gain is . Its magnitude squared has mean
but tail behaviour heavier than Rayleigh β the PDF is related to a modified Bessel function . The implication: outage probability for cascaded Rayleigh RIS is considerably higher than for a direct Rayleigh channel of the same mean SNR.
When both hops are Rayleigh-faded and independent, the cascaded end-to-end scalar gain is the product of two complex Gaussians. This is not itself Gaussian β it has heavier tails, smaller mean squared magnitude, and leads to worse outage behaviour than a single Rayleigh fade of the same average power.
Scalar gain
Let . For independent and , is a product of two independent complex Gaussians β the "double-Rayleigh" or "complex double-Gaussian" distribution.
Moments
. . By independence across and random phases, .
Distribution of $|z|$
For large , by the CLT, β which is Rayleigh in magnitude. For moderate , the distribution retains the heavier-tailed "double-Rayleigh" character of individual terms, causing higher outage probability. See Simon & Alouini (2005) for the analytic form of the double-Rayleigh PDF.
CLT Rescues Large- RIS
The heavier-tailed double-Rayleigh distribution is a real concern β at small . For or , the fat tails of cascaded Rayleigh lead to noticeable outage penalties. But for practical RIS sizes (), the CLT kicks in: the sum of independent double-Rayleigh terms is, to excellent approximation, Gaussian with the stated mean and variance. Small- RIS has unfriendly fading; large- RIS behaves like a well-behaved Rayleigh channel with scale . Another argument, if one were needed, for designing with in the hundreds.
Definition: Spatial Correlation of an RIS in a Scattering Field
Spatial Correlation of an RIS in a Scattering Field
When the RIS is immersed in a rich-scattering field (e.g., the NLoS component of under large or a near-resonance regime), adjacent elements receive correlated signals. The spatial correlation matrix of the incident field at the RIS is
where is the position of element . For -spaced elements, adjacent-element correlation is β uncorrelated! This is the 3D isotropic-scattering assumption. At tighter spacings or in structured scattering environments, correlation is nonzero and reduces the effective number of independent channel realizations.
The half-wavelength spacing of a typical RIS is not arbitrary: it is the spacing that makes i.i.d. scattering approximately valid. Tighter spacing buys more elements but trades away independence; the effective degrees of freedom of the RIS as a correlated array are upper-bounded by the rank of .
Theorem: Effective Degrees of Freedom via Correlation Rank
The effective number of independent RIS elements in a scattering field is
where are the eigenvalues of . For i.i.d. elements (), . For fully correlated (), . Real RIS panels at half-wavelength spacing typically have β correlation is mild.
Participation ratio
The quantity is the participation ratio of the eigenvalue distribution. It equals when eigenvalues are uniform (i.i.d. case) and equals 1 when one eigenvalue dominates (fully correlated).
Equivalent formula
Using and .
Spatial Correlation Map and Effective DoF
Set the element spacing and the scattering richness (effective angle-spread). The heatmap shows ; the text shows . Half-wavelength spacing gives near-diagonal ; tighter spacing makes off-diagonals significant.
Parameters
Example: Outage Probability for a Random-Phase RIS
A single-antenna BS and UE communicate through an RIS under cascaded Rayleigh fading, , , random RIS phases. What is the outage probability at target SNR ? Compare to a direct Rayleigh link of the same average SNR.
Average SNR
.
Outage under CLT approximation
By CLT at , . β a modest outage of .
Direct Rayleigh comparison
A direct Rayleigh link with the same mean SNR (22 dB): β an outage of .
Interpretation
At the cascaded channel's fatter tails give worse outage than a direct link of the same mean SNR β the keyhole penalty. At the CLT makes the cascaded channel effectively as well-behaved as direct Rayleigh.
Historical Note: The Keyhole Discovery
2001β2005Keyhole channels were observed experimentally in the early 2000s (Chizhik et al., 2002) in MIMO measurements across hallways β the effective signal path was constrained by a door or other narrow aperture, and the MIMO capacity dropped below the i.i.d. prediction despite rich scattering on either side. The theoretical understanding matured with Gesbert et al. (2002) and Almers et al. (2005), who showed that cascaded narrow-aperture scenarios universally yield rank-1 end-to-end channels. The RIS keyhole (rank-1 under LoS on both hops) is the same phenomenon, now a deliberate design choice rather than an accident of geometry.
Common Mistake: Don't Ignore Correlation at Tight Spacings
Mistake:
"Assume independent elements regardless of spacing β the CLT works for any i.i.d. distribution."
Correction:
The CLT requires independence, which presupposes enough physical spacing for the scattering field to decorrelate. At sub-wavelength spacing, adjacent elements see almost identical fields and are strongly correlated. Treating them as independent overestimates the effective and the coherent gain. Always compute from the correlation matrix when designing for tight-packed RIS; the "free" scaling does not survive below spacing.