[論文レビュー] On expansions of $(\mathbf{Z},+,0)$

Quentin Lambotte, Françoise Point|arXiv (Cornell University)|Feb 15, 2017

Mathematical Dynamics and Fractals参考文献 23被引用数 7

ひとこと要約

本稿は、$(\mathbf{Z}, +, 0)$ の拡張として、正則列 $R$ を一元的述語として解釈する構造について、超安定性および NIP 性を確立する。正則列とは、漸近的成長率 $r_{n+1}/r_n \to \theta \in \mathbb{R}^{>1} \cup \{\infty\}$ を満たし、代数的 $\theta$ の場合はその最小多項式と一致する線形再帰を満たすものである。2通りの証明が与えられる：1つはカサノヴァスとツィーグラーの基準を用いた安定性理論的帰納法によるもの、もう1つは拡張された言語における量化子除去を用いたもので、$R$ が合同周期的である場合には Lascar 順序 $\omega$ の超安定理論および NIP 性が得られる。

ABSTRACT

Call a (strictly increasing) sequence $(r_{n})$ of natural numbers \emph{regular} if it satisfies the following condition: $r_{n+1}/r_{n} oθ\in\mathbb{R}^{>1}\cup\{\infty\}$ and, if $θ$ is algebraic, then $(r_{n})$ satisfies a linear recurrence relation whose characteristic polynomial is the minimal polynomial of $θ$. Our main result states that $(\mathbb{Z},+,0,R)$ is superstable whenever $R$ is enumerated by a regular sequence. We give two proofs of this result. One relies on a result of E. Casanovas and M. Ziegler and the other on a quantifier elimination result. We also show that $(\mathbb{Z},+,0,1$.

研究の動機と目的

• $(\mathbf{Z}, +, 0, R)$ の超安定性に関する先行研究（$R = \{q^n\}$, $\{n!\}$, フィボナッチ数列の場合）を一般化すること。
• 成長率および再帰的条件を満たす「正則列」を定義・分析すること。
• $(\mathbf{Z}, +, 0, R)$ が正則列で列挙される場合、Lascar 順序 $\omega$ の超安定理論であることを証明すること。
• すべての $m > 1$ で $R$ が合同周期的である場合、$(\mathbf{Z}, +, 0, <, R)$ が NIP であることを確立し、その tame な性質を拡張すること。
• 2通りの異なる証明を用いて超安定性を示すこと：1つは誘導構造の安定性を用いたもの、もう1つは拡張された言語における量化子除去を用いたもの。

提案手法

• 正則列 $(r_n)$ を、$r_{n+1}/r_n \to \theta \in \mathbb{R}^{>1} \cup \{\infty\}$ を満たし、$\theta$ が代数的である場合はその最小多項式と一致する特性多項式の線形再帰を満たすように定義する。
• カサノヴァスとツィーグラーの基準を用いる：$R$ が有界で、$R$ 上の誘導構造が超安定であるならば、$(\mathbf{Z}, +, 0, R)$ は超安定である。
• $X_{\bar{a}} = \{(r_{n_1}, \dots, r_{n_k}) \in R^k \mid \sum a_i r_{n_i} = 0\}$ のような集合を分析し、$R$ 上の誘導構造が $(\mathbf{N}, S, S^{-1}, 0)$ に定義的に解釈可能であることを示し、したがって超安定であることを示す。
• 言語 $\mathcal{L}$ を $\mathcal{L}_R = \{0, +, R\}$ に加え、存在的に定義可能な集合（例：$R$ の元の整数線形結合）の述語を追加して拡張する。
• $\mathcal{L}$-理論 $T_R$ が量化子除去および完全性を持つことを証明し、これにより型数え上げの議論を用いて超安定性を確立する。
• indiscernible 列を用いた NIP 基準を適用する：原子論理式の真偽値が、関数 $\lambda_R$（$z$ の $R$-基数展開の最小長さを測る）の性質を用いて、indiscernible 列に沿って安定化することを示す。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、$R = \{r_n\}$ に対して構造 $(\mathbf{Z}, +, 0, R)$ が超安定になるか？
• RQ2 $(\mathbf{Z}, +, 0, R)$ の超安定性は、安定性理論的帰納法ではなく、拡張された言語における量化子除去によって示せるか？
• RQ3 $R$ がすべての $m > 1$ で合同周期的であることは、$(\mathbf{Z}, +, 0, <, R)$ の NIP 性を決定づける上でどのような役割を果たすか？
• RQ4 線形再帰関係および $r_n$ の成長率は、$\mathrm{Th}(\mathbf{Z}, +, 0, R)$ の安定性理論的複雑性にどのように影響するか？
• RQ5 $R$ 上の誘導構造は、$(\mathbf{N}, S, S^{-1}, 0)$ のような既知の超安定構造にどの程度まで解釈可能か？

主な発見

• $(\mathbf{Z}, +, 0, R)$ の理論 $\mathrm{Th}(\mathbf{Z}, +, 0, R)$ は、$R$ が正則列で列挙される限り、Lascar 順序 $\omega$ の超安定理論である。
• $R$ 上の誘導構造は超安定である。なぜなら、$\{ (r_{n_1}, \dots, r_{n_k}) \in R^k \mid \sum a_i r_{n_i} = 0 \}$ のような集合は、適切な部分和が消える場合を除き、$|n_i - n_j|$ の差が有界であるからである。
• $z$ の $R$-基数展開の最小長さを測る関数 $\lambda_R(z)$ は、拡張された言語 $\mathcal{L}$ で定義可能であり、これにより量化子除去が可能になる。
• $\mathcal{L}$-理論 $T_R$ は量化子除去および完全性を持つため、型数え上げの議論により超安定性が結論づけられる。
• $R$ がすべての $m > 1$ で合同周期的である場合、$(\mathbf{Z}, +, 0, <, R)$ は NIP である。これは、indiscernible 列に沿って原子論理式の真偽値が安定化することにより示される。
• NIP の結果は、$\Pi_q = \{q^n \mid n \in \mathbf{N}\}$、$\{n! \mid n \in \mathbf{N}\}$、フィボナッチ数列の拡張に対しても拡張可能であり、$<$ を含む場合のその tame な性質を確認する。