條件熵

在資訊理論中，條件熵描述了在已知第二個隨機變數 $X$ 的值的前提下，隨機變數 $Y$ 的資訊熵還有多少。同其它的資訊熵一樣，條件熵也用Sh、nat、Hart等資訊單位表示。基於 $X$ 條件的 $Y$ 的資訊熵，用 $\mathrm {H} (Y|X)$ 表示。

定義

如果 $\mathrm {H} (Y|X=x)$ 爲變數 $Y$ 在變數 $X$ 取特定值 $x$ 條件下的熵，那麼 $\mathrm {H} (Y|X)$ 就是 $\mathrm {H} (Y|X=x)$ 在 $X$ 取遍所有可能的 $x$ 後取平均的結果。

給定隨機變數 $X$ 與 $Y$，定義域分別爲 ${\mathcal {X}}$ 與 ${\mathcal {Y}}$，在給定 $X$ 條件下 $Y$ 的條件熵定義爲：

${\begin{aligned}\mathrm {H} (Y|X)\ &\equiv \sum _{x\in {\mathcal {X}}}\,p(x)\,\mathrm {H} (Y|X=x)\\&=-\sum _{x\in {\mathcal {X}}}p(x)\sum _{y\in {\mathcal {Y}}}\,p(y|x)\,\log \,p(y|x)\\&=-\sum _{x\in {\mathcal {X}}}\sum _{y\in {\mathcal {Y}}}\,p(x,y)\,\log \,p(y|x)\\&=-\sum _{x\in {\mathcal {X}},y\in {\mathcal {Y}}}p(x,y)\log \,p(y|x)\\&=-\sum _{x\in {\mathcal {X}},y\in {\mathcal {Y}}}p(x,y)\log {\frac {p(x,y)}{p(x)}}.\\&=\sum _{x\in {\mathcal {X}},y\in {\mathcal {Y}}}p(x,y)\log {\frac {p(x)}{p(x,y)}}.\\\end{aligned}}$

注意： 可以理解，對於確定的 c>0，表達式 0 log 0 和 0 log (c/0) 應被認作等於零。

若且唯若 $Y$ 的值完全由 $X$ 確定時，$\mathrm {H} (Y|X)=0$。相反，若且唯若 $Y$ 和 $X$ 爲獨立隨機變數時$\mathrm {H} (Y|X)=\mathrm {H} (Y)$。

鏈式法則

假設兩個隨機變數 X 和 Y 確定的組合系統的聯合熵爲 $\mathrm {H} (X,Y)$，即我們需要 $\mathrm {H} (X,Y)$ bit的資訊來描述它的確切狀態。 現在，若我們先學習 $X$ 的值，我們得到了 $\mathrm {H} (X)$ bits的資訊。 一旦知道了 $X$，我們只需 $\mathrm {H} (X,Y)-\mathrm {H} (X)$ bits來描述整個系統的狀態。 這個量正是 $\mathrm {H} (Y|X)$，它給出了條件熵的鏈式法則：

$\mathrm {H} (Y|X)\,=\,\mathrm {H} (X,Y)-\mathrm {H} (X)\,.$

鏈式法則接著上面條件熵的定義：

${\begin{aligned}\mathrm {H} (Y|X)&=\sum _{x\in {\mathcal {X}},y\in {\mathcal {Y}}}p(x,y)\log {\frac {p(x)}{p(x,y)}}\\&=-\sum _{x\in {\mathcal {X}},y\in {\mathcal {Y}}}p(x,y)\log \,p(x,y)+\sum _{x\in {\mathcal {X}},y\in {\mathcal {Y}}}p(x,y)\log \,p(x)\\&=\mathrm {H} (X,Y)+\sum _{x\in {\mathcal {X}}}p(x)\log \,p(x)\\&=\mathrm {H} (X,Y)-\mathrm {H} (X).\end{aligned}}$

貝葉斯規則

條件熵的貝葉斯規則表述爲

$H(Y|X)\,=\,H(X|Y)-H(X)+H(Y)\,.$

證明. $H(Y|X)=H(X,Y)-H(X)$ and $H(X|Y)=H(Y,X)-H(Y)$。對稱性意味著 $H(X,Y)=H(Y,X)$。將兩式相減即爲貝葉斯規則。

推廣到量子理論

在量子資訊論中，條件熵都概括為量子條件熵。