Inequalities in information theory

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Inequalities are very important in the study of information theory. There are a number of different contexts in which these inequalities appear.

Shannon-type inequalities[edit]

Consider a finite collection of finitely (or at most countably) supported random variables on the same probability space. For a collection of n random variables, there are 2n − 1 such non-empty subsets for which entropies can be defined. For example, when n = 2, we may consider the entropies H(X_1), H(X_2), and H(X_1, X_2), and express the following inequalities (which together characterize the range of the marginal and joint entropies of two random variables):

  • H(X_1) \ge 0
  • H(X_2) \ge 0
  • H(X_1) \le H(X_1, X_2)
  • H(X_2) \le H(X_1, X_2)
  • H(X_1, X_2) \le H(X_1) + H(X_2).

In fact, these can all be expressed as special cases of a single inequality involving the conditional mutual information, namely

I(A;B|C) \ge 0,

where A, B, and C each denote the joint distribution of some arbitrary (possibly empty) subset of our collection of random variables. Inequalities that can be derived from this are known as Shannon-type inequalities. More formally (following the notation of Yeung [1]), define \Gamma^*_n to be the set of all constructible points in \mathbb R^{2^n-1}, where a point is said to be constructible if and only if there is a joint, discrete distribution of n random variables such that each coordinate of that point, indexed by a non-empty subset of {1, 2, ..., n}, is equal to the joint entropy of the corresponding subset of the n random variables. The closure of \Gamma^*_n is denoted \overline{\Gamma^*_n}. In general

\Gamma^*_n \subseteq \overline{\Gamma^*_n} \subseteq \Gamma_n.

The cone in \mathbb R^{2^n-1} characterized by all Shannon-type inequalities among n random variables is denoted \Gamma_n. Software has been developed to automate the task of proving such inequalities [2] .[3] Given an inequality, such software is able to determine whether the given inequality contains the cone \Gamma_n, in which case the inequality can be verified, since \Gamma^*_n \subseteq \Gamma_n.

Non-Shannon-type inequalities[edit]

Other, less trivial inequalities have been discovered among the entropies and joint entropies of four or more random variables, which cannot be derived from Shannon's basic inequalities. These are known as non-Shannon-type inequalities. In 1997 and 1998, Zhang and Yeung reported two non-Shannon-type inequalities.[4][5] The latter implies that

 \overline{\Gamma^*_n} \subset \Gamma_n,

where the inclusions are proper for n \ge 4. The two sets above are, in fact, convex cones.

Further non-Shannon-type inequalities were reported in.[6][7][8] Dougherty et al.[9] found a number of non-Shannon-type inequalities by computer search. Matus[10] proved the existence of infinitely many linear non-Shannon-type inequalities.

Lower bounds for the Kullback–Leibler divergence[edit]

A great many important inequalities in information theory are actually lower bounds for the Kullback–Leibler divergence. Even the Shannon-type inequalities can be considered part of this category, since the bivariate mutual information can be expressed as the Kullback–Leibler divergence of the joint distribution with respect to the product of the marginals, and thus these inequalities can be seen as a special case of Gibbs' inequality.

On the other hand, it seems to be much more difficult to derive useful upper bounds for the Kullback–Leibler divergence. This is because the Kullback–Leibler divergence DKL(P||Q) depends very sensitively on events that are very rare in the reference distribution Q. DKL(P||Q) increases without bound as an event of finite non-zero probability in the distribution P becomes exceedingly rare in the reference distribution Q, and in fact DKL(P||Q) is not even defined if an event of non-zero probability in P has zero probability in Q. (Hence the requirement that P be absolutely continuous with respect to Q.)

Gibbs' inequality[edit]

Main article: Gibbs' inequality

This fundamental inequality states that the Kullback–Leibler divergence is non-negative.

Kullback's inequality[edit]

Main article: Kullback's inequality

Another inequality concerning the Kullback–Leibler divergence is known as Kullback's inequality.[11] If P and Q are probability distributions on the real line with P absolutely continuous with respect to Q, and whose first moments exist, then

D_{KL}(P\|Q) \ge \Psi_Q^*(\mu'_1(P)),

where \Psi_Q^* is the large deviations rate function, i.e. the convex conjugate of the cumulant-generating function, of Q, and \mu'_1(P) is the first moment of P.

The Cramér–Rao bound is a corollary of this result.

Pinsker's inequality[edit]

Main article: Pinsker's inequality

Pinsker's inequality relates Kullback–Leibler divergence and total variation distance. It states that if P, Q are two probability distributions, then

\sqrt{\frac{1}{2}D_{KL}^{(e)}(P\|Q)} \ge \sup \{ |P(A) - Q(A)| : A\text{ is an event to which probabilities are assigned.} \}.

where

D_{KL}^{(e)}(P||Q)

is the Kullback–Leibler divergence in nats and

 \sup_A |P(A) - Q(A)| \,

is the total variation distance.

Other inequalities[edit]

Hirschman uncertainty[edit]

Main article: Hirschman uncertainty

In 1957,[12] Hirschman showed that for a (reasonably well-behaved) function f:\mathbb R \rightarrow \mathbb C such that \int_{-\infty}^\infty |f(x)|^2\,dx = 1, and its Fourier transform g(y)=\int_{-\infty}^\infty f(x) e^{-2 \pi i x y}\,dx, the sum of the differential entropies of |f|^2 and |g|^2 is non-negative, i.e.

-\int_{-\infty}^\infty |f(x)|^2 \log |f(x)|^2 \,dx -\int_{-\infty}^\infty |g(y)|^2 \log |g(y)|^2 \,dy \ge 0.

Hirschman conjectured, and it was later proved,[13] that a sharper bound of \log(e/2), which is attained in the case of a Gaussian distribution, could replace the right-hand side of this inequality. This is especially significant since it implies, and is stronger than, Weyl's formulation of Heisenberg's uncertainty principle.

Tao's inequality[edit]

Given discrete random variables X, Y, and Y', such that X takes values only in the interval [−1, 1] and Y' is determined by Y (so that H(Y'|Y)=0), we have[14][15]

\mathbb E \big( \big| \mathbb E(X|Y') - \mathbb E(X|Y) \big| \big)
     \le \sqrt { 2 \log 2 \, I(X;Y|Y') },

relating the conditional expectation to the conditional mutual information. This is a simple consequence of Pinsker's inequality. (Note: the correction factor log 2 inside the radical arises because we are measuring the conditional mutual information in bits rather than nats.)

See also[edit]

References[edit]

  1. ^ Yeung, R.W. (1997). "A framework for linear information inequalities". IEEE Transactions on Information Theory (New York) 43 (6): 1924–1934. doi:10.1109/18.641556. )
  2. ^ Yeung, R.W.; Yan, Y.O. (1996). ITIP - Information Theoretic Inequality Prover. 
  3. ^ Pulikkoonattu, R.; E.Perron, E.; S.Diggavi, S. (2007). Xitip - Information Theoretic Inequalities Prover. 
  4. ^ Zhang, Z.; Yeung, R. W. (1997). "A non-Shannon-type conditional inequality of information quantities". IEEE Transactions on Information Theory (New York) 43 (6): 1982–1986. doi:10.1109/18.641561. 
  5. ^ Zhang, Z.; Yeung, R. W. (1998). "On characterization of entropy function via information inequalities". IEEE Transactions on Information Theory (New York) 44 (4): 1440–1452. doi:10.1109/18.681320. 
  6. ^ Matus, F. (1999). "Conditional independences among four random variables III: Final conclusion". Combinatorics, Probability and Computing 8 (3): 269–276. doi:10.1017/s0963548399003740. 
  7. ^ Makarychev, K.; et al. (2002). "A new class of non-Shannon-type inequalities for entropies". Communications in Information and Systems 2 (2): 147–166. doi:10.4310/cis.2002.v2.n2.a3. 
  8. ^ Zhang, Z. (2003). "On a new non-Shannon-type information inequality". Communications in Information and Systems 3 (1): 47–60. doi:10.4310/cis.2003.v3.n1.a4. 
  9. ^ Dougherty, R.; "et al." (2006). "Six new non-Shannon information inequalities". 2006 IEEE International Symposium on Information Theory. 
  10. ^ Matus, F. (2007). "Infinitely many information inequalities". 2007 IEEE International Symposium on Information Theory. 
  11. ^ Fuchs, Aimé; Letta, Giorgio (1970). "L'inégalité de Kullback. Application à la théorie de l'estimation". Séminaire de probabilités (Strasbourg) 4: 108–131. doi:10.1007/bfb0059338. MR 267669. 
  12. ^ Hirschman, I. I. (1957). "A Note on Entropy". American Journal of Mathematics 79 (1): 152–156. doi:10.2307/2372390. JSTOR 2372390. 
  13. ^ Beckner, W. (1975). "Inequalities in Fourier Analysis". Annals of Mathematics 102 (6): 159–182. doi:10.2307/1970980. JSTOR 1970980. 
  14. ^ Tao, T. (2006). "Szemerédi's regularity lemma revisited". Contrib. Discrete Math. 1: 8–28. arXiv:math/0504472. 
  15. ^ Ahlswede, Rudolf (2007). "The final form of Tao's inequality relating conditional expectation and conditional mutual information". Advances in Mathematics of Communications 1 (2): 239–242. doi:10.3934/amc.2007.1.239. 

External links[edit]

  • Thomas M. Cover, Joy A. Thomas. Elements of Information Theory, Chapter 16, "Inequalities in Information Theory" John Wiley & Sons, Inc. 1991 Print ISBN 0-471-06259-6 Online ISBN 0-471-20061-1 pdf
  • Amir Dembo, Thomas M. Cover, Joy A. Thomas. Information Theoretic Inequalities. IEEE Transactions on Information Theory, Vol. 37, No. 6, November 1991. pdf