Data processing inequality

Let three random variables form the Markov chain ${\displaystyle X\rightarrow Y\rightarrow Z}$, implying that the conditional distribution of ${\displaystyle Z}$ depends only on ${\displaystyle Y}$ and is conditionally independent of ${\displaystyle X}$. Specifically, we have such a Markov chain if the joint probability mass function can be written as

${\displaystyle p(x,y,z)=p(x)p(y|x)p(z|y)}$

In this setting, no processing of Y , deterministic or random, can increase the information that Y contains about X. Using the mutual information, this can be written as :

${\displaystyle I(X;Y)\geqslant I(X;Z)}$

With the equality ${\displaystyle I(X;Y)=I(X;Z)}$ if and only if ${\displaystyle I(X;Y|Z)=0}$, i.e. ${\displaystyle Z}$ and ${\displaystyle Y}$ contain the same information about ${\displaystyle X}$, and ${\displaystyle X\rightarrow Z\rightarrow Y}$ also forms a Markov chain.[2]

• Garbage in, garbage out

• http://www.scholarpedia.org/article/Mutual_information