Complex normal distribution explained

In probability theory, the family of complex normal distributions, denoted

l{CN} or l{N} _{l{C} }, characterizes complex random variables whose real and imaginary parts are jointly normal.^[1] The complex normal family has three parameters: location parameter μ, covariance matrix \Gamma , and the relation matrix C . The standard complex normal is the univariate distribution with \mu = 0 , \Gamma =1 , and C =0 .

An important subclass of complex normal family is called the circularly-symmetric (central) complex normal and corresponds to the case of zero relation matrix and zero mean:

\mu = 0 and C =0 .^[2] This case is used extensively in signal processing, where it is sometimes referred to as just complex normal in the literature.

Definitions

Complex standard normal random variable

The standard complex normal random variable or standard complex Gaussian random variable is a complex random variable

Z whose real and imaginary parts are independent normally distributed random variables with mean zero and variance 1 / 2 .^{[3] [4]} Formally,

where

Z \sim l{CN}(0,1) denotes that Z is a standard complex normal random variable.

Complex normal random variable

Suppose

X and Y are real random variables such that (X,Y) ^{T} is a 2-dimensional normal random vector. Then the complex random variable Z = X + iY is called complex normal random variable or complex Gaussian random variable.^[3]

Complex standard normal random vector

A n-dimensional complex random vector

Z = (Z _{1,\ldots,Z} ^{T} ^{n)} is a complex standard normal random vector or complex standard Gaussian random vector if its components are independent and all of them are standard complex normal random variables as defined above.^{[3] [4]} That Z is a standard complex normal random vector is denoted Z \sim l{CN}(0,\boldsymbol{I} _{n)} .

Complex normal random vector

If

X = (X _{1,\ldots,X} ^{T} ^{n)} and Y = (Y _{1,\ldots,Y} ^{T} ^{n)} are random vectors in R ^{n} such that [ X , Y ] is a normal random vector with 2 n components. Then we say that the complex random vectorZ = X + i Y is a complex normal random vector or a complex Gaussian random vector.

Mean, covariance, and relation

The complex Gaussian distribution can be described with 3 parameters:^[5]

\mu = \operatorname{E}[ Z ], \Gamma = \operatorname{E}[( Z - \mu)({ Z }-\mu)^], \quad C = \operatorname[(\mathbf{Z}-\mu)(\mathbf{Z}-\mu)^{\mathrm T}], where Z ^{T} denotes matrix transpose of Z , and Z ^{H} denotes conjugate transpose.^{[3] [4]} \mu is a n-dimensional complex vector; the covariance matrix \Gamma is Hermitian and non-negative definite; and, the relation matrix or pseudo-covariance matrix C is symmetric. The complex normal random vector Z can now be denoted as$$\backslash mathbf\backslash \; \backslash sim\backslash \; \backslash mathcal(\backslash mu,\backslash \; \backslash Gamma,\backslash \; C).$$Moreover, matrices \Gamma and C are such that the matrixP = \overline{\Gamma} - {C} ^{H} \Gamma ^{-1} C is also non-negative definite where \overline{\Gamma} denotes the complex conjugate of \Gamma .^[5]

Relationships between covariance matrices

As for any complex random vector, the matrices

\Gamma and C can be related to the covariance matrices of X = \Re( Z ) and Y = \Im( Z ) via expressions\begin{align} & V _{XX} \equiv \operatorname{E}[( X - \mu _{X)(X-\mu} ^{T] =} ^{X)} \tfrac{ 1 }{ 2 }\operatorname{Re}[\Gamma + C], V _{XY} \equiv \operatorname{E}[( X - \mu _{X)(Y-\mu} ^{T] =} ^{Y)} \tfrac{ 1 }{ 2 }\operatorname{Im}[ - \Gamma + C], \\ & V _{YX} \equiv \operatorname{E}[( Y - \mu _{Y)(X-\mu} ^{T] =} ^{X)} \tfrac{ 1 }{ 2 }\operatorname{Im}[\Gamma + C], V _{YY} \equiv \operatorname{E}[( Y - \mu _{Y)(Y-\mu} ^{T] =} ^{Y)} \tfrac{ 1 }{ 2 }\operatorname{Re}[\Gamma - C], \end{align} and conversely\begin{align} & \Gamma = V _{XX} + V _{YY} + i(V _{YX} - V _{XY} ), \\ & C = V _{XX} - V _{YY} + i(V _{YX} + V _{XY} ). \end{align}

Density function

The probability density function for complex normal distribution can be computed as

\begin{align} f(z) & = (1)/(\pi ^{n\sqrt{\det(\Gamma)\det(P)}) }\, \exp\!\left\ \\[8pt] &= \tfrac\, e^, \end

where

R = C ^{H} \Gamma ^{-1} and P = \overline{\Gamma} - RC .

Characteristic function

The characteristic function of complex normal distribution is given by^[5]

\varphi(w) = \exp \ {i\operatorname{Re}(\overline{w}'\mu) - \tfrac{ 1 }{ 4 } ( \overline{w}'\Gamma w + \operatorname{Re}(\overline{w}'C\overline{w}) ) \ }, where the argument w is an n-dimensional complex vector.

Properties

• If

Z is a complex normal n-vector, \boldsymbol{A} an m×n matrix, and b a constant m-vector, then the linear transform \boldsymbol{A} Z + b will be distributed also complex-normally:Z \sim l{CN}(\mu, \Gamma, C) ⇒ AZ + b \sim l{CN}(A\mu+b, A \Gamma A ^{H} , A C A ^{T} )

• If

Z is a complex normal n-vector, then2 [ ( Z - \mu) ^{H} \overline{P ^{-1} }(\mathbf-\mu) - \operatorname\big((\mathbf-\mu)^ R^ \overline(\mathbf-\mu)\big) \Big]\ \sim\ \chi^2(2n)

• Central limit theorem. If

Z _{1,\ldots,Z} _{T} are independent and identically distributed complex random variables, then\sqrt{T} ( \tfrac{ 1 }{T} style\sum ^{T} _{t =1} Z _{t} - \operatorname{E}[Z _{t])} \xrightarrow{d} l{CN}(0,\Gamma,C),

where

\Gamma = \operatorname{E}[Z Z ^{H} ] and C = \operatorname{E}[Z Z ^{T} ] .

• The modulus of a complex normal random variable follows a Hoyt distribution.^[6]

Circularly-symmetric central case

Definition

A complex random vector

Z is called circularly symmetric if for every deterministic \varphi \in [ - \pi,\pi) the distribution of e ^{i\varphi} Z equals the distribution of Z .^[4]

Central normal complex random vectors that are circularly symmetric are of particular interest because they are fully specified by the covariance matrix

\Gamma .

The circularly-symmetric (central) complex normal distribution corresponds to the case of zero mean and zero relation matrix, i.e.

\mu = 0 and C =0 .^{[3] [7]} This is usually denoted Z \sim l{CN}(0,\Gamma)

Distribution of real and imaginary parts

If

Z = X + i Y is circularly-symmetric (central) complex normal, then the vector [ X , Y ] is multivariate normal with covariance structure\begin{pmatrix} X \ Y \end{pmatrix} \sim l{N} ( \begin{bmatrix} 0 \\ 0 \end{bmatrix}, \tfrac{ 1 }{ 2 }\begin{bmatrix} \operatorname{Re}\Gamma & - \operatorname{Im}\Gamma \\ \operatorname{Im}\Gamma & \operatorname{Re}\Gamma \end{bmatrix} ) where \Gamma = \operatorname{E}[ Z Z ^{H} ] .

Probability density function

For nonsingular covariance matrix

\Gamma , its distribution can also be simplified as^[3] f _{Z} ( z ) = \tfrac{ 1 }{\pi ^{n} \det(\Gamma)} e ^{- ( z - \mu ) ^{H} \Gamma ^{-1} ( z - \mu )} .

Therefore, if the non-zero mean

\mu and covariance matrix \Gamma are unknown, a suitable log likelihood function for a single observation vector z would beln (L(\mu,\Gamma)) = -ln (\det(\Gamma)) - \overline{(z - \mu)}' \Gamma ^{-1} (z - \mu) - n ln (\pi).

The standard complex normal (defined in) corresponds to the distribution of a scalar random variable with

\mu = 0 , C =0 and \Gamma =1 . Thus, the standard complex normal distribution has densityf _{Z(z)} = \tfrac{ 1 }{\pi} e ^{-\overline{z} z} = \tfrac{ 1 }{\pi} e ^{- |z| ^{2}} .

Properties

The above expression demonstrates why the case

C =0 , \mu = 0 is called “circularly-symmetric”. The density function depends only on the magnitude of z but not on its argument. As such, the magnitude |z| of a standard complex normal random variable will have the Rayleigh distribution and the squared magnitude |z| ^{2} will have the exponential distribution, whereas the argument will be distributed uniformly on [ - \pi,\pi] .

If

\left\{ Z _{1,\ldots,Z} _{k} \right\} are independent and identically distributed n-dimensional circular complex normal random vectors with \mu = 0 , then the random squared normQ = \sum ^{k} _{j =1} Z ^{H} _{j} Z _{j} = \sum ^{k} _{j =1} \| Z _{j} \| ^{2} has the generalized chi-squared distribution and the random matrixW = \sum ^{k} _{j =1} Z _{j} Z ^{H} _{j} has the complex Wishart distribution with k degrees of freedom. This distribution can be described by density functionf(w) = (\det(\Gamma ^{-1} ) ^{k\det(w)} ^{k-n})/(\pi ^{n(n -1 )/ 2} \prod ^{k(k - j)!} _{j =1}) e ^{-\operatorname{tr} (\Gamma ^{-1} w)} where k \ge n , and w is a n x n nonnegative-definite matrix.

See also

• Complex normal ratio distribution
• (polar form)
• Normal distribution
• Multivariate normal distribution (a complex normal distribution is a bivariate normal distribution)
• Generalized chi-squared distribution
• Wishart distribution
• Complex random variable

Notes and References

1. N.R. . Goodman . 1963 . Statistical analysis based on a certain multivariate complex Gaussian distribution (an introduction) . The Annals of Mathematical Statistics . 34 . 1 . 152–177 . 2991290 . 10.1214/aoms/1177704250 . free .
2. http://www.rle.mit.edu/rgallager/documents/CircSymGauss.pdf bookchapter, Gallager.R
3. Book: Lapidoth, A.. A Foundation in Digital Communication. Cambridge University Press . 2009 . 9780521193955.
4. Book: Tse, David . 2005 . Fundamentals of Wireless Communication . Cambridge University Press. 9781139444668 .
5. Picinbono . Bernard . 1996 . Second-order complex random vectors and normal distributions . IEEE Transactions on Signal Processing . 44 . 10 . 2637–2640 . 10.1109/78.539051 . 1996ITSP...44.2637P .
6. Web site: The Hoyt Distribution (Documentation for R package 'shotGroups' version 0.6.2) . Daniel Wollschlaeger .
7. http://www.rle.mit.edu/rgallager/documents/CircSymGauss.pdf bookchapter, Gallager.R