Non-Coherent Space-Time Codes

When CSI Is Not Available

The point is that all the space-time coding results in Chapters 10-17 assumed the receiver knows the channel. In practice, CSI is never free: pilots cost bandwidth, and in very short bursts or very high mobility the channel changes before CSI estimation stabilises. Non-coherent space-time coding addresses this regime, where neither Tx nor Rx knows the instantaneous channel realisation. The subject has been studied for 25 years, has elegant Grassmannian geometry, and yet has NOT produced standards-ready explicit codes for arbitrary (nt,nr)(n_t, n_r). This is an open problem.

Definition:

Non-Coherent MIMO Block Fading

In the non-coherent block-fading MIMO model, the channel H∈CnrΓ—nt\mathbf{H} \in \mathbb{C}^{n_r \times n_t} remains constant for TT channel uses ("coherence block") and then takes a new independent realisation. Crucially, NEITHER Tx NOR Rx knows H\mathbf{H}. The input is an ntΓ—Tn_t \times T signal matrix X\mathbf{X} and the output is Y=HX+w,wij∼CN(0,Οƒ2)Β i.i.d.\mathbf{Y} = \mathbf{H}\mathbf{X} + \mathbf{w}, \quad \mathbf{w}_{ij} \sim \mathcal{CN}(0, \sigma^2)\ \text{i.i.d.} The receiver sees only Y\mathbf{Y}; the code must be designed so that X\mathbf{X} can be recovered without any channel estimate.

Theorem: Non-Coherent MIMO Capacity Pre-Log

For the non-coherent block-fading MIMO model with coherence time Tβ‰₯2ntT \ge 2 n_t, the capacity grows with SNR as C(SNR)=ntβˆ—(1βˆ’ntβˆ—T)log⁑2SNR+O(1)C(\text{SNR}) = n_t^* \left(1 - \frac{n_t^*}{T}\right)\log_2 \text{SNR} + O(1) where ntβˆ—=min⁑(nt,nr,⌊T/2βŒ‹)n_t^* = \min\left(n_t, n_r, \lfloor T/2 \rfloor\right) is the effective number of transmit streams. The capacity-achieving input distribution lies on the Grassmannian manifold of ntβˆ—n_t^*-dimensional subspaces of CT\mathbb{C}^T.

,

Non-Coherent MIMO Capacity vs Coherence Time

Coherent capacity (top, dotted) and non-coherent capacities for several coherence times TT. As Tβ†’βˆžT \to \infty, non-coherent approaches coherent; as TT shrinks toward 2nt2 n_t, the pre-log halves.

Parameters
2
4

Example: Non-Coherent 2Γ—2 with T=8T = 8

Compute the high-SNR pre-log for a 2Γ—22 \times 2 MIMO block-fading channel with coherence time T=8T = 8.

Historical Note: Non-Coherent STC: A 25-Year Research Effort

The non-coherent MIMO line of research traces:

  • Hochwald-Marzetta 1999: the pre-log result above.
  • Hochwald-Marzetta 2000: unitary space-time codes for non-coherent block fading β€” explicit constructions for nt∈{2,3,4}n_t \in \{2, 3, 4\} based on group codes.
  • Zheng-Tse 2002: non-coherent DMT for the same model. Showed that for Tβ‰₯nt+nrT \ge n_t + n_r, the non-coherent DMT equals the coherent DMT (Ch 12) MINUS a "CSI penalty" of ntn_t per stream.
  • Yang-Belfiore 2007: explicit diagonal-plus-Grassmannian codes for nt=2,4n_t = 2, 4. What is STILL OPEN in 2026: a general constructive framework for (nt,nr,T)(n_t, n_r, T) that achieves the DMT simultaneously for every multiplexing gain rr. Partial results exist (USTM, diagonal, unitary space-time), but no analogue to Ch 13's CDA universality.
,

Common Mistake: Differential STC Is Not Always the Answer

Mistake:

"Use differential modulation: we don't need CSI."

Correction:

Differential modulation (e.g., DQPSK) achieves zero pre-log loss for T≫ntT \gg n_t but incurs a 3 dB SNR penalty relative to coherent, even at high SNR. For small TT, differential is far from capacity- achieving. Unitary space-time codes (Grassmannian packings) close the gap, at the cost of non-trivial decoder complexity.

πŸ”§Engineering Note

Non-Coherent Detection in Narrow-Band IoT (NB-IoT)

Non-coherent detection appears in niche deployed systems: NB-IoT (3GPP Rel-13, 2016) uses differential QPSK on the NPUSCH to enable battery-powered sensors without channel estimation. The pre-log loss is negligible because the coherence time greatly exceeds the packet duration. For high-capacity MIMO deployments, non-coherent techniques remain research-stage. This is a gap the theory can close but standards have not pursued.

Key Takeaway

Non-coherent MIMO achieves pre-log ntβˆ—(1βˆ’ntβˆ—/T)log⁑SNRn_t^*(1 - n_t^*/T) \log \text{SNR} β€” a factor of (1βˆ’nt/T)(1 - n_t/T) below coherent. Capacity-achieving inputs live on Grassmannian manifolds. Explicit DMT-optimal non-coherent codes for general (nt,nr,T)(n_t, n_r, T) are an OPEN problem 25 years after the Marzetta-Hochwald pre-log result.