情報量
情報量（じょうほうりょう）やエントロピー（英: entropy）は、情報理論の概念で、あるできごと（事象）が起きた際、それがどれほど起こりにくいかを表す尺度である。ありふれたできごと（たとえば「風の音」）が起こったことを知ってもそれはたいした「情報」にはならないが、逆に珍しいできごと（たとえば「曲の演奏」）が起これば、それはより多くの「情報」を含んでいると考えられる。情報量はそのできごとが本質的にどの程度の情報を持つかの尺度であるとみなすこともできる。
なおここでいう「情報」とは、あくまでそのできごとの起こりにくさ（確率）だけによって決まる数学的な量でしかなく、個人・社会における有用性とは無関係である。たとえば「自分が宝くじに当たった」と「見知らぬAさんが宝くじに当たった」は、前者の方が有用な情報に見えるが、両者の情報量は全く同じである（宝くじが当たる確率は所与条件一定のもとでは誰でも同じであるため）。
Contents
選択情報量（自己エントロピー）と平均情報量（エントロピー）
それぞれのできごとの情報量だけでなく、それらのできごとの情報量の平均値も情報量と呼ぶ。両者を区別する場合には、前者を選択情報量（自己エントロピーとも）、後者を平均情報量（エントロピーとも）と呼ぶ。
選択情報量
事象[math]E[/math]が起こる確率を[math]P(E)[/math]とするとき、 事象 [math]E[/math] が起こったことを知らされたとき受け取る（選択）情報量[math]I(E)[/math] を
- [math]I(E)=\log \frac{1}{P(E)}=-\log P(E)[/math]
と定義する。
起こりにくい事象（＝生起確率が低い事象）の情報量ほど、値が大きい。
上式中の対数 ([math]\log[/math]) の底として何を選んでも、情報量の値が定数倍変わるだけなので、本質的な差はないものの、底としては2を選ぶことが多い。
底が2の場合、[math]1/2^n[/math]の確率で起こる事象の情報量は[math]n[/math]である。
直観的意味
整数[math]u[/math]に対し、[math]u[/math]の対数[math]\log_mu[/math]は[math]m[/math]進法での[math]u[/math]の桁数にほぼ等しい値を表す。したがって、確率[math]1/u[/math]で起こる事象の情報量は、ほぼ[math]u[/math]の桁数になる。
情報量の加法性
AとBが独立な事象の場合、「AもBも起こる」という事象の情報量は、Aの情報量とBの情報量の和である。
情報量には加法性がある。例えば、52枚のトランプから無作為に1枚を取り出すという試行を考える。「取り出したカードはハートの4である」という事象の情報量は、前述の定義からlog52 であると分かる。ここで、「取り出したカードのスートはハートである」という事象と「取り出したカードの数字は4である」という事象の二つを考えると、前者の情報量はlog4、後者はlog13 である。この両者の和はlog4 + log13 = log(4×13) = log52 となり、「取り出したカードはハートの4である」という事象の情報量と等しい。これは直感的要請に合致する。
平均情報量（エントロピー）
[math]\Omega[/math]を、台が有限集合である確率空間とする。[math]\Omega[/math]上の確率分布Pが与えられたとき、各事象[math]A\in\Omega[/math]の選択情報量[math]-\log P(A)[/math]の期待値
- [math]H(P) = - \sum_{A\in\Omega} P(A) \log P(A)[/math]
をPのエントロピーと呼ぶ（平均情報量、シャノン情報量、情報論のエントロピーとも）。
ただし、ここでP(A)=0のときは、[math]P(A) \log P(A)=0[/math]とみなす。これは[math]\lim_{p\to+0}p \log p=0[/math]であることによる。
また有限集合U上の値を取る確率変数Xが確率分布Pに従う場合には、XのエントロピーをH(X)=H(P)によって定める。すなわち、
- [math]H(X) = - \sum_{x\in U} \Pr(X=x) \log \Pr(X=x)[/math]。
エントロピーは常に非負の値（または無限大）を取る。
値x、yがそれぞれ確率変数X、Yに従う場合には、組[math](x,y)[/math]も確率変数とみなせる。この確率変数を[math](X,Y)[/math]と書くことにすると、確率変数[math](X,Y)[/math]のエントロピーは
- [math]H(X,Y) = - \sum_{x,y} \Pr(X=x,Y=y) \log \Pr(X=x,Y=y)[/math]
になる。これを結合エントロピーと呼ぶ。
[math]X,Y[/math]が互いに独立な確率変数である場合には、[math]H(X,Y)[/math]は[math]H(X)+H(Y)[/math]に一致する。すなわち、全体の情報量[math]H(X,Y)[/math]は、それぞれの確率変数の情報量の和である。
しかし、XとYが互いに独立ではない場合は、[math]H(X,Y)[/math]と[math]H(X)+H(Y)[/math]は一致せず、前者より後者の方が大きい値になる。両者の情報量の差を相互情報量と呼び、
- [math]I(X,Y) = H(X) + H(Y) - H(X,Y)[/math]
で表す。相互情報量は常に非負の値になる。
事象Bが生じているという条件下における事象Aの条件付き情報量を[math]-\log\Pr(A|B)[/math]によって定める。確率変数Xが与えられたとき、事象「[math]X=x[/math]」の条件付き情報量[math]-\log \Pr(X=x|B)[/math]のxに関する平均値を条件付きエントロピーといい、
- [math]H(X|B) = - \sum_{x}\Pr(X=x|B) \log \Pr(X=x|B)[/math]
で表す。
さらに確率変数Yが与えられたとき、事象「[math]Y=y[/math]」が生じているという条件下における事象「[math]X=x[/math]」の条件付きエントロピー[math]H(X|Y=y)[/math]のyに関する平均値
- [math]H(X|Y) = \sum_{y} \Pr(Y=y) H(X|Y=y)[/math]
もやはり条件付きエントロピーと呼ぶ。
エントロピーの基本的性質
- 情報量は確率だけによって決まる。
- 情報量は非負の値または無限大を取る。
- nビットのビット列の空間（情報源）から（一様ランダムとは限らない方法で）ランダムにビット列を選んだときのエントロピーは、n以下になる。エントロピーがnになる必要十分条件は、ビット列が一様ランダムに選ばれることである。
- 確率変数XとYが独立である必要十分条件は、[math]H(X)+H(Y)=H(X,Y)[/math]が成立することである。
コイン投げの例
あるコインを投げたときに表が出る確率を [math]p[/math]、裏が出る確率を [math]1 - p[/math] とする。このコインを投げたときに得られる平均情報量（エントロピー）は、
- [math]\left. H(X)= - p \log{p} - (1-p)\log{(1-p)} \right.[/math]
である。
この関数[math]f(p)= - p \log{p} - (1-p)\log{(1-p)}[/math]をエントロピー関数と呼ぶ。
図を見ると分かるように、[math]p=0[/math] と [math]p=1[/math] では [math]H[/math] はゼロである。つまり、コインを投げる前から裏または表が出ることが確実に分かっているときに得られる平均情報量は、ゼロである。[math]H[/math] が最大になるのは [math]p=1/2[/math] のときであり、一般にすべての事象（できごと）が等確率になるときにエントロピーが最大になる。
連続系のエントロピー
実数値を取る確率変数Xの確率密度関数をp(x)とするとき、Xのエントロピーを
- [math]h(X) = - \int_{-\infty}^{\infty}p(x)\log p(x) dx [/math]
によって定義する。
Xが有限集合に値を取る確率変数である場合には、Xのシャノン情報量[math]H(X)[/math]も定義できる。Xがn通りの値を取るとき、[math]H(X)[/math]と[math]h(X)[/math]は、
- [math]h(X) = H(U_n) - H(X) [/math]
を満たす。
ただし、ここで[math]U_n[/math]はn元集合上の一様分布とする（すなわち[math]H(U_n)=\log n[/math]）。
Renyiエントロピー
[math]\Omega[/math]を、台が有限集合である確率空間とする。Pを[math]\Omega[/math]上の確率分布とし、[math]\alpha[/math]を非負の実数とする。
[math]\alpha\neq 1[/math]のとき、Pのdegee [math]\alpha[/math]のRenyiエントロピーを
- [math]H_{\alpha}(P)=\frac{\log(\sum_{A\in\Omega}P(A)^{\alpha})}{1-\alpha}[/math]
によって定義する。 また、[math]\alpha=1,\infty[/math]の場合には、Renyiエントロピーを
- [math]\left\{ \begin{array}{lll} H_1(P) &= \lim_{\alpha\to 1}&H_{\alpha}(P)\\ H_{\infty}(P) &= \lim_{\alpha\to\infty}&H_{\alpha}(P) \end{array} \right.[/math]
によって定義する。
単にRenyiエントロピーと言った場合は[math]H_2(P)[/math]を意味することも多い。
さらに、確率変数Xが確率分布Pに従うとき、[math]H_{\alpha}(X)[/math]を[math]H_{\alpha}(X)=H_{\alpha}(P)[/math]によって定義する。
Renyiエントロピーは以下の性質を満たす：
- [math]H_0(P) = \log\#\Omega[/math] が成立する。
- [math]H_1(P)[/math] はシャノン情報量 [math]H(P) = -\sum_{A\in\Omega} P(A)\log P(A)[/math] と一致する。
- [math]\alpha[/math] が2以上の整数の場合には、 [math]H_{\alpha}(P) = \frac{1}{1-\alpha} \log\Pr(X_1=\cdots=X_\alpha)[/math] が成立する。ここで、 [math]X_1,\ldots,X_\alpha[/math] は確率分布 [math]P[/math] に従う独立同一分布であって、 [math]\Pr(X_1=\cdots=X_\alpha)[/math] は [math]x_1,\ldots,x_\alpha[/math] をそれぞれ[math]X_1,\ldots,X_\alpha[/math] に従って選んだときに[math]x_1=\cdots=x_\alpha[/math] が成立する確率とする。
- [math]H_{\infty}(P)=\min_{A\in\Omega}\{-\log P(A)\}[/math] が成立する。この [math]H_{\infty}(P)[/math] をminエントロピーともいう。
歴史
「エントロピー」の概念は1865年にルドルフ・クラウジウスがギリシャ語の「変換」を意味する言葉を語源として、熱力学における気体のある状態量として導入した。これは統計力学では微視的な状態数の対数に比例する量として表される。1929年にはレオ・シラードが、気体についての情報を観測者が獲得することと統計力学におけるエントロピーとの間に直接の関係があることを示し、現在 1 ビット（1 シャノン）と呼ぶ量が統計力学で k ln 2 に対応するという関係を導いていた[1]。
現在の情報理論におけるエントロピーの直接の導入は1948年のクロード・シャノンによるもので、その論文『通信の数学的理論』でエントロピーの概念を情報理論に応用した[2]。シャノン自身は熱統計力学でこの概念と関連する概念がすでに使われていることを知らずにこの定義に到達したが、その名称を考えていたとき同僚フォン・ノイマンが、熱統計力学のエントロピーに似ていることから示唆したもので、フォン・ノイマンは「統計エントロピーが何なのかを理解してる人は少ないから、議論になったら有利であろう」と語ったとされる[3][4]。しかしシャノンはフォン・ノイマンの影響を否定している[5]。
なお、シャノン以前にもラルフ・ハートレーが1928年に、集合Aに対して[math]\log \# A[/math]という量を考察している（“[math]\#A[/math]”はAの元数）。[math]\log \# A[/math]はA上の一様分布のエントロピーに一致する。現在では、[math]\log \# A[/math]をAのハートレー・エントロピーと呼ぶ。
単位
情報量は本来無次元の量である。しかし、対数の底として何を用いたかによって値が異なるので，単位を付けて区別している。前述のように、情報量は確率の逆数の桁数の期待値なので、単位も桁数のそれを流用する。この為、対数の底として2、e、10を選んだときの情報量の単位は、それぞれビット(bit)、ナット(nat)、ディット(dit)である。
また、今のところ主流ではないものの、1997年に日本工業規格 JIS X 0016:1997（これは国際規格 ISO/IEC 2382-16:1996と一致している）は、これらの量を表す単位を別に定めている（ノートも参照）。
| 底 | 通常の単位 | JISおよびISOが定めた単位 | 備考 |
|---|---|---|---|
| 2 | ビット (bit) | シャノン (shannon) | lb, 二進対数 |
| e=2.718… | ナット (nat) | ナット (nat) | ln, 自然対数 |
| 10 | ディット (dit) | ハートレー (hartley) | lg, 常用対数 |
単位「シャノン」、「ハートレー」の名称は、それぞれ情報量の概念を提案したクロード・シャノン、ラルフ・ハートレーにちなむ。
脚注
- Shannon entropy calculator (English)
- A Mathematical Theory of Communication Shannon 1948 (English)
- ↑ Szilard, L. (1929) "Über die Entropieverminderung in einem Thermodynamischen System bei Eingriffen Intelligenter Wesen", Zeitschrift für Physik 53:840–856
- ↑ Cover & Thomas 2006, テンプレート:Google books quote.
- ↑ 『ファインマン計算機科学』 p. 96 ファインマンによる脚注*8で、「言い伝えによれば」と断りのうえでこの説を紹介している。
- ↑ 韓太舜、小林欣吾『情報と符号の数理』
- ↑ CLAUDE E. SHANNON: An Interview Conducted by Robert Price, 28 July 1982
参考文献
- (2006) Elements of information theory, Second, John Wiley & Sons. ISBN 978-0-471-24195-9.