Box Detection for Low-Resolution ADCs

Detection When the Signal Is Quantized

All the receivers developed so far assume that the BS observes the continuous received signal y=Hx+w\mathbf{y} = \mathbf{H}\mathbf{x} + \mathbf{w}. In reality, each antenna's signal passes through an analog-to-digital converter (ADC) with finite resolution bb bits. For massive MIMO with hundreds of antennas, the total ADC power consumption scales as Ntβ‹…2bN_t \cdot 2^b, making high-resolution ADCs prohibitively expensive at millimeter-wave frequencies.

The extreme case is 1-bit ADC receivers, where each antenna captures only the sign of the real and imaginary parts. This section develops detection theory for the quantized uplink, using the Bussgang decomposition to linearize the quantizer and derive modified MMSE receivers.

Definition:

Bussgang Decomposition

The Bussgang decomposition expresses the output of a memoryless nonlinearity (the quantizer) applied to a jointly Gaussian input as

r=Q(y)=Qy+Ξ·,\mathbf{r} = \mathcal{Q}(\mathbf{y}) = \mathbf{Q} \mathbf{y} + \boldsymbol{\eta},

where:

  • Q=RryRyβˆ’1\mathbf{Q} = \mathbf{R}_{ry} \mathbf{R}_y^{-1} is the Bussgang gain matrix, with Rry=E[ryH]\mathbf{R}_{ry} = \mathbb{E}[\mathbf{r}\mathbf{y}^H] and Ry=E[yyH]\mathbf{R}_y = \mathbb{E}[\mathbf{y}\mathbf{y}^H],
  • Ξ·\boldsymbol{\eta} is the quantization distortion, uncorrelated with y\mathbf{y}: E[Ξ·yH]=0\mathbb{E}[\boldsymbol{\eta}\mathbf{y}^H] = \mathbf{0}.

For a 1-bit quantizer with equal-power users (Pk=PP_k = P for all kk):

Q=2Ο€diag(Ry)βˆ’1/2,\mathbf{Q} = \sqrt{\frac{2}{\pi}} \text{diag}(\mathbf{R}_y)^{-1/2},

which simplifies to Q=2Ο€(Pβˆ‘kΞ²k+Οƒ2)I\mathbf{Q} = \sqrt{\frac{2}{\pi(P\sum_k \beta_k + \sigma^2)}} \mathbf{I} for i.i.d. fading with equal path loss.

The Bussgang decomposition is exact (not an approximation), but the distortion Ξ·\boldsymbol{\eta} is only uncorrelated with y\mathbf{y}, not independent. For Gaussian inputs, uncorrelatedness is sufficient for the LMMSE framework, but the true joint distribution is non-Gaussian.

Definition:

Box Detector

The box detector applies the LMMSE estimator to the Bussgang-linearized model r=QHx+Qw+Ξ·\mathbf{r} = \mathbf{Q}\mathbf{H}\mathbf{x} + \mathbf{Q}\mathbf{w} + \boldsymbol{\eta}:

x^box=PHHQH(Q(PHHH+Οƒ2I)QH+RΞ·)βˆ’1r,\hat{\mathbf{x}}^{\text{box}} = P\mathbf{H}^{H} \mathbf{Q}^H \left(\mathbf{Q}(P\mathbf{H}\mathbf{H}^{H} + \sigma^2\mathbf{I})\mathbf{Q}^H + \mathbf{R}_{\eta}\right)^{-1} \mathbf{r},

where RΞ·=E[Ξ·Ξ·H]\mathbf{R}_{\eta} = \mathbb{E}[\boldsymbol{\eta}\boldsymbol{\eta}^H] is the quantization distortion covariance. For 1-bit quantization:

RΞ·=Rrβˆ’QRyQH,\mathbf{R}_{\eta} = \mathbf{R}_r - \mathbf{Q}\mathbf{R}_y\mathbf{Q}^H,

where Rr=E[rrH]\mathbf{R}_r = \mathbb{E}[\mathbf{r}\mathbf{r}^H] can be computed from the arcsine law for 1-bit quantized Gaussian vectors.

The name "box detector" reflects that the quantizer maps the continuous observation space to a discrete lattice (a "box" in each dimension).

Theorem: Rate Loss with 1-Bit ADCs

For a single-user SIMO channel with 1-bit ADCs and i.i.d. Rayleigh fading, the achievable rate per antenna satisfies

R1-bitNtβ†’2Ο€log⁑2(1+Ο€PΞ²2Οƒ2)β‹…1Nt\frac{R^{\text{1-bit}}}{N_t} \to \frac{2}{\pi} \log_2\left(1 + \frac{\pi P \beta}{2 \sigma^2}\right) \cdot \frac{1}{N_t}

as Ntβ†’βˆžN_t \to \infty. The factor 2/Ο€β‰ˆ0.6372/\pi \approx 0.637 represents a fundamental rate loss of approximately 1βˆ’2/Ο€β‰ˆ36%1 - 2/\pi \approx 36\% compared to infinite-resolution ADCs.

The 2/Ο€2/\pi factor is the "sinusoidal gain" of the 1-bit quantizer on a Gaussian input β€” the same factor that appears in the classic result for hard-limiting a sinusoid in noise. Interestingly, this rate loss does NOT grow with NtN_t: adding more 1-bit antennas recovers the array gain, just with a fixed multiplicative penalty.

BER vs. ADC Resolution for Massive MIMO Uplink

Explore the BER performance of MMSE detection with quantized ADCs as a function of the ADC bit width bb. Observe the diminishing returns beyond b=4b = 4 bits and the massive antenna compensation effect: doubling NtN_t recovers approximately 3 dB.

Parameters
64
4
10
🚨Critical Engineering Note

ADC Power Consumption in Massive MIMO

ADC power consumption scales as PADC∝fsβ‹…2bP_{\text{ADC}} \propto f_s \cdot 2^b where fsf_s is the sampling rate and bb is the bit width. For a massive MIMO receiver with Nt=256N_t = 256 antennas at fs=100f_s = 100 MHz:

  • 12-bit ADC (standard sub-6 GHz): β‰ˆ2\approx 2 W per ADC β†’\to 512 W total
  • 4-bit ADC: β‰ˆ30\approx 30 mW per ADC β†’\to 7.7 W total
  • 1-bit ADC: β‰ˆ0.5\approx 0.5 mW per ADC β†’\to 0.13 W total

The 1000x power reduction from 12-bit to 1-bit enables dense array deployments at mmWave/sub-THz frequencies where power and thermal management are severe constraints.

Practical Constraints
  • β€’

    Walden FoM: PADCβ‰ˆcβ‹…2bβ‹…fsP_{\text{ADC}} \approx c \cdot 2^b \cdot f_s with cβ‰ˆ10c \approx 10 fJ

  • β€’

    3GPP does not mandate ADC resolution; vendors choose based on cost/performance tradeoff

  • β€’

    Mixed-ADC architectures (few high-res + many low-res) can approach full-resolution performance

Historical Note: Bussgang's Theorem: From 1952 to Massive MIMO

1952–2015

Julian Bussgang proved his decomposition theorem in 1952 at MIT Lincoln Laboratory, in the context of analyzing nonlinear radar receivers. The result lay relatively dormant for decades until the massive MIMO community rediscovered it around 2015 as the natural tool for analyzing low-resolution ADC systems. The key insight β€” that a quantized Gaussian signal can be decomposed into a linear part plus uncorrelated distortion β€” enables all the standard LMMSE machinery to be applied to the quantized problem with minimal modification.

Bussgang Decomposition

A linear decomposition of a nonlinear function applied to a Gaussian signal: Q(y)=Qy+Ξ·\mathcal{Q}(\mathbf{y}) = \mathbf{Q}\mathbf{y} + \boldsymbol{\eta} with Ξ·\boldsymbol{\eta} uncorrelated with y\mathbf{y}. Enables LMMSE analysis of quantized systems.

Related: Scalar Quantization of Local Estimates, 1-bit ADC, MMSE via Matrix Inversion Lemma

Box Detector

An LMMSE receiver for quantized massive MIMO that accounts for both the Bussgang gain and the quantization distortion covariance. Named for the discrete "box" structure of the quantized observation space.

Related: Bussgang Decomposition, MMSE (Regularized ZF) Receiver

Quick Check

What is the approximate rate loss factor when using 1-bit ADCs compared to infinite-resolution ADCs in massive MIMO?

1/21/2 (50% loss)

2/Ο€β‰ˆ0.642/\pi \approx 0.64 (36% loss)

1/Ο€1/\pi (68% loss)

No loss (quantization noise averages out)