# Normally distributed and uncorrelated does not imply independent

In probability theory, although simple examples illustrate that linear uncorrelatedness of two random variables does not in general imply their independence, it is sometimes mistakenly thought that it does imply that when the two random variables are normally distributed. This article demonstrates that assumption of normal distributions does not have that consequence, although the multivariate normal distribution, including the bivariate normal distribution, does.

To say that the pair ${\displaystyle (X,Y)}$ of random variables has a bivariate normal distribution means that every linear combination ${\displaystyle aX+bY}$ of ${\displaystyle X}$ and ${\displaystyle Y}$ for constant (i.e. not random) coefficients ${\displaystyle a}$ and ${\displaystyle b}$ has a univariate normal distribution. In that case, if ${\displaystyle X}$ and ${\displaystyle Y}$ are uncorrelated then they are independent.[1] However, it is possible for two random variables ${\displaystyle X}$ and ${\displaystyle Y}$ to be so distributed jointly that each one alone is marginally normally distributed, and they are uncorrelated, but they are not independent; examples are given below.

## Examples

### A symmetric example

Joint range of ${\displaystyle X}$  and ${\displaystyle Y}$ . Darker indicates higher value of the density function.

Suppose ${\displaystyle X}$  has a normal distribution with expected value 0 and variance 1. Let ${\displaystyle W}$  have the Rademacher distribution, so that ${\displaystyle W=1}$  or ${\displaystyle W=-1}$ , each with probability 1/2, and assume ${\displaystyle W}$  is independent of ${\displaystyle X}$ . Let ${\displaystyle Y=WX}$ . Then

• ${\displaystyle X}$  and ${\displaystyle Y}$  are uncorrelated;
• both have the same normal distribution; and
• ${\displaystyle X}$  and ${\displaystyle Y}$  are not independent.[2]

To see that ${\displaystyle X}$  and ${\displaystyle Y}$  are uncorrelated, one may consider the covariance ${\displaystyle \operatorname {cov} (X,Y)}$ : by definition, it is

${\displaystyle \operatorname {cov} (X,Y)=\operatorname {E} (XY)-\operatorname {E} (X)\operatorname {E} (Y).}$

Then by definition of the random variables ${\displaystyle X}$ , ${\displaystyle Y}$ , and ${\displaystyle W}$ , and the independence of ${\displaystyle W}$  from ${\displaystyle X}$ , one has

${\displaystyle \operatorname {cov} (X,Y)=\operatorname {E} (XY)-0=\operatorname {E} (X^{2}W)=\operatorname {E} (X^{2})\operatorname {E} (W)=\operatorname {E} (X^{2})\cdot 0=0.}$

To see that ${\displaystyle Y}$  has the same normal distribution as ${\displaystyle X}$ , consider

{\displaystyle {\begin{aligned}\Pr(Y\leq x)&{}=\operatorname {E} (\Pr(Y\leq x\mid W))\\&{}=\Pr(X\leq x)\Pr(W=1)+\Pr(-X\leq x)\Pr(W=-1)\\&{}=\Phi (x)\cdot {\frac {1}{2}}+\Phi (x)\cdot {\frac {1}{2}}\end{aligned}}}

(since ${\displaystyle X}$  and ${\displaystyle -X}$  both have the same normal distribution), where ${\displaystyle \Phi (x)}$  is the cumulative distribution function of the normal distribution..

To see that ${\displaystyle X}$  and ${\displaystyle Y}$  are not independent, observe that ${\displaystyle |Y|=|X|}$  or that ${\displaystyle \operatorname {Pr} (Y>1|X=1/2)=\operatorname {Pr} (X>1|X=1/2)=0}$ .

Finally, the distribution of the simple linear combination ${\displaystyle X+Y}$  concentrates positive probability at 0: ${\displaystyle \operatorname {Pr} (X+Y=0)=1/2}$ . Therefore, the random variable ${\displaystyle X+Y}$  is not normally distributed, and so also ${\displaystyle X}$  and ${\displaystyle Y}$  are not jointly normally distributed (by the definition above).

### An asymmetric example

The joint density of ${\displaystyle X}$  and ${\displaystyle Y}$ . Darker indicates a higher value of the density.

Suppose ${\displaystyle X}$  has a normal distribution with expected value 0 and variance 1. Let

${\displaystyle Y=\left\{{\begin{matrix}X&{\text{if }}\left|X\right|\leq c\\-X&{\text{if }}\left|X\right|>c\end{matrix}}\right.}$

where ${\displaystyle c}$  is a positive number to be specified below. If ${\displaystyle c}$  is very small, then the correlation ${\displaystyle \operatorname {corr} (X,Y)}$  is near ${\displaystyle -1}$  if ${\displaystyle c}$  is very large, then ${\displaystyle \operatorname {corr} (X,Y)}$  is near 1. Since the correlation is a continuous function of ${\displaystyle c}$ , the intermediate value theorem implies there is some particular value of ${\displaystyle c}$  that makes the correlation 0. That value is approximately 1.54. In that case, ${\displaystyle X}$  and ${\displaystyle Y}$  are uncorrelated, but they are clearly not independent, since ${\displaystyle X}$  completely determines ${\displaystyle Y}$ .

To see that ${\displaystyle Y}$  is normally distributed—indeed, that its distribution is the same as that of ${\displaystyle X}$  —one may compute its cumulative distribution function:

{\displaystyle {\begin{aligned}\Pr(Y\leq x)&=\Pr(\{|X|\leq c{\text{ and }}X\leq x\}{\text{ or }}\{|X|>c{\text{ and }}-X\leq x\})\\&=\Pr(|X|\leq c{\text{ and }}X\leq x)+\Pr(|X|>c{\text{ and }}-X\leq x)\\&=\Pr(|X|\leq c{\text{ and }}X\leq x)+\Pr(|X|>c{\text{ and }}X\leq x)\\&=\Pr(X\leq x),\end{aligned}}}

where the next-to-last equality follows from the symmetry of the distribution of ${\displaystyle X}$  and the symmetry of the condition that ${\displaystyle |X|\leq c}$ .

In this example, the difference ${\displaystyle X-Y}$  is nowhere near being normally distributed, since it has a substantial probability (about 0.88) of it being equal to 0. By contrast, the normal distribution, being a continuous distribution, has no discrete part—that is, it does not concentrate more than zero probability at any single point. Consequently ${\displaystyle X}$  and ${\displaystyle Y}$  are not jointly normally distributed, even though they are separately normally distributed.[3]

### Examples with support almost everywhere in ℝ2

It is well-known that the ratio ${\displaystyle C}$  of two independent standard normal random deviates ${\displaystyle X_{i}}$  and ${\displaystyle Y_{i}}$  has a Cauchy distribution. One can equally well start with the Cauchy random variable ${\displaystyle C}$  and derive the conditional distribution of ${\displaystyle Y_{i}}$  to satisfy the requirement that ${\displaystyle X_{i}=CY_{i}}$  with ${\displaystyle X_{i}}$  and ${\displaystyle Y_{i}}$  independent and standard normal. Cranking through the math one finds that

${\displaystyle Y_{i}=W_{i}{\sqrt {\frac {\chi _{i}^{2}\left(k=2\right)}{1+C^{2}}}}}$

in which ${\displaystyle W_{i}}$  is a Rademacher random variable and ${\displaystyle \chi _{i}^{2}\left(k=2\right)}$  is a Chi-squared random variable with two degrees of freedom.

Consider two sets of ${\displaystyle \left(X_{i},Y_{i}\right)}$ , ${\displaystyle i\in \left\{1,2\right\}}$ . Note that ${\displaystyle C}$  is not indexed by ${\displaystyle i}$  – that is, the same Cauchy random variable ${\displaystyle C}$  is used in the definition of both ${\displaystyle \left(X_{1},Y_{1}\right)}$  and ${\displaystyle \left(X_{2},Y_{2}\right)}$ . This sharing of ${\displaystyle C}$  results in dependences across indices: neither ${\displaystyle X_{1}}$  nor ${\displaystyle Y_{1}}$  is independent of ${\displaystyle Y_{2}}$ . Nevertheless all of the ${\displaystyle X_{i}}$  and ${\displaystyle Y_{i}}$  are uncorrelated as the bivariate distributions all have reflection symmetry across the axes.

Non-normal joint distributions with normal marginals.

The figure shows scatterplots of samples drawn from the above distribution. This furnishes two examples of bivariate distributions that are uncorrelated and have normal marginal distributions but are not independent. The left panel shows the joint distribution of ${\displaystyle X_{1}}$  and ${\displaystyle Y_{2}}$ ; the distribution has support everywhere but at the origin. The right panel shows the joint distribution of ${\displaystyle Y_{1}}$  and ${\displaystyle Y_{2}}$ ; the distribution has support everywhere except along the axes and has a discontinuity at the origin: the density diverges when the origin is approached along any straight path except along the axes.