[논문 리뷰] On expansions of $(\mathbf{Z},+,0)$

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

Mathematical Dynamics and Fractals참고 문헌 23인용 수 7

한 줄 요약

이 논문은 $(\mathbf{Z}, +, 0)$의 확장에서 단항 문장 $R$를 통해 초안정성(superstability)과 NIP 성질을 확립한다. 여기서 $R$는 점점 커지는 성질 $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$.

연구 동기 및 목표

• 이전 결과들—$R$가 $\{q^n\}$, $\{n!\}$, 또는 피보나치 수일 경우 $(\mathbf{Z}, +, 0, R)$의 초안정성에 대한 일반화를 목표로 한다.
• 성장률과 재귀 조건을 만족하는 '정규 수열'을 정의하고 분석한다.
• $R$가 정규 수열로 열거될 경우 $(\mathbf{Z}, +, 0, R)$가 Lascar 순위 $\omega$인 초안정 이론임을 증명한다.
• $R$가 모든 $m > 1$에 대해 합동 주기적일 경우 $(\mathbf{Z}, +, 0, <, R)$의 NIP 성질을 확립하여 난이도 결과를 확장한다.
• 초안정성에 대해 두 가지 다른 증명을 제공한다: 하나는 유도된 구조의 안정성에 기반하고, 다른 하나는 확장된 언어에서의 양자자르기 제거를 통한 증명이다.

제안 방법

• 정규 수열 $(r_n)$을 정의하기 위해 $r_{n+1}/r_n \to \theta \in \mathbb{R}^{>1} \cup \{\infty\}$를 요구하고, $\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}_R = \{0, +, R\}$에 존재적으로 정의 가능한 집합, 예를 들어 $R$의 원소들의 정수 계수 선형 조합을 나타내는 기호를 추가하여 확장된 언어 $\mathcal{L}$을 도입한다.
• $\mathcal{L}$-이론 $T_R$가 양자자르기 제거와 완전성을 갖는다는 것을 증명하고, 이를 통해 유형 수 계산을 통한 초안정성 증명이 가능하다.
• 인디스서니블 시퀀스를 통한 NIP 기준을 적용: 원소 공식의 진리값이 인디스서니블 시퀀스를 따라 안정화됨을 보이며, $R$ 기반 전개 길이를 측정하는 함수 $\lambda_R$의 성질을 활용한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 수열 $R = \{r_n\}$에 대해 구조 $(\mathbf{Z}, +, 0, R)$가 초안정성이 되는가?
• RQ2 $R$에 대해 $(\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)$와 같은 알려진 초안정 구조에 얼마나 잘 해석될 수 있는가?

주요 결과

• $R$가 정규 수열로 열거될 경우 이론 $\mathrm{Th}(\mathbf{Z}, +, 0, R)$는 항상 Lascar 순위 $\omega$인 초안정 이론이다.
• $R$ 위의 유도된 구조는 초안정이다. 이는 $\{ (r_{n_1}, \dots, r_{n_k}) \in R^k \mid \sum a_i r_{n_i} = 0 \}$ 형태의 집합이, 적절한 부분합이 0이 되지 않는 한 $|n_i - n_j|$의 차수에 유계이기 때문이다.
• $\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}\}$, 피보나치 수열에 대한 확장으로도 확장되며, 이는 이들이 $<$를 포함할 경우 난이도가 있음을 확인한다.