MGF-Based Error Analysis and Craig's Formula

From AWGN to Fading: Why MGFs?

In AWGN the signal energy is deterministic and error probability is a clean function of SNR\text{SNR}. Wireless channels are fading — the received energy is itself a random variable γ\gamma with some distribution fγf_\gamma. The average error probability is therefore Pˉe=Eγ[Pe(γ)]\bar P_e = \mathbb{E}_\gamma[P_e(\gamma)]. Direct numerical integration is feasible but uninformative; the moment generating function (MGF) method converts these averages into one-dimensional integrals of the channel MGF — often producing closed forms and, more importantly, exposing the diversity order directly.

Definition:

Craig's Formula for the Q-function

Craig (1991) showed that the Gaussian tail can be written as a definite integral: Q(x)  =  1π0π/2exp ⁣(x22sin2θ)dθ,x0.Q(x) \;=\; \frac{1}{\pi}\int_0^{\pi/2} \exp\!\left(-\frac{x^2}{2\sin^2\theta}\right)d\theta, \qquad x \geq 0. The generalization Q2(x)=1π0π/4exp(x2/(2sin2θ))dθQ^{2}(x) = \frac{1}{\pi}\int_0^{\pi/4} \exp(-x^2/(2\sin^2\theta))\,d\theta is also useful for error-floor analysis.

The power of Craig's formula is that its integrand is bounded and finite over the full integration range [0,π/2][0,\pi/2] — unlike the usual Q(x)=x12πet2/2dtQ(x) = \int_x^\infty \frac{1}{\sqrt{2\pi}}e^{-t^2/2}dt, where the infinite upper limit complicates averaging over xx.

Theorem: Proof of Craig's Formula

For x0x \geq 0, Q(x)=1π0π/2exp(x2/(2sin2θ))dθQ(x) = \frac{1}{\pi}\int_0^{\pi/2} \exp(-x^2/(2\sin^2\theta))\,d\theta.

Interpret Q(x)Q(x) as the probability that a 2-D standard Gaussian vector lies outside a half-plane; convert to polar coordinates and the radial integral evaluates in closed form, leaving only an angular integral.

Theorem: MGF-Based Averaging of Q-function over Fading

Let the instantaneous symbol SNR be γ\gamma with MGF Mγ(s)=E[esγ]M_\gamma(s) = \mathbb{E}[e^{s\gamma}]. Then Eγ[Q(2aγ)]  =  1π0π/2Mγ ⁣(asin2θ)dθ.\mathbb{E}_\gamma\bigl[Q(\sqrt{2a\gamma})\bigr] \;=\; \frac{1}{\pi}\int_0^{\pi/2} M_\gamma\!\left(-\frac{a}{\sin^2\theta}\right) d\theta. For MM-PSK with equal priors in fading, the exact average symbol error probability is PˉeMPSK  =  1π0(M1)π/MMγ ⁣(sin2(π/M)sin2θ)dθ.\bar P_e^{\text{MPSK}} \;=\; \frac{1}{\pi}\int_0^{(M-1)\pi/M} M_\gamma\!\left(-\frac{\sin^2(\pi/M)}{\sin^2\theta}\right) d\theta.

Applying Craig's formula inside the expectation and swapping the order of integration turns a "fading-averaged Q-function" into "MGF evaluated at an angle-dependent argument, then integrated over a bounded angle range." Because the MGF of many common fading distributions (Rayleigh, Ricean, Nakagami-m) has a closed form, we get closed-form expressions for Pˉe\bar P_e.

Example: BPSK in Rayleigh Fading

In Rayleigh fading, γExp(γˉ)\gamma \sim \text{Exp}(\bar\gamma) with mean γˉ\bar\gamma. Compute the average BPSK error probability Pˉe=Eγ[Q(2γ)]\bar P_e = \mathbb{E}_\gamma[Q(\sqrt{2\gamma})], and find its high-SNR slope.

Theorem: Diversity Order from the MGF

Suppose Mγ(s)csLM_\gamma(s) \sim c|s|^{-L} as s|s|\to\infty for some constants c,L>0c, L > 0. Then for any constellation at high SNR, Pˉe(γˉ)  =  O(γˉL),γˉ.\bar P_e(\bar\gamma) \;=\; O(\bar\gamma^{-L}), \qquad \bar\gamma \to \infty. The exponent LL is called the diversity order of the channel. Rayleigh fading has L=1L=1; LL-branch MRC or a Nakagami-mm channel with parameter m=Lm=L has diversity order LL.

The fading-averaged BER at high SNR is governed by the behaviour of the MGF near -\infty; this behaviour is controlled by how quickly the fading distribution puts mass near γ=0\gamma = 0 (deep-fade probability). Diversity techniques reduce the mass near zero, raising LL.

MGF-Based SER in Rayleigh and Nakagami Fading

Compute the exact fading-averaged SER via Craig's integral for M-PSK under Rayleigh and Nakagami-mm fading and compare with the AWGN baseline. The diversity-order slope L-L (dB/decade) emerges on the log-log plot.

Parameters
40

Why This Matters: MGF Method in Research

The MGF method is the workhorse of performance analysis in wireless communications research. Every major textbook on fading channels (Simon and Alouini's Digital Communication over Fading Channels, 2005) tabulates MGFs for dozens of fading distributions. The method extends to diversity combining (MRC, EGC, SC), cooperative relaying, RIS-assisted channels, and cell-free massive MIMO — a single formula covers all of them once the SNR MGF is derived.

See full treatment in Chapter 4

Common Mistake: Sign Conventions for the MGF

Mistake:

Some books define MX(s)=E[esX]M_X(s) = \mathbb{E}[e^{sX}] while others use MX(s)=E[esX]M_X(s) = \mathbb{E}[e^{-sX}] (the Laplace transform of the pdf), flipping the sign of ss. Applying a formula from a mismatched source silently gives a wrong answer.

Correction:

We adopt Mγ(s)=E[esγ]M_\gamma(s) = \mathbb{E}[e^{s\gamma}] throughout, which is the statistics-textbook convention. Under this convention, the MGF formula for fading-averaged QQ evaluates MγM_\gamma at negative arguments. If you import a formula, verify the sign convention by checking the Rayleigh case against the closed-form result PˉeBPSK,Rayleigh=12(1γˉ/(1+γˉ))\bar P_e^{\text{BPSK},\text{Rayleigh}} = \tfrac{1}{2}(1 - \sqrt{\bar\gamma/(1+\bar\gamma)}).

Historical Note: Craig's 1991 Insight

1991-1998

James Craig introduced his alternative Q-function representation in a 1991 MILCOM paper titled "A New, Simple and Exact Result for Calculating the Probability of Error for Two-Dimensional Signal Constellations." The formula had been hiding in plain sight for decades but no one had recognized its value for fading analysis. Simon and Alouini popularized the MGF method built around Craig's formula in a series of papers through the mid-1990s, culminating in their 2005 textbook which tabulates error formulas for essentially every fading distribution and modulation of practical interest.

🎓CommIT Contribution(2023)

MGF Tools for ISAC Performance Analysis

G. Caire, F. LiuIEEE Transactions on Wireless Communications

In recent work, Caire and collaborators at TU Berlin extended the MGF-based error-analysis framework from pure communications to integrated sensing and communication (ISAC) scenarios. The key observation: both the detection probability (sensing) and the symbol-error probability (communication) can be expressed via MGFs of the same effective channel gain, enabling a unified Pareto-front analysis of the sensing-communication tradeoff in generalized fading environments.

mgfisacfadingtradeoffView Paper →

Quick Check

A receiver uses 3-branch MRC with i.i.d. Rayleigh fading per branch. What is the diversity order LL of the combined SNR?

1

2

3

6