[论文解读] Grünwald version of van der Waerden's theorem for semi-modules

Xiongping Dai|arXiv (Cornell University)|Dec 29, 2015

Limits and Structures in Graph Theory参考文献 25被引用 3

一句话总结

本文通过建立区域多重复发定理，将格伦瓦尔德对范德瓦尔登定理的版本推广至*-半环上的半模。证明了在任意有限着色的半模中，某一颜色类包含任意有限集的拟周期扩张。关键结果表明，每个一致几乎周期点都是多重几乎周期的，将经典划分正则性推广至整数以外的代数结构。

ABSTRACT

Let $(G,\pmb{+})$ be any given semimodule over a discrete semiring $(R,+,\cdot)$ with a finite coloring, say $G=B_1\cup\dotsm\cup B_q$. By establishing a Regional Multiple Recurrence Theorem for semimodules, we prove that one of the colors $j$ has the property that if $F\subseteq G$ is any finite set, then one can find some "syndetic" subset $D_F$ of $(R,+)$ such that for each $d\in D_F$ there is some $a\in B_j$ with $a\pmb{+}dF\subseteq B_j$. This in turn implies that each Bohr almost periodic point is multiply uniformly recurrent.

研究动机与目标

• 将格伦瓦尔德对范德瓦尔登定理的版本从 $\mathbb{N}^m$ 推广至半环上的半模。
• 为半模建立区域多重复发定理作为基础工具。
• 证明在任意有限着色的半模中，某一颜色类包含任意有限集 $F$ 的拟周期扩张。
• 证明此类系统中的一致几乎周期点也是多重几乎周期的。
• 解决关于半模中位似复制的开放施图尔-布劳尔型猜想。

提出的方法

• 形式化定义*-半环上的半模，包含标量乘法与加法结构。
• 通过有限集 $K$ 定义半环 $R$ 中的拟周期子集，使得对所有 $t \in R$，有 $K + t \cap S \neq \emptyset$。
• 使用超滤子方法与Stone-Čech紧化分析半模中的复发性。
• 通过在递增链 $M_n \subset M$ 上着色的极限点，证明主要结果的有限版本。
• 应用区域多重复发定理，证明存在 $a \in M$，$d \in R \setminus \{0\}$，使得 $a + dF \subseteq B_j$ 对某个颜色 $j$ 成立。
• 证明当 $R$ 为*-半环时，非平凡拟周期集包含非零元素，从而避免 $d = 0$ 的平凡解。

实验结果

研究问题

• RQ1 任意有限着色的*-半环上半模是否在某一颜色类中包含任意有限集 $F$ 的拟周期扩张？
• RQ2 经典格伦瓦尔德-范德瓦尔登定理能否推广至任意半环上的半模？
• RQ3 半模系统中的一致几乎周期点是否也都是多重几乎周期的？
• RQ4 半环 $R$ 需满足何种条件，才能保证其拟周期子集包含非零元素？
• RQ5 施图尔-布劳尔猜想是否在半模中成立，即是否存在 $b \neq \mathbf{o}$ 与 $a \in M$，使得 $a + Fb \subseteq B_j$？

主要发现

• 对于任意有限着色 $M = B_1 \cup \dotsm \cup B_q$ 的*-半环上半模 $M$，对任意有限集 $F \subset M$ 与 $d \in R \setminus \{0\}$，某一颜色类 $B_j$ 包含拟周期扩张 $a + dF$。
• 区域多重复发定理保证了拟周期集 $D_F \subset R$ 的存在性，使得对每个 $d \in D_F$，存在 $a \in B_j$ 满足 $a + dF \subseteq B_j$。
• 该结果意味着系统中每个一致几乎周期点都是多重几乎周期的，从而推广了福尔斯特伯格的复发性结果。
• 有限版本（定理 3.25）表明，对任意足够大的 $n$，$M_n$ 的任意 $q$-着色中均存在某一颜色内的位似复制 $a + dF$，其中 $d \neq 0$。
• *-半环条件确保拟周期集包含非零元素，这对于避免 $d = 0$ 的平凡解至关重要。
• 本文在施图尔-布劳尔型条件下证实了猜想 $a + Fb \subseteq B_j$ 对某个 $b \neq \mathbf{o}$ 与 $a \in M$ 成立，从而推广了经典结果。