每日精学 208｜LDPC变量节点的外信息求和

2026-09-25

雷达 · 通信 · 电子战　/　基础精学 208

校验节点提供了关于某个比特的附加软信息，变量节点负责融合这些信息。若输出给一个邻居时保留它自身的输入，会把同一证据在图中直接反射放大。

01
模型与符号

局部树形近似，信道软值 Lj 与来自不同邻居的校验消息在给定比特后可按模型分解；所有软值尺度一致。

Lj：信道似然（无量纲）

ri→ j：校验至变量消息（无量纲）

qj→ i：变量外信息（无量纲）

Ljpost：融合后软值（无量纲）

\mathcal M(j)：相邻校验（集合）

02
从模型到公式

后验证据

条件独立时概率似然相乘，取对数得到

L_j^{\mathrm{post}}=L_j+\sum_{i\in\mathcal M(j)}r_{i\to j}.

该总量用于硬判决

\widehat c_j=\mathbf1\{L_j^{\mathrm{post}}<0\}.

先验若包含在 Lj 中，不再重复加入。


边外信息

发往校验 i 的消息去掉该边输入：

q_{j\to i}=L_j+\sum_{k\in\mathcal M(j),\ k\ne i}r_{k\to j}.

因此亦可写

q_{j\to i}=L_j^{\mathrm{post}}-r_{i\to j}.

该相减只有在总和未提前饱和时才与直接排除求和等价。


数值边界

若度为 dv 且每项绝对值不超过 B，则

|L_j^{\mathrm{post}}|\le(d_v+1)B.

对目标边的外信息不依赖该边自身值，故

\frac{\partial q_{j\to i}}{\partial r_{i\to j}}=0.

该不变性提供有效的实现测试。


排除目标边的代数检验

设变量节点总后验软值为

L_{ \mathrm{post}}=L_c+\sum_jm_j

发往第 i 条边的外信息为

L_{\mathrm{ext},i}=L_{\mathrm{post}}-m_i=L_c+\sum_{j\ne i}m_j.

保持其余量固定，仅改变目标边输入 mi，本边输出应严格不变，即

\frac{\partial L_{\mathrm{ext},i}}{\partial m_i}=0.

这一关系是检测目标边是否被错误重复计数的直接判据。

若先把总后验饱和再减本边，代数消去通常不再精确；因此宽位求和、排除目标边和最终限幅的次序应明确。局部外信息规则也不意味着含环图上的消息始终统计独立。

03
物理含义

外信息不是额外数据字段，而是对来源排除的严格约束。树上这一规则保证每份证据只沿唯一有效路径使用；有环图中长路径仍可能带回相关信息。

04
固定参数算例

固定三条输入校验消息，计算全部边外信息与总后验，逐次改变目标边消息并验证其本边输出不变；比较直接排除和总和减本边的结果。

固定参数数值验证结果
量数值
变量节点度数3
random cases1000
sum minus direct max error0
self edge invariance errors0
posterior absolute bound481
measured max posterior440
checked extrinsic messages3000
图 1：变量节点总后验与边外信息不变性图 1：变量节点总后验与边外信息不变性

图 1　变量节点总后验与边外信息不变性

表中数值和图中曲线由 MATLAB 实际运行得到，随机种子为 20261127；运行版本与完整结果另存为独立文件。

05
数字实现的边界

RTL a 为信道整数软值，b 低两个字节分别为两个有符号8位非目标边消息，输出三项和。被排除目标边不进入端口，宽输出不提前饱和；它是度三变量的一条边子核。

模块采用同步高有效复位及 valid 握手；有效输入在一个时钟沿登记输出，空拍不改变数据寄存器而清除输出有效标志。端口采用有符号 32 位容器，实际有效范围按子核定义约束。

自检覆盖多组有效输入、空拍保持及复位；它验证指定算术或地址子核，不代表完整通信系统或完整译码器已经完成硬件验证。

独立自检程序已在 Icarus Verilog 13.0 中实际运行并通过。该结果不包含器件综合、静态时序分析或板级测试。

06
适用范围

用于消息传递译码器的数据通路设计和饱和点审核。共享总和结构可以节省运算，但应在宽位域完成加减后再处理接口限幅。

07
工程上需要注意

有环图中的消息独立性仅为近似。

总和提前饱和会破坏相减等价。

错误地包含本边消息造成证据回流。

不同来源软值尺度不一致会扭曲融合权重。

变量节点融合通过软值相加完成，外信息则严格排除目标边自身贡献。宽位求和和来源约束共同保障数学模型与实现一致。

内容依据：每日精学第 208 课《LDPC变量节点的外信息求和》。图表沿用原课固定参数数值结果，属于数值验证，不代表设备实测。

阅读12
分享
写评论...