The Bussgang Decomposition
Turning a Nonlinear Receiver into a Linear One
The quantizer is nonlinear, so the observation has a non-Gaussian conditional distribution given . Shannon capacity for a nonlinear channel has no closed form, and direct analysis of forces us through a jungle of multinomial distributions. The Bussgang decomposition sidesteps the jungle by writing the quantizer output as a linear function of the input plus an uncorrelated distortion:
The matrix absorbs the "correlated" part of the nonlinearity; contains the rest. Downstream, we treat like additive noise — it is not Gaussian and not independent of in general, but its zero cross-correlation with is enough to compute linear-receiver SINRs. The idea is due to Bussgang (1952) for scalar Gaussian inputs through memoryless nonlinearities and was introduced to MIMO quantization analysis by Mezghani and Nossek (2012). It is now the standard tool for 1-bit and low-resolution massive MIMO.
Theorem: Bussgang's Theorem (Scalar Gaussian Input)
Let and let be a memoryless (possibly nonlinear) function with . Write . Then there exists a scalar such that with . Explicitly,
For the 1-bit quantizer this gives
We are projecting onto the subspace of random variables linear in . By the orthogonality principle, the residual is uncorrelated with . Stein's identity expresses this projection as an expected derivative of the nonlinearity — for a hard limiter the derivative is a delta at zero and the resulting integral is .
Projection formula
The linear minimum-mean-square error (LMMSE) estimator of given is , so . By construction the residual satisfies .
Stein's identity
For Gaussian and any differentiable with , (integration by parts against the Gaussian density). Thus .
Evaluate for the sign function
, . Then . Substituting yields the stated .
Definition: Bussgang Matrix and Distortion Covariance (MIMO)
Bussgang Matrix and Distortion Covariance (MIMO)
Let be zero-mean complex Gaussian with covariance and the element-wise quantized vector. The Bussgang matrix is
By construction the residual is uncorrelated with , i.e. . Its covariance is . For a 1-bit quantizer applied element-wise, the diagonal entries of are
and the quantized covariance follows the arcsine law
The Bussgang matrix for the 1-bit quantizer depends only on the diagonal of , so it is diagonal. The cross-antenna correlation is pushed into , where the arcsine nonlinearity curbs the off-diagonals — a quantitative statement of "quantization de-correlates" used throughout the chapter.
Definition: Bussgang Distortion Factor
Bussgang Distortion Factor
For a uniform scalar quantizer with bits, optimized for a Gaussian input, define the Bussgang distortion factor
For small resolution a table (Max 1960, Lloyd-Max optimized quantizers, Gaussian source) gives the following values, which are ubiquitous in 1-bit-MIMO papers:
| (effective SNR scaling) | ||
|---|---|---|
| 1 | ||
| 2 | ||
| 3 | ||
| 4 | ||
| 5 |
Every additional bit reduces by a factor of , matching the usual "6 dB/bit" SQNR heuristic.
The factor is the effective SNR attenuation of the quantizer: a signal with pre-quantization SNR emerges with post-quantization. At low SNR this simplifies to , so quantization scales the SNR by a fixed factor.
Theorem: Bussgang SINR for Linear Combining
Consider the -user massive-MIMO uplink with -bit ADCs on every antenna, perfect CSI, and Gaussian inputs. Apply a linear combiner to the quantized observation. Using the Bussgang decomposition, the achievable rate of user is
where is the effective-gain factor from Definition DBussgang Distortion Factor and is the Bussgang distortion covariance.
The linear-combining analysis we already know from Chapter 9 carries over verbatim, with two modifications: (i) desired and interfering powers shrink by , and (ii) an extra distortion term joins the thermal noise. In the massive-MIMO limit with i.i.d. users the distortion is diagonally dominant, so MRC and MMSE designs look almost identical to the infinite-precision case but with a constant penalty in the SINR denominator.
Apply Bussgang
Write . After linear combining, . Absorb into the effective channel .
Signal and interference powers
Because is (approximately) diagonal with , the effective signal power of user is . Interferers scale the same way.
Noise and distortion
The effective noise is , with covariance . The distortion is uncorrelated with signal and noise by construction, adding .
Shannon lower bound
Treating the distortion as Gaussian worst-case noise gives the lower bound on the mutual information stated in the theorem, by the standard Gaussian-worst-case argument (cf. Book ITA Ch. 14).
Effective SNR After -Bit Quantization
Sweep the per-antenna SNR and plot the post-Bussgang effective SNR for . Observe the asymptotic SNR ceiling for small at high SNR — 1 bit caps around dB, 4 bits essentially match infinite precision over any reasonable range.
Parameters
Example: Bussgang SINR in a Two-User Massive Uplink
A 1-bit massive-MIMO uplink has antennas and users. Both channels are i.i.d. Rayleigh with and both users transmit at per-antenna SNR dB (). The base station uses MRC. Estimate the SINR and rate of user 1.
Array-combined SNR and parameters
. , .
Bussgang SINR
Using Theorem TBussgang SINR for Linear Combining with MRC and the favorable propagation approximation : With and treating the residual inter-user term as (small): .
Rate
bits/use. The ideal MRC rate would be bits/use, so the 1-bit receiver retains roughly — worse than the of the low-SNR approximation because the array gain has pushed the effective SNR into the quantization-noise-dominated regime.
Bussgang-LMMSE Detector for a 1-Bit Uplink
Complexity: per coherence blockSteps 1–4 can be precomputed once per coherence block, amortizing their cost over hundreds of data symbols. The element-wise arcsine in Step 3 is the Van Vleck identity; for real-valued it is a scalar operation on each off-diagonal entry.
Common Mistake: Distortion Is Uncorrelated — Not Independent
Mistake:
Because the Bussgang residual is orthogonal to the input by construction, it is tempting to treat it as statistically independent Gaussian noise and plug it straight into mutual-information formulas.
Correction:
Orthogonality (zero cross-correlation) is not independence. is a deterministic nonlinear function of , so and share information through higher-order moments. What the Bussgang decomposition gives is (a) the linear part of the quantizer's input-output relationship exactly, and (b) a lower bound on the mutual information obtained by treating the distortion as the worst-case (Gaussian) noise with the correct covariance. The bound is tight at low SNR and becomes increasingly loose at high SNR — another reminder that 1-bit massive MIMO is a low-to-moderate SNR technology, not a high-SNR one.
Why This Matters: Bussgang Beyond Quantization
The Bussgang decomposition applies to any memoryless nonlinearity with finite second moment, not just ADC quantizers. It is the standard tool for analyzing nonlinear power amplifiers at the transmit side (Book CM Ch. 8), phase-noise distortion (Book FSP Ch. 9), and even nonlinear digital-predistortion residuals in modern base-station radios. The same linearization will reappear in Chapter 20 when we study phase-shifter quantization in hybrid beamforming — mirror image of the 1-bit ADC on the transmit side.
Key Takeaway
Bussgang linearizes any memoryless nonlinearity at the cost of a distortion term that is only uncorrelated with the input. For a -bit quantizer the result is a rate expression that looks like the infinite-precision one with two edits: desired and interfering powers scale by , and an extra diagonal-dominant distortion covariance is added to the noise. For 1-bit, , recovering the dB low-SNR loss of the previous section.
Bussgang decomposition
For any zero-mean Gaussian input passed through a memoryless nonlinearity , the identity with , where is the Bussgang matrix and the residual distortion. The workhorse for analyzing 1-bit and low-resolution MIMO receivers.
Related: 1-bit ADC, Mixed-ADC Massive MIMO Receiver, Arcsine Law for 1-Bit Correlation
Quick Check
For a 1-bit uniform quantizer applied to a zero-mean Gaussian input, which value of the Bussgang distortion factor (i.e., the residual power fraction) is correct?
The Bussgang factor for the sign quantizer of a unit-variance Gaussian is , so the residual fraction is .