這條路線，而是江臨能不能把這條路線壓成一條閉合的不等式鏈。
韓硯山也重新把目光落回白板。
殘餘譜是否會重入，不能靠動機解釋。
必須靠賬本驗算。
隨後，江臨轉回白板，重新拿起黑色記號筆，寫下一串熵不等式鏈。
為了突出最核心的邏輯主乾，他沒有把每一個條件期望的積分符號和繁瑣的測度極限全部展開，而是將那足以寫滿兩頁紙的關鍵關係，壓縮成了三行震撼人心的判斷。
第一行：在已知全局和X_1+Y_1+X_2+Y_2=c的條件下，局部和X_1+Y_1的條件熵，被原始和變量的熵控製。
第二行：局部變量X_1與對偶副本Y_2之間的條件互信息，精確記錄了四變量強耦合後無法消散的結構性殘差。
第三行：隻要這個條件互信息不嚴格等於零，新的魯沙距離公式中，就會發生一次可計量的算術跌落。
韓硯山的手已經重新拿起了紅筆。
他沒有等江臨做任何進一步的口頭解釋，就代入了江臨的邏輯。
第一步，複製變量，建立四元組。
第二步，構造宏觀觀測量S與T。
第三步，人為引入約束，固定S+T=c。
第四步，在這個條件概率空間裡，檢查X_1與Y_2是否在條件分布下重新獲得結構約束。
寫到第四步的末尾，韓硯山的筆鋒突然停住。
一陣戰栗從他的脊椎升起。
因為他突然意識到，江臨這一手具有顛覆性的地方到底在哪裡了。
在過去的三十年裡，全世界的加性組合學家對待殘餘譜的態度，就像是對待必須被清除的病毒。
試圖壓碎它，忽略它。
或者用更複雜的傅裡葉分析工具，把它放進誤差項。
但殘餘譜常常會在下一輪遞推裡以新的形式重新出現。
江臨不同。
他沒有試圖消滅殘餘譜。
如果殘餘譜隻是底層噪聲，沒有穩定代數結構，那麼它會在獨立副本的平均效應中被條件熵吸收。
如果殘餘譜不是噪聲，而是韓硯山剛才指出的那種代數粘性，那麼它在S加T的約束下，就會造成條件結構異常集中。
這種異常集中不再直接導致覆蓋數失控。
在江臨的框架裡，它會轉化為條件互信息的增長。
互信息增長，意味著結構顯形。
韓硯山霍然抬頭，目光灼灼地看著江臨。
“所以，你從一開始就沒打算消滅殘餘譜。”
江臨坦然地點頭。
“你其實是在逼它表態，對嗎？”韓硯山一字一頓地說道。
請前往ｏｏｐ．ｔｗ閱讀本書最新內容
“對。”
江臨拿起筆，在白板上那一行條件互信息中，圈出條件互信息五個字。
“它如果消散，說明它隻是波動，可以被熵賬本支付掉。”
“它如果不消散，就必須以互信息的形式變成可見結構。”
“隻要它變成結構，就可以轉回上一層譜簇索引，進入能量缺口攤還。”
“這樣，它就不能作為新的壞項回到下一層覆蓋遞推。”
丁劍站在右側白板前，看著那三行壓縮後的熵關係，沉默了幾秒。
“這就是你在第41頁所謂的第三層損失回收機製？”
“不完全是。”江臨糾正道，“這隻是第三層損失回收在Marton熵形式裡的一個入口。”
“在韓教授熟悉的組合語言裡，這個動作的名字叫做強迫殘餘譜不重新生成新的覆蓋方向。”
“而在丁教授你熟悉的熵語言裡，它的名字叫做壞項永遠不能在條件變量的陰影裡匿名。”
丁劍忍不住點了點頭。
。題問的心擔最才剛他了答回麵正，話句這臨江為因
。控失中暗統係致導，裡量變件條進藏被會否是項壞
”。形顯式形的息信互以須必，藏可處無它“
。息信互件條為化轉被，中合對叉交的本副立獨量變四在會就聯關種這，聯關性構結備具它要隻為因
。置位的測檢構結是而，置位的積堆差誤是不，裡明證套這在，息信互件條而
。注批句一下寫的重鄭，邊旁陣矩移轉率概的險風效失了注標張那他在，筆起拿新重劍丁
。層影顯構結是而，層蔽遮差誤是不量變件條
。頓停的鐘分半達長了入陷劍丁，字行這完寫
。心核的明證套這臨江了到摸觸經已乎幾，話句一的短短這為因
。環閉輯邏的後最明證套這著導引在還臨江，裡室議會
”。散消線路影投的通普照按有沒並熵的1_Y+1_X著味意就這，時性粘數代的重嚴種那的心擔所們你了生發部局個某在統係當“
”。題問是來起看這“
”。住束約係關數代分部那被會而反，度由自的T加S是就也，加相者四們它，構結計統的同相有具2_Y和2_X於由但“
”。上息信互件條個一在映反會，束約種這“
。起一在連量變個兩2_Y和1_X將，上板白在筆用臨江
”。息信互的間之2_Y和1_X量變部局的合組自各了越跨，下件條的c=2_Y+2_X+1_Y+1_X和總觀宏知已在：是就也“
。山硯韓與劍丁向看，身過轉他
”。失消空憑會不息信互的長增個這，式等不理處據數的中論息信據根“
”。獻貢近逼的間空子性構結層底對為化轉會它，裡式公的我在“
”。量變機隨的新個兩取選新重地章成理順以可我著味意就，零於大格嚴息信互個這要隻“
”。'1_X的出取抽，下件條驗後的c=T+S在是，量變新個一第“
”。'2_Y 的出取抽，下件條的樣同在是，量變新個二第“
一生發會然必，離距沙魯的間之們它，量變新的禮洗合對過曆經個兩這“
