[论文解读] Additivity of the dp-rank

Itay Kaplan, Alf Onshuus+1 more|arXiv (Cornell University)|Sep 7, 2011

Advanced Topology and Set Theory参考文献 10被引用 5

一句话总结

本文建立了dp-秩的次可加性，证明了元组的dp-秩受限于其各分量dp-秩之和。此外，本文表明有限dp-秩的理论无法被简化为dp-极小类型，并通过不可区分序列和公式复杂度探讨了dp-秩与VC-密度之间的联系。

ABSTRACT

The main result of this article is sub-additivity of the dp-rank. We also show that the study of theories of finite dp-rank can not be reduced to the study of its dp-minimal types, and discuss the possible relations between dp-rank and VC-density.

研究动机与目标

• 建立dp-秩的次可加性作为依赖理论中的基础性质。
• 研究有限dp-秩理论是否能通过其dp-极小类型进行分析，挑战其与稳定理论中权的类比。
• 探讨dp-秩与VC-密度之间的关系，特别是通过不可区分序列和公式破碎化。
• 检查dp-秩与VC-密度是否能仅通过单变量公式来刻画。
• 澄清dp-秩与经典概念（如稳定理论中的权）之间类比的局限性。

提出的方法

• 使用dp-秩的语义与句法刻画，特别是类型上的语义变体。
• 应用相对于基集的相互不可区分序列概念，以揭示更高的dp-秩。
• 采用渐近增长条件（Ω与ω）将dp-秩与有限不可区分序列上类型实现的复杂性联系起来。
• 分析公式在不可区分序列上的行为，以连接dp-秩与VC*-密度。
• 利用关于依赖性与稳定性的已知结果，构造出与权和负担类比的反例。
• 考虑通过单点扩展类型来揭示dp-秩的作用，基于Kaplan与Simon的近期结果。

实验结果

研究问题

• RQ1 元组的dp-秩是否关于其分量具有次可加性？
• RQ2 每个有限dp-秩理论是否都能简化为对其dp-极小类型的分析？
• RQ3 每个dp-极小理论是否具有VC*-密度1？
• RQ4 是否能仅通过单点的不可区分序列来见证dp-秩？
• RQ5 是否能仅使用单变量公式来定义VC*-密度？

主要发现

• dp-秩具有次可加性：元组的秩不超过其各分量秩之和。
• 存在无dp-极小类型的有限dp-秩理论（例如dp-秩为2），表明有限秩理论无法被简化为dp-极小类型。
• 通过反例否定了dp-秩在有限/无限对应关系上的成立性（与稳定理论不同），该反例否定了Hyttinen关于权的结果。
• 给出了dp-秩k的刻画：存在公式φ(x,y)及不可区分序列I，使得对任意有限I′，有|S^p(y)_φ(I′)| = Ω(|I′|^k)。
• 建立了dp-秩与VC*-密度之间的联系：若|S^p(y)_φ(I′)|不是O(|I′|^{k-1})，则dp-秩至少为k。
• 若问题5.9的答案为肯定，则VC*-密度可仅通过单变量公式来定义，这可能统一两个概念。