他的笔尖在白板上点了一下。

“现在，我们来计算一个新的条件变量。”

“在已知S+t等于某个固定值c的大前提下，请注意，也就是在x_1+Y_1+x_2+Y_2=c的条件下，先固定全局和，重新考察跨组变量x_1和Y_1的联合分布。”

丁剑的瞳孔在这一瞬间骤然收缩。

他猛地从椅子上站起来，目光盯着白板上那行新写出的测度关系上，大脑中千万个概率模型在疯狂地生灭。

“你不是在做投影脱壳。”

丁剑的声音因为极度的震惊而带上了沙哑。

“你这是在让系统和自己的独立副本进行对消。”

江临没有否认。

他只是在白板左侧，用红笔写下五个字。

熵对合引理。

写完这四个字后，江临在白板侧边又补了三条旧路线。

plunnecke型不等式。

tao的熵版Ruzsa距离。

Sanders式小倍增结构压缩。

“这个引理不是凭空出来的。”江临说，“它只是把这三条路线里没有接上的账目通道接起来。”

他用笔尖点了点熵版Ruzsa距离。

“熵语言负责记账。”

“组合语言负责判定结构。”

最后，他回到熵对合引理四个字下面。

“我做的事情，是让残余谱不能在两套语言之间重复报销。”

丁剑的笔停了一下。

他原本以为江临会把这一步描述成某个完全独立的新技巧。

但江临没有。

他把旧工具、旧路线、旧文献位置摆出来，再指出自己究竟改动了哪一条账目通道。

这种态度，比单纯说独立原创更让人放心。

丁剑没有继续追问文献来源。

对他而言，来源脉络已经足够清楚。

接下来需要看的，不是谁先想到这条路线，而是江临能不能把这条路线压成一条闭合的不等式链。

韩砚山也重新把目光落回白板。

残余谱是否会重入，不能靠动机解释。

必须靠账本验算。

随后，江临转回白板，重新拿起黑色记号笔，写下一串熵不等式链。

为了突出最核心的逻辑主干，他没有把每一个条件期望的积分符号和繁琐的测度极限全部展开，而是将那足以写满两页纸的关键关系，压缩成了三行震撼人心的判断。

第一行：在已知全局和x_1+Y_1+x_2+Y_2=c的条件下，局部和x_1+Y_1的条件熵，被原始和变量的熵控制。

第二行：局部变量x_1与对偶副本Y_2之间的条件互信息，精确记录了四变量强耦合后无法消散的结构性残差。
本章未完，请翻下一页继续阅读.........