Warning: mkdir() [
function.mkdir]: Permission denied in
/home/webs/affiliatelib2/CacheManager.php on line
12
Warning: mkdir() [
function.mkdir]: No such file or directory in
/home/webs/affiliatelib2/CacheManager.php on line
12
Warning: fopen(/home/templatecore2cache//*cluesnet.com/c3/c337e11673d48b1dd2b742fff659630b4e82a818.tc2cache) [
function.fopen]: failed to open stream: No such file or directory in
/home/webs/affiliatelib2/CacheManager.php on line
130
Warning: fwrite(): supplied argument is not a valid stream resource in
/home/webs/affiliatelib2/CacheManager.php on line
131
Warning: fclose(): supplied argument is not a valid stream resource in
/home/webs/affiliatelib2/CacheManager.php on line
132
In
information theory, the
Shannon entropy or
information entropy is a measure of the uncertainty associated with a
random variable.
Shannon entropy quantifies the information contained in a piece of data: it is the minimum average message length, in bits (if using base-2 logarithms), that must be sent to communicate the true value of the random variable to a recipient. Intuitively, it measures how many yes/no questions must be answered,
on average, to communicate each new outcome of the random variable. This represents a fundamental mathematical limit on the best possible lossless data compression of any communication: considering a certain message as a series of realisations of a certain random variable (where the random variable can be "the next letter", or "the next word", or any other subdivision of text), the shortest number of bits necessary to transmit one message is the Shannon entropy of the corresponding random variable, multiplied by the number of realisations in the original text.
American Standard Code for Information Interchange characters, if chosen uniformly at random, have an entropy of exactly 7
bits per character. However, if one knows that one or more characters are chosen more frequently than others, then our uncertainty is lower (if asked to bet on the next outcome, we would bet preferentially on the most frequent characters), 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.Schneier, B:
Applied Cryptography, Second edition, page 234. John Wiley and Sons.
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".
Definition
The information entropy of a
discrete random variable X, that can take on possible values {
x1...
xn} is
\begin{matrix}H(X) = \operatorname{E}( I(X) ) & = & \displaystyle{\sum_{i=1}^np(x_i)\log_2 \left(1/p(x_i)\right)} \\ & = & - \displaystyle{\sum_{i=1}^np(x_i)\log_2 p(x_i)} \qquad
\end{matrix}
where
I(
X) is the information content or
self-information of
X, which is itself a random variable; and
p(
xi) = Pr(
X=
xi) is the probability mass function of
X.
Characterization
Information entropy is
characterization (mathematics) by these desiderata:
(Define p_i=\Pr(X=x_i) and H_n(p_1,\ldots,p_n)=H(X))
ContinuityThe measure should be
continuous function — i.e., changing the value of one of the probabilities by a very small amount should only change the entropy by a small amount.
SymmetryThe measure should be unchanged if the outcomes
xi are re-ordered.
H_n\left(p_1, p_2, \ldots \right) = H_n\left(p_2, p_1, \ldots \right) etc.
MaximumIf all the outcomes are equally likely, then entropy should be maximal (uncertainty is highest when all possible events are equiprobable). In this case, the entropy increases with the number of outcomes.
H_n(p_1,\ldots,p_n) \le H_n\left(\frac{1}{n}, \ldots, \frac{1}{n}\right) < H_{n+1}\left(\frac{1}{n+1}, \ldots, \frac{1}{n+1}\right).
AdditivityThe amount of entropy should be the same independently of how the process is regarded as being divided into parts.
This last functional relationship characterizes the entropy of a system with sub-systems. It demands that the entropy of a system can be calculated from the entropy of its sub-systems if we know how the sub-systems interact with each other.
Assume that we have an ensemble of
n elements with a uniform distribution on them. If we mentally divide this ensemble into
k boxes (sub-systems) with
bi elements in each, the entropy can be calculated as a sum of individual entropies of the boxes weighed by the probability of finding oneself in that particular box PLUS the entropy of the system of boxes.
For positive integers
bi where
b1 + … +
bk =
n,
H_n\left(\frac{1}{n}, \ldots, \frac{1}{n}\right) = H_k\left(\frac{b_1}{n}, \ldots, \frac{b_k}{n}\right) + \sum_{i=1}^k \frac{b_i}{n} H_{b_i}\left(\frac{1}{b_i}, \ldots, \frac{1}{b_i}\right).
This implies that the entropy of a certain outcome is zero:
H_1(1.0) = 0\,
Any definition of entropy satisfying these assumptions has the form:
:-K\sum_{i=1}^np(x_i)\log p(x_i)\,\!
where
K is a constant corresponding to a choice of measurement units.
Information entropy explained
For a random variable\displaystyle Xwith\displaystyle noutcomes\displaystyle \{ x_i , i = 1, \cdots , n\},theShannon information entropy,a measure of uncertainty (see further below)anddenoted by\displaystyle H(X),is defined as
{| style="width:100%" border="0"
|-| style="width:95%" | \displaystyle
\displaystyle
H(X)
:=
- \sum_{i=1}^np(x_i)\log_b p(x_i)
| style= | (1)|}where\displaystyle p(x_i) is the
probability mass function of outcome\displaystyle x_i, and\displaystyle bis the base of the logarithm used. Possible values of\displaystyle b are 2, \displaystyle e,and 10.The unit of the information entropy\displaystyle H is
bit for\displaystyle b=2,ban for \displaystyle b=e,
dit (or digit) for \displaystyle b=10.Schneider, T.D, Information theory primer with an appendix on logarithms (postscript file),National Cancer Institute,26 Jun 2000.
To understand the meaning of Eq.(1),let's first consider a set of\displaystyle npossible outcomes (events)\displaystyle \left\{ x_i , i = 1 , \cdots , n \right\},with equal probability\displaystyle p(x_i) = 1 / n.An example would bea fair
diewith\displaystyle n values, from\displaystyle 1 to\displaystyle n.The uncertainty for such set of\displaystyle noutcomes can be measured by
{| style="width:100%" border="0"
|-| style="width:95%" | \displaystyle
u = \log_b (n)
| style= | (2)|}
The logarithm is used so to provide the
additivity characteristic for uncertainty.For example, consider appending to each value of the first
diethe value of a second die, which has\displaystyle mpossibleoutcomes\displaystyle \left\{ y_j , j = 1 , \cdots , m \right\}.There are thus\displaystyle mnpossible outcomes\displaystyle \left\{ x_i y_j , i = 1 , \cdots , n , j = 1 , \cdots , m \right\}.The uncertainty for such set of\displaystyle nmoutcomes is then
{| style="width:100%" border="0"
|-| style="width:95%" | \displaystyle
u = \log_b (nm) = \log_b (n) + \log_b (m)
| style= | (3)|}Thus the uncertainty of playing with two dice is obtained by addingthe uncertainty of the second die\displaystyle \log_b (m)to the uncertainty of the first die\displaystyle \log_b (n).
Now return to the case of playing with one die only (the first one);we can write
\displaystyle
u
= \log_b (\frac{1}{p(x_i)})
= - \log_b (p(x_i))
\ , \ \forall i = 1, \cdots , n
In the case of a non-uniform probability mass function(or distribution in the case of continuous random variable), we let
{| style="width:100%" border="0"
|-| style="width:95%" | \displaystyle
u_i
:=
- \log_b (p(x_i))
| style= | (4)|}which is also called a self-information;the lower the probability\displaystyle p(x_i), i.e.\displaystyle p(x_i) \rightarrow 0,the higher the uncertainty or the surprise, i.e.\displaystyle u_i \rightarrow \infty,for the outcome\displaystyle x_i
The average uncertainty\displaystyle ,with\displaystyle being the average operator,is obtained by
{| style="width:100%" border="0"
|-| style="width:95%" | \displaystyle
=
\sum_{i=1}^{n}
p(x_i)
u_i
=
-
\sum_{i=1}^{n}
p(x_i)
\log_b (p(x_i))
| style= | (5)|}and is used as the definition of the information entropy\displaystyle H(X)in Eq.(1). The above also explained whyinformation entropyandinformation uncertainty can be used interchangeably.Jaynes, E.T., Information Theory and Statistical Mechanics,Physical Review,Vol.106, No.4,pp.620-630,May 1957.
Example
Consider tossing a coin which may or may not be fair.
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, 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 properties
The Shannon entropy satisfies the following properties:
- Adding or removing an event with probability zero does not contribute to the entropy:
H_{n+1}(p_1,\ldots,p_n,0) = H_n(p_1,\ldots,p_n).
- It can be confirmed using the Jensen inequality that
H(X) = \operatorname{E}\left \left( \frac{1}{p(X)}\right) \right = - \operatorname{E}\left \left( p(X)\right) \right \leq -\log_2 \left( \operatorname{E}\left p(X) \right \right) = \log_2(n).
This maximal entropy of \log_2(n) is effectively attained by a source alphabet having a uniform probability distribution: uncertainty is maximal when all possible events are equiprobable.
Aspects
Relationship to thermodynamic entropy
The 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,
S = - k_B \sum p_i \ln p_i \,
defined by J. Willard Gibbs in 1878 after earlier work by
Ludwig Boltzmann (1872).Compare: Boltzmann, Ludwig (1896, 1898). Vorlesungen über Gastheorie : 2 Volumes - Leipzig 1895/98 UB: O 5262-6. English version: Lectures on gas theory. Translated by Stephen G. Brush (1964) Berkeley: University of California Press; (1995) New York: Dover ISBN 0-486-68455-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,
S = - k_B \,\,{\rm Tr}(\rho \ln \rho) \,
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 Edwin Thompson 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 (hypothetically) reduces the thermodynamic entropy of a system using information about the states of individual molecules; but, as
Rolf Landauer (from
1961) and co-workers have shown, the demon himself must increase his own 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 content
Entropy 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:
The amount of entropy is not always an integer number of bits.
Many data bits may not convey information. For example, data structures often store information redundantly, or have identical sections regardless of the information in the data structure.
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 compression
Entropy 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 coding, LZW 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 content
Although 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 Statistical independence, 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
ISBN 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
Computer 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 process
A 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:
H(\mathcal{S}) = - \sum p_i \log_2 p_i, \,\!
where
pi is the probability of
i. For a first-order Markov chain (one in which the probability of selecting a character is dependent only on the immediately preceding character), the
entropy rate is:
H(\mathcal{S}) = - \sum_i p_i \sum_j \ p_i (j) \log_2 p_i (j), \,\!
where
i is a
state (certain preceding characters) and p_i(j) is the probability of j given i as the previous character (s).
For a second order Markov source, the entropy rate is
H(\mathcal{S}) = -\sum_i p_i \sum_j p_i(j) \sum_k p_{i,j}(k)\ \log_2 \ p_{i,j}(k). \,\!
b-ary entropy
In general the
b-ary entropy' of a source \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:
H_b(\mathcal{S}) = - \sum_{i=1}^n p_i \log_b p_i, \,\!
Note: the
b in "
b-ary entropy" is the number of different symbols of the "ideal alphabet" which is being used as the standard yardstick to measure source alphabets. In information theory, two symbols are
necessary and sufficient for an alphabet to be able to encode information, therefore the default is to let
b = 2 ("binary entropy"). Thus, the entropy of the source alphabet, with its given empiric probability distribution, is a number equal to the number (possibly fractional) of symbols of the "ideal alphabet", with an optimal probability distribution, necessary to encode for each symbol of the source alphabet. Also note that "optimal probability distribution" here means a uniform distribution: a source alphabet with
n symbols has the highest possible entropy (for an alphabet with
n symbols) when the probability distribution of the alphabet is uniform. This optimal entropy turns out to be \log_b \, n .
Efficiency
A 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
h = -\int\limits_{-\infty}^{\infty} f(x) \log f(x)\, dx,\quad (*)
where
f denotes a
probability density function on the real line, is analogous to the Shannon entropy and could thus be viewed as an extension of the Shannon entropy to the domain of real numbers.
A precursor of the continuous information entropy\displaystyle hgiven in (*)is the expression for the functional\displaystyle H in theH-theorem of
Boltzmann.
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
f(x_i) \Delta = \int_{i\Delta}^{(i+1)\Delta} f(x)\, dx
and thus the integral of the function
f can be approximated (in the Riemannian sense) by
\int_{-\infty}^{\infty} f(x)\, dx = \lim_{\Delta \to 0} \sum_{i = -\infty}^{\infty} f(x_i) \Delta
where this limit and
bin size goes to zero are equivalent.
We will denote
H^{\Delta} :=- \sum_{i=-\infty}^{\infty} \Delta f(x_i) \log \Delta f(x_i)
and expanding the logarithm, we have
H^{\Delta} = - \sum_{i=-\infty}^{\infty} \Delta f(x_i) \log \Delta f(x_i)
= - \sum_{i=-\infty}^{\infty} \Delta f(x_i) \log f(x_i) -\sum_{i=-\infty}^{\infty} f(x_i) \Delta \log \Delta.
As \Delta \to 0, we have
\sum_{i=-\infty}^{\infty} f(x_i) \Delta \to \int f(x)\, dx = 1
and so
\sum_{i=-\infty}^{\infty} \Delta f(x_i) \log f(x_i) \to \int f(x) \log f(x)\, dx.
But note that \log \Delta \to -\infty as \Delta \to 0, therefore we need a special definition of the differential or continuous entropy:
h = \lim_{\Delta \to 0} \left + \log \Delta\right = -\int_{-\infty}^{\infty} f(x) \log f(x)\,dx,
which is, as said before, referred to as the
differential entropy. This means that the differential entropy
is not a limit of the Shannon entropy for
n → ∞
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.
More useful 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),
D_{\mathrm{KL-->(f(x)\|m(x)) = \int f(x)\log\frac{f(x)}{m(x)}\,dx.
The relative entropy carries over directly from discrete to continuous distributions, and is invariant under co-ordinate reparametrisations.
References
See also
- Binary entropy function - the entropy of a Bernoulli trial with probability of success p
- Conditional entropy
- Differential entropy
- Entropy rate
- Cross entropy – is a measure of the average number of bits needed to identify an event from a set of possibilities between two probability distributions
- Entropy encoding - a coding scheme that assigns codes to symbols so as to match code lengths with the probabilities of the symbols.
- Hamming distance
- Joint entropy - is the measure how much entropy is contained in a joint system of two random variables.
- Kolmogorov-Sinai entropy in dynamical systems
- Levenshtein distance
- Perplexity
- Quantum relative entropy - a measure of distinguishability between two quantum states.
- Rényi entropy - a generalisation of information entropy; it is one of a family of functionals for quantifying the diversity, uncertainty or randomness of a system.
- Theil index
External links
- Information is not entropy, information is not uncertainty ! - a discussion of the use of the terms "information" and "entropy".
- I'm Confused: How Could Information Equal Entropy? - a similar discussion on the bionet.info-theory FAQ.
- Description of information entropy from "Tools for Thought" by Howard Rheingold
- A java applet representing Shannon's Experiment to Calculate the Entropy of English
- Slides on information gain and entropy
- CertainKey's password strength meter, which includes information entropy (in bits) as a mathematical criterion of sufficient randomness