解法：格拉德科夫–帕克–齐明给出的上下铺猜想显式反例(2024年)

在维尔曼与齐夫(Wierman and Ziff,2011年)提出的WZ超图渗流模型中,一条超边 $e = \{a,b,c\}$ 会解析为五种结果之一,各自带有自己的概率:三者全部连通($p_{abc}$)、无一连通($p_{a|b|c}$)、只有 $b$ 与 $c$ 连通而 $a$ 被切断($p_{a|bc}$),或 $a$ 恰好与 $b, c$ 之一连通而另一个被切断($p_{ab|c}$ 或 $p_{ac|b}$)。在普通超图渗流下,一条真正的 $3$-一致超边只要 $a$ 是该超边的横截顶点,就总有 $p_{a|bc} = 0$(横截顶点要么与另外两个都连通,要么都不连通,绝不会只连通其中一个)。

格拉德科夫与齐明(2024年,在 Gladkov, Pak & Zimin 2024年论文中引用为 GZ24,定理1.5)证明了:这种精确的结果分布——特别是 $p_{a|bc} = 0$ 与另外四个概率精确匹配真实超边的情形——无论小零件内部的边及其各自的保留概率如何选取,都不可能被任何有限的图小零件在普通键渗流下精确复现。直观地说:普通的边是一条一条独立失效的,因此在任何小零件内部,总会存在某种边失效的序列,最终恰好切断 $a, b, c$ 三者中的一个而让另外两个保持连通,从而给出 $p_{a|bc} > 0$——这一点完全无法避免。

这正是霍勒姆的超图反例尽管令人瞩目,却无法通过朴素替换立即转化为图反例的原因:$p_{a|bc}$ 上的这一偏差意味着任何这样的替换都会引入少量恰恰是真正超边所禁止的“错误类型”连通事件。下一步将说明这一障碍是可以被绕过的,而不是被彻底消除的。