The Data Processing Inequality

Entropy Chain Rule

Figure 1: Entropy visualization for two random variables using Venn diagrams.

As we increase the number of random variables we are dealing with, it is important to understand how this increase affects entropy. We have previously shown that for two random variables $X$ and $Y$:

${\begin{aligned}H\left(X,Y\right)&=H\left(X\right)+H\left(Y\mid X\right)\\&=H\left(Y\right)+H\left(X\mid Y\right)\\&=H\left(Y,X\right)\end{aligned}}$

(1)

We can use Venn diagrams to visualize these relationships, as seen in Fig. 1. For three random variables $X$, $Y$, and $Z$:

${\begin{aligned}H\left(X,Y,Z\right)&=H\left(X\right)+H\left(Y,Z\mid X\right)\\&=H\left(X\right)+H\left(Y\mid X\right)+H\left(Z\mid Y,X\right)\\\end{aligned}}$

(2)

In general:

$H\left(X_{1},X_{2},\ldots ,X_{n}\right)=\sum _{i=1}^{n}H\left(X_{i}\mid X_{i-1},X_{i-2},\ldots ,X_{1}\right)$

(3)

Conditional Mutual Information

Conditional mutual information is defined as the expected value of the mutual information of two random variables given the value of a third random variable, and for three random variables $X$, $Y$, and $Z$, it is defined as:

${\begin{aligned}I\left(X;Y\mid Z\right)&=\sum _{z\in Z}P\left(z\right)\sum _{y\in Y}\sum _{x\in X}P\left(x,y\mid z\right)\cdot \log _{2}{\frac {P\left(x,y\mid z\right)}{P\left(x\mid z\right)\cdot P\left(y\mid z\right)}}\\&=\sum _{z\in Z}\sum _{y\in Y}\sum _{x\in X}P\left(x,y,z\right)\cdot \log _{2}{\frac {P\left(x,y,z\right)\cdot P\left(z\right)}{P\left(x,z\right)\cdot P\left(y,z\right)}}\\\end{aligned}}$

(4)

We can rewrite the definition of conditional mutual information as:

${\begin{aligned}I\left(X;Y\mid Z\right)&=\sum _{z\in Z}\sum _{y\in Y}\sum _{x\in X}P\left(x,y,z\right)\cdot \log _{2}{\frac {P\left(x,y,z\right)\cdot P\left(z\right)}{P\left(x,z\right)\cdot P\left(y,z\right)}}\\&=\sum _{z\in Z}\sum _{y\in Y}\sum _{x\in X}P\left(x,y,z\right)\cdot \left(\log _{2}{\frac {P\left(z\right)}{P\left(x,z\right)}}-\log _{2}{\frac {P\left(y,z\right)}{P\left(x,y,z\right)}}\right)\\&=\sum _{z\in Z}\sum _{y\in Y}\sum _{x\in X}P\left(x,y,z\right)\cdot \log _{2}{\frac {P\left(z\right)}{P\left(x,z\right)}}-\sum _{z\in Z}\sum _{y\in Y}\sum _{x\in X}P\left(x,y,z\right)\cdot \log _{2}{\frac {P\left(y,z\right)}{P\left(x,y,z\right)}}\\&=\sum _{y\in Y}P\left(y\right)\sum _{z\in Z}\sum _{x\in X}P\left(x,z\mid y\right)\cdot \log _{2}{\frac {P\left(z\right)}{P\left(x,z\right)}}-\sum _{z\in Z}\sum _{y\in Y}\sum _{x\in X}P\left(x,y,z\right)\cdot \log _{2}{\frac {P\left(y,z\right)}{P\left(x,y,z\right)}}\\&=\sum _{z\in Z}\sum _{x\in X}P\left(x,z\right)\cdot \log _{2}{\frac {P\left(z\right)}{P\left(x,z\right)}}-\sum _{z\in Z}\sum _{y\in Y}\sum _{x\in X}P\left(x,y,z\right)\cdot \log _{2}{\frac {P\left(y,z\right)}{P\left(x,y,z\right)}}\\&=H\left(X\mid Z\right)-H\left(X\mid Y,Z\right)\\\end{aligned}}$

(5)

Figure 2: Entropy visualization for three random variables using Venn diagrams.

We can visualize this relationship using the Venn diagrams in Fig. 2. Compare this to our expression for the mutual information of two random variables $X$ and $Y$:

$I\left(X;Y\right)=H\left(X\right)-H\left(X\mid Y\right)$

(6)

Chain Rule for Mutual Information

For random variables $X$ and $Z$:

$I\left(X;Z\right)=H\left(X\right)-H\left(X\mid Z\right)$

(7)

And for random variables $X$, $Y$ and $Z$:

$I\left(X;Y,Z\right)=H\left(X\right)-H\left(X\mid Y,Z\right)$

(8)

We can then express the conditional mutual information as:

${\begin{aligned}I\left(X;Y\mid Z\right)&=H\left(X\mid Z\right)-H\left(X\mid Y,Z\right)\\&=H\left(X\right)-I\left(X;Z\right)+I\left(X;Y,Z\right)-H\left(X\right)\\&=I\left(X;Y,Z\right)-I\left(X;Z\right)\\\end{aligned}}$

(9)

Rearranging, we then obtain the chain rule for mutual information:

$I\left(X;Y,Z\right)=I\left(X;Y\mid Z\right)+I\left(X;Z\right)$

(10)

Thus, we can extend this for additional random variables:

${\begin{aligned}I\left(Y;X_{1},X_{2},X_{3}\right)&=I\left(Y;X_{3}\mid X_{2},X_{1}\right)+I\left(Y;X_{2},X_{1}\right)\\&=I\left(Y;X_{3}\mid X_{2},X_{1}\right)+I\left(Y;X_{2}\mid X_{1}\right)+I\left(Y;X_{1}\right)\\\end{aligned}}$

(11)

In general:

$I\left(Y;X_{1},X_{2},\ldots ,X_{n}\right)=\sum _{i=1}^{n}I\left(Y;X_{i}\mid X_{i-1},X_{i-2},\dots ,X_{1}\right)$

(12)

Markovity

A Markov Chain is a random process that describes a sequence of possible events where the probability of each event depends only on the outcome of the previous event. Thus, we say that $X,Y,Z$ is a Markov chain in this order, denoted as:

$X\rightarrow Y\rightarrow Z$

(13)

If we can write:

$P\left(X=x,Y=y,Z=z\right)=P\left(Z=z\mid Y=y\right)\cdot P\left(Y=y\mid X=x\right)\cdot P\left(X=x\right)$

(14)

Or in a more compact form:

$P\left(x,y,z\right)=P\left(z\mid y\right)\cdot P\left(y\mid x\right)\cdot P\left(x\right)$

(15)

We can use Markov chains to model how a signal is corrupted when passed through noisy channels. For example, if $X$ is a binary signal, it can change with a certain probability, $p$, to $Y$, and it can again be corrupted to produce $Z$.

Consider the joint probability $P\left(x,z\mid y\right)$. We can express this as:

$P\left(x,z\mid y\right)={\frac {P\left(x,y,z\right)}{P\left(y\right)}}$

(16)

And if $X\rightarrow Y\rightarrow Z$, we get:

$P\left(x,z\mid y\right)={\frac {P\left(z\mid y\right)\cdot P\left(y\mid x\right)\cdot P\left(x\right)}{P\left(y\right)}}$

(17)

Since $P\left(y,x\right)=P\left(y\mid x\right)\cdot P\left(x\right)=P\left(x\mid y\right)\cdot P\left(y\right)$, we can write:

$P\left(x,z\mid y\right)={\frac {P\left(z\mid y\right)\cdot P\left(y,x\right)}{P\left(y\right)}}=P\left(z\mid y\right)\cdot P\left(x\mid y\right)$

(18)

Thus, we can say that $X$ and $Z$ are conditionally independent given $Y$. If we think of $X$ as some past event, and $Z$ as some future event, then the past and future events are independent if we know the present event $Y$. Note that this property is good definition of, as well as a useful tool for checking Markovity.

We can rewrite the joint probability $P\left(x,y,z\right)$ as:

${\begin{aligned}P\left(x,y,z\right)&=P\left(z\mid y\right)\cdot P\left(y\mid x\right)\cdot P\left(x\right)\\&={\frac {P\left(z,y\right)}{P\left(y\right)}}\cdot P\left(y,x\right)\\&={\frac {P\left(z,y\right)}{P\left(y\right)}}\cdot P\left(x\mid y\right)\cdot P\left(y\right)\\&=P\left(z,y\right)\cdot P\left(x\mid y\right)\\&=P\left(x\mid y\right)\cdot P\left(y\mid z\right)\cdot P\left(z\right)\\\end{aligned}}$

(19)

Therefore, if $X\rightarrow Y\rightarrow Z$, then it follows that $Z\rightarrow Y\rightarrow X$.

The Data Processing Inequality

Figure 3: Venn diagram visualizationn of mutual information in a Markov chain.

Consider three random variables, $X$, $Y$, and $Z$. The mutual information $I\left(X;Y,Z\right)$ can be expressed as:

${\begin{aligned}I\left(X;Y,Z\right)&=I\left(X;Y\mid Z\right)+I\left(X;Z\right)\\&=I\left(X;Z\mid Y\right)+I\left(X;Y\right)\\\end{aligned}}$

(20)

If $X\rightarrow Y\rightarrow Z$, i.e. $X$, $Y$, and $Z$ form a Markov chain, then $X$ is conditionally independent of $Z$ given $Y$, resulting in $I\left(X;Z\mid Y\right)=0$. Thus,

${\begin{aligned}I\left(X;Y\mid Z\right)+I\left(X;Z\right)&=I\left(X;Z\mid Y\right)+I\left(X;Y\right)\\I\left(X;Y\mid Z\right)+I\left(X;Z\right)&=I\left(X;Y\right)\\\end{aligned}}$

(21)

And since $I\left(X;Y\mid Z\right)\geq 0$, we get the expression known as the Data Processing Inequality:

$I\left(X;Z\right)\leq I\left(X;Y\right)$

(21)

And since $Z\rightarrow Y\rightarrow X$ is also a Markov chain, then:

$I\left(Z;X\right)\leq I\left(Z;Y\right)$

(22)

We can visualize this relation using the Venn diagrams in Fig. 3. Note that the equality occurs when $I\left(X;Y\mid Z\right)=0$. It should also be evident that $X\mid Y$ is independent of $Z\mid Y$ given $Y$, and that $I\left(X;Z\mid Y\right)=0$.

Essentially, the data processing inequality implies that no amount of processing or clever manipulation of data can improve inference. Stated in another way, no clever transformation of the received code $Y$ can give more information about the sent code $X$. This implies that:

• We will loose information when we process information (downside).
• In some cases, the equality still holds even if we discard something (upside). This motivates our exploration of the concept of sufficient statistics.

Sufficient Statistics

Given a family of distributions $\{f_{\theta }\left(x\right)\}$ indexed by a parameter $\theta$. If $X$ is a sample from $f_{\theta }$, and $T\left(X\right)$ is any statistic, then we get the Markov chain:

$\theta \rightarrow X\rightarrow T\left(X\right)$

(23)

From the data processing inequality, we get:

$I\left(\theta ;T\left(X\right)\right)\leq I\left(\theta ;X\right)$

(24)

We say that a statistic is sufficient for $\theta$ if it contains all the information in $X$ about $\theta$. Mathematically, this means:

$I\left(\theta ;T\left(X\right)\right)=I\left(\theta ;X\right)$

(25)

Or equivalently:

$\theta \rightarrow T\left(X\right)\rightarrow X$

(26)