Sum-Rate Analysis
How Much Do We Lose by Not Having Full CSI?
The practical appeal of JSDM is clear: reduced CSI overhead. But the fundamental question remains: what is the rate penalty? If JSDM sacrifices too much sum rate compared to full-CSI precoding, the overhead savings are not worthwhile. The analysis in this section shows that the penalty is remarkably small β and in the large-array regime, it vanishes entirely.
Definition: JSDM Sum Rate
JSDM Sum Rate
The achievable sum rate of JSDM with ZF inner precoding and equal power allocation is
where
and is the ZF precoder applied to the effective channel .
Theorem: Asymptotic Optimality of JSDM
Under the one-ring channel model with a ULA of antennas, groups with non-overlapping angular supports, and fixed and group sizes , the per-user rate gap between full-CSI ZF and JSDM-ZF satisfies
In words: JSDM is asymptotically optimal in the large-array regime. The rate loss vanishes because (i) inter-group interference decays as , and (ii) the pre-beamformer captures all the channel energy as the covariance eigenspace becomes sharp.
As grows, two things happen simultaneously. First, the angular resolution of the array improves, making the group eigenspaces more cleanly separated β the DFT beams become narrower, and the energy leaking from one group's region to another shrinks. Second, the covariance eigenvalues become more concentrated β the effective rank stabilizes while the signal energy captured by approaches of the total. Together, these effects mean that the JSDM precoder converges to the full-CSI precoder in terms of rate.
Inter-group interference bound
For non-overlapping angular supports, the inter-group leakage satisfies For a ULA with non-overlapping angular supports, by the concentration of the DFT sidelobes.
Signal energy preservation
The signal energy through the pre-beamformer is As with fixed angular spread, the dominant eigenvalues of grow as (the array gain), and .
Rate convergence
The SINR gap satisfies (bounded) while both SINRs grow as . Therefore
Sum Rate: Full CSI vs. JSDM vs. Per-Group ZF
Compare the ergodic sum rate of three precoding strategies as a function of : (1) full-CSI ZF with perfect channel knowledge, (2) JSDM with ZF inner precoder, and (3) per-group ZF without inter-group coordination. Observe how the JSDM curve converges to full CSI as grows.
Parameters
Theorem: Inter-Group Interference Leakage Bound
For a ULA with antennas and half-wavelength spacing, if groups and have angular supports and with angular separation , the normalized inter-group leakage satisfies
for all , where is a constant depending on the angular separation and the angular power spectrum but not on .
The leakage decreases as because the array can more precisely resolve angular directions as it grows. The constant captures the sidelobe level of the pre-beamformer pattern evaluated at the angular region of the other group β wider separation means lower sidelobes and smaller .
Express leakage in the angular domain
For a ULA with DFT pre-beamformer, where is the -th DFT vector.
Bound each term
Since , the angular power spectrum of user is concentrated in the angular region of group . By the Dirichlet kernel bound, for DFT beam and direction outside group 's region.
Sum and normalize
Summing over and integrating over the angular power spectrum of user yields the bound with depending on the minimum distance between the DFT beams of group and the angular support of user .
Example: Sum Rate Gap for Finite
Consider users in groups with angular separation and dB. Estimate the sum rate gap between full-CSI ZF and JSDM-ZF for .
Monte Carlo setup
Generate channels from the one-ring model with angular spread . Group 1: center , Group 2: center . Compute the group covariances and eigenspaces.
Full-CSI ZF rate
With full channel knowledge, ZF precoding: . Average the sum rate over 1000 channel realizations.
JSDM rate
Pre-beamform with , compute effective channels , apply per-group ZF. Include inter-group interference in the SINR.
Results
Typical values: at , the gap is bits/s/Hz ( relative). At , the gap shrinks to bits/s/Hz (). At , the gap is bits/s/Hz (). The convergence is fast β by 128 antennas, JSDM performs nearly identically to full CSI.
Key Takeaway
JSDM achieves the same sum rate as full-CSI precoding in the large-array regime, but with CSI overhead that scales with the effective channel rank rather than the array size . This is the fundamental result that makes FDD massive MIMO feasible.
Historical Note: Degrees of Freedom and the BC Capacity Region
2003β2013The information-theoretic foundation for JSDM's sum-rate analysis rests on the broadcast channel (BC) capacity region, established by Weingarten, Steinberg, and Shamai (2006) for the MIMO Gaussian BC. Caire and Shamai (2003) had earlier shown that dirty-paper coding (DPC) achieves the capacity region. JSDM achieves a rate close to this capacity with linear precoding by exploiting the spatial structure β the pre-beamformer provides a form of "structural DPC" where inter-group interference is pre-cancelled through spatial separation rather than through non-linear encoding.
Power Allocation Across Groups
Equal power allocation across all users is suboptimal when groups have different effective ranks or different average channel strengths. Optimal power allocation solves a convex problem:
In practice, a simple heuristic allocates power proportional to the effective rank: . This ensures that groups with higher spatial dimensionality (more users or wider angular spread) receive proportionally more power. The gain over equal allocation is typically 0.5β1.5 dB in sum rate.
- β’
Per-antenna power constraints may further restrict the allocation
- β’
Unequal group sizes require careful fairness-aware power control
Precoding Strategy Comparison
| Strategy | CSI Required | Feedback per User | Inter-Group Interference | Complexity |
|---|---|---|---|---|
| Full-CSI ZF | Instantaneous | complex scalars | None (joint processing) | |
| JSDM-ZF | Covariance + effective | complex scalars | , vanishes asymptotically | |
| Per-Group ZF | Same as JSDM-ZF | complex scalars | Not suppressed | |
| MRT (no CSI at Tx) | Only covariance | 0 | Full interference |