Uniform over four symbols — Shannon entropy

corelog₂n for a uniform distribution

Answer

2.0000 bits

Why this example is worth doing

A uniform distribution over n symbols has entropy log₂n exactly, which is two bits for four symbols. The page pairs it with the matching Huffman example, where the same distribution produced two-bit codes and no compression, and notes that the two results agreeing is not a coincidence — a uniform distribution is the case where the entropy bound is achieved exactly with whole bits.

Try your own input in the Shannon entropy. Bits per symbol for any distribution, with the surprisal of each symbol shown.

How the answer is reached

Shannon entropy of 4 symbols

4 symbols, 4 total occurrences. Divide by the total to get probabilities, then take −Σ p·log₂ p.

The surprisal column is the ideal code length; Huffman rounds it to whole bits. — Shannon entropy of 4 symbols
SymbolpSurprisal −log₂ p (bits)Contribution p·(−log₂ p)
a0.2500002.0000000.500000
b0.2500002.0000000.500000
c0.2500002.0000000.500000
d0.2500002.0000000.500000

H2.000000 bits/symbolthe probability-weighted mean of the surprisal column

Total information8.000000 bits4 symbols × H

Maximum possible H2.000000 bits/symbollog₂(4), reached only by the uniform distribution

H / log₂(m)1.000000how close to uniform this source is

Warning:

A symbol of probability 0 contributes exactly 0: the convention 0·log₂0 = 0 is a definition (the limit as p → 0), not an approximation. Evaluating it instead returns NaN, which is the usual bug on this page.

Source: C. E. Shannon, Bell System Technical Journal 27:379–423 (1948), Theorem 2

Compare with

Open this example in the Shannon entropy

The field arrives filled in with this example’s input.

Note:

Notation this page assumes

  • Bit strings are written most significant bit first, and bit 0 is the least significant bit.
  • A width is stated explicitly wherever it changes the answer; nothing is silently sign-extended or truncated.
  • Entropy is in bits per symbol — logarithms base 2 — and 0·log 0 is taken as 0.

Sources

  • Shannon, “A Mathematical Theory of Communication” (1948)