香农信源编码定理

此词条暂由彩云小译翻译，未经人工整理和审校，带来阅读不便，请见谅。模板:Information theory

In information theory, Shannon's source coding theorem (or noiseless coding theorem) establishes the limits to possible data compression, and the operational meaning of the Shannon entropy.

In information theory, Shannon's source coding theorem (or noiseless coding theorem) establishes the limits to possible data compression, and the operational meaning of the Shannon entropy.

在信息论中，香农信源编码定理(或无噪声编码定理)建立了可能数据压缩的极限，以及香农熵的操作意义。

Named after Claude Shannon, the source coding theorem shows that (in the limit, as the length of a stream of independent and identically-distributed random variable (i.i.d.) data tends to infinity) it is impossible to compress the data such that the code rate (average number of bits per symbol) is less than the Shannon entropy of the source, without it being virtually certain that information will be lost. However it is possible to get the code rate arbitrarily close to the Shannon entropy, with negligible probability of loss.

Named after Claude Shannon, the source coding theorem shows that (in the limit, as the length of a stream of independent and identically-distributed random variable (i.i.d.) data tends to infinity) it is impossible to compress the data such that the code rate (average number of bits per symbol) is less than the Shannon entropy of the source, without it being virtually certain that information will be lost. However it is possible to get the code rate arbitrarily close to the Shannon entropy, with negligible probability of loss.

以香农命名的信源编码定理表明(在极限下，作为独立同分布随机变量流的长度)数据趋于无穷大)不可能压缩数据使得码率(每个符号的平均比特数)小于信源的香农熵，事实上不可能确定信息会丢失。然而，这是可能的得到任意接近香农熵的码率，与可以忽略的概率损失。

The source coding theorem for symbol codes places an upper and a lower bound on the minimal possible expected length of codewords as a function of the entropy of the input word (which is viewed as a random variable) and of the size of the target alphabet.

The source coding theorem for symbol codes places an upper and a lower bound on the minimal possible expected length of codewords as a function of the entropy of the input word (which is viewed as a random variable) and of the size of the target alphabet.

符号码的信源编码定理在最小可能期望码字长度上设置了一个上下界，该上下界是输入字(被视为一个随机变量)熵和目标字母表大小的函数。

Statements

声明

Source coding is a mapping from (a sequence of) symbols from an information source to a sequence of alphabet symbols (usually bits) such that the source symbols can be exactly recovered from the binary bits (lossless source coding) or recovered within some distortion (lossy source coding). This is the concept behind data compression.

Source coding is a mapping from (a sequence of) symbols from an information source to a sequence of alphabet symbols (usually bits) such that the source symbols can be exactly recovered from the binary bits (lossless source coding) or recovered within some distortion (lossy source coding). This is the concept behind data compression.

信源编码是从一个信息源(一系列)符号到一系列字母符号(通常是比特)的映射，这样，信源符号可以从二进制比特(无损源编码)中精确地恢复，或者在一定的失真(有损源编码)中恢复。这就是数据压缩的概念。

Source coding theorem

信源编码定理

In information theory, the source coding theorem (Shannon 1948)^[1] informally states that (MacKay 2003, pg. 81,^[2] Cover 2006, Chapter 5^[3]):

In information theory, the source coding theorem (Shannon 1948) informally states that (MacKay 2003, pg. 81, Cover 2006, Chapter 5):

在信息论中，信源编码定理(Shannon，1948)非正式地指出(MacKay，2003，pg。81,2006年封面，第5章) :

$N$ i.i.d. random variables each with entropy $H (X)$ can be compressed into more than $N H (X)$ bits with negligible risk of information loss, as $N \to \infty$ ; but conversely, if they are compressed into fewer than $N H (X)$ bits it is virtually certain that information will be lost.

i.i.d. random variables each with entropy can be compressed into more than bits with negligible risk of information loss, as ; but conversely, if they are compressed into fewer than bits it is virtually certain that information will be lost.

封锁引用 i.i.i.i.d。每个具有熵的随机变量都可以被压缩成多个位，而信息丢失的风险可以忽略不计; 但反过来，如果它们被压缩成少于位的话，信息几乎肯定会丢失。 / blockquote

Source coding theorem for symbol codes

符号码的信源编码定理

Let $Σ 1, Σ 2$ denote two finite alphabets and let $Σ 模板:Su$ and $Σ 模板:Su$ denote the set of all finite words from those alphabets (respectively).

Let denote two finite alphabets and let }} and }} denote the set of all finite words from those alphabets (respectively).

设表示两个有限字母，并且设}和}分别表示来自这两个字母的所有有限单词的集合。

Suppose that $X$ is a random variable taking values in $Σ 1$ and let $f$ be a uniquely decodable code from $Σ 模板:Su$ to $Σ 模板:Su$ where $|Σ 2 | = a$ . Let $S$ denote the random variable given by the length of codeword $f (X)$ .

Suppose that is a random variable taking values in and let be a uniquely decodable code from }} to }} where Σ₂ a}}. Let denote the random variable given by the length of codeword .

假设一个随机变量接受值，并且让它成为一个唯一可解码的代码，从}}到}} ，其中子2 / sub a }}。用码字长度表示随机变量。

If $f$ is optimal in the sense that it has the minimal expected word length for $X$ , then (Shannon 1948):

If is optimal in the sense that it has the minimal expected word length for , then (Shannon 1948):

如果是最优的，在这个意义上，它有最小的预期字长度，那么(香农1948) :

[math]\displaystyle{ \frac{H(X)}{\log_2 a} \leq \mathbb{E}[S] \lt \frac{H(X)}{\log_2 a} +1 }[/math]

数学 frac { h (x)}{ log 2 a } leq mathbb { e }[ s ] frac { h (x)}{ log 2 a } + 1 / math

Where [math]\displaystyle{ \mathbb{E} }[/math] denotes the expected value operator.

其中 math mathbb { e } / math 表示期望值操作符。

Proof: Source coding theorem

证明: 信源编码定理

Given $X$ is an i.i.d. source, its time series $X 1, ..., X n$ is i.i.d. with entropy $H (X)$ in the discrete-valued case and differential entropy in the continuous-valued case. The Source coding theorem states that for any $ε > 0$ , i.e. for any rate $H (X) + ε$ larger than the entropy of the source, there is large enough $n$ and an encoder that takes $n$ i.i.d. repetition of the source, $X 1: n$ , and maps it to $n (H (X) + ε)$ binary bits such that the source symbols $X 1: n$ are recoverable from the binary bits with probability of at least $1 - ε$ .

Given is an i.i.d. source, its time series is i.i.d. with entropy in the discrete-valued case and differential entropy in the continuous-valued case. The Source coding theorem states that for any , i.e. for any rate larger than the entropy of the source, there is large enough and an encoder that takes i.i.d. repetition of the source, , and maps it to binary bits such that the source symbols are recoverable from the binary bits with probability of at least .

特定的是内部识别码。来源，它的时间序列是内部识别码。离散值情形和连续值情形的熵微分熵。信源编码定理指出，对于任何。对于任何大于信号源熵值的速率，都有足够大的编码器，它采用内部识别技术。重复的源，，并映射到二进制位，以便源符号是可恢复的二进制位的概率至少。

Proof of Achievability. Fix some $ε > 0$ , and let

Proof of Achievability. Fix some , and let

可达性的证明。修复一些，然后让

[math]\displaystyle{ p(x_1, \ldots, x_n) = \Pr \left[X_1 = x_1, \cdots, X_n = x_n \right]. }[/math]

数学 p (x1， ldots，xn) Pr 左[ x1x1， cdots，xn 右] . / math

The typical set, $A 模板:Su$ , is defined as follows:

The typical set, }}, is defined as follows:

典型的集合，}} ，定义如下:

[math]\displaystyle{ A_n^\varepsilon =\left\{(x_1, \cdots, x_n) \ : \ \left|-\frac{1}{n} \log p(x_1, \cdots, x_n) - H_n(X)\right| \lt \varepsilon \right\}. }[/math]

数学 a n ^ varepsilon 左(x1， cdots，xn) : 左 |-frac {1} n } log p (x1， cdots，xn)-h n (x)右 | varepsilon 右。 / math

The Asymptotic Equipartition Property (AEP) shows that for large enough $n$ , the probability that a sequence generated by the source lies in the typical set, $A 模板:Su$ , as defined approaches one. In particular, for sufficiently large $n$ , [math]\displaystyle{ P((X_1,X_2,\cdots,X_n) \in A_n^\varepsilon) }[/math] can be made arbitrarily close to 1, and specifically, greater than [math]\displaystyle{ 1-\varepsilon }[/math] (See

The Asymptotic Equipartition Property (AEP) shows that for large enough , the probability that a sequence generated by the source lies in the typical set, }}, as defined approaches one. In particular, for sufficiently large , [math]\displaystyle{ P((X_1,X_2,\cdots,X_n) \in A_n^\varepsilon) }[/math] can be made arbitrarily close to 1, and specifically, greater than [math]\displaystyle{ 1-\varepsilon }[/math] (See

渐近等同分割特性表明，对于足够大的数据，由源生成的序列位于典型集中的概率，} ，正如定义的接近一样。特别是，对于足够大来说，数学 p ((x1，x2， cdots，xn) / math 可以任意接近于1，特别是，比 math 1- varepsilon / math (参见

AEP for a proof).

为证明 AEP)。

The definition of typical sets implies that those sequences that lie in the typical set satisfy:

典型集合的定义意味着处于典型集合中的序列满足:

[math]\displaystyle{ 2^{-n(H(X)+\varepsilon)} \leq p \left (x_1, \cdots, x_n \right ) \leq 2^{-n(H(X)-\varepsilon)} }[/math]

2 ^ {-n (h (x) + varepsilon)} leq p left (x1， cdots，xn right) leq 2 ^ {-n (h (x)- varepsilon)} / math

Note that:

请注意:

The probability of a sequence [math]\displaystyle{ (X_1,X_2,\cdots X_n) }[/math] being drawn from $A 模板:Su$ is greater than $1 - ε$ .

[math]\displaystyle{ \left| A_n^\varepsilon \right| \leq 2^{n(H(X)+\varepsilon)} }[/math], which follows from the left hand side (lower bound) for [math]\displaystyle{ p(x_1,x_2,\cdots x_n) }[/math].

[math]\displaystyle{ \left| A_n^\varepsilon \right| \geq (1-\varepsilon) 2^{n(H(X)-\varepsilon)} }[/math], which follows from upper bound for [math]\displaystyle{ p(x_1,x_2,\cdots x_n) }[/math] and the lower bound on the total probability of the whole set $A 模板:Su$ .

Since [math]\displaystyle{ \left| A_n^\varepsilon \right| \leq 2^{n(H(X)+\varepsilon)}, n(H(X)+\varepsilon) }[/math] bits are enough to point to any string in this set.

由于 math 左 | n ^ varepsilon right | leq 2 ^ { n (h (x) + varepsilon)} ，n (h (x) + varepsilon) / math 位足以指向该集合中的任何字符串。

The encoding algorithm: The encoder checks if the input sequence lies within the typical set; if yes, it outputs the index of the input sequence within the typical set; if not, the encoder outputs an arbitrary $n (H (X) + ε)$ digit number. As long as the input sequence lies within the typical set (with probability at least $1 - ε$ ), the encoder doesn't make any error. So, the probability of error of the encoder is bounded above by $ε$ .

The encoding algorithm: The encoder checks if the input sequence lies within the typical set; if yes, it outputs the index of the input sequence within the typical set; if not, the encoder outputs an arbitrary digit number. As long as the input sequence lies within the typical set (with probability at least ), the encoder doesn't make any error. So, the probability of error of the encoder is bounded above by .

编码算法: 编码器检查输入序列是否在典型集合中; 如果是，它输出典型集合中输入序列的索引; 如果不是，编码器输出任意数字号。只要输入序列位于典型集内(至少概率) ，编码器就不会出错。因此，该编码器的错误概率是以上有界的。

Proof of Converse. The converse is proved by showing that any set of size smaller than $A 模板:Su$ (in the sense of exponent) would cover a set of probability bounded away from $1$ .

Proof of Converse. The converse is proved by showing that any set of size smaller than }} (in the sense of exponent) would cover a set of probability bounded away from .

逆向的证明。通过证明任意一个小于}(指数意义下)的集合可以覆盖一个距离有界的概率集合，从而证明了逆向的结论。

Proof: Source coding theorem for symbol codes

证明: 符号码的源编码定理

For $1 \leq i \leq n$ let $s i$ denote the word length of each possible $x i$ . Define [math]\displaystyle{ q_i = a^{-s_i}/C }[/math], where $C$ is chosen so that $q 1 + ... + q n = 1$ . Then

For let denote the word length of each possible . Define [math]\displaystyle{ q_i = a^{-s_i}/C }[/math], where is chosen so that 1}}. Then

因为 let 表示每个可能的单词的长度。定义 math q i a ^ {-s i } / c / math，在其中选择1}。然后

[math]\displaystyle{ \begin{align} \lt math\gt \begin{align} 数学 begin { align } H(X) &= -\sum_{i=1}^n p_i \log_2 p_i \\ H(X) &= -\sum_{i=1}^n p_i \log_2 p_i \\ H (x) &-sum { i } ^ n pi log 2pi &\leq -\sum_{i=1}^n p_i \log_2 q_i \\ &\leq -\sum_{i=1}^n p_i \log_2 q_i \\ &\leq -\sum_{i=1}^n p_i \log_2 q_i \\ &= -\sum_{i=1}^n p_i \log_2 a^{-s_i} + \sum_{i=1}^n p_i \log_2 C \\ &= -\sum_{i=1}^n p_i \log_2 a^{-s_i} + \sum_{i=1}^n p_i \log_2 C \\ 2 a ^ {-s i } + sum { i } ^ n p i log 2 c &= -\sum_{i=1}^n p_i \log_2 a^{-s_i} + \log_2 C \\ &= -\sum_{i=1}^n p_i \log_2 a^{-s_i} + \log_2 C \\ 2 a ^ {-s i } + log 2 c &\leq -\sum_{i=1}^n - s_i p_i \log_2 a \\ &\leq -\sum_{i=1}^n - s_i p_i \log_2 a \\ &\leq -\sum_{i=1}^n - s_i p_i \log_2 a \\ &\leq \mathbb{E} S \log_2 a \\ &\leq \mathbb{E} S \log_2 a \\ (英国)《基督教科学箴言报》 \end{align} }[/math]

\end{align}</math>

End { align } / math

where the second line follows from Gibbs' inequality and the fifth line follows from Kraft's inequality:

第二行来自吉布斯的不平等，第五行来自卡夫的不平等:

[math]\displaystyle{ C = \sum_{i=1}^n a^{-s_i} \leq 1 }[/math]

数学 c sum { i } ^ n a ^ {-s i } leq 1 / math

so $log C \leq 0$ .

so .

所以。

For the second inequality we may set

对于第二个不等式，我们可以设定

[math]\displaystyle{ s_i = \lceil - \log_a p_i \rceil }[/math]

数学-数学-数学

so that

所以

[math]\displaystyle{ - \log_a p_i \leq s_i \lt -\log_a p_i + 1 }[/math]

数学，数学，数学

and so

所以

[math]\displaystyle{ a^{-s_i} \leq p_i }[/math]

数学 a ^ { s i } leq p i / math

and

及

[math]\displaystyle{ \sum a^{-s_i} \leq \sum p_i = 1 }[/math]

数学，数学，数学，数学

and so by Kraft's inequality there exists a prefix-free code having those word lengths. Thus the minimal $S$ satisfies

and so by Kraft's inequality there exists a prefix-free code having those word lengths. Thus the minimal satisfies

因此，由于卡夫公司的不平等性，存在一种无前缀的代码，具有这些单词长度。因此，最小值满足

[math]\displaystyle{ \begin{align} \lt math\gt \begin{align} 数学 begin { align } \mathbb{E} S & = \sum p_i s_i \\ \mathbb{E} S & = \sum p_i s_i \\ 文章从理论和实践两个方面论述了当前我国社会主义新农村建设中存在的问题，并提出了相应的对策 & \lt \sum p_i \left( -\log_a p_i +1 \right) \\ & \lt \sum p_i \left( -\log_a p_i +1 \right) \\ (- log a pi + 1右) & = \sum - p_i \frac{\log_2 p_i}{\log_2 a} +1 \\ & = \sum - p_i \frac{\log_2 p_i}{\log_2 a} +1 \\ & sum-p i frac 2 p i }{ log 2 a } + 1 & = \frac{H(X)}{\log_2 a} +1 \\ & = \frac{H(X)}{\log_2 a} +1 \\ & frac { h (x)}{ log 2 a } + 1 \end{align} }[/math]

\end{align}</math>

End { align } / math

Extension to non-stationary independent sources

扩展到非平稳的独立源

Fixed Rate lossless source coding for discrete time non-stationary independent sources

离散时间非平稳独立信源的固定速率无损信源编码

Define typical set $A 模板:Su$ as:

Define typical set }} as:

定义典型的集合}}如下:

[math]\displaystyle{ A_n^\varepsilon = \left \{x_1^n \ : \ \left|-\frac{1}{n} \log p \left (X_1, \cdots, X_n \right ) - \overline{H_n}(X)\right| \lt \varepsilon \right \}. }[/math]

数学 a n ^ varepslon 左 x 1 ^ n: 左 |-frac {1} log p left (x1，cdots，xn right)-overline { h }(x)右 | varepslon right。数学

Then, for given $δ > 0$ , for $n$ large enough, $Pr(A 模板:Su) > 1 - δ$ . Now we just encode the sequences in the typical set, and usual methods in source coding show that the cardinality of this set is smaller than [math]\displaystyle{ 2^{n(\overline{H_n}(X)+\varepsilon)} }[/math]. Thus, on an average, $模板:Overline (X) + ε$ bits suffice for encoding with probability greater than $1 - δ$ , where $ε$ and $δ$ can be made arbitrarily small, by making $n$ larger.

Then, for given , for large enough, ) > 1 − δ}}. Now we just encode the sequences in the typical set, and usual methods in source coding show that the cardinality of this set is smaller than [math]\displaystyle{ 2^{n(\overline{H_n}(X)+\varepsilon)} }[/math]. Thus, on an average, (X) + ε}} bits suffice for encoding with probability greater than , where and can be made arbitrarily small, by making larger.

然后，对于给定，对于足够大,)1-}。现在我们只是在一个典型的集合中对序列进行编码，通常的信源编码方法表明这个集合的基数小于 math 2 ^ { n (换行{ h }(x) + varepsilon)} / math。因此，在一个平均值上，(x) + }位足够用于编码的概率大于，其中，可以任意小，通过使更大。

References

参考资料

引用错误：Closing tag missing for <references>

}}

Category:Information theory

范畴: 信息论

Category:Coding theory

类别: 编码理论

Category:Data compression

类别: 数据压缩

Category:Presentation layer protocols

分类: 表示层协议

Category:Mathematical theorems in theoretical computer science

范畴: 理论计算机科学中的数学定理

Category:Articles containing proofs

类别: 包含证明的文章

This page was moved from wikipedia:en:Shannon's source coding theorem. Its edit history can be viewed at 香农信源编码定理/edithistory

[1]

[2]

[3]

香农信源编码定理

目录

Statements

Statements

Source coding theorem

Source coding theorem

Source coding theorem for symbol codes

Source coding theorem for symbol codes

Proof: Source coding theorem

Proof: Source coding theorem

Proof: Source coding theorem for symbol codes

Proof: Source coding theorem for symbol codes

Extension to non-stationary independent sources

Extension to non-stationary independent sources

Fixed Rate lossless source coding for discrete time non-stationary independent sources

Fixed Rate lossless source coding for discrete time non-stationary independent sources

See also

See also

References

References