互信息的直观含义
视频借助“云—雨”例子说明:互信息衡量的是某次观测使我们对未知事件的不确定性减少的程度。看到云之后,你对是否会下雨的判断变得更确定;这种确定性的提升即为互信息。
DataMListic · YouTube · 3:35
本段从天气示例出发,直观引入互信息;接着定义熵,通过比较均匀硬币与有偏硬币说明熵随分布均匀性增加而增大;给出熵的形式化公式 ₓ ₂ ;利用矩形高度差解释条件熵 H(X|Y) 与互信息 I(X;Y) = (X|Y);最后用双圆维恩图可视化 、、I(X;Y)、H(X|Y)、H(Y|X) 与联合熵之间的空间关系。 这段95秒的视频通过三个相互关联的视角讲解互信息。第一,维恩图将 I(X;Y) 定义为 与 的重叠部分,从而导出恒等式 I(X;Y)=;第二,对比独立性与依赖性:独立性表现为联合分布可分解为 ,且 I(X;Y)=0,对应均匀的联合分布网格;依赖性则表现为 ,且 I(X;Y)>0,对应沿对角线集中的分布;第三,将互信息重新表述为 D_{KL}( ∥ ),展开为 ,指出其对称性 I(X;Y)=I(Y;X),最后以两个圆重叠区域不断增大的动画收尾,象征共享信息持续增加。
在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。
依据视频画面与讲解整理,并非逐字语音转写。
一开始,视频通过“看到云预示着下雨”这一生活场景提出一个现实问题:观察一个事件能在多大程度上减少对另一个事件的不确定性?左侧画有云朵,右侧画有雨滴,中间用问号连接,紧接着直接出现术语“互信息”。这一步将互信息定义为不确定性的减少量。
接下来,视频转入“不确定性度量”环节,指出在讨论共享信息之前,我们需要一种量化不确定性的工具——即熵。这一顺序至关重要:先介绍单个变量的不确定性,再比较“在观测到Y之后,X还剩下多少不确定性”。
为建立直观理解,视频首先给出均匀硬币的例子:正面朝上的概率为零点五,反面朝上的概率也为零点五,结果等可能发生,旁白将其描述为最大不确定性,并赋予熵值H等于一点零比特。紧接着切换到有偏硬币:正面朝上的概率为零点九,反面朝上的概率为零点一;由于结果更偏向某一侧,不确定性降低,熵下降至零点四七比特。这两个例子共同说明:熵不仅取决于可能结果的数量,更取决于概率分布的均匀程度。
举例之后,视频给出了形式化定义: 等于负的对所有 x 求和,即 乘以以二为底的 的对数。其中,X 是一个随机变量, 表示 X 取某一特定值的概率,而以二为底的对数决定了熵的单位是比特。讲解者将熵概括为‘期望的惊讶程度’,也就是平均的意外程度。
下一节从单变量熵推进到两个变量间的关系:左侧一个高矩形代表 ,中间箭头标有“观测 Y”,右侧一个较矮矩形代表 H(X|Y)。讲解者解释道:在观测 Y 后,关于 X 的剩余不确定性即为条件熵;由于右侧矩形更矮,说明观测 Y 减少了不确定性。紧接着,将二者高度差定义为互信息,并写出公式 I(X;Y) = (X|Y)。此处的核心思想是将“信息增益”具象化为一个可测的高度差。
最后,视频用维恩图总结这些量:左圆为 ,右圆为 ,其交集为 I(X;Y),左新月形区域为 H(X|Y),右新月形区域为 H(Y|X),两圆并集被口头称为联合熵。该图将前述代数关系空间化:重叠部分为互信息,非重叠部分为两个方向的条件熵,整体则代表联合不确定性。本段在此结束,未进一步展开联合熵公式或额外示例。
视频片段以一张黑色幻灯片开场,标题为“文氏图”。一个标有 的蓝色圆圈与一个标有 的红色圆圈相互重叠。仅左侧区域标注为 H(X|Y),仅右侧区域标注为 H(Y|X),重叠部分标注为 I(X;Y),两个圆圈下方用大括号标出 。旁白说道:“于是我们得到这个优美的恒等式”,随后公式 出现。从视觉上看,两圆并集即为联合熵,交集即为互信息,因此从两圆面积之和中减去并集,恰好剩下重叠部分。
新幻灯片标题为“独立性 vs 依赖性”。在“独立”下方,是一个以 x 和 y 为索引的方格网格,整体均匀呈橙色。其下方公式为 和 。旁白解释道:当 X 与 Y 独立时,知道其中一个变量完全无法提供关于另一个变量的任何信息;数学上,联合分布可分解为边缘分布的乘积,且所衡量的共享信息量为零。
右侧“依赖”面板展示第二个网格,其中橙色更深的部分沿对角带状区域集中分布。其对应公式为 和 。对比十分明确:依赖性意味着联合分布具有超出边缘分布乘积之外的结构,而该结构正由严格为正的互信息来度量。
幻灯片切换为“一种更深层的对称性”。中央公式为 。旁白称这是理解互信息最深刻的方式:它度量的是实际联合分布与纯粹独立假设下应有的联合分布之间的偏离程度。
屏幕上出现文字提问:“联合分布距离纯粹独立有多远?”随后公式展开为 。这一行将离散 KL 散度具体化为以 和 为参数的形式,从而使互信息成为以联合分布为权重的、真实联合分布与独立参考分布之间对数比值的平均。
下一个显示的公式为 。旁白强调互信息具有完美的对称性:X 关于 Y 所揭示的信息,恰好等于 Y 关于 X 所揭示的信息。这与先前的文氏图一致——重叠区域平等地属于两个圆圈,而非偏向某一个方向的推断。
最后的动画回到两个圆圈:初始时彼此分离,并配有字幕“无共享信息”。随着蓝色与红色圆圈逐渐靠近,字幕依次变为“存在部分共享信息”,再变为“高度依赖”。不断增大的透镜状重叠区域,即为互信息递增的视觉表征:重叠越多,一个变量所揭示的关于另一个变量的信息就越多。
数学解释部分结束,随后是一段简短的口播结尾,邀请观众点赞、订阅并留言。
视频借助“云—雨”例子说明:互信息衡量的是某次观测使我们对未知事件的不确定性减少的程度。看到云之后,你对是否会下雨的判断变得更确定;这种确定性的提升即为互信息。
在讨论共享信息之前,视频先引入熵,以量化单个随机变量所固有的不确定性。旁白将其概括为“期望惊讶度”:结果越难预测,熵就越高。
抛掷一枚均匀硬币时,正面朝上的概率等于反面朝上的概率,均为零点五,因此两种结果等可能发生,产生最大不确定性。视频给出该分布的熵为一点零比特。
当硬币出现偏差,使得P〔heads〕等于零点九、P〔tails〕等于零点一时,结果更加集中,预测更容易,不确定性更小。视频给出此时的熵约为零点四七比特,说明熵取决于概率分布,而不仅取决于结果的数量。
若先观测另一变量 Y,则关于 X 的剩余不确定性记作条件熵 H〔X|Y〕。视频中用一个较短的矩形表示它,强调“在观测 Y 后,关于 X 的不确定性减小了。”
互信息定义为原始熵与条件熵之差:即观测 Y 前关于 X 的不确定性,减去观测 Y 后关于 X 的剩余不确定性。图示中直接将这一差值描绘为绿色区域。
最后,视频用两个重叠圆总结这些关系:左圆为 ,右圆为 ,交集为 I(X;Y),左新月形区域为 H(X|Y),右新月形区域为 H(Y|X),两圆并集为联合熵。该图一次性清晰呈现了熵、条件熵、互信息与联合熵之间的空间关系。
视频将互信息表示为两个熵圆圈的重叠区域:左侧圆圈为 ,右侧圆圈为 ,两圆并集为 ,交集为 I(X;Y)。依据该几何关系,片段写出恒等式 I(X;Y)=。
在独立情形下,联合分布可分解为 。所配网格呈均匀分布,片段指出 I(X;Y)=0。从概念上讲,知道其中一个变量无法提供关于另一个变量的任何信息。
依赖情形通过一个沿对角线集中分布的联合网格来展示。公式表明 且 I(X;Y)>0。其含义是:超出边缘分布乘积的统计结构会产生共享信息。
片段将互信息重新表述为实际联合分布与独立参考分布 之间的 Kullback-Leibler 散度。这使得互信息成为衡量偏离纯粹独立性程度的一种距离度量。
应用离散 KL 散度定义,得到对所有 (x,y) 组合求和的表达式:每一项为联合概率乘以联合概率与边缘分布乘积之比的对数。片段中未指定对数的底。
视频明确指出,互信息在其两个参数上具有对称性。重叠解释与 KL 散度形式均支持同一结论:从 X 到 Y 共享的信息量等于从 Y 到 X 共享的信息量。
结尾动画将两个圆逐渐靠近,同时字幕从“无共享信息”变为“部分共享信息”,再变为“高度依赖”。不断增大的交集面积被用作互信息逐步增大的视觉模型。
按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。
在屏幕中央写出 ₓ ₂。
讲述者说道:“形式上,熵是期望的意外程度。”
随机变量 X 的熵表示关于 X 的不确定性,或期望的意外程度。
X 是一个离散型随机变量;求和遍历 x 的所有可能取值。
这一项出现在熵的公式中。
讲述者朗读:“负的 乘以 的和。”
随机变量 X 取某个特定值 x 的概率。
概率质量函数,满足 大于等于零,且对所有 x 求和等于一。
该公式明确使用以二为底的对数。
讲述者说“乘以 ”,但未口头强调底数。
音频中仅说“log”,而底数——二——则在公式中以视觉方式标出。
以二为底的对数所得熵的单位为比特。
应用于随机变量 X 的概率值 P。
在右侧较短矩形的上方标有 X 关于 Y 的标签 H。
讲解员说:“你对 X 的剩余不确定性就是条件熵,即 X 关于 Y 的熵 H。”
H(X|Y)
在观测到 Y 之后关于 X 的剩余不确定性——即条件熵。
X 和 Y 是相关的随机变量。
在底部写出 I(X;Y) = (X|Y)。
讲解员说:“这两者之间的差值就是互信息。”
I(X;Y)
X 和 Y 之间的互信息衡量了观测 Y 能使关于 X 的不确定性减少多少。
两个随机变量:X 和 Y。
在维恩图右侧圆圈外标注 。
讲解员说:“右侧标一个 。”
随机变量 Y 的熵表示关于 Y 的不确定性。
Y 是一个离散型随机变量。
在维恩图右侧新月形区域内标注 H(Y|X)。
讲解员说道:“右侧新月形区域是 H(Y|X)。”
H(Y|X)
在观测到 X 之后,关于 Y 所剩余的不确定性。
X 和 Y 是相关的随机变量。
讲解者说:“而整个区域,即两个圆共同覆盖的部分,就是联合熵。”
画面显示两个重叠圆的合并区域,但联合熵的完整符号并未清晰写出。
联合熵的标准记号 在本片段中未清晰写出;仅以口述方式提及该名称。
joint entropy
随机变量对 X 和 Y 共同的不确定性,对应于维恩图中两个圆的并集区域。
X 和 Y 是离散型随机变量。
左侧圆圈用蓝色标注为〔〕。
〔〕出现在恒等式〔I(X;Y)=〕中。
随机变量 X 的熵。
离散随机变量 X 的非负实数量。
右侧圆圈用红色标注为〔〕。
〔〕出现在恒等式〔I(X;Y)=〕中。
随机变量 Y 的熵。
离散随机变量 Y 的非负实数量。
两个圆圈下方的花括号标注为〔〕。
讲述者在引入联合项时说“X 与 Y 的熵 H”。
〔〕作为被减项出现在〔I(X;Y)=〕中。
二元组〔(X,Y)〕的联合熵。
X 与 Y 联合分布的非负实数量。
左侧圆圈中不重叠的部分标记为 H(X|Y)。
H(X|Y)
在给定 Y 的条件下 X 的条件熵。
条件分布 p(x|y) 的非负实数量。
讲解者通过从云朵推及降雨来引入该概念:“但看到云朵,实际上能告诉你多少关于降雨的信息呢?”接着说:“这一数量,即不确定性的减少量,有一个专门的名称——它叫做互信息。”
屏幕左侧显示云朵,右侧显示雨滴,中间出现问号,底部显示“互信息”。
视频通过“看到云”与“是否会下雨”之间的关系来说明:互信息衡量的是某次观测能减少关于未知事件多少不确定性。其中,云代表被观测变量,雨代表待推断的目标变量。
涉及两个相互关联的随机变量或事件
其中一个作为观测变量,另一个作为推断目标
讲述者说:“在讨论共享信息之前,我们需要一种方法来度量不确定性本身,而这就是熵。”以及“形式上,熵是期望的意外程度。”
屏幕上显示 ₓ ₂。
依次出现一枚均匀硬币和一枚有偏硬币的条形图,每张图均标有对应的熵值。
熵用于度量一个随机变量的不确定性,在视频中被解释为“期望的意外程度”。结果分布越均匀,熵越高;某些结果越确定,熵越低。
X 是一个离散随机变量
是 X 的概率分布。
使用以二为底的对数,所得单位为比特
讲述者说:“在观察到 Y 之后,你对 X 的剩余不确定性就是条件熵,即 〔H of X given Y〕。”
屏幕标注了 〔H of X given Y〕,并写出 〔I of X semicolon Y〕 等于 〔H of X〕 减去 〔H of X given Y〕。
左侧一个高矩形标有 〔H of X〕,经‘观察 Y’变换后,变为右侧一个较矮的矩形,标有 〔H of X given Y〕,其上方绿色区域代表减少量。
条件熵 〔H of X given Y〕 表示在 Y 已被观察到之后,对 X 的剩余不确定性。视频通过矩形高度降低这一直观方式来阐释:观察 Y 会降低对 X 的不确定性。
X 和 Y 是随机变量
Y 已被观察到或已知
讲述者说:“这两者之间的差值,就是互信息。”
底部显示 〔I of X semicolon Y〕 等于 〔H of X〕 减去 〔H of X given Y〕。
绿色顶部区域标为 〔I of X semicolon Y〕,对应 〔H of X〕 与 〔H of X given Y〕 的高度差。
互信息等于原始熵减去条件熵,表示通过观察 Y 而获得的关于 X 的信息量。图示将这一差值直接表现为绿色区域。
X 和 Y 是随机变量
与 H(X|Y) 使用相同的单位制。
讲解员说道:“画两个重叠的圆:左边一个标为 ,右边一个标为 。重叠部分即为互信息……左侧新月形区域是 H(X|Y)……右侧新月形区域是 H(Y|X)。而整个区域,即两个圆的并集,就是联合熵。”
两个重叠的圆分别标注为 和 ;它们的交集标注为 I(X;Y);左侧新月形区域标注为 H(X|Y);右侧新月形区域标注为 H(Y|X)。
联合熵仅以口头方式命名;其标准符号 H〔X,Y〕未在画面中出现。
该视频使用两个重叠的圆圈表示两个变量的熵:左侧圆圈为 ,右侧圆圈为 ,它们的交集为 I(X;Y),左侧新月形区域为 H(X|Y),右侧新月形区域为 H(Y|X),两圆并集为联合熵。该图同时展示了熵、条件熵、互信息与联合熵之间的空间关系。
适用于阐释两个离散随机变量之间的信息分解
文氏图用两个重叠的圆分别表示 和 ,三个区域分别标注为 H(X|Y)、I(X;Y) 和 H(Y|X),而 覆盖整个两个圆。
屏幕上显示的恒等式为 I(X;Y) = 。
讲解者说:“因此我们得到这个优美的恒等式:I 以分号连接 X 和 Y,等于 加 减 。”
该视频片段将互信息诠释为熵文氏图中的重叠部分:左侧整个圆代表 ,右侧整个圆代表 ,并集代表 ,交集代表 I(X;Y)。从该图可直接读出恒等式 I(X;Y) = 。
X 和 Y 是具有有限熵的随机变量。
该图将 视为两个熵圆的并集,将 I(X;Y) 视为它们的交集。
在‘独立’标题下,一个正方形网格被均匀地涂成橙色。
屏幕上显示的公式为 和 I(X;Y) = 0。
讲解者指出,当X与Y相互独立时,知道其中一个变量的取值无法提供关于另一个变量的任何信息;联合分布等于边缘分布的乘积;且互信息恰好为零。
视频从操作层面定义了独立情形:联合分布可分解为边缘分布的乘积,且互信息为零。均匀的橙色网格直观地表示联合分布中不存在任何集中模式。
适用于X与Y相互独立的情形。
图中显示的记号使用了概率质量函数、和。
在‘依赖’标题下,第二个方格网格沿对角线带状区域呈现出更深的橙色集中。
图中显示的公式为⋅以及I(X;Y)>0。
讲解者指出,当变量相互依赖时,联合分布在某些特定模式上集中;它不再等于边缘分布的乘积;且互信息变为正值。
依赖情形被呈现为独立性的对比:联合分布不等于边缘分布的乘积,且互信息严格大于零。对角线阴影示意了联合分布律中存在的结构。
适用于X与Y相互依赖的情形。
图中显示的记号使用了概率质量函数。
屏幕上显示 I(X;Y)=D_{KL}( || )。
展开后的表达式为 =。
讲述者称,互信息是‘联合分布与变量相互独立时的联合分布之间的 KL 散度’。
对数的底数未指定。
该片段未说明 KL 散度所需的绝对连续性条件。
更深层的表述将互信息等同于实际联合分布 与独立参考分布 之间的 Kullback-Leibler 散度。展开后的求和形式明确将其表示为:在联合分布下,对联合概率与独立乘积之比的对数所取的期望值。
所展示的推导针对离散分布,使用概率质量函数。
比值形式要求在求和支撑集上满足 且 。
屏幕上显示 I(X;Y)=I(Y;X)。
讲述者说:‘它完全对称:X 与 Y 的互信息等于 Y 与 X 的互信息。X 关于 Y 所提供的信息,恰好等于 Y 关于 X 所提供的信息。’
该片段指出,互信息在其两个参数上具有对称性。这与文氏图的直观图示一致:重叠区域由两个圆圈共同享有,而非仅属于其中某一个圆圈。
适用于任何一对互信息有定义的随机变量 X 和 Y。
讲解者说:“假设我们抛一枚均匀硬币。正面或反面,各自概率均为零点五。你完全无法预知结果,不确定性达到最大。此处的熵恰好为一比特。”
在‘均匀硬币’标题下,两个等高的蓝色柱状图分别标注‘零点五’,下方写有‘H 等于一点零 比特’。
对于单次均匀硬币抛掷,若 P〔正面〕等于 P〔反面〕等于零点五,则其熵为一点零 比特。
该随机试验仅有两种结果:正面和反面
这两种结果出现的概率相等
这适用于本例中这枚质地均匀的硬币。
讲述者说:“现在考虑一枚有偏硬币:正面朝上的概率为零点九,反面朝上的概率为零点一……不确定性大大降低。此时熵下降至仅零点四七比特。”
在‘有偏硬币’图示中,红色条形图高度分别为零点九和零点一,下方标注 H 等于零点四七比特。
对于一枚正面朝上概率为零点九、反面朝上概率为零点一的有偏硬币,其熵约为零点四七比特,小于均匀硬币的一点零比特。
该随机试验仅有两种结果:正面和反面
该概率分布为零点九和零点一
这适用于本例中这枚有偏硬币。
讲解员说道:“你最初对 X 存在某种不确定性,即 。现在,你观测另一个变量 Y。在观测到 Y 后,你对 X 剩余的不确定性即为条件熵……注意,这个值更小。观测 Y 减少了你的不确定性。”
一个标注为 的高矩形位于左侧,经由一条标注为“观测 Y”的箭头变换为右侧一个标注为 H(X|Y) 的较矮矩形。
该视频通过直观动画传达了“观测 Y 会减小剩余不确定性”这一思想,但并未给出一般性的严格证明。
在视频所采用的直观框架下,观测另一个变量 Y 将关于 X 的不确定性从〔H of X〕减小到〔H of X given Y〕,二者之差即为互信息〔I of X semicolon Y〕。
X 与 Y 之间存在信息性关联
Y 被观测
视频以一般性方式呈现该内容,但本片段未详述严格的条件或证明。
讲解者依次指出维恩图中的左圆、右圆、交集、左新月形、右新月形以及整体区域。
维恩图中〔H of X〕、〔H of Y〕、〔I of X semicolon Y〕、〔H of X given Y〕和〔H of Y given X〕的位置与讲解内容一致。
联合熵符号未出现在画面上,仅以口头名称提及。
左圆表示〔H of X〕,右圆表示〔H of Y〕,其交集表示〔I of X semicolon Y〕,左新月形表示〔H of X given Y〕,右新月形表示〔H of Y given X〕,两圆并集表示联合熵。
讨论两个随机变量 X 与 Y 之间的熵分解
这一结论适用于该韦恩图可视化方法。
独立情形图示中,同时展示了 以及 I(X;Y)=0。
相依情形图示中,同时展示了 以及 I(X;Y)>0。
讲解者通过对比独立性与相依性指出:在独立情形下,互信息恰好为零;而在相依情形下,互信息变为正值。
该片段通过展示的两种情形来呈现等价关系,而非以带量词的形式化“当且仅当”定理加以陈述。
对于所展示的变量对,独立性对应于联合概率质量函数的可分解性,且 I(X;Y)=0;而相依性对应于不可分解性,且 I(X;Y)>0。
X 和 Y 是随机变量,其联合概率质量函数为 ,边缘概率质量函数分别为 和 。
该比较是在独立情形与相依情形之间进行的。
对于所展示的变量对 (X,Y):若 ,则 I(X;Y)=0;若 ,则 I(X;Y)>0。
所展示的等式为 I(X;Y)=I(Y;X)。
讲述者明确指出,互信息具有完美的对称性。
互信息满足〔I(X;Y)〕=〔I(Y;X)〕。
X 和 Y 是互信息有定义的随机变量。
对所有此类数对〔(X,Y)〕成立。
讲解员首先定义 ,然后在观测 Y 后定义 H(X|Y),最后说道:“这两者之间的差值,就是互信息。”
屏幕显示 I(X;Y) = (X|Y)。
绿色区域恰好对应左侧矩形与右侧矩形的高度差。
从对 X 的初始不确定性出发
视频将左侧的高矩形标注为 ,讲解员指出这是关于 X 的初始不确定性。
引入对另一变量 Y 的观察
中心处有一条箭头,上面写着“观察 Y”
在观察 Y 之后,对 X 剩余的不确定性记为条件熵。
讲述者明确说道:“你对 X 剩余的不确定性就是条件熵,即 H〔X|Y〕”,右侧的较矮矩形也标有 H〔X|Y〕。
互信息被定义为初始熵与条件熵之差。
讲述者说:“这两者之间的空白区域,就是互信息”,同时公式出现在底部。
互信息可以理解为‘在观测 Y 之前对 X 的不确定性’减去‘在观测 Y 之后对 X 剩余的不确定性’。
讲述者依次描述左侧圆、右侧圆、交集、左侧新月形、右侧新月形以及整个区域。
维恩图中各区域的标签与讲述内容一一对应。
标准的联合熵符号未写出,仅使用其口语名称。
左侧圆表示 X 的熵。
讲述者说:“左边标一个 H of X”,且 H of X 标注在左侧圆外部。
右侧圆表示 Y 的熵。
讲述者说:“右边标一个 H of Y”,且 H of Y 标注在右侧圆外部。
两圆的交集表示互信息。
讲述者说:“重叠部分即互信息”,I〔X;Y〕标注在两圆交集中。
左侧新月形表示在已知 Y 的条件下,关于 X 的剩余不确定性。
讲述者说:“左侧新月形区域表示给定Y时X的条件熵”,H〔X|Y〕标注在左侧新月形区域中。
右侧新月形表示在已知 X 的条件下,关于 Y 的剩余不确定性。
讲述者说:“右侧新月形区域表示给定X时Y的条件熵”,H〔Y|X〕标注在右侧新月形区域中。
两个圆的并集表示联合熵。
讲解者说:“整个区域,即两个圆合在一起,就是联合熵。”
该维恩图可视化了 、、I(X;Y)、H(X|Y)、H(Y|X) 以及联合熵之间的空间关系。
文氏图中,左侧圆圈标记为〔〕,右侧圆圈标记为〔〕,重叠部分标记为〔I(X;Y)〕,独占部分分别标记为〔H(X|Y)〕和〔H(Y|X)〕,并集部分标记为〔〕。
最终展示的恒等式为〔I(X;Y)〕=〔〕+〔〕−〔〕。
将左侧圆圈读作〔〕,右侧圆圈读作〔〕。
图中直接标出。
将两个圆圈的并集读作联合熵〔〕。
横跨两个圆圈下方的大括号标记为〔〕。
将交集区域读作互信息 〔I(X;Y)〕。
重叠区域标记为 〔I(X;Y)〕。
在双圆图上应用容斥原理:将两个完整圆的面积相加会把重叠区域计算两次,因此减去并集面积后,恰好剩下交集面积。
维恩图所编码的视觉集合区域关系。
该图导出公式 〔I(X;Y)=〕。
第一行显示的公式是 〔I(X;Y)=D_{KL}( || )〕。
第二行显示的公式是 〔=〕。
讲述者将参考分布描述为‘若变量相互独立时,联合分布所呈现的样子’。
该片段在应用前并未明确写出 〔D_{KL}〕 的一般定义。
未说明对数的底数。
将互信息等同于从实际联合分布到独立乘积分布的 KL 散度。
显示公式并配以口述解释。
将离散 KL 散度公式应用于 和 ,得到对所有 (x,y) 的求和:联合概率乘以对数比值。
离散分布 KL 散度 D_{KL} 的标准定义,代入图中所示的两个分布。
所展示的互信息等于该求和形式的对数比值。
讲解者完整描述了公平硬币示例,并给出其熵值。
在‘公平硬币’下方,两个柱状条均标有零点五,其下方写有 H 等于一点零比特。
比较单次公平硬币投掷的不确定性程度,并给出其熵值。
实验结果为正面或反面
对应的式子为:
对应的式子为:
解释该分布的不确定性与熵。
列出公平硬币的两个等概率结果。
屏幕显示“公平硬币”下方有两个等高的蓝色条形图,每个均标注为零点五。
给出该公平二元分布的熵值。
讲解员说:“此处的熵恰好为一比特”,屏幕下方显示 H 等于一点零比特。
比特
与后续的有偏硬币示例形成对比:越不均匀的分布,其熵越低。
讲解员完整描述有偏硬币示例,并给出其熵值。
在“有偏硬币”下方,两个红色条形图分别标注零点九和零点一,其下方写有 H 等于零点四七比特。
比较单次有偏硬币抛掷的不确定性程度,并给出其熵值。
实验结果为正面或反面。
对应的式子为:
对应的式子为:
解释该分布的不确定性与熵。
列出有偏硬币两种概率不等的结果。
屏幕在“有偏硬币”下方显示两个红色条形,分别标注为零点九和零点一。
给出该有偏二元分布的熵值。
解说员说:“熵下降至仅零点四七比特”,屏幕下方显示 H 等于零点四七比特。
比特
与均匀硬币的一点零比特相比,这说明:当概率分布趋于集中时,熵随之减小。
黑色背景上显示标题“一个天气谜题”,左侧为灰色云团,右侧为蓝色雨滴,中央为黄色问号,底部出现“互信息”。
讲解者通过云与雨之间的关系引出互信息的概念。
标题:一个天气谜题
灰色云团
蓝色雨滴
黄色问号
文字:互信息
标题最先出现
随后云和雨滴出现
接着问号出现
最后出现‘互信息’文字
云始终停留在左侧,雨始终停留在右侧
问号位于二者之间,表示一种未知的关系
利用可观测事件“云”和可推断事件“雨”,直观地将互信息引入为不确定性的减少
公平硬币和有偏硬币的条形图依次出现,分别显示其信息熵为一比特和零点四七比特。
公平硬币标题
两个等高的蓝色条形
有偏硬币标题
两个不等高的红色条形
熵值标签
首先展示公平硬币的零点五比零点五分布
然后展示有偏硬币的零点九比零点一分佈
每个分布下方均附有其对应的熵值
每组仅有两种结果:正面和反面
柱高表示概率的大小
通过柱高的均匀性直观地说明:随着概率分布越来越集中,熵随之减小。
左侧是一个标有的高矩形,中间是一个标有“观察Y”的箭头,右侧是一个标有H(X|Y)的较矮矩形,上方绿色区域标有I(X;Y),底部写有公式。
高矩形〔H of X〕
箭头:观察Y
较矮矩形〔H of X given Y〕
上方绿色区域〔I of X semicolon Y〕
公式:〔I of X semicolon Y〕等于〔H of X〕减去〔H of X given Y〕
左侧的高矩形首先出现
随后向右的箭头出现
接着,右侧出现一个较短的矩形
最后,绿色区域及其对应的公式突显出二者之差
这些矩形宽度相近;高度之差表示信息增益
绿色区域始终位于右侧矩形的上方
矩形高度表示不确定性的大小;绿色的差值区域表示通过观测 Y 所减少的那部分不确定性
两个重叠的圆逐渐被标注为、、I(X;Y)、H(X|Y)和H(Y|X)。
讲解者按区域顺序逐一解释各部分
联合熵仅以口头方式命名,未以符号形式写出
左侧圆:
右侧圆:
交集为 I〔X;Y〕
给定Y时X的左弯月形熵
给定X时Y的右弯月形熵
整体并集联合熵
先绘制左圆
再绘制右圆以形成重叠区域
依次添加交集、左弯月形和右弯月形的标签
最后,讲解者口头指出整个图形代表联合熵
左圆始终表示X的总熵
右圆始终表示Y的总熵
交集始终表示共享信息
用集合面积类比信息量,将熵、条件熵、互信息与联合熵之间的关系空间化。
黑色背景上出现两个重叠的圆:左侧蓝色圆标为 ,右侧红色圆标为 ,重叠区域标为 I(X;Y),独有区域分别标为 H(X|Y) 和 H(Y|X),下方用花括号标注 。
恒等式 I(X;Y) = 写在图下方。
代表 的蓝色圆
代表 的红色圆
重叠区域 I(X;Y)
左侧独有区域 H(X|Y)
右侧独有区域 H(Y|X)
用花括号标注的并集
公式 I(X;Y)= 在已显示的图示下方被引入。
圆圈颜色与区域标签在此时间段内保持不变。
重叠区域持续表示共享信息。
该图示将联合熵编码为并集,边缘熵编码为完整的圆,互信息编码为交集。
标有“独立”的正方形网格均匀填充橙色。
其下方出现 与 I(X;Y)=0。
以 x 为横坐标、y 为纵坐标的正方形网格
均匀的橙色着色
公式 与 I(X;Y)=0
‘独立性 vs 依赖性’标题之后引入独立面板。
网格中未出现对角线或局部集中的现象。
所有单元格的颜色强度相同。
均匀着色直观呈现了一种联合分布,该分布不存在特殊的依赖模式,对应于可分解为边缘分布且互信息为零的情形。
第二个标注为“Dependent”的正方形网格沿对角线带状区域呈现较深的橙色集中。
其下方显示 和 I(X;Y)>0。
着色背后的确切数值概率并未给出。
第二个以 x 和 y 为索引的正方形网格
对角线方向的深橙色带状区域
公式 和 I(X;Y)>0
依赖面板位于独立面板的右侧。
着色从均匀状态转变为沿对角线结构的集中状态。
坐标轴仍分别表示 x 和 y。
联合结构与边际乘积基线之间的对比依然存在。
对角线上的集中区域可视化了联合分布律中的统计结构,对应于不可分解性及正的互信息。
两个独立的圆——一个蓝色,一个红色——彼此靠近,直至大幅重叠。
随着重叠程度增大,字幕文字从“无共享信息”变为“部分共享信息”,再变为“高度依赖”。
旁白指出:当两圆相距较远时,不存在共享信息;而随着两圆逐渐靠近,互信息随之增大。
蓝色圆
红色圆
逐渐增大的透镜状重叠区域
变化的字幕文字
两圆初始处于分离状态。
它们逐渐靠近,直至形成一个小的重叠区域。
它们继续移动,直至重叠区域变得较大。
两个圆保持各自的色彩。
重叠区域始终代表共享的信息。
该动画将几何上的重叠映射为互信息的增加以及依赖性的增强。
公平硬币与有偏硬币均有正反两种结果,但它们的熵分别为一点零比特和零点四七比特。
讲述者强调,公平硬币具有“最大不确定性”,而有偏硬币的不确定性则“小得多”。
人们可能错误地认为,只要可能结果的数量相同,不确定性就一定相同。
视频通过两枚各有两种结果但概率不同的硬币说明:熵还取决于概率分布的均匀程度。
绿色区域仅占据右侧矩形上部区域的一部分,而非整个左侧矩形。
公式写作I(X;Y) = (X|Y)。
有人可能错误地将本身当作互信息。
视频明确指出,互信息是与H(X|Y)之间的差值——即通过观察Y所减少的不确定性部分。
讲述者区分了“重叠部分,即互信息”与“整个区域,即两个圆的并集,也就是联合熵”。
交集处标注为 I〔X;Y〕,而两个圆的并集对应联合熵。
人们可能会错误地将整个双圆区域视为互信息。
视频明确指出:两圆交集是互信息,两圆并集是联合熵,左右两侧的新月形区域则分别是两个方向的条件熵。
所显示的公式 I(X;Y)=I(Y;X) 紧随 KL 散度表达式之后出现。
讲解者强调:X 关于 Y 所提供的信息,恰好等于 Y 关于 X 所提供的信息。
人们可能认为 I(X;Y) 仅衡量 X 关于 Y 所揭示的信息,因此与 I(Y;X) 不同。
该片段明确指出:互信息具有对称性,即 I(X;Y)=I(Y;X)。
独立面板显示 I(X;Y)=0,其中 。
依赖面板显示 I(X;Y)>0,其中 。
讲述者直接对比了这两种情况。
人们可能认为,即使变量间存在某种模式,只要它们相互依赖,互信息仍可能为零。
在视频片段中,依赖性对应联合分布不可分解,且互信息严格大于零;而零互信息则专用于独立情形。
讲述者说:“在讨论共享信息之前,我们需要一种度量不确定性本身的方法,那就是熵。”
视频首先建立熵的概念,再以此为基础定义互信息。
画面上写着:。
讲述者先定义条件熵,再将二者的差定义为互信息。
互信息公式直接依赖于条件熵的定义。
讲述者将 H(X|Y) 描述为在观测到 Y 之后关于 X 的剩余不确定性。
右侧较短的矩形与左侧较高的矩形形成对比。
条件熵是在“Y 已知”这一条件下关于 X 的剩余不确定性,它建立在熵这一先前概念的基础之上。
I(X;Y) = (X|Y) 首先出现。
随后,维恩图以视觉方式映射了 、、I(X;Y)、H(X|Y)、H(Y|X) 以及联合熵之间的空间关系。
维恩图是前述公式与概念关系的直观应用。
均匀硬币与有偏硬币的例子出现在正式熵公式之前。
讲述者首先通过例子说明最大不确定性与降低的不确定性,再给出正式定义。
两个硬币例子具体展示了熵如何随概率分布而变化。
有偏硬币的例子紧接在均匀硬币的例子之后,形成对比。
有偏硬币的例子同样说明:熵衡量的是概率分布的均匀程度。
视频片段先给出 I(X;Y)=,随后又给出 I(X;Y)=D_{KL}(||)。
讲述者在介绍前述恒等式及独立性/依赖性讨论之后,将 KL 视角称为‘思考互信息或许最深刻的方式’。
熵重叠恒等式以及独立性/依赖性的对比,为后续将互信息重新诠释为‘到独立联合分布的距离’做了铺垫。
独立情形写作 ,且 I(X;Y)=0。
KL 公式将 与 进行比较。
在 KL 表达式中,独立性是基准情形:它恰好对应联合分布等于用作比较分布的乘积分布的情形。
依赖情形面板写为 ,且 I(X;Y)>0。
讲述者明确对比了依赖性与独立性。
依赖情形在因式分解和互信息符号两方面,均被呈现为独立情形的对立面。
KL 表达式为 I(X;Y)=D_{KL}(||)。
下一个显示的公式是 I(X;Y)=I(Y;X)。
讲述者说:‘请注意一个优美的性质:它完全对称。’
该片段未逐步展示对称性的代数证明。
由于联合分布 和参考乘积分布 在交换 X 与 Y 时均具有对称性,KL 表达式支持所陈述的对称性 I(X;Y)=I(Y;X)。
初始的韦恩图将重叠区域本身标记为 I(X;Y)。
随后显示公式 I(X;Y)=I(Y;X)。
重叠解释本身已暗示对称性,因为共享区域同等属于两个圆;后续公式则明确陈述了这一点。
讲述者直接提问并回答:“它叫互信息。”
讲述者说:“在讨论共享信息之前,我们需要一种方法来度量不确定性本身。”
均匀硬币与有偏硬币的条形图及其对应的熵值并排显示。
屏幕显示ₓ ₂。
讲解者将H(X|Y)定义为关于X的剩余不确定性。
底部显示 I(X;Y) = (X|Y)。
维恩图的每个区域分别标注为 、、I(X;Y)、H(X|Y) 和 H(Y|X)。
显示的恒等式为 I(X;Y)=。
重叠区域标记为 I(X;Y)。
独立面板显示 ,且 I(X;Y) = 0。
依赖面板显示 ,且 I(X;Y) > 0。
屏幕上显示 I(X;Y) = D_{KL}( || )。
讲解者将其描述为联合分布与该联合分布的独立版本之间的散度。
展开后的表达式为 = 。
对数的底数未指定。
屏幕上显示的等式为 I(X;Y) = I(Y;X)。
讲解者称互信息具有完美的对称性。
已覆盖 · 开场用云朵和降雨来引入互信息的直观含义。
已覆盖 · 标题过渡到“度量不确定性”,表明需先对不确定性进行量化。
已覆盖 · 公平硬币的例子,给出一点零比特。
已覆盖 · 有偏硬币的例子,给出零点四七比特。
已覆盖 · 正式的熵公式被写出。
已覆盖 · 简要过渡到信息增益,不引入新的数学内容。
已覆盖 · 利用矩形高度差异来解释条件熵与互信息。
已覆盖 · 简要过渡到维恩图,不引入新的数学内容。
已覆盖 · 利用维恩图解释熵、条件熵、互信息与联合熵之间的区域关系。
已覆盖 · 维恩图与恒等式 I(X;Y)=。
已覆盖 · 从维恩图幻灯片到独立性/依赖性章节的简短过渡。
已覆盖 · 独立情形:均匀网格、可分解性,且 I(X;Y)=0。
已覆盖 · 依赖情形:对角线模式网格、不可分解性,且 I(X;Y)>0。
已覆盖 · 到‘更深层的对称性’章节的简短过渡。
已覆盖 · KL 散度的表达式及其展开的求和形式。
已覆盖 · 明确的对称性陈述:I(X;Y)=I(Y;X)。
已覆盖 · 两个圆动态靠近并重叠增大的动画,直观展现共享信息与依赖程度的逐步增强。