上式对所有 的 成立,可以列一个 n 元方程组解出所有
需要确认所有的 大于等于 0,所求的 C 才存在。
核心目标:最大化平均互信息
信道容量的定义是:
其中, 是信道输入, 是信道输出, 是输入符号 的概率分布。 平均互信息 可以表示为:
这里, 是输出符号 的概率, 是信道转移概率(即输入 时输出 的概率)。 同时,输入概率分布需要满足约束条件:。
1. 构造拉格朗日函数
为了解决这个约束优化问题,我们使用 拉格朗日乘数法,引入拉格朗日乘子 ,构造拉格朗日函数 :
将 的表达式代入:
注意,为了求导方便,这里将求和的索引 换成了 。 我们的目标是求 。
2. 求偏导并化简
对 关于 求偏导。这里需要用到几个关系:
- ,所以 。
- (如果 不是自然对数 ;如果 是 ,则 )。图片中明确指出 ,这说明推导中的 是某个底数的对数,求导时会产生一个 的因子。
求导结果:
整理一下:
利用 (给定输入 ,所有输出的概率之和为 1),上式可以化简为:
移项得到 (4.2.16):
这个等式的左边其实就是特定输入 对平均互信息的贡献,记作 。这意味着,对于最优的输入分布,所有被使用的输入 (即 ),其 的值都应该是一个常数,即 。
3. 引入信道容量
将 (4.2.16) 两边乘以 并对 求和:
左边就是平均互信息 。右边因为 ,所以等于 。 因此,。 由于信道容量 是 的最大值,所以当达到最大值时,我们有 (4.2.17):
通常在信息论中,对数的底取 2,单位是比特。所以这里明确写出 。这意味着前面推导中的 如果是 ,那么 就是 。
将 代回到 (4.2.16)(并将对数底统一为 2):
为了简化,引入变量 (如 (4.2.18) 所示):
于是上式可以写成 (4.2.19):
这个条件对于所有使得 的输入 都必须成立。
4. 求解输出概率 和
由 (4.2.18) ,可以反解出 :
利用概率之和为 1 的约束条件 :
所以,。两边取 ,得到 的表达式(图中橙色框):
最后提到 ” 由 求出 “。这通常不是直接求解,而是指这些方程组是寻找最优 的充要条件,实际求解往往需要迭代算法(如 Arimoto-Blahut 算法)。当找到的 满足概率约束且使上述所有条件成立时, 就是正确的信道容量。
5. 总结 的求法
这张图总结了在最优条件下,各个量之间应该满足的关系,也暗示了一个迭代求解的思路:
-
由 求 : 这个等式 (4.2.19) 应该对所有 的 成立。等式左边 对于给定的信道是一个只依赖于 的常数。这一步表明 的取值要满足这个条件。
-
由 求 : 一旦确定了 (或者在迭代中的当前估计值),就可以用这个公式计算信道容量 。
-
由 求 : 知道了 和 ,就可以得到对应的输出概率分布 。
-
由 (应为 ) 求出 ,并验证: 这里有点小笔误,图中的公式重复了步骤 1 的。正确的应该是,找到一个输入分布 ,它能产生步骤 3 得到的 (即满足 ),并且这个 只在那些满足步骤 1 条件的 上取非零值。然后验证整个解是否自洽。
整体思路: 整个推导过程是通过拉格朗日乘子法,从最大化互信息的目标出发,推导出最优输入输出概率分布以及信道容量必须满足的一系列条件。实际计算信道容量时,往往采用迭代算法 (如 Arimoto-Blahut 算法),不断迭代更新 和 (或相关的量如 ),直到这些条件近似满足,从而得到信道容量的数值解。这些图片为你展示了这些迭代算法所依据的数学原理和最优解的特性。
可以将图片中描述的求解信道容量 的核心方程组用矩阵和向量的形式表示出来,这样可能更清晰和便于记忆。
首先,我们定义相关的向量和矩阵:
- : 输入概率分布列向量,维度为 。
- : 输出概率分布列向量,维度为 。
- : 信道转移概率矩阵,维度为 。矩阵的第 行第 列元素 表示输入为 时,输出为 的概率。
- : 一个辅助列向量,维度为 。
- : 信道容量,是一个标量。
- : 元素全为 1 的 列向量。
- 和 : 表示对矩阵或向量中的每个元素进行操作。
- : 表示 Hadamard 积(element-wise product),即矩阵(或向量) 和 的对应元素相乘。
我们可以将其改写为矩阵形式:
- 第一个公式: 这个公式的左边是矩阵 的第 行与向量 的点积。右边是矩阵 的第 行与该行元素取 后的点积。 我们可以定义一个 的列向量 ,其第 个元素为 。 这个向量可以表示为:。 于是,第一个公式可以表示为:
需要注意的是,这个等式仅对那些使得 $p(a_i) > 0$ 的输入 $a_i$ (即第 $i$ 行)成立。
2. 第二个公式: 这可以表示为:
其中 $2^{\mathbf{\beta}}$ 是对向量 $\mathbf{\beta}$ 的每个元素取 $2$ 的幂次。$\mathbf{1_m}^T 2^{\mathbf{\beta}}$ 计算了 $2^{\beta_j}$ 的总和。
3. 第三个公式: 这可以表示为元素级的运算:
或者可以写作:
- 第四个公式: 这表示输出概率是输入概率通过信道转移的加权和。 。 这正是矩阵乘法 的第 个元素(如果 是列向量)。 更常见的写法是:
这里 $\mathbf{P}^T$ 是矩阵 $\mathbf{P}$ 的转置,维度为 $m \times n$。 $\mathbf{P}^T \mathbf{p_a}$ 的结果是一个 $m \times 1$ 的列向量,与 $\mathbf{p_b}$ 维度一致。
总结一下矩阵形式的方程组:
- (此条件对 的 成立)
这些方程描述了当信道达到容量 时,最优的 、 和辅助量 之间必须满足的关系。图片中箭头指示的“求解过程”暗示了这些变量之间的依赖关系,实际求解通常依赖迭代算法 (如 Arimoto-Blahut 算法) 来找到满足这些条件的解。