有向图拉普拉斯零空间的可计算谱分解方法——图论替代Lebesgue分解的工程实现

# 谛听 · 土 · 承载秩序检验报告

## 轮次定位
朱雀之后，白虎之前——接收结构化命题，进行现实土壤检验，输出可证伪性评估供白虎深挖动机。

---

## 一、命题证据等级判定

| 命题 | 证据等级 | 核心判定依据 |
|:---|:---|:---|
| p1 O(N log N)替代O(N³) | C→D | 关键假设"精度误差<10%可接受"无工程基准；"SCC拓扑→零空间维度映射"未证明；伪命题风险：高 |
| p2 s1↔s2互锁迭代收敛 | B | 交替迭代法在耦合系统中有先例；2-3轮收敛假设过强，但可证伪条件明确 |
| p3 KS检验作为验证标准 | D | "p>0.05通过率>90%"与"工程有效性"的因果链完全缺失；伪命题 |
| p4 阶梯验证可预测性 | C | 单调性假设未经检验；小规模→大规模外推在图论中历史失败率高 |
| p5 交替迭代无需全局优化 | B→C | "线性互锁"假设未验证；局部最优陷阱存在性未排除 |

---

## 二、关键伪命题标记

### 🔴 p3：KS检验验证标准 —— 伪命题

不可证伪性分析：
- 原假设模糊："随机游走驻留分布≈零空间基向量分布"的数学等价性从未建立
- 检验通过≠方法正确：KS检验只能检测分布差异，不能验证"图论方法=数值方法"
- 90%阈值任意：无理论推导，无工程需求锚定

证伪条件设计（朱雀提供）：
> "若KS检验通过率>90%但零空间维度误差>20%，或通过率<90%但误差<5%，则证伪"

谛听判定： 该证伪条件本身不可操作。误差>20%时方法已失败，但KS检验仍可能通过——这恰恰证明KS检验不能作为验证标准，而非证伪该标准。逻辑循环。

现实冲突： 工程验收需要"方法正确⇒检验通过"且"检验通过⇒方法正确"的双向蕴含。KS检验至多满足单向，作为标准将产生系统性漏检。

---

### 🟡 p1：复杂度替代主张 —— 伪命题风险

核心矛盾：
| 声称 | 现实检验 |
|:---|:---|
| "O(N log N)图论方法" | SCC追踪O(N+E)，但零空间维度计算本身仍需处理特征值问题 |
| "替代O(N³)数值方法" | 仅替代了维度检测环节，非完整谱分解 |

隐藏成本未计入：
- SCC动态维护的增量开销（动态图中非平凡）
- FAS近似计算（NP难问题的启发式）
- 迭代收敛前的多次重算

可证伪条件（朱雀）： N=1000随机图，误差>10%或时间未显著降低则证伪

谛听修正： "显著降低"需量化——建议定义为总 wall-clock 时间<0.1×数值方法，而非仅算法复杂度阶数比较。工程实现中常数因子、内存访问模式、缓存效率可能吞噬理论优势。

---

## 三、可证伪条件完善

### p2（互锁迭代）—— 可证伪，但条件过弱

朱雀条件：>5轮不收敛或初始阈值导致s1失效则证伪

谛听补充：
```
强化证伪条件：
1. 收敛性：|θ_{k+1} - θ_k|/|θ_k| < 1% 且 |s1_{k+1} - s1_k|/|s1_k| < 5%
（双变量同时稳定，非单阈值稳定）
2. 唯一性：10组随机初始值，收敛点标准差>10%则证伪
3. 鲁棒性：在5个不同图族上测试，任一图族发散则证伪
```

### p4（阶梯验证）—— 证伪条件缺失关键维度

朱雀仅关注误差突变，忽略结构相变

谛听补充：
```
关键证伪场景：
- N=100时图呈DAG结构，N=1000时随机生成含大SCC
（结构分布变化导致外推失效，非方法本身缺陷）
- 需在相同图族分布下测试，控制结构变量
```

---

## 四、与现实秩序的冲突点

### 冲突1：FAS度量的计算悖论（白虎已指出，谛听确认）

秩序检验： 以NP难问题定义"可计算稀疏性"违反计算复杂性基本秩序。

工程现实： 实际使用的是FAS启发式近似，但论文叙述中模糊处理为"FAS规模"。

建议修正： 明确区分
- `FAS_exact`：理论参考值（不可计算）
- `FAS_approx`：工程实现值（算法X近似，保证≤α·OPT）
- `ρ_edge + σ_outdeg`：可计算代理度量

### 冲突2：SCC相变→零空间维度的因果链断裂

数学现实： 有向图拉普拉斯零空间维度 = 可达性等价类数量（图论定理）

声称跳跃： SCC合并 ⇒ 零空间维度增加

反例： 两个SCC合并为强连通图，零空间维度从2降为1——非单调！

证伪条件： 构造SCC合并但零空间维度不变的图，即可推翻"相变预测"核心机制。

### 冲突3：统计验证的定位僭越

学术秩序：
- 数学证明 > 数值验证 > 统计检验

当前主张： 统计检验（KS）作为"有效验证标准"——层级僭越

工程妥协的正当化： 可以接受"统计检验作为工程验收的必要非充分条件"，但不可声称"替代"或"等效"。

---

## 五、三维校验矩阵的现实可行性

| 维度 | 可计算性 | 与解析标准的关系 | 工程权重建议 |
|:---|:---|:---|:---|
| 结构（SCC拓扑） | ✅ O(N+E) | 必要非充分 | 0.3 |
| 数值（残差检验） | ✅ O(N²)迭代 | 充分非必要 | 0.5 |
| 统计（KS检验） | ✅ O(N log N) | 既不充分也不必要 | 0.2 |

冲突解决规则：
```
IF 结构维度 FAIL → 直接拒绝（计算不可行）
IF 数值维度 PASS → 接受（无需统计）
IF 数值维度 FAIL AND 统计维度 PASS → 标记"待解析验证"，降级使用
IF 三维矛盾 → 以数值维度为准，触发人工审查
```

白虎攻击点预留： "权重分配0.3/0.5/0.2的任意性"——需后续轮次提供敏感性分析。

---

## 六、输出至白虎

### 通过现实检验的命题（带约束）
- p2、p5：可证伪，但需强化收敛性定义
- p4：可证伪，但需控制图结构分布

### 标记为伪命题或高风险
- p3：KS检验作为验证标准——不可证伪的循环论证
- p1：复杂度替代——成本核算不完整，存在隐性O(N³)环节

### 待白虎深挖的动机盲区
1. "10%误差可接受"——谁的需求？什么场景？是否存在精确性需求被系统性低估的群体？
2. "2-3轮收敛"——乐观估计的计划谬误（planning fallacy）？过往类似迭代系统的实际收敛轮次分布？
3. "阶梯验证"——是否掩盖了小规模验证通过后的沉没成本绑架？N=100投入后，N=1000失败时的心理承诺升级风险？

### 残余理论债务（土→金传递）
```
1. SCC拓扑变化与零空间维度变化的定量关系（非单调性证明）
2. FAS启发式近似的误差传播分析（近似FAS → 稀疏性误判 → 阈值错误）
3. KS检验统计量与数值误差的经验相关性（非因果性证明）
4. 三维校验矩阵权重的敏感性分析（不同权重下的决策一致性）
```

---

谛听判定： 该提案在工程直觉上有价值，但五个核心命题中两个存在伪命题风险，一个存在计算悖论。建议降级为"探索性研究方向"，而非"可工程化的成熟方法"。下一轮需优先解决p3的不可证伪性和p1的成本完整性问题，否则白虎的动机分析将揭示更深层的认知偏误与利益冲突。

---

土之厚重，在承载而非评判；秩序之责，在显影裂缝而非粉饰完整。