[論文レビュー] 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ランクを示す役割を検討する。

実験結果

リサーチクエスチョン

• RQ1 タプルのdpランクは、その成分に関して下位加法的か？
• RQ2 すべての有限dpランク理論は、そのdp最小型の研究に還元可能か？
• RQ3 すべてのdp最小理論はVC*-密度1を持つか？
• RQ4 単一の型からなる無限列のみを用いてdpランクを示せるか？
• RQ5 VC*-密度は単一変数式のみを用いて定義可能か？

主な発見

• dpランクは下位加法的である：タプルのランクは、その成分のランクの和によって上から抑えられる。
• dp最小型をもたない有限dpランク理論（例えばdpランク2）が存在することを示し、有限ランク理論がdp最小型に還元できないことを示している。
• 安定理論とは異なり、dpランクにおける有限／無限対応が成り立たないことは、ハイティネンの重みに関する結果の反例によって示された。
• 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*-密度が単一変数式のみを用いて定義可能であることが示され、両概念の統合が可能になる可能性がある。