结构理论中的确定性化：通过闭包、可比性与联合可接受性的统一框架

# 结构理论中的确定性化：基于闭包、可比性与联合可容许性的统一框架
来源：https://arxiv.org/html/2608.07476

## 结构理论中的确定性化：基于闭包、可比性与联合可容许性的统一框架
\(v2\.16\.4 版，2026 年 4 月\)

###### 摘要
受 LLM 辅助推理与决策系统中结构性失效的启发，我们发展了一个形式化框架，用于从多元结构理论构建规范解释。一个*结构理论*是一个三元组 T=\(Σ,A,I\)，由签名、公理和推理策略组成。其*可容许解释族* \(\mathcal{P}_{T}\) 收集所有位置上全局一致的结构结论赋值。在 LLM 辅助推理中，幻觉可被视为无依据的规范化——当底层可容许集合尚未坍塌为单元素集时，系统却输出了确定性答案。我们的框架形式化了规范化的授权条件。并非所有结构理论都是确定性的。我们将非确定性分为*结构多元性*（S 型）和*认知多元性*（E 型），分别以 Wyckoff 和 ICT 为例，相对于内在地确定性的 Chan 理论。我们的框架区分了三种逐渐增强的“规范”概念：*闭包稳定化*（每种子收敛到某个不动点，性质 \(4’\)）；*全局完成*（所有种子收敛到同一个不动点，性质 \(4\)）；以及 AC-6 意义上的*确定性化*（每个输入唯一可容许解释）。§5.3 的构造引理（定理 6b）记录了充分的构造性条件，在这些条件下可以在闭包稳定化强度上构造规范化机制（针对 E 型的完成算子 \(\mathcal{D}_{\mathrm{comp}}\)，针对 S 型-强 的选择器 PhaseClassify）。定理 6b 是一个构造引理；其实质内容由推论 6b’（在 R1+R2+R3 加规则 Soundness 下，纯 \(\mathcal{I}^{\mathrm{core}}\)-可计算完成的 C 类分类，经由 §8.2 中的引理 C 和单调穷竭引理证明）展开。对于 E 型理论（ICT），从 \(4’\) 升级到 \(4\) 和 AC-6 需要额外的全局合流结果；对于 ICT，这是开放问题 OQ-GC-1，我们明确指出*本文并未建立 AC-6 强度下 ICT 的确定性化*。对于 S 型-强 理论（Wyckoff），AC-6 通过规范选择（PhaseClassify）直接实现。存在两种规范化形式：*基于算子的完成*和*基于选择器的构造*。它们不是同一种数学对象：完成是算子理论的；选择是基于选择器的。完成需要闭包、可比性和相容扩展条件（C5-E）；选择需要理论内在可比性（N4）和所选选择的全局相容性（C5-S）。一个最小反例 \(\mathcal{T}_{ce}\) 表明仅有闭包是不够的：理论内在可比性（N4）是必要的。我们进一步表明，完成可以通过一个分段算子 \(\mathcal{D}_{\mathrm{comp}}^{\mathrm{HTF}}=\mathcal{D}_{L}\circ\mathcal{D}_{H}\) 扩展到多时间框架层级，并确立该算子在结构上是非交换的：在指定的两算子原始分段架构内，HTF-优先排序是唯一保持可容许性的线性化。第 8 节在 MST 框架内对规范化机制进行分类。我们独立于机制分类法定义理论内在操作（由 \(T\) 可定义且自同构不变）；定理 U3 以实现覆盖假设（记为 OQ-Realization）和每个实现的支路假设为条件（对于 \(3a\)：R1+R2+R3 + Soundness + 初等 \(F\)-步；对于 \(3b\)：理论内在 \(\preceq_{\mathrm{sel}}\) + C5-S；对于 \(3c\)：R1+R2+R3 + \(G2\) + \(G3\) + Soundness），将 \(3a\)/\(3b\)/\(3c\) 语法内实现的所有理论内在机制分类为 C 类（闭包）或 S 类（选择）。该分类处于闭包稳定化强度 \(4’\)；一个 C 类算子是否额外实现性质 \(4\) 或 AC-6 是实例特定的。该节还将规范化引入为一个部分伪函子（\(Det\)）。对于 S 型，与选择的关系比严格二分法更为微妙。我们将**S 型-强** 分离为这样的子类：\(\mathcal{P}_{T}\) 包含两个在 \(\preceq_{\mathrm{spec}}\)（§4.2）下没有共同上界的可容许解释。只有在 S 型-强 实例中，性质 \(4\)（全局完成）才被证明是不可能的；较弱的 \(4’\) 仍然可以实现。Wyckoff 是 S 型-强 的，因此选择构造对 \(\mathcal{T}_{Wy}\) 是合理的；从一般 S 型到选择的推理以这一加强为条件，并保持开放（OQ-TypeS-Imp）。第 2 阶段（§10）刻画了在多个算子带有优先级约束条件下的规范化（摘要陈述；完整证明见伴随工件）。可行性等价于安全间隙 \(\Phi^{*}\) 的消失。在成对局部相容性 \(\mathrm{PLC}_{\mathcal{S}}\) 下，存在性条件 \(C2\) 和 \(C2’\) 相互折叠。相容性条件的强度排序为 \(\mathrm{GCC}\Rightarrow\mathrm{RUC}_{\mathcal{S}}\Rightarrow\mathrm{PLC}_{\mathcal{S}}\)（在种子依赖设定下严格，在种子无关设定下折叠为 \(\mathrm{GCC}\Rightarrow\mathrm{RUC}\equiv\mathrm{PLC}\)）；详细证明记录在伴随工件中，本文不重复给出。

核心原则。*基于完成的规范化需要闭包、可比性和相容扩展；基于选择的规范化需要理论内在可比性和所选选择的全局相容性。并非所有规范化都是算子理论的。在层级交互下，规范化算子形成一个结构上非交换的系统。*

###### 目录
1. 1.引言 (https://arxiv.org/html/2608.07476#S1)
2. 2.框架 (https://arxiv.org/html/2608.07476#S2)
   1. 2.1 结构理论 (https://arxiv.org/html/2608.07476#S2.SS1)
3. 3.非确定性分类法 (https://arxiv.org/html/2608.07476#S3)
   1. 3.1 形式谓词 (https://arxiv.org/html/2608.07476#S3.SS1)
   2. 3.2 实例 (https://arxiv.org/html/2608.07476#S3.SS2)
4. 4.确定性化机制 (https://arxiv.org/html/2608.07476#S4)
   1. 4.1 基于算子的完成（E 型） (https://arxiv.org/html/2608.07476#S4.SS1)
   2. 4.2 基于选择器的构造（S 型-强） (https://arxiv.org/html/2608.07476#S4.SS2)
5. 5.规范化的充分条件（定理 6b） (https://arxiv.org/html/2608.07476#S5)
   1. 5.1 条件 (https://arxiv.org/html/2608.07476#S5.SS1)
   2. 5.2 反例 (https://arxiv.org/html/2608.07476#S5.SS2)
   3. 5.3 定理 6b（构造引理）与推论 6b’ (https://arxiv.org/html/2608.07476#S5.SS3)
   4. 5.4 总结 (https://arxiv.org/html/2608.07476#S5.SS4)
6. 6.实例 (https://arxiv.org/html/2608.07476#S6)
   1. 6.1 Wyckoff（S 型-强，完成） (https://arxiv.org/html/2608.07476#S6.SS1)
   2. 6.2 ICT（E 型）——单时间框架与多 HTF (https://arxiv.org/html/2608.07476#S6.SS2)
7. 7.分段完成的非交换性 (https://arxiv.org/html/2608.07476#S7)
8. 8.机制分类与范畴结构 (https://arxiv.org/html/2608.07476#S8)
   1. 8.1 定义 (https://arxiv.org/html/2608.07476#S8.SS1)
   2. 8.2 非对称约简（引理 R2*） (https://arxiv.org/html/2608.07476#S8.SS2)
   3. 8.3 MST 实现语法中的条件分类（定理 U3） (https://arxiv.org/html/2608.07476#S8.SS3)
   4. 8.4 可比性结构（细化的 N4） (https://arxiv.org/html/2608.07476#S8.SS4)
   5. 8.5 作为伪函子的确定性化 (https://arxiv.org/html/2608.07476#S8.SS5)
   6. 8.6 §8 结果的状态 (https://arxiv.org/html/2608.07476#S8.SS6)
9. 9.讨论 (https://arxiv.org/html/2608.07476#S9)
10. 10.第 2 阶段：多算子规范化 (https://arxiv.org/html/2608.07476#S10)
    1. 10.1 设定与定义 (https://arxiv.org/html/2608.07476#S10.SS1)
    2. 10.2 第 2 阶段总结定理 (https://arxiv.org/html/2608.07476#S10.SS2)
    3. 10.3 严格性见证 (https://arxiv.org/html/2608.07476#S10.SS3)
11. 11.变更日志 (https://arxiv.org/html/2608.07476#S11)
    1. 11.1 v2.16.3→v2.16.4（数学正确性修复） (https://arxiv.org/html/2608.07476#S11.SS1)
    2. 11.2 v2.16.2→v2.16.3（断言强度收紧） (https://arxiv.org/html/2608.07476#S11.SS2)
    3. 11.3 v2.16→v2.16.2（M1 修复与后续小修） (https://arxiv.org/html/2608.07476#S11.SS3)
    4. 11.4 v2.15.1→v2.16（勘误修订，13 个问题） (https://arxiv.org/html/2608.07476#S11.SS4)
12. A.冲突矩阵 (https://arxiv.org/html/2608.07476#A1)
    1. A.1 M2 — ICT 单时间框架闭包域 (https://arxiv.org/html/2608.07476#A1.SS1)
    2. A.2 M2-HT F — 跨时间框架禁忌对 (https://arxiv.org/html/2608.07476#A1.SS2)

## 1.引言
本文研究一个单一问题：结构理论何时可以被规范化？其动机性 AI 设定是 LLM 辅助的结构性决策系统：语言模型提出候选解释，而符号结构理论规定可容许解释。规范化是在系统有权输出唯一解释而非一组可容许备选方案时做出判定的问题。在这种视角下，幻觉是无依据的规范化——当底层可容许集合尚未坍塌为单元素集时，系统却输出了确定性答案。我们形式化地刻画了规范化被授权的结构性条件。

大多数市场结构框架*并非*确定性的：在同一位置上，多个有效解释并存。我们形式化这一问题，并刻画可构造规范解读的充分结构性条件。我们使用结构理论 T=\(Σ,A,I\) 进行形式化，并引入*规范化*，即从多元基础 \(T\) 构造规范扩展 \(T^{\mathrm{canon}}\) 的过程。我们的框架在三种强度下运作：

- •**闭包稳定化**（性质 \(4’\)，§4.1）：每个可容许种子在算子的迭代下收敛到*某个*不动点。这是由定理 6b 的完成分支和推论 6b’ 所建立的强度。
- •**全局完成**（性质 \(4\)）：所有种子收敛到*同一个*不动点。这需要算子 ARS 的全局合流性，而这是理论特定的，且不由 \(4’\) 蕴含。对于 ICT，这是开放的（OQ-GC-1）。
- •**确定性化**（AC-6）：唯一不动点是唯一的可容许解释。这是最强的断言，并通过规范选择（例如 Wyckoff 的 PhaseClassify）直接实现。对于 ICT，AC-6 以 OQ-GC-1 为条件。

我们在全文中明确说明每个强度适用哪个断言，并特别指出：*本文建立了 ICT 的闭包稳定化，但并未建立 AC-6 强度下 ICT 的确定性化。*

我们的主要贡献是：

1. 1.**分类法**（§3、§4.2）：非确定性的二型分类（S 型 vs. E 型），以及*S 型-强* 细化（无共同上界），在该子类中选择被证明是达到 AC-6 的唯一机制。
2. 2.**构造引理**（§5.3，定理 6b）：充分的构造性条件（N0–N4 + C5，带有机制特定变体 C5-E 和 C5-S），在这些条件下可以构造完成算子 \(\mathcal{D}_{\mathrm{comp}}\) 或选择器 PhaseClassify。定理 6b 是一个构造引理：给定条件，机制即被构造出来。其实质深度由推论 6b’（§5.3）展开。
3. 3.**\(\mathcal{I}^{\mathrm{core}}\)-可计算完成的分类**（推论 6b’，§5.3；以及引理 C 和单调穷竭引理，§8.2）：在 R1+R2+R3*加上关于 \(A\) 的规则 Soundness* 之下，每个 \(3a\)-可计算完成算子（解释为在初等单规则触发下的饱和闭包 \(F^{\omega}\)）自动是单调的、广义的、保持可容许性的，并且每种子收敛到不动点——因此属于闭包稳定化强度下的 C 类。
4. 4.**双重机制**（§4.1、§4.2）：两种根本不同的规范化形式——基于算子的完成（E 型）vs. 基于选择器的构造（S 型-强，公理诱导序）。这两种构造产生不同的数学对象。
5. 5.**反例 \(\mathcal{T}_{ce}\)**（§5.2）：一个满足 N0+N1+N3 但既失败 N4-sel 又失败 N4-comp 的最小理论；表明理论内在可比性（N4）是必要的。
6. 6.**多时间框架扩展**（§6.2）：在 \(\mathcal{P}_{ICT}^{\mathrm{multi}}\) 上的分段算子 \(\mathcal{D}_{\mathrm{comp}}^{\mathrm{HTF}}=\mathcal{D}_{L}\circ\mathcal{D}_{H}\)，并显式验证 §4.1 性质在 \(4’\) 强度上的成立。
7. 7.**结构非交换性**（§7）：一个具体见证 \(P\)，使得 \((\mathcal{D}_{L}\circ\mathcal{D}_{H})(P)\in\mathcal{P}_{ICT}^{\mathrm{multi}}\) 而 \((\mathcal{D}_{H}\circ\mathcal{D}_{L})(P)\notin\mathcal{P}_{ICT}^{\mathrm{multi}}\)，且排序唯一性限定于两算子原始分段架构。
8. 8.**机制分类**（§8）：非对称约简（R2*，i 和 ii 部分）；独立于 \(3a\)/\(3b\)/\(3c\) 的“理论内在”定义；定理 U3（以实现覆盖 OQ-Realization 和每个实现的支路假设为条件）将 \(3a\)/\(3b\)/\(3c\) 内实现的所有理论内在机制分类为 C 类或 S 类；\(Det\) 作为部分伪函子（§8.4）。
9. 9.**第 2 阶段（多算子规范化）**（§10）：存在性条件总结（\(\Phi^{*}=0\Leftrightarrow\) 可容许线性化），在 \(\mathrm{PLC}_{\mathcal{S}}\) 下的折叠（C2≡C2’≡存在性），以及相容性强度层级 \(\mathrm{GCC}\Rightarrow\mathrm{RUC}_{\mathcal{S}}\Rightarrow\mathrm{PLC}_{\mathcal{S}}\)（摘要陈述；完整证明记录在伴随工件中，此处不重复）。

范围说明。本文在统一框架下整合了 MST 发展的多条线索。贡献 1–3、6–7、8 和 9 中的每一项都可以在专门的后续论文中展开，我们预计随着框架成熟会出现此类拆分。§11 的变更日志跟踪了 v2.15.1→v2.16→v2.16.2→v2.16.3→v2.16.4 的勘误修订。

### 2.1 结构理论
###### 定义 2.1。
一个*结构理论*是 T=\(Σ,A,I\)，其中 \(\Sigma\) 是签名，\(A\) 是公理，\(I=I^{\mathrm{core}}\cup I^{\mathrm{ext}}\) 是推理策略（本文仅关注 \(I^{\mathrm{core}}\)）。

输入元组。理论在输入 \((N,\Theta,\Pi)\) 上求值，其中 \(N\) 是观测到的市场实现，\(\Theta\) 是理论相关参数集，\(\Pi\) 是结构性证据赋值。

域对象：\(R\)= 区域/工具集，\(\mathsf{Time}\)= 时间索引集，\(\mathcal{C}\)= 结构结论词汇表。

###### 定义 2.2（有限求值域）。
在整个过程中我们假设：\((a)\) \(\mathcal{C}\) 是有限的；\((b)\) \(\operatorname{Dom}(N,\Theta)\subseteq R\times\mathsf{Time}\) 对每个 \((N,\Theta)\) 都是有限的。因此 \(\|\mathcal{P}_{T}(N,\Theta,\Pi)\|\leq(2^{\|\mathcal{C}\|})^{\|\operatorname{Dom}(N,\Theta)\|}<\infty\)。

关于 \(I^{\mathrm{core}}\) 的定义性约束。