Information entropy
From Wikipedia, the free encyclopedia
Categories: Articles to be merged since September 2007 | Entropy and information | Information theory | Statistics | Randomness
|
This article is about the Shannon entropy in information theory. For other uses, see Entropy (disambiguation).
In information theory, the Shannon entropy or information entropy is a measure of the uncertainty associated with a random variable. It quantifies the information contained in a message, usually in bits or bits/symbol. It is the minimum message length necessary to communicate information. This also represents an absolute limit on the best possible lossless compression of any communication: treating a message as a series of symbols, the shortest possible representation to transmit the message is the Shannon entropy in bits/symbol multiplied by the number of symbols in the original message. A fair coin has an entropy of one bit. However, if the coin is not fair, then the uncertainty is lower (if asked to bet on the next outcome, we would bet preferentially on the most frequent result), and thus the Shannon entropy is lower. A long string of repeating characters has an entropy of 0, since every character is predictable. The entropy of English text is between 1.0 and 1.5 bits per letter,[1] or as low as 0.6 to 1.3 bits per letter, according to estimates by Shannon based on human experiments[2] Equivalently, the Shannon entropy is a measure of the average information content the recipient is missing when he does not know the value of the random variable. The concept was introduced by Claude E. Shannon in his 1948 paper "A Mathematical Theory of Communication". DefinitionThe information entropy of a discrete random variable X, that can take on possible values {x1...xn} is
CharacterizationInformation entropy is characterised by these desiderata: (Define Failed to parse (Missing texvc executable; please see math/README to configure.): p_i=\Pr(X=x_i) and Failed to parse (Missing texvc executable; please see math/README to configure.): H_n(p_1,\ldots,p_n)=H(X) )
etc.
where K is a constant corresponding to a choice of measurement units. Information entropy explainedFor a random variable Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle X with Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle n outcomes Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle \{ x_i , i = 1, \cdots , n\} , the Shannon information entropy, a measure of uncertainty (see further below) and denoted by Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle H(X) , is defined as
where Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle p(x_i) is the probability mass function of outcome Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle x_i , and Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle b is the base of the logarithm used. Possible values of Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle b are 2, Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle e , and 10. The unit of the information entropy Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle H is bit for Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle b=2 , nat for Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle b=e , dit (or digit) for Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle b=10 .[3] To understand the meaning of Eq.(1), let's first consider a set of Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle n possible outcomes (events) Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle \left\{ x_i , i = 1 , \cdots , n \right\} , with equal probability Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle p(x_i) = 1 / n . An example would be a fair die with Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle n values, from Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle 1 to Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle n . The uncertainty for such set of Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle n outcomes is defined by
The logarithm is used so to provide the additivity characteristic for independent uncertainty. For example, consider appending to each value of the first die the value of a second die, which has Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle m possible outcomes Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle \left\{ y_j , j = 1 , \cdots , m \right\} . There are thus Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle mn possible outcomes Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle \left\{ x_i y_j , i = 1 , \cdots , n , j = 1 , \cdots , m \right\} . The uncertainty for such set of Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle nm outcomes is then
Thus the uncertainty of playing with two dice is obtained by adding the uncertainty of the second die Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle \log_b (m) to the uncertainty of the first die Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle \log_b (n) . Now return to the case of playing with one die only (the first one); since the probability of each event is Failed to parse (Missing texvc executable; please see math/README to configure.): 1/n , we can write
which is also called a surprisal; the lower the probability Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle p(x_i) , i.e. Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle p(x_i) \rightarrow 0 , the higher the uncertainty or the surprise, i.e. Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle u_i \rightarrow \infty , for the outcome Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle x_i
being the average operator, is obtained by
and is used as the definition of the information entropy Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle H(X) in Eq.(1). The above also explained why information entropy and information uncertainty can be used interchangeably. [4] ExampleImage:Binary entropy plot.svg
Entropy of a Coin toss as a function of the probability of it coming up heads
Consider tossing a coin with known, not necessarily fair, probabilities of coming up heads or tails. The entropy of the unknown result of the next toss of the coin is maximised if the coin is fair (that is, if heads and tails both have equal probability 1/2). This is the situation of maximum uncertainty as it is most difficult to predict the outcome of the next toss; the result of each toss of the coin delivers a full 1 bit of information. However, if we know the coin is not fair, but comes up heads or tails with probabilities p and q, then there is less uncertainty. Every time, one side is more likely to come up than the other. The reduced uncertainty is quantified in a lower entropy: on average each toss of the coin delivers less than a full 1 bit of information. The extreme case is that of a double-headed coin which never comes up tails. Then there is no uncertainty. The entropy is zero: each toss of the coin delivers no information. Further propertiesThe Shannon entropy satisfies the following properties:
.
. This maximal entropy of Failed to parse (Missing texvc executable; please see math/README to configure.): \log_2(n) is effectively attained by a source alphabet having a uniform probability distribution: uncertainty is maximal when all possible events are equiprobable. AspectsRelationship to thermodynamic entropyThe inspiration for adopting the word entropy in information theory came from the close resemblance between Shannon's formula and very similar known formulae from thermodynamics. In statistical thermodynamics the most general formula for the thermodynamic entropy S of a thermodynamic system is the Gibbs entropy,
defined by J. Willard Gibbs in 1878 after earlier work by Boltzmann (1872).[5] The Gibbs entropy translates over almost unchanged into the world of quantum physics to give the von Neumann entropy, introduced by John von Neumann in 1927,
where ρ is the density matrix of the quantum mechanical system. At an everyday practical level the links between information entropy and thermodynamic entropy are not close. Physicists and chemists are apt to be more interested in changes in entropy as a system spontaneously evolves away from its initial conditions, in accordance with the second law of thermodynamics, rather than an unchanging probability distribution. And, as the numerical smallness of Boltzmann's constant kB indicates, the changes in S/kB for even minute amounts of substances in chemical and physical processes represent amounts of entropy which are large right off the scale compared to anything seen in data compression or signal processing. But, at a more philosophical level, connections can be made between thermodynamic and informational entropy, although it took many years in the development of the theories of statistical mechanics and information theory to make the relationship fully apparent. In fact, in the view of Jaynes (1957), thermodynamics should be seen as an application of Shannon's information theory: the thermodynamic entropy is interpreted as being an estimate of the amount of further Shannon information needed to define the detailed microscopic state of the system, that remains uncommunicated by a description solely in terms of the macroscopic variables of classical thermodynamics. For example, adding heat to a system increases its thermodynamic entropy because it increases the number of possible microscopic states that it could be in, thus making any complete state description longer. (See article: maximum entropy thermodynamics). Maxwell's demon can (hypothetically) reduce the thermodynamic entropy of a system by using information about the states of individual molecules; but, as Landauer (from 1961) and co-workers have shown, to function the demon himself must increase thermodynamic entropy in the process, by at least the amount of Shannon information he proposes to first acquire and store; and so the total entropy does not decrease (which resolves the paradox). Entropy as information contentEntropy is defined in the context of a probabilistic model. Independent fair coin flips have an entropy of 1 bit per flip. A source that always generates a long string of A's has an entropy of 0, since the next character will always be an 'A'. The entropy rate of a data source means the average number of bits per symbol needed to encode it. Empirically, it seems that entropy of English text is between .6 and 1.3 bits per character, though clearly that will vary from one source of text to another. Shannon's experiments with human predictors show an information rate of between .6 and 1.3 bits per character, depending on the experimental setup; the PPM compression algorithm can achieve a compression ratio of 1.5 bits per character. From the preceding example, note the following points:
Shannon's definition of entropy, when applied to an information source, can determine the minimum channel capacity required to reliably transmit the source as encoded binary digits. The formula can be derived by calculating the mathematical expectation of the amount of information contained in a digit from the information source. See also Shannon-Hartley theorem. Shannon's entropy measures the information contained in a message as opposed to the portion of the message that is determined (or predictable). Examples of the latter include redundancy in language structure or statistical properties relating to the occurrence frequencies of letter or word pairs, triplets etc. See Markov chain. Data compressionEntropy effectively bounds the performance of the strongest lossless (or nearly lossless) compression possible, which can be realized in theory by using the typical set or in practice using Huffman, Lempel-Ziv or arithmetic coding. The performance of existing data compression algorithms is often used as a rough estimate of the entropy of a block of data. Limitations of entropy as information contentAlthough entropy is often used as a characterization of the information content of a data source, this information content is not absolute: it depends crucially on the probabilistic model. A source that always generates the same symbol has an entropy of 0, but the definition of what a symbol is depends on the alphabet. Consider a source that produces the string ABABABABAB... in which A is always followed by B and vice versa. If the probabilistic model considers individual letters as independent, the entropy rate of the sequence is 1 bit per character. But if the sequence is considered as "AB AB AB AB AB..." with symbols as two-character blocks, then the entropy rate is 0 bits per character. However, if we use very large blocks, then the estimate of per-character entropy rate may become artificially low. This is because in reality, the probability distribution of the sequence is not knowable exactly; it is only an estimate. For example, suppose one considers the text of every book ever published as a sequence, with each symbol being the text of a complete book. If there are N published books, and each book is only published once, the estimate of the probability of each book is 1/N, and the entropy (in bits) is -log2 1/N. As a practical code, this corresponds to assigning each book a unique identifier and using it in place of the text of the book whenever one wants to refer to the book. This is enormously useful for talking about books, but it is not so useful for characterizing the information content of an individual book, or of language in general: it is not possible to reconstruct the book from its identifier without knowing the probability distribution, that is, the complete text of all the books. The key idea is that the complexity of the probabilistic model must be considered. Kolmogorov complexity is a theoretical generalization of this idea that allows the consideration of the information content of a sequence independent of any particular probability model; it considers the shortest program for a universal computer that outputs the sequence. A code that achieves the entropy rate of a sequence for a given model, plus the codebook (i.e. the probabilistic model), is one such program, but it may not be the shortest. Data as a Markov processA common way to define entropy for text is based on the Markov model of text. For an order-0 source (each character is selected independent of the last characters), the binary entropy is:
is the probability of Failed to parse (Missing texvc executable; please see math/README to configure.): j given Failed to parse (Missing texvc executable; please see math/README to configure.): i as the previous character (s). For a second order Markov source, the entropy rate is
b-ary entropyIn general the b-ary entropy of a source Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{S} = (S,P) with source alphabet S = {a1, …, an} and discrete probability distribution P = {p1, …, pn} where pi is the probability of ai (say pi = p(ai)) is defined by:
EfficiencyA source alphabet encountered in practice should be found to have a probability distribution which is less than optimal. If the source alphabet has n symbols, then it can be compared to an "optimized alphabet" with n symbols, whose probability distribution is uniform. The ratio of the entropy of the source alphabet with the entropy of its optimized version is the efficiency of the source alphabet, which can be expressed as a percentage. This implies that the efficiency of a source alphabet with n symbols can be defined simply as being equal to its n-ary entropy. See also Redundancy (information theory). Extending discrete entropy to the continuous case: differential entropy
The Shannon entropy is restricted to random variables taking discrete values. The formula
A precursor of the continuous information entropy Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle h[f] given in (*) is the expression for the functional Failed to parse (Missing texvc executable; please see math/README to configure.): \displaystyle H in the Formula (*) is usually referred to as the continuous entropy, or differential entropy. Although the analogy between both functions is suggestive, the following question must be set: is the differential entropy a valid extension of the Shannon discrete entropy? To answer this question, we must establish a connection between the two functions: We wish to obtain a generally finite measure as the bin size goes to zero. In the discrete case, the bin size is the (implicit) width of each of the n (finite or infinite) bins whose probabilities are denoted by pn. As we generalize to the continuous domain, we must make this width explicit. To do this, start with a continuous function f discretized as shown in the figure. As the figure indicates, by the mean-value theorem there exists a value xi in each bin such that
We will denote
as Failed to parse (Missing texvc executable; please see math/README to configure.): \Delta \to 0 , therefore we need a special definition of the differential or continuous entropy:
It turns out as a result that, unlike the Shannon entropy, the differential entropy is not in general a good measure of uncertainty or information. For example, the differential entropy can be negative; also it is not invariant under continuous co-ordinate transformations. Another useful measure of entropy for the continuous case is the relative entropy of a distribution, defined as the Kullback-Leibler divergence from the distribution to a reference measure m(x),
The relative entropy carries over directly from discrete to continuous distributions, and is invariant under co-ordinate reparametrisations. References
See also
External links
de:Entropie (Informationstheorie) el:Εντροπία πληροφοριών es:Entropía (información) fr:Entropie de Shannon ko:정보 엔트로피 it:Entropia (teoria dell'informazione) he:אנטרופיה (סטטיסטיקה) hu:Shannon-entrópiafüggvény ja:情報量 nl:Entropie (informatietheorie) pl:Entropia (teoria informacji) ru:Информационная энтропия simple:Information entropy sv:Entropi (informationsteori) th:เอนโทรปีของข้อมูล vi:Entropy thông tin |


