从矩阵到图
给定 校验矩阵 ，定义二部图 ：变量节点 （对应列，携带比特 ）、校验节点 （对应行）， 当且仅当有边 。一个赋值 是码字，当且仅当每个校验节点的邻接比特满足该行的约束（单奇偶校验即”邻接比特之和为偶”）：
码 = 图上约束系统的解集Tanner 1981 (IEEE Trans. Inf. Theory)。同一码有多张校验矩阵，故有多张 Tanner 图；这一自由度正是 LDPC 设计的操作空间（挑一张稀疏、大 girth 的表示）。对线性码的对偶刻画”=最小相关列组”在图上读作：距离 = 图中最小的”偶校验邻接”非零支撑。
环与 girth：消息传递的地形
环（cycle）是图中长度 的偶回路，girth 是最短环长。为什么环有害：置信传播的每条消息假定”来自独立子树”；在无环（树）图上这一假定严格成立、消息恰是精确边缘；环让证据绕一圈回流，被重复计数，BP 过度自信。定量地：以任一节点为根，半径 以内的邻域是一棵树（局部树近似），BP 消息在此范围内与精确推理一致——girth 越大，近似成立越深。
- 4 环禁令：4 环 ⟺ 两列内积 ⟺ 的非对角元非零。设计时要求 非对角 ，是 LDPC 构造的第一条军规（见ldpc-classical）。
- 结构化构造的上限与突破：准循环构造用循环置换矩阵（CPM）拼 ，但含 个 CPM 块的子阵必然产生 girth 的环；Kasai 用仿射置换矩阵（APM）加随机序贯消环把 girth 推到 16，长码性能曲线显示错误地板显著下压Kasai 2025 (arXiv)。
广义 LDPC：Tanner 的递归超码
Tanner 原文的标题是”低复杂度码的递归方法”：他允许校验节点本身携带一个短码 （如 扩展汉明码）而非单奇偶约束——每个校验节点要求其邻接比特构成 的码字，得到广义 LDPC（GLDPC）或称超码（supercode）。用扩张性分析可给出距离下界：全局距离 （局部码距离）×（图扩张因子）——这个”局部约束 × 图连通性 ⇒ 全局距离”的论证范式，正是 Sipser–Spielman 扩张码定理化的内容（见expander-codes），GLDPC 的局部码思想后来也在量子 Tanner 码中复活（局部码取张量码，见quantum-tanner）Tanner 1981 (IEEE Trans. Inf. Theory)。
量子侧：双 Tanner 图与正交条件
CSS 码由两张校验矩阵 定义，对应两张 Tanner 图，稳定子对易条件化为二者的正交关系
—— 的每个 X 型生成元的支撑与 的每个 Z 型生成元的支撑交于偶数个比特。Kasai 的 girth-16 构造即在此约束下同时设计两图Kasai 2025 (arXiv)。量子译码直接沿用图的算力：综合征 BP 把变量节点换成错误比特、校验节点换成稳定子生成元（见belief-propagation）；超图积码、双变量自行车码、量子 Tanner 码三大 qLDPC 家族，全部是”Tanner 图怎么搭”的不同答案（见hypergraph-product、bivariate-bicycle、quantum-tanner）。