率失真理论回答有损压缩的根本问题:允许平均失真至多 时,码率最低能压到多少?答案 是任何编码器都逃不掉的下界——压缩界的「热力学第二定律」。

问题与优化目标

无损压缩的极限是熵:码率低于熵必然丢信息。但图像、语音这类信源本来就不打算无损——允许失真至多 时,极限在哪?率失真理论给出精确答案:压缩极限等于率失真函数 ,即在失真约束下,重建值 与信源 之间必须保留的最小互信息(比特数)。

公式解读

  • 条件概率分布。原始信号是 ,重建/恢复出来的信号是 的含义:给定原始样本 ,输出重建样本 的概率。在信息论里,这个条件分布就代表编码器 + 解码器构成的概率映射(信道)。不是固定确定性函数,允许随机重建。
  • 冒号 :后面代表约束条件,读作「满足……的所有
  • 失真的数学期望
    • :失真度量。比如图片编码常用 MSE:;也可以是 L1 损失、感知损失等。衡量原始样本 和重建样本 之间有多「不像」。
    • 是对联合分布 求期望,代表平均失真
  • ,整套编解码方案的平均失真不能超过上限 **。

所以下标整句含义:遍历所有满足「平均失真 」的条件重建分布 ,在这一类分布里面,求互信息 的最小值。

拆开看四个要素:优化变量是试验信道 ——一个假想的概率编码器,描述「给定输入 ,输出怎样的重建 」;互信息,即仍需保留的比特数,可写成条件分布间的期望 KL 散度(见 Kullback-Leibler散度); 是失真度量(MSE、Hamming……),换度量就换 的形状;约束 就是「失真预算」。

Shannon 源编码定理给 铺了正反两面:码率 时,存在编码使失真 (渐近可达);码率 时不存在。 是可达与不可达的分界线,地位等同于信道编码里的容量

高斯信源:唯一有闭式解的经典情形

无记忆高斯信源 (无记忆即各样本独立同分布,见 独立同分布)配 MSE 度量:

这个闭式能读出三层信息:信源越「散」( 大)越难压; 时码率对数式爆炸——完美重建没有廉价捷径;——全用均值一个常数表示即可,一个比特都不花。反解出失真率函数 :每多 1 bit/维,失真降到四分之一——按功率算正好 6 dB。音频视频里「码率-质量曲线」的理论源头就是它。

它怎么用:给一切编码器发刻度尺

本身不产出编码器,它产出标尺。任何实际有损编码器——VQ、变换编码、神经压缩——都可以放在标尺上问一句:在我的工作点上,距离同码率的 还差多少?这个 gap 就是剩余优化空间。矢量量化(VQ):从码本设计到率失真理论 的核心结论「矢量量化增益」正是该框架下的定理:矢量维度 时 VQ 可任意逼近 ,标量量化则永远留着 gap。

两个边界要交代:渐近极限(无限块长、信源分布已知),实际 codec 只能逼近不能到达; 与信道容量 互为对偶——一个在失真约束下最小化互信息,一个在功率约束下最大化互信息。这组对偶支撑了信源-信道分离定理:先压到 附近、再按 编码传输,分两步设计在渐近意义下不损失最优性——整个通信系统的分层架构由此背书。