source coding theorem

E624506

The source coding theorem is a fundamental result in information theory that establishes the minimum average number of bits needed to losslessly encode symbols from a given information source, linking this limit to the source’s entropy.

All labels observed (3)

How this entity was disambiguated

Statements (44)

Predicate Object
instanceOf theorem in information theory
alsoKnownAs Shannon source coding theorem
noiseless coding theorem
appliesTo discrete memoryless sources
stationary ergodic sources
assumes large block length coding
probabilistic model of the source
category fundamental theorem of information theory
concerns noiseless communication
contrastsWith channel coding theorem
field information theory
formulatedBy Claude E. Shannon
linked to: Claude Shannon
goal minimize average number of bits per symbol for lossless representation
guarantees existence of asymptotically optimal codes
hasApplication coding for storage systems
entropy coding in multimedia standards
file compression
hasConsequence Huffman coding is optimal among prefix codes for a given source
no lossless code can have average rate below the source entropy
universal codes aim to approach the entropy without full source knowledge
implies entropy is the fundamental limit of lossless compression
influences design of practical compression algorithms
entropy coding methods
rate–distortion theory
isPartOf Shannon’s information theory
mathematicalForm L̄ ≥ H(X) for any uniquely decodable code
for every ε > 0 there exists a code with L̄ < H(X) + ε
publishedIn A Mathematical Theory of Communication
relatesConcept average codeword length
data compression
entropy
lossless compression
optimal coding
prefix codes
requires prefix-free or instantaneous codes for practical realization
uniquely decodable codes
statesThat for any uniquely decodable code the average codeword length is at least the source entropy
the minimum achievable average codeword length per source symbol is lower bounded by the entropy of the source
there exist codes whose average codeword length is arbitrarily close to the source entropy
upperBoundGivenBy H(X)+1 for optimal prefix codes of a discrete memoryless source
usesConcept Kraft–McMillan inequality
law of large numbers
typical sequences
yearProposed 1948

How these facts were elicited

Referenced by (4)

Full triples — surface form annotated when it differs from this entity's canonical label.

information theory hasCoreConcept source coding theorem
source coding theorem alsoKnownAs noiseless coding theorem
linked to: source coding theorem
source coding theorem alsoKnownAs Shannon source coding theorem
linked to: source coding theorem
Slepian–Wolf coding theorem relatedTo Shannon source coding theorem
linked to: source coding theorem