结果族 236：The exact factor-of-IID threshold for free Ising spins on trees · 学科：Probability and statistical mechanics · 验证状态：主结果已 Lean 形式化
在一棵无穷大的”家谱树”上玩传话游戏：老祖宗掷一枚硬币，每个孩子以某个概率照抄爸爸的答案，否则随机改口。这篇论文问：不指定谁是祖宗、只给每个顶点发一个独立的随机数，再套一条对所有节点一视同仁的规则，能否把整棵树的传话结果原样造出来？答案是一条精确到含等号的分界线。
关键词卡片
@@M@@(1+\theta)/2@@ 的概率照抄父节点，@@M@@\theta=\tanh\beta@@ 度量”传话多忠实”。@@M@@b\theta^2=1@@（其中 @@M@@b=d-1@@）——越过它，根的信息能传到无穷远处残留不散。看个具体例子
代入 @@M@@d=3@@：分界线是 @@M@@\theta^2\le 1/2@@。@@M@@\theta@@ 很小时信息传两三代就遗忘干净，可以无根生成；越过阈值时根部信息长存，已被证明不可能；最难的临界点 @@M@@\theta=1/\sqrt2@@ 本文证明仍然可行——这正是 Nam–Sly–Zhang 猜想的最后一块拼图。
为什么值得关心
它把”局部独立随机性能否重现全局平衡态”在树上彻底画上句号，连最刁钻的等号情形也一并解决，且构造的规则与树的全部对称性严格兼容。
已 Lean 形式化
第一级台阶
把入门导读里的”传话游戏”再说准一点：对象是一张每人恰好有 @@M@@d@@ 位熟人的无穷联络网，网上每个点持有一枚 @@M@@\pm1@@ 的小磁针；生成规则是”任选一人掷硬币，之后每人以固定忠实度照抄邻居”。麻烦在于这条规则偷偷用了”任选一人”——能不能换成一条谁也不偏袒的规则，仅凭每点自带的私有随机数，就把整盘磁针的联合分布原样造出来？
第二级台阶
用本科概率术语精确化：在无穷 @@M@@d@@-正则树 @@M@@T_d@@ 上，自由零场 Ising 态 @@M@@\mu_{d,\beta}@@ 由广播过程描述——根处公平掷币，子节点以 @@M@@(1+\theta)/2@@ 的概率随父，@@M@@\theta=\tanh\beta@@，其法律不依赖根的选取。factor of IID 指存在可测映射 @@M@@\Phi@@ 把每点独立的均匀标签 @@M@@(U_v)@@ 整场变成自旋，且对每个树自同构 @@M@@g@@ 几乎必然满足 @@M@@\Phi(gU)=g\Phi(U)@@。重建阈值 @@M@@b\theta^2=1@@（@@M@@b=d-1@@）划分”根的信息能否传到无穷远仍残留”。
第三级台阶
主定理断言：@@M@@\mu_{d,\beta}@@ 是 factor of IID 当且仅当 @@M@@\theta\le b^{-1/2}@@，含等号。严格反方向是已知障碍——Sly 借 Backhausz–Szegedy–Virág 相关界证明：点因子的相关衰减扛不住自旋相关 @@M@@\theta^n@@。真正悬置的是含等号的正向：因子法律的弱极限不必是因子，非重建也不提供生成规则，必须直接构造。论文沿用 Nam–Sly–Zhang 的随机定位观察框架，先证”新息决定观察”这一枢纽，再在临界点用侧枝衰减、谱抵消与路径平均集中三项估计顶替恰好相消的几何级数，最终以 Osgood 型不等式迫使两个条件副本重合，从新息中读出自旋。
本文完全确定了无穷 @@M@@d@@-正则树上自由零场铁磁 Ising 态作为”独立同分布标签的因子”（factor of IID）的精确门槛：当且仅当 @@M@@\tanh\beta\le(d-1)^{-1/2}@@，含临界等号情形。这证明了 Nam–Sly–Zhang 猜想，且构造的因子与每个树自同构在每个输入上交换。
在无穷图的每个顶点放一个独立均匀标签 @@M@@(U_v)@@，用一个与图自同构可交换的可测映射 @@M@@\Phi@@ 把整场标签变成自旋场，所得法律称为 factor of IID。Lyons 问：树上的自由 Gibbs 态能否这样”无根地”生成？无穷 @@M@@d@@-正则树上自由零场 Ising 态 @@M@@\mu_{d,\beta}@@（记 @@M@@\theta=\tanh\beta@@，@@M@@b=d-1@@）的广播描述是：任取一点掷公平自旋，沿边让子顶点以 @@M@@(1+\theta)/2@@ 概率随父——法律与根无关、在全部自同构下不变，但规则里藏着一个根。阈值 @@M@@b\theta^2=1@@ 恰是重建阈值（reconstruction threshold）：超过它时自由态不极端，Sly 借 Backhausz–Szegedy–Virág 的相关界证明不可能有因子表示；远低于它（@@M@@\theta\le b^{-1}@@，唯一性区域）Lyons 给出有限簇构造。中间区域连同临界点 @@M@@\theta=b^{-1/2}@@ 一直悬置：Nam、Sly、Zhang 用后验漂移随机微分方程证明了大 @@M@@d@@、小 @@M@@\theta@@ 时可行，并猜想完整阈值含等号。难点在于：因子法律的弱极限不必是因子，非重建也不提供生成规则，等号情形必须直接构造。
主定理：对每个整数 @@M@@d\ge3@@ 与 @@M@@\beta\ge0@@，自由零场 Ising 法律 @@M@@\mu_{d,\beta}@@ 是 factor of IID——存在可测映射 @@M@@\Phi:[0,1]^{\mathcal V}\to\{-1,1\}^{\mathcal V}@@，使对每个固定自同构 @@M@@g@@ 几乎必然有 @@M@@\Phi(gU)=g\Phi(U)@@——当且仅当 @@M@@\tanh\beta\le(d-1)^{-1/2}@@。论文证明正向（含等号），严格反向为已知结果。此外 @@M@@\Phi@@ 可选成在每个标签输入上与每个自同构逐点交换；论文明确不主张有限半径编码（finitary coding）与编码半径估计。@@M@@\theta=0@@ 时法律本就是独立公平符号，平凡成立。
先搭观察框架（沿用 Nam–Sly–Zhang）：在辅助概率空间采出目标自旋构型 @@M@@\sigma@@ 与独立布朗运动，观察 @@M@@X_v(t)=t\sigma_v+B_v(t)@@（属随机定位 stochastic localization 一脉），记后验均值 @@M@@m_v(t)@@，减去条件漂移得新息 @@M@@W_v=X_v-\int_0^t m_v\,ds@@。经典滤波理论保证各 @@M@@W_v@@ 是独立布朗运动，但 Brown 性本身不保证 @@M@@X@@ 是 @@M@@W@@ 的函数，”新息决定观察”是全文枢纽。
再建立无穷新息方程：引入腔场 @@M@@h_{j\to i}@@ 与路径响应系数 @@M@@c_{vu}=\theta^r\prod_i a(h_{v_i\to v_{i-1}})@@，其中 @@M@@a(z)=\frac{1-\tanh^2z}{1-\theta^2\tanh^2z}@@，场满足 @@M@@dh_v=\sum_u c_{vu}\,dW_u+m_vA_v\,dt@@，@@M@@A_v=\sum_u c_{vu}^2@@。无穷和的合法性靠”能量不逃逸到边界”：远离零时刻用逐顶点高斯衰减，零时刻附近用整体信息估计 @@M@@\E m_v(t)^2\le C\sqrt t@@（临界时 @@M@@\E A_v(t)\le C/\sqrt t@@），再以精确能量恒等式与检验论证排除残余鞅。
然后做条件副本比较：给定全部新息独立采两个观察副本，证明观察的过去只依赖新息的过去，故 @@M@@W@@ 在联合过滤中仍是布朗、两副本由同一列布朗驱动。记 @@M@@V(t)=\E[(h_o-h'_o)^2]@@，@@M@@V(0)=0@@。次临界时壳层大小 @@M@@db^{r-1}@@ 与 @@M@@\theta^{2r}@@ 之积构成收敛几何级数，得 @@M@@V'\le CV@@，由 Gronwall 不等式得 @@M@@V=0@@。临界点处两因子恰好相消，需三项替补估计：完整侧枝在尺度 @@M@@t^{-1/2}@@ 上衰减路径乘积；谱方法空间抵消把 @@M@@\log a@@ 因子差之和的方差压到 @@M@@rS(t)@@；路径平均的集中。剩余的小时困难是主导噪声项 @@M@@S(t)/t@@ 不可积：利用 @@M@@p\ge3@@ 时 @@M@@b\theta^p<1@@ 的严格压缩，把二阶矩尺度递归传播成所有整数矩 @@M@@\E|h_{v\to w}|^p\le e^{Kp^2}t^{p/4}@@ 与小场尾估计，加上 @@M@@(\log a)'@@ 在原点为零，改进 @@M@@S@@ 与 @@M@@V@@ 的比较，最终得 Osgood 型不等式 @@M@@V'\le k_T(t)V(1+\log(K_T/V))@@，系数 @@M@@k_T@@ 可积，迫使 @@M@@V\equiv0@@。
最后恢复：副本相等说明给定新息的条件法律是点质量，存在 Borel 映射 @@M@@F@@ 使 @@M@@X=F(W)@@；整时斜率 @@M@@X_v(n)/n\to\sigma_v@@ 几乎必然，自旋从新息读出；把均匀标签经 Borel 采样变为布朗路径得到因子，再用有限球条件期望平均升级为逐点等变版本。
任务元信息标注该主结果已有 Lean 形式化证明（族内文档 lean/docs/236.md）；反向障碍出自 Sly 并使用 BSV 相关界，为已知结果。文内引用的同系列自由均匀生成树森林（FUSF）姊妹篇用一致 Lipschitz 响应界因果反演新息，本篇改走条件副本相等性路线，方法互补。按 OpenAI 官方声明，未经形式化的结果可能存在问题；本篇主结果已形式化，其余技术细节仍以论文与社区核验为准。
问 1：低于重建阈值时自由态是极端态，这难道不已经等于”可以无根生成”了吗？
（答：不等。重建问题是信息衰减问题，因子问题要的是一条显式、等变的可测规则； Lyons 已指出因子法律的弱极限不必是因子（引言引 Corollary 3.3），非重建不提供任何生成规则。所以等号情形必须直接构造，这正是本文的靶心。）
问 2：全文最关键、也最脆弱的一步是什么？
（答：”新息决定观察”。新息 @@M@@W_v@@ 是独立布朗运动这一点是经典滤波理论，但布朗性本身不保证 @@M@@X@@ 是 @@M@@W@@ 的函数（Fujisaki–Kallianpur–Kunita 早已区分两者）。论文的策略：给定全部新息独立采两个观察副本，证 @@M@@V(t)=\E[(h_o-h'_o)^2]@@ 从 0 出发且被 Osgood 型不等式逼为恒 0，条件法律成点质量后自旋由 @@M@@X_v(n)/n\to\sigma_v@@ 读出。副本相等的论证若有一处渗漏，因子就造不出来。）
问 3：临界点 @@M@@b\theta^2=1@@ 难在哪，三项替补估计各挡什么？
（答：次临界时壳层大小 @@M@@db^{r-1}@@ 与 @@M@@\theta^{2r}@@ 相乘是收敛几何级数，得 @@M@@V'\le CV@@；临界时两因子恰好相消。论文用三项估计顶替：完整侧枝在尺度 @@M@@t^{-1/2}@@ 上衰减路径乘积；谱方法把 @@M@@\log a@@ 因子差之和的方差压到 @@M@@rS(t)@@；路径平均集中（两个方向都要用）。剩下的主导噪声 @@M@@S(t)/t@@ 不可积，靠小场尾估计加上 @@M@@(\log a)'@@ 在原点为零才改进成可积的 Osgood 不等式。）
问 4：哪个假设去不掉？
（答：@@M@@d\ge3@@ 使 @@M@@b=d-1\ge2@@，整个壳层计数与矩估计 @@M@@\E|h_{v\to w}|^p\le e^{Kp^2}t^{p/4}@@ 依赖 @@M@@p\ge3@@ 时 @@M@@b\theta^p<1@@ 的严格压缩；铁磁（@@M@@\theta\ge0@@）保证了 @@M@@a(z)@@ 的具体形状与单调结构；零场则是广播描述的前提。非零场或反铁磁情形论文未展开。另外论文明确不给有限半径编码与编码半径估计。）
问 5：相对 Nam–Sly–Zhang 的真正增量是什么？
（答：NSZ 只对 @@M@@d\ge d_0@@、@@M@@\theta\le c/\sqrt{d-1}@@（常数未指明）证明，走的是有限体积解的无根极限。本文对每个 @@M@@d\ge3@@、含等号证明，并满足逐点等变约定；恢复路线也不同——不用 FUSF 姊妹篇的一致 Lipschitz 因果反演，而用条件副本相等性。）
问 6：作为 AI 生成证明，最可能出错的模式是什么？
（答：三处高危。其一，联合过滤中随机积分的搬运（条件副本的相容性原理，Kurtz 引理的自证版本）；其二，无穷和的合法性——”能量不逃逸到边界”靠 @@M@@\E A_v(t)\le C/\sqrt t@@ 与精确协方差–能量恒等式排除残余鞅；其三，谱界只对 @@M@@f(X)-f(X')@@ 型差函数证，不是对二元组的一切函数——适用范围的收缩若被悄悄放宽就全盘皆输。缓解因素：主结果已有 Lean 形式化。）
问 7：谁会用这个结果？
（答：factor of IID 与局部算法社区——它彻底回答了 Lyons 的树上问题，并给出与全部自同构严格交换的构造；”新息决定观察”技术可望移植到其他树模型（同系列 FUSF 篇已示范一条平行路线）。）
总评
把 Nam–Sly–Zhang 猜想连同最刁钻的临界等号一并解决，且主结果已形式化，分量十足；残余风险集中在临界小时间比较的常数字口径与未形式化的技术章节。