[論文レビュー] 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ランクの関係に関する未解決問題を解消すること。
• [ADHMS]で予想されたように、無差別列におけるVC密度（VC$_{\text{ind}}$-密度）が常に整数値をとるかどうかを調査すること。
• 特にdp最小性において、VC$_{\text{ind}}$-密度とdpランクが自然に一致するかどうかを特定すること。
• VC$_{\text{ind}}$-密度とdpランクの正確な比較を可能にする、局所的dpランクを用いた枠組みを提供すること。
• VC$_{\text{ind}}$-密度に関する結果を一般VC密度へ拡張する基盤を築くこと、特に部分加法性および式の複雑度の上限に関するもの。

提案手法

• VC密度の概念に適合するように、部分型と式に対して相対的に定義されるdpランクの局所的バージョンを導入すること。
• 任意の式と部分型に対して、局所的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 部分型がdpランク ≤ n であるための必要十分条件が、すべての式がVC$_{\text{ind}}$-密度 ≤ n をもつことと一致するのか？
• RQ3 dpランクの部分加法性を用いて、1変数の式のVC$_{\text{ind}}$-密度の上限が与えられた場合、複数変数の式のVC$_{\text{ind}}$-密度を上限で抑えられるか？
• RQ4 VC密度を部分加法的に上から抑える自然なランクが存在し、それがVC$_{\text{ind}}$-密度と同値である場合、Open Question 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]より）により、すべての1変数の式が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}}$-密度は常に整数値をとるためである。