[论文解读] 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)$ 关于一个解释为正则序列的 unary predicate $R$ 的扩张建立了超稳定性与 NIP 性质——正则序列由渐近增长 $r_{n+1}/r_n \to \theta \in \mathbb{R}^{>1} \cup \{\infty\}$ 定义，当 $\theta$ 为代数数时，要求序列满足其最小多项式的线性递推关系。给出了两种证明方法：一种通过稳定性理论归纳法，利用 Casanovas 和 Ziegler 的判别准则；另一种通过在扩展语言中消去量词，得到 Lascar 秩为 $\omega$ 的超稳定理论，并在 $R$ 为同余周期序列时得到 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!\}$ 或斐波那契数列的情形。
• 定义并分析满足增长与递推条件的“正则序列”，适用于代数增长速率。
• 证明当 $R$ 由正则序列枚举时，$(\mathbf{Z}, +, 0, R)$ 为 Lascar 秩 $\omega$ 的超稳定理论。
• 在 $R$ 对所有 $m > 1$ 同余周期时，建立 $(\mathbf{Z}, +, 0, <, R)$ 的 NIP 性质，扩展了稳定性结果。
• 提供两种不同的超稳定性证明：一种使用诱导结构的稳定性，另一种通过在扩展语言中消去量词。

提出的方法

• 通过要求 $r_{n+1}/r_n \to \theta \in \mathbb{R}^{>1} \cup \{\infty\}$ 定义正则序列 $(r_n)$，若 $\theta$ 为代数数，则要求 $(r_n)$ 满足特征多项式等于 $\theta$ 的最小多项式的线性递推关系。
• 使用 Casanovas 和 Ziegler 的判别准则：若 $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$ 具有消去量词且为完备理论，从而可通过类型计数论证确立超稳定性。
• 通过不可区分序列应用 NIP 判别准则：利用函数 $\lambda_R$（衡量 $z$ 的基-$R$ 展开的最小长度）的性质，证明原子公式的真值在不可区分序列上趋于稳定。

实验结果

研究问题

• 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 在已知的超稳定结构如 $(\mathbf{N}, S, S^{-1}, 0)$ 中，$R$ 上的诱导结构可在多大程度上被解释？

主要发现

• 当 $R$ 由正则序列枚举时，理论 $\mathrm{Th}(\mathbf{Z}, +, 0, R)$ 为 Lascar 秩 $\omega$ 的超稳定理论。
• 由于形如 $\{ (r_{n_1}, \dots, r_{n_k}) \in R^k \mid \sum a_i r_{n_i} = 0 \}$ 的集合的索引差有界（除非存在真子和为零），$R$ 上的诱导结构为超稳定。
• 函数 $\lambda_R(z)$（衡量 $z$ 的基-$R$ 展开的最小长度）在扩展语言 $\mathcal{L}$ 中可定义，从而支持消去量词。
• $\mathcal{L}$-理论 $T_R$ 具有消去量词且为完备理论，这使得可通过类型计数论证得出超稳定性结论。
• 当 $R$ 对所有 $m > 1$ 同余周期时，结构 $(\mathbf{Z}, +, 0, <, R)$ 为 NIP，这是通过不可区分序列上原子公式的真值趋于稳定而证明的。
• 该 NIP 结果可推广至 $\Pi_q = \{q^n \mid n \in \mathbf{N}\}$、$\{n! \mid n \in \mathbf{N}\}$ 和斐波那契数列的扩张，确认了在 $<$ 存在时这些结构的“良态”性质。