[论文解读] On VC-density over indiscernible sequences

Vincent Guingona, Cameron Donnay Hill|arXiv (Cornell University)|Aug 12, 2011

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

一句话总结

该论文证明了在不可区分序列上的VC-密度（VC$_{\text{ind}}$-密度）始终为整数值，并且恰好等于dp-秩，从而解决了在此特定情境下两者关系的开放性问题。通过引入局部dp-秩并证明其与VC$_{\text{ind}}$-密度等价，作者在NIP理论中建立了模型论稳定性概念与组合复杂度度量之间的基础联系。

ABSTRACT

In this paper, we study VC-density over indiscernible sequences (denoted VC_ind-density). We answer an open question in [1], showing that VC_ind-density is always integer valued. We also show that VC_ind-density and dp-rank coincide in the natural way.

研究动机与目标

• 解决NIP理论中VC-密度与dp-秩关系的开放问题。
• 研究VC-密度在不可区分序列上（VC$_{\text{ind}}$-密度）是否如[ADHMS]中所猜想的那样为整数值。
• 确定VC$_{\text{ind}}$-密度与dp-秩是否以自然方式一致，特别是针对dp-极小性的情形。
• 提供一个基于局部dp-秩的框架，以实现VC$_{\text{ind}}$-密度与dp-秩的精确比较。
• 为将VC$_{\text{ind}}$-密度的结果推广到一般VC-密度奠定基础，特别是关于次可加性及公式复杂度的界。

提出的方法

• 引入一种相对于部分类型和公式的局部dp-秩版本，以更好地与VC-密度概念对齐。
• 证明对于任意公式和部分类型，局部dp-秩与VC$_{\text{ind}}$-密度等价。
• 利用局部dp-秩与VC$_{\text{ind}}$-密度之间的等价性，证明VC$_{\text{ind}}$-密度始终为整数。
• 构造具有受控交替模式的不可区分序列，以推导VC$_{\text{ind}}$-密度的下界。
• 应用[KOUdpmin]中的定理4.8（关于dp-秩的次可加性）推导出关于多变量公式VC$_{\text{ind}}$-密度的推论。
• 基于有限不可区分序列上实现的不同类型数量，使用计数论证来界定VC$_{\text{ind}}$-密度。

实验结果

研究问题

• RQ1 VC$_{\text{ind}}$-密度是否始终为整数值，如[ADHMS]中所建议？
• RQ2 VC$_{\text{ind}}$-密度是否与dp-秩完全一致，即一个部分类型具有dp-秩 ≤ n 当且仅当所有公式具有VC$_{\text{ind}}$-密度 ≤ n？
• RQ3 能否利用dp-秩的次可加性来界定多变量公式中VC$_{\text{ind}}$-密度的界，前提是已知单变量公式有界？
• RQ4 是否存在一个自然的秩，能次可加地界定VC-密度且与之等价，从而可能解决开放问题1.2？
• RQ5 在何种条件下VC-密度与VC$_{\text{ind}}$-密度一致，又在何种条件下它们不同？

主要发现

• VC$_{\text{ind}}$-密度始终为整数值，解决了[ADHMS]中提出的开放问题。
• VC$_{\text{ind}}$-密度与dp-秩完全一致：一个部分类型具有dp-秩 ≤ n 当且仅当所有公式具有VC$_{\text{ind}}$-密度 ≤ n。
• 局部dp-秩与VC$_{\text{ind}}$-密度之间的等价性为dp-秩提供了一种基于不可区分序列上组合复杂度的新表征。
• dp-秩的次可加性（来自[KOUdpmin]）意味着：若所有单变量公式具有VC$_{\text{ind}}$-密度 ≤ k，则所有n变量公式具有VC$_{\text{ind}}$-密度 ≤ k·n。
• 一个理论T是dp-极小的，当且仅当所有公式φ(x;y)具有VC$_{\text{ind}}$-密度 ≤ |x|，这是主定理的直接推论。
• VC$_{\text{ind}}$-密度由一般VC-密度上界界定，但二者在一般情况下并不相等，因为VC-密度可以是非整数，而VC$_{\text{ind}}$-密度始终为整数值。