结果族 229：Exact three- and four-state reconstruction thresholds and four-state tree capacity · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
一场传了无数代的”传话游戏”：老祖宗抽一种颜色（四选一），每传一代都可能传错。把所有后代的话全收集起来，还能比瞎猜更准地说出祖宗的颜色吗？这篇论文对四色版本给出精确分界线：d·λ^2 大于 1 时信息永远活着，否则（含恰好相等）彻底洗掉。
关键词卡片
看个具体例子
二叉家谱（d=2）的阈值是 λ=1/√2≈0.707。取 λ=0.70：d·λ^2=0.98，未过 1，哪怕无穷多代后代，信息也彻底丢失；取 λ=0.71：d·λ^2=1.008，超过 1，后代永远能猜得更准。最微妙的等号 d·λ^2=1 恰好落在”不行”一侧（λ 是通道的非平凡特征值，衡量每次传话的保真度；d 是每个节点的孩子数）。下图是传话示意。
为什么值得关心
四色恰是”谱阈值仍然精确”的临界情形（五色起即失效）；本文去掉大度数限制、覆盖一切度数并含等号，补全了悬置多年的猜想拼图。
暂无形式化证明（AI 结果待核验）。
第一级台阶
导读把模型讲成一场传话游戏：老祖宗从四种颜色里抽一种，家谱每传一代都可能传错，问把无穷远后代的话全收集起来，对祖宗颜色的猜测能否严格优于瞎猜。翻成半数学语言：对象是一棵自上而下的家谱树，加上每条边上独立起作用的”传话规则”——保真度高时颜色多半照抄，保真度为零时纯属乱传。核心量是”远代信息对根的残留优势”，结论是一条精确分界线，且最微妙的等号情形也判定完毕。
第二级台阶
精确化：传话规则即四态 Potts 通道 @@M@@P_\lambda(j\mid i)=\lambda\mathbf 1_{\{i=j\}}+(1-\lambda)/4@@，@@M@@\lambda\in[0,1]@@ 是通道的非平凡特征值，@@M@@\lambda\ge0@@ 即铁磁。家谱取每个节点恰有 @@M@@d@@ 个孩子的正则树（整数 @@M@@d\ge2@@），或孩子数独立服从 Poisson@@M@@(d)@@ 的 Galton–Watson 树（实数 @@M@@d>0@@）。观测到第 @@M@@n@@ 层自旋后，后验概率向量 @@M@@p@@ 与均匀律的偏离汇总为重构优势 @@M@@a_n=\E[\frac12\sum_i|p_i-\frac14|]@@；非重构即 @@M@@a_n\to0@@。
第三级台阶
定理断言：只要 @@M@@d\lambda^2\le1@@——特别包含等号——上述两种树上都有 @@M@@a_n(d,\lambda)\to0@@；泊松情形观测整棵树、期望不依存活条件化。配上经典的 Kesten–Stigum 重构方向 @@M@@d\lambda^2>1@@，阈值精确落在这条线上。假设各有分量：@@M@@\lambda\ge0@@ 的铁磁限制是必要的（四态反铁磁确实能在阈值以下重构）；四态恰是”谱阈值仍精确”的边界情形——五态起谱判据失效，故本文是补全拼图的最后一格。结论的形式是矩递推 @@M@@m_{n+1}\le d\lambda^2m_n-cm_n^3@@：等号处线性系数为 1，全靠三次负项压死信息。
证明了铁磁四态 Potts 广播模型在一切 @@M@@d\ge2@@ 正则树与均值 @@M@@d>0@@ 的泊松树上，重构当且仅当 @@M@@d\lambda^2>1@@，且临界等号处不重构；把此前仅大度数成立的结论推广到全部度数，而四态恰是谱阈值仍然精确的边界情形。
在树上的广播过程（broadcast process on a tree）中，根的自旋沿每条边独立地通过噪声通道传给子代；重构问题（reconstruction problem）问：无穷远处的叶子自旋还保留多少关于根自旋的信息？Kesten–Stigum 二阶矩判据 @@M@@d\lambda^2>1@@ 自 1966 年起给出重构的充分方向，但其必要性依赖通道本身：Mossel（2001）证明谱判据并非普遍必要；Sly（2011）证明三态模型在大度数正则树上阈值精确，而 @@M@@q\ge5@@ 态时谱判据失效。四态正处在”精确”与”失效”的分界线上，Mézard–Montanari（2006）与 Ricci-Tersenghi 等人的空腔方法数值都支持其精确性，但严格结论（Mossel–Sly–Sohn 2025）此前只覆盖足够大的平均度。本文对铁磁四态去掉大度数限制；反铁磁（antiferromagnetic）情形被排除是必要的——那里确实可在阈值以下重构。
通道为四态 Potts 型 @@M@@P_\lambda(j\mid i)=\lambda\mathbf 1_{\{i=j\}}+(1-\lambda)/4@@，@@M@@\lambda\in[0,1]@@ 是通道的非平凡特征值，@@M@@\lambda\ge0@@ 即铁磁区域。主定理：若 @@M@@d\lambda^2\le1@@，则重构优势
@@M@@Da_n(d,\lambda)=\E\Big[\tfrac12\sum_{i=1}^4\big|\Pr(\sigma_\rho=i\mid T,\sigma_{L_n})-\tfrac14\big|\Big]@@
趋于零，对每个整数 @@M@@d\ge2@@ 的正则树与每个实数 @@M@@d>0@@ 的泊松 Galton–Watson 树均成立，特别包含等号 @@M@@d\lambda^2=1@@；泊松情形观测整棵树，期望不依存活条件化。结合已知的 @@M@@d\lambda^2>1@@ 重构方向，这给出精确的 Kesten–Stigum 阈值。
核心对象是后验概率向量 @@M@@p@@ 的分布（后验律），而非单个向量。定义二次信息 @@M@@A(p)=4\sum_i p_i^2-1@@；一次通道步使 @@M@@\E A@@ 乘以 @@M@@\lambda^2@@，真正的困难在于不同子树观测合并时的非线性效应。作者构造一个六次多项式 @@M@@H@@（连同辅助多项式 @@M@@F,G@@，系数以千分位有理数显式给出），使约束 @@M@@\E H(p)\ge0@@ 所定义的对称后验律类 @@M@@\mathcal C@@ 在通道步、条件独立乘积与按可观测标签混合三种操作下封闭；初始的完全揭示实验与无信息实验都属于该类。随后两条显式多项式不等式给出：合并两个实验时 @@M@@\E A@@ 次可加，且当两支都有信息量时严格节省一个三次项 @@M@@A(p)A(q)(A(p)+A(q))/1000@@。于是在树上先合并前两个分支、再逐个加入其余分支，得到矩递推 @@M@@m_{n+1}\le d\lambda^2m_n-\frac{2}{1000}\Pr(D\ge2)(\lambda^2m_n)^3@@。三次负项在等号处至关重要：线性系数恰为 1 时它仍迫使 @@M@@m_n\downarrow0@@；正则树 @@M@@\Pr(D\ge2)=1@@，泊松树 @@M@@\Pr(D\ge2)=1-(1+d)e^{-d}>0@@ 对一切 @@M@@d>0@@ 成立，连 @@M@@d\le1@@ 的噪声临界情形也直接覆盖。约束对后验律是线性的，故对可观测后代数的混合封闭——这使同一组两两不等式同时处理泊松与正则两类模型。最后由 @@M@@a_n\le\frac12\sqrt{m_n}@@ 把矩衰减转化为优势衰减。剩余的多项式不等式（@@M@@F,G\ge0@@、@@M@@H\ge-1/2@@ 及两条乘积不等式）由精确有理算术验证：将单形按排序坐标参数化后，利用齐次单项式系数非负性（Bernstein 型判据），对有理函数则用 @@M@@z^{-k}@@ 的五阶泰勒下界（T 型证书）或带精确认证余项的插值（P 型证书）在有限细分上逐格验证；插值精度本身从不需要被假设，余项被精确认证，因此整个验证是可复现的严格证明。
本文是结果族 229 的四态支柱：同族三态论文给出对称三态通道的精确阈值，容量判据论文则把本文的封闭后验律类与矩节省命题（其命题 3.2）作为显式输入，把结论推广到任意有界度确定性树。主结果暂无 Lean 形式化证明；本文是计算机辅助证明——概率论证在文中完整给出，多项式不等式由附录中的精确算术程序验证——请以社区核验为准。OpenAI 官方声明：未经形式化的结果可能有问题。
问 1：等号 @@M@@d\lambda^2=1@@ 为什么是全文最微妙的情形，怎么处理的？
（答：二阶矩分析在等号处线性系数恰为 1，矩既不衰减也不增长，判据失效。本文的矩递推 @@M@@m_{n+1}\le d\lambda^2m_n-cm_n^3@@（@@M@@c>0@@）中的三次负项正是为等号而生：两个有信息量的子树合并时严格节省 @@M@@A(p)A(q)(A(p)+A(q))/1000@@ 量级的项，迫使 @@M@@m_n\downarrow0@@。正则树 @@M@@\Pr(D\ge2)=1@@，泊松树 @@M@@\Pr(D\ge2)=1-(1+d)e^{-d}>0@@ 对一切 @@M@@d>0@@ 成立，连 @@M@@d\le1@@ 都覆盖。）
问 2：证明中最脆弱的一步是什么？
（答：构造六次多项式 @@M@@H@@（配辅助多项式 @@M@@F,G@@），使约束 @@M@@\E H(p)\ge0@@ 定义的后验律类在通道步、条件独立乘积、按可观测标签混合三种操作下都封闭，再由两条显式多项式不等式得出次可加与三次节省。@@M@@H@@ 的存在性与封闭性是整座证明的承重墙——若某一操作下约束漏出一丝，矩递推即告无效。）
问 3：铁磁限制 @@M@@\lambda\ge0@@ 能去掉吗？
（答：不能，且是实质障碍：引言明言四态反铁磁模型可以在 Kesten–Stigum 阈值以下重构（引 Mossel–Sly–Sohn 2025）。铁磁性保证”传话偏保真”，使二次信息 @@M@@A(p)=4\sum p_i^2-1@@ 经通道步只乘 @@M@@\lambda^2@@ 的线性图像成立；反铁磁的后验动力学本质不同。）
问 4：与已有工作相比，真正的新意是什么？
（答：Sly 2011 证了三态大度数精确、五态起失效，四态悬在边界；Mossel–Sly–Sohn 2025 的非重构（含临界点）只覆盖充分大平均度。本文对铁磁四态去掉大度数限制，覆盖一切 @@M@@d\ge2@@ 正则与一切 @@M@@d>0@@ 泊松树，把 Mézard–Montanari 与 Ricci-Tersenghi 等人的空腔法数值预测升级为全度数严格定理。）
问 5：计算机辅助部分的验证为什么可信，而非”跑了个数”？
（答：验证用精确有理算术：单形按排序坐标参数化后用齐次单项式系数非负性（Bernstein 型判据），有理函数用 @@M@@z^{-k}@@ 五阶泰勒下界（T 型证书）或带精确认证余项的插值（P 型证书）在有限细分上逐格核验；插值精度本身从不需要被假设，余项被精确认证。整个验证可复现，是严格证明而非模拟。）
问 6：AI 生成证明最可能出错的模式是什么？
（答：最危险的是”人机接口”处：千分位有理数系数的多项式 @@M@@H,F,G@@ 若在誊写中错一位，封闭性检验可能悄悄通过错误的类；附录验证程序的代码本身正确性（边界细分完备性、循环覆盖）也未受 Lean 级别核验。概率部分与计算部分接口处的量词（”对一切后验向量”）错位是另一典型风险。）
问 7：谁会接着用这个结果？
（答：同族容量判据篇把本文的封闭后验律类与矩节省命题作为显式输入，推广到任意有界度确定性树；统计物理侧，空腔法关于小字母表阈值重合的猜想至此在四态铁磁全部落地。非重构结果也是 Glauber 动力学空间混合、信念传播算法分析中常用的上游输入。）
总评
这是补全”Potts 谱阈值精确性”拼图最后一格的工作——四态边界情形的全度数非重构含等号，方法上以封闭后验律类加三次节省给出漂亮的新机制；最大风险在计算机辅助证明的代码与系数誊写环节，虽可复现但未经 Lean 形式化。