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

The achievable sum rate of JSDM with ZF inner precoding and equal power allocation is

RsumJSDM=βˆ‘g=1Gβˆ‘k∈Sglog⁑2 ⁣(1+SINRkJSDM)R_{\text{sum}}^{\text{JSDM}} = \sum_{g=1}^{G} \sum_{k \in \mathcal{S}_g} \log_2\!\left(1 + \text{SINR}_k^{\text{JSDM}}\right)

where

SINRkJSDM=\ntntx_powerK∣h~kHpk∣2\ntntx_powerKβˆ‘gβ€²β‰ gβˆ‘j∈Sgβ€²βˆ£hkHBgβ€²pj∣2+Οƒ2\text{SINR}_k^{\text{JSDM}} = \frac{\frac{\ntn{tx\_power}}{K} |\tilde{\mathbf{h}}_k^H \mathbf{p}_k|^2}{\frac{\ntn{tx\_power}}{K} \sum_{g' \neq g} \sum_{j \in \mathcal{S}_{g'}} |\mathbf{h}_k^H \mathbf{B}_{g'} \mathbf{p}_j|^2 + \sigma^2}

and Pg\mathbf{P}_g is the ZF precoder applied to the effective channel H~g\tilde{\mathbf{H}}_g.

Theorem: Asymptotic Optimality of JSDM

Under the one-ring channel model with a ULA of NtN_t antennas, GG groups with non-overlapping angular supports, and fixed KK and group sizes ∣Sg∣|\mathcal{S}_g|, the per-user rate gap between full-CSI ZF and JSDM-ZF satisfies

1K(Rsumfull-ZFβˆ’RsumJSDM-ZF)β†’0asΒ Ntβ†’βˆž.\frac{1}{K}\left(R_{\text{sum}}^{\text{full-ZF}} - R_{\text{sum}}^{\text{JSDM-ZF}}\right) \to 0 \quad \text{as } N_t \to \infty.

In words: JSDM is asymptotically optimal in the large-array regime. The rate loss vanishes because (i) inter-group interference decays as O(1/Nt)O(1/N_t), and (ii) the pre-beamformer captures all the channel energy as the covariance eigenspace becomes sharp.

As NtN_t 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 rgr_g stabilizes while the signal energy captured by Bg\mathbf{B}_g approaches 100%100\% of the total. Together, these effects mean that the JSDM precoder converges to the full-CSI precoder in terms of rate.

Sum Rate: Full CSI vs. JSDM vs. Per-Group ZF

Compare the ergodic sum rate of three precoding strategies as a function of NtN_t: (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 NtN_t grows.

Parameters
8
2
10
15

Theorem: Inter-Group Interference Leakage Bound

For a ULA with NtN_t antennas and half-wavelength spacing, if groups gg and gβ€²g' have angular supports [ΞΈgβˆ’,ΞΈg+][\theta_g^-, \theta_g^+] and [ΞΈgβ€²βˆ’,ΞΈgβ€²+][\theta_{g'}^-, \theta_{g'}^+] with angular separation Ξ΄=min⁑(∣θgβˆ’βˆ’ΞΈgβ€²+∣,∣θgβ€²βˆ’βˆ’ΞΈg+∣)>0\delta = \min(|\theta_g^- - \theta_{g'}^+|, |\theta_{g'}^- - \theta_g^+|) > 0, the normalized inter-group leakage satisfies

1Nttr(Bgβ€²HRkBgβ€²)≀C(Ξ΄)Nt\frac{1}{N_t} \text{tr}(\mathbf{B}_{g'}^H \mathbf{R}_k \mathbf{B}_{g'}) \leq \frac{C(\delta)}{N_t}

for all k∈Sgk \in \mathcal{S}_g, where C(δ)>0C(\delta) > 0 is a constant depending on the angular separation δ\delta and the angular power spectrum but not on NtN_t.

The leakage decreases as 1/Nt1/N_t because the array can more precisely resolve angular directions as it grows. The constant C(Ξ΄)C(\delta) 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 C(Ξ΄)C(\delta).

Example: Sum Rate Gap for Finite NtN_t

Consider K=8K = 8 users in G=2G = 2 groups with angular separation δ=20°\delta = 20° and SNR=10\text{SNR} = 10 dB. Estimate the sum rate gap between full-CSI ZF and JSDM-ZF for Nt∈{32,64,128}N_t \in \{32, 64, 128\}.

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 rgr_g rather than the array size NtN_t. This is the fundamental result that makes FDD massive MIMO feasible.

Historical Note: Degrees of Freedom and the BC Capacity Region

2003–2013

The 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.

πŸ”§Engineering Note

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:

max⁑{pkβ‰₯0}βˆ‘klog⁑2(1+SINRk(pk))s.t.βˆ‘kpk≀\ntntx_power.\max_{\{p_k \geq 0\}} \sum_k \log_2(1 + \text{SINR}_k(p_k)) \quad \text{s.t.} \quad \sum_k p_k \leq \ntn{tx\_power}.

In practice, a simple heuristic allocates power proportional to the effective rank: pg∝rg/βˆ‘gβ€²rgβ€²p_g \propto r_g / \sum_{g'} r_{g'}. 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.

Practical Constraints
  • β€’

    Per-antenna power constraints may further restrict the allocation

  • β€’

    Unequal group sizes require careful fairness-aware power control

Precoding Strategy Comparison

StrategyCSI RequiredFeedback per UserInter-Group InterferenceComplexity
Full-CSI ZFInstantaneous Hk∈CNt\mathbf{H}_{k} \in \mathbb{C}^{N_t}NtN_t complex scalarsNone (joint processing)O(K2Nt)O(K^{2} N_t)
JSDM-ZFCovariance Rk\mathbf{R}_k + effective h~k∈Crg\tilde{\mathbf{h}}_k \in \mathbb{C}^{r_g}rgr_g complex scalarsO(1/Nt)O(1/N_t), vanishes asymptoticallyO(Gβ‹…rg2∣Sg∣)O(G \cdot r_g^2 |\mathcal{S}_g|)
Per-Group ZFSame as JSDM-ZFrgr_g complex scalarsNot suppressedO(Gβ‹…rg2∣Sg∣)O(G \cdot r_g^2 |\mathcal{S}_g|)
MRT (no CSI at Tx)Only covariance Rk\mathbf{R}_k0Full interferenceO(KNt)O(K N_t)