The entropic vector or entropic function is a concept arising in information theory. It represents the possible values of Shannon's information entropy that subsets of one set of random variables may take. Understanding which vectors are entropic is a way to represent all possible inequalities between entropies of various subsets. For example, for any two random variables , their joint entropy (the entropy of the random variable representing the pair ) is at most the sum of the entropies of and of :

Other information-theoretic measures such as conditional information, mutual information, or total correlation can be expressed in terms of joint entropy and are thus related by the corresponding inequalities. Many inequalities satisfied by entropic vectors can be derived as linear combinations of a few basic ones, called Shannon-type inequalities. However, it has been proven that already for variables, no finite set of linear inequalities is sufficient to characterize all entropic vectors.

Definition

Shannon's information entropy of a random variable is denoted . For a tuple of random variables , we denote the joint entropy of a subset as , or more concisely as , where . Here can be understood as the random variable representing the tuple . For the empty subset , denotes a deterministic variable with entropy 0.

A vector h in indexed by subsets of is called an entropic vector of order if there exists a tuple of random variables such that for each subset .

The set of all entropic vectors of order is denoted by . Zhang and Yeung[1] proved that it is not closed (for ), but its closure, , is a convex cone and hence characterized by the (infinitely many) linear inequalities it satisfies. Describing the region is thus equivalent to characterizing all possible inequalities on joint entropies.

Example

Let X,Y be two independent random variables with discrete uniform distribution over the set . Then

(since each is uniformly distributed over a two-element set), and

(since the two variables are independent, which means the pair is uniformly distributed over .) The corresponding entropic vector is thus:

On the other hand, the vector is not entropic (that is, ), because any pair of random variables (independent or not) should satisfy .

Characterizing entropic vectors: the region Γn*

Shannon-type inequalities and Γn

For a tuple of random variables , their entropies satisfy:

,     for any

In particular, , for any .

The Shannon inequality says that an entropic vector is submodular:

,     for any

It is equivalent to the inequality stating that the conditional mutual information is non-negative:

(For one direction, observe this the last form expresses Shannon's inequality for subsets and of the tuple ; for the other direction, substitute , , ).

Many inequalities can be derived as linear combinations of Shannon inequalities; they are called Shannon-type inequalities or basic information inequalities of Shannon's information measures.[2] The set of vectors that satisfies them is called ; it contains .

Software has been developed to automate the task of proving Shannon-type inequalities.[3][4] Given an inequality, such software is able to determine whether the given inequality is a valid Shannon-type inequality (i.e., whether it contains the cone ).

Non-Shannon-type inequalities

The question of whether Shannon-type inequalities are the only ones, that is, whether they completely characterize the region , was first asked by Te Su Han in 1981[2] and more precisely by Nicholas Pippenger in 1986.[5] It is not hard to show that this is true for two variables, that is, . For three variables, Zhang and Yeung[1] proved that ; however, it is still asymptotically true, meaning that the closure is equal: . In 1998, Zhang and Yeung[2][6] showed that for all , by proving that the following inequality on four random variables (in terms of conditional mutual information) is true for any entropic vector, but is not Shannon-type:

Further inequalities and infinite families of inequalities have been found.[7][8][9][10] These inequalities provide outer bounds for better than the Shannon-type bound . In 2007, Matus proved that no finite set of linear inequalities is sufficient (to deduce all as linear combinations), for variables. In other words, the region is not polyhedral.[11] Whether they can be characterized in some other way (allowing to effectively decide whether a vector is entropic or not) remains an open problem.

Analogous questions for von Neumann entropy in quantum information theory have been considered.[12]

Inner bounds

Some inner bounds of are also known. One example is that contains all vectors in which additionally satisfy the following inequality (and those obtained by permuting variables), known as Ingleton's inequality for entropy:[13]

[2]

Entropy and groups

Group-characterizable vectors and quasi-uniform distributions

Consider a group and subgroups of . Let denote for ; this is also a subgroup of . It is possible to construct a probability distribution for random variables such that

.[14]

(The construction essentially takes an element of uniformly at random and lets be the corresponding coset ). Thus any information-theoretic inequality implies a group-theoretic one. For example, the basic inequality implies that

It turns out the converse is essentially true. More precisely, a vector is said to be group-characterizable if it can be obtained from a tuple of subgroups as above. The set of group-characterizable vectors is denoted . As said above, . On the other hand, (and thus ) is contained in the topological closure of the convex closure of .[15] In other words, a linear inequality holds for all entropic vectors if and only if it holds for all vectors of the form , where goes over subsets of some tuple of subgroups in a group .

Group-characterizable vectors that come from an abelian group satisfy Ingleton's inequality.

Kolmogorov complexity

Kolmogorov complexity satisfies essentially the same inequalities as entropy. Namely, denote the Kolmogorov complexity of a finite string as (that is, the length of the shortest program that outputs ). The joint complexity of two strings , defined as the complexity of an encoding of the pair , can be denoted . Similarly, the conditional complexity can be denoted (the length of the shortest program that outputs given ). Andrey Kolmogorov noticed these notions behave similarly to Shannon entropy, for example:

In 2000, Hammer et al.[16] proved that indeed an inequality holds for entropic vectors if and only if the corresponding inequality in terms of Kolmogorov complexity holds up to logarithmic terms for all tuples of strings.

See also

References

  1. 1 2 Zhang, Z.; Yeung, R.W. (1997). "A Non-Shannon-Type Conditional Inequality of Information Quantities". IEEE Trans. Inf. Theory. 43 (6): 1982–1986. doi:10.1109/18.641561.
  2. 1 2 3 4 Zhang, Z.; Yeung, R.W. (1998). "On Characterization of Entropy Function via Information Inequalities". IEEE Trans. Inf. Theory. 44 (4): 1440–1452. doi:10.1109/18.681320.
  3. Yeung, R.W.; Yan, Y.O. (1996). "ITIP - Information Theoretic Inequality Prover". {{cite journal}}: Cite journal requires |journal= (help)
  4. Pulikkoonattu, R.; E.Perron, E.; S.Diggavi, S. (2007). "Xitip - Information Theoretic Inequalities Prover". {{cite journal}}: Cite journal requires |journal= (help)
  5. Kaced, Tarik (2013). Equivalence of Two Proof Techniques for Non-Shannon-type Inequalities. 2013 IEEE International Symposium on Information Theory. arXiv:1302.2994.
  6. Yeung. A First Course in Information Theory, Theorem 14.7
  7. Dougherty, R.; Freiling, C.; Zeger, K. (2006). Six New Non-Shannon Information Inequalities. 2006 IEEE International Symposium on Information Theory.
  8. Matus, F. (1999). "Conditional independences among four random variables III: Final conclusion". Combinatorics, Probability and Computing. 8 (3): 269–276. doi:10.1017/s0963548399003740. S2CID 121634597.
  9. 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.
  10. 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.
  11. Matus, F. (2007). Infinitely many information inequalities. 2007 IEEE International Symposium on Information Theory.
  12. Linden; Winter (2005). "A New Inequality for the von Neumann Entropy". Commun. Math. Phys. 259 (1): 129–138. arXiv:quant-ph/0406162. Bibcode:2005CMaPh.259..129L. doi:10.1007/s00220-005-1361-2. S2CID 13279358.
  13. Yeung. A First Course in Information Theory, p. 386
  14. Yeung. A First Course in Information Theory, Theorem 16.16
  15. Yeung. A First Course in Information Theory, Theorem 16.22
  16. Hammer; Romashchenko; Shen; Vereshchagin (2000). "Inequalities for Shannon Entropy and Kolmogorov Complexity". Journal of Computer and System Sciences. 60 (2): 442–464. doi:10.1006/jcss.1999.1677.
  • Thomas M. Cover, Joy A. Thomas. Elements of information theory New York: Wiley, 1991. ISBN 0-471-06259-6
  • Raymond Yeung. A First Course in Information Theory, Chapter 12, Information Inequalities, 2002, Print ISBN 0-306-46791-7
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.