對角切片壓縮與稀疏性上推陷阱:Self-Reference 不會免費壓縮 Proof

把第十七輪留下的窄縫走到底:只對第 i 台 clocked machine 與其指定對角輸入 x_i,尋找固定次數的短拒絕證書(UDRC)。真正把這條路走通後,發現一個新的反向加難現象——若每台機器只配置少量設計輸入,對角語言 D 天然是稀疏集,而 Hartmanis-Immerman-Sewelson 證明:稀疏 NP-P 語言存在,等價於更高階的單指數確定性/非確定性時間分離。也就是把對角建構做得太瘦,不是降低證明門檻,而是可能一併升級成需要證明更強的分離。稀疏化的另一面是 Mahaney 定理:稀疏 NP-complete 集合的存在會導致 P=NP,所以不能隨便讓稀疏對角集也身兼 NP-complete。若改走密集路線逃避稀疏性,machine index 跟時鐘指數又重新變成統一輸入的一部分,退回統一指數障礙。Kleene 遞迴定理式的自我指涉能提供「指向自己」的定址能力,不自動提供「證明自己」的壓縮能力(Self-Reference Compression Fallacy)。