gap-finder

Gap Finder

阅读一篇论文，找出理论薄弱之处。

目标不是以审稿人的方式“批评”论文，而是找出可发表的理论缺口——数学家可以据此作出新贡献的地方。以下情况中的缺口才有价值：（1）方法在实证上有效，却缺乏理论依据；（2）理论虽已存在，但依赖的假设与实践不符；或（3）一个自然的推广问题仍未解决。

模式选择

• **全面查找缺口：**执行以下步骤 1–5。
• **每周引理剖析：**对恰好一个引理执行下面的精简流程。

每周引理剖析

选用一个属于谱图论、社群检测、GNN 理论或用户当前研究领域的引理。每周剖析一个，而不是全面评审一篇论文。

在攻击引理之前，不要阅读作者对其局限性、讨论或评论。可以阅读定理陈述和证明；关键在于先独立诊断，再参考作者的看法。

1. **固定引理。**逐字抄录其结论和假设。用不超过五步列出证明的依赖链。
2. **弱化一个假设。**只作一处精确改动：连通 → 可能不连通、正间隙 → 非负间隙、独立 → 弱相关，或其他明确的数学弱化。
3. **预测首个失效点。**在计算之前，明确指出预期会失效的确切证明步骤。
4. **发起攻击。**构造满足弱化假设的最小图、分布、矩阵或参数范围。区分：
   • 证明步骤失效，但结论可能仍成立；
   • 结论为假，并给出反例；
   • 弱化无害，引理很可能可以加强。
5. **现在才作比较。**阅读作者的讨论或附录，并记录他们是否发现了同一边界。作者的诊断不会取代独立诊断。
6. **记录下一次习惯。**记录论文、引理、弱化内容、首个失效步骤、例证、判断结果和下次到期周。

先给出一个判断：

• 失效——结论为假
• 失效——仅证明失效
• 成立——假设似乎可以弱化
• 无法确定——指出缺少的测试

然后报告弱化后的假设、首个失效步骤、最小例证和作者对比结果。一次剖析应得出一个具体诊断，而不是列出一系列可能的局限性。

引理剖析的常见失败模式

• **事后包装：**先读作者指出的局限，再把它复述成独立发现。
• **弱化含糊：**只说某个假设“太强”，却没有形式化地修改它。
• **混淆证明与结论：**把证明步骤失效当作定理为假的证据。
• **例证过大：**还没尝试最小的精确案例，就直接进行模拟。
• **范围漫游：**仅仅因为某个引理容易攻击，就选择一个与用户当前研究无关的引理。

以下情况不要使用引理剖析模式

• 目标是用户自己的猜想 → theory-counterexample-hunter。
• 用户需要逐行正式检查证明 → theorem-and-claim-audit。
• 目标是撰写会议评审，而不是练习诊断 → peer-review-writer。
• 论文没有证明或依赖结构化的论断。

两种失败模式

1. **虚假缺口。**指出论文已经处理过的内容（可能在附录、引用的姊妹论文中，或由众所周知的结果隐含得出）。报告之前务必核查。
2. **琐碎缺口。**例如：“他们没有证明无穷维情形下的收敛”，但该方法面向的是有限图。缺口必须相关——确实有人会关心解决它。

---

步骤 1：提取论文的理论骨架

阅读论文，并严格按照以下项目生成结构化摘要：

主张。 每一条定理、命题、引理和推论——准确陈述，并包含所有量词和定义域。还要包括作者在正文中提出的、但没有正式表述支持的非正式主张（如“我们的方法会收敛”“这是最优的”“复杂度为 O(n log n)”）。

假设。 对每条主张，列出：

• 显式假设（定理中陈述的假设）
• 隐式假设（证明中用到但未陈述的假设，或从引用结果继承的假设）
• 建模假设（问题表述对数据／图／分布所作的假设）

保证。 每项结果究竟承诺什么？请区分：

• 存在性与唯一性，或两者兼有
• 精确与近似（若为近似：说明度量和界）
• 最坏情况、平均情况或高概率
• 有限样本或渐近

方法实际执行的内容与理论覆盖的内容。 许多论文的算法（执行 X、Y、Z）与理论（仅在理想化条件下分析 X）之间存在差距。请明确梳理这一差距。

---

步骤 2：审视每项假设

针对骨架中的每项假设，提出以下问题：

1. 是否必要？ 如果没有这项假设，结果会失效吗？还是说，这只是证明中采用的便利假设，而结果本身并不需要？（如果你怀疑它并非必要，这就是一个缺口：需要在更弱的假设下证明该结果。）

2. 是否现实？ 在人们实际使用该方法的场景中，这项假设成立吗？常见的问题包括：

   • 应用涉及时间或空间数据，却假设数据为独立同分布
   • 假设图连通，而真实网络中存在孤立节点
   • 假设度数有界，而真实图具有重尾分布
   • 假设函数光滑／满足 Lipschitz 条件，而该函数由神经网络学习得到
   • 假设社区数量已知，而实践中该数量未知
   • 假设平稳，而过程实际上不断演变

3. 是否紧致？ 能否用更弱的假设替换现有假设，从而加强结果？该领域是否存在已知的假设层级？这篇论文处于其中哪个位置？

---

步骤 3：审视每项保证

针对每项保证，提出以下问题：

1. 界是否紧致？ 是否存在匹配的下界？如果没有，上下界之间的差距有多大？松弛的界就是一个缺口。

2. 速率是否最优？ 对于收敛结果，这是所能达到的最佳速率吗？还是可以进一步改进？对于复杂度结果，是否存在匹配的下界？

3. 保证是否与人们实际关心的损失函数／度量相符？ 理论通常证明的是 L2 上的结果，而实践者关心的是 L∞；或者证明的是期望风险，而实际需要的是高概率界。

4. 渐近范围是否现实？ 如果结果仅在 n > 10^8 时才成立，而数据集的 n = 10^4，那么它在技术上正确，但在实践中毫无用处。请检查论文的实验是否处于理论适用的范围内。

第 4 步：识别结构性缺口

这类缺口最有希望发表——问题不在于某个具体定理不够强，而在于论文整体理论架构缺少关键环节：

理论与实践之间的缺口。 方法包含某个组件（启发式方法、超参数选择或初始化方案），但缺乏理论依据。实验表明该组件很重要，却没有定理解释原因或适用条件。

缺少泛化。 结果只针对特殊情况（例如无向图、同质网络、静态设置）给出了证明，但方法的应用范围更广。如何推广到更广泛的设置仍是开放问题。

缺少关联。 论文所用技术与已知框架（最优传输、谱理论、信息几何等）相似或可能建立联系，却没有探讨这种关联。将其形式化可能带来更简洁的证明或更强的结果。

计算与统计之间的权衡。 论文分别证明了统计保证和计算保证，却没有分析达到统计最优是否在计算上可行，反之亦然。

鲁棒性。 方法仅在理想条件下进行分析，未考虑噪声、对抗性扰动或模型设定错误。保证会如何退化？

---

第 5 步：排序并报告

并非所有缺口都值得跟进。根据以下标准为每个缺口排序：

• 发表潜力。 填补这个缺口能写成一篇论文吗？论文中的一个章节？还是一个脚注？
• 可行性。 是否存在可行的证明策略，还是这是一个公认的棘手开放问题？
• 与用户研究的相关性。（如果有相关背景，例如用户研究随机游走、GNN、谱方法，请指出与其工具相关的缺口。）

输出格式：

论文概要

第 1 步中的结构化摘要，保持简洁。

发现的缺口

对于每个缺口，请说明：

• 缺少什么： 用一句话说明
• 为何重要： 用一句话说明
• 难度评估： 简单扩展 / 中等 / 棘手的开放问题 / 不明确
• 证明策略提示： 如果有，请指出可能奏效的工具或技术
• 相关方向： 用户可以借鉴的相关工作或框架

按预估的发表潜力 × 可行性排序，最优先的放在前面。

扎实之处

简要说明论文确实证明扎实的内容——既体现公允，也让用户了解哪些部分可以作为基础，而非一味批评。

---

原则

• 能构造反例的缺口，价值胜过十个仅凭猜测的缺口。如果你能构造一个小例子（图、分布或函数），让论文理论不适用、但其方法却被采用，请明确指出。
• 区分“作者没有证明 X”和“X 是错误的”。前者是缺口，后者是缺陷。两者都有价值，但对应不同的研究方向。
• 报告缺口前，请检查附录和补充材料。许多论文会在那里讨论局限性。
• 如果论文引用了配套论文或技术报告来提供证明，请说明缺口可能已在那里解决——但除非你能核实，否则应标注为“未经核实”。
• 具体明确。“假设过强”不是缺口。“假设 3 要求谱间隙有界，但 Barabási-Albert 图的谱间隙无界，因此理论不适用于最常见的合成基准”才是缺口。

交接

• 将疑似失效情况转化为系统性的反例搜索 → theory-counterexample-hunter
• 审查确切的代数或分析步骤 → theorem-and-claim-audit
• 将经验证仍成立的扩展发展为形式化定理 → flow-idea-to-proof
• 撰写面向会议或期刊的论文评审 → peer-review-writer