[论文解读] IPr* recurrence and nilsystems

Vitaly Bergelson, A. Leibman|arXiv (Cornell University)|Apr 8, 2016

semigroups and automata theory参考文献 8被引用 5

一句话总结

本文证明了紧致尼尔流形上的平移映射由一种更强的重临性质——IP${}_{r}^{*}$-重临所刻画，该性质要求返回集与任意序列中至多 $ r $ 个不同整数的有限和集均相交。此外，本文进一步证明了在尼尔斯系统中，IP${}_{r}^{*}$-重临等价于一种看似更强的多项式 IP${}_{r}^{*}$-重临，这一等价性在一般非扩张系统中并不成立，从而将尼尔斯系统与一般非扩张系统区分开来。

ABSTRACT

We prove that nilsystems possess the IPr*-recurrence property and, moreover, are characterized by this property.

研究动机与目标

• 通过强于标准 IP$^{*}$-重临的重临性质，刻画尼尔斯系统——特别是紧致尼尔流形上的平移映射。
• 证明 IP${}_{r}^{*}$-重临（要求与至多 $ r $ 个不同整数的和集有非平凡交集）可刻画尼尔斯系统。
• 在尼尔斯系统的背景下，建立 IP${}_{r}^{*}$-重临与多项式 IP${}_{r}^{*}$-重临之间的等价性。
• 证明该等价性在一般非扩张系统中不成立，从而在非扩张系统类中区分出尼尔斯系统。

提出的方法

• 将 IP${}_{r}^{*}$-集定义为 $\mathbb{Z}$ 的子集，其与每个 IP$^{r}$-集相交，即与任意序列中至多 $ r $ 个不同元素的和集相交。
• 引入动力系统中 IP${}_{r}^{*}$-重临的概念：对每个 $ x_0 \in X $ 和邻域 $ U $，返回集 $ R_U(x_0) $ 必须与每个 IP$^{r}$-集相交。
• 利用 $ r $ 阶区域邻近关系 $ \mathbf{RP}^{[r]} $ 分析非预尼尔斯系统的最小系统结构。
• 应用贝尔纲定理，证明若一个最小系统不是预尼尔斯系统，则存在一点 $ x $ 和 $ \varepsilon > 0 $，使得对所有非空 $ \alpha \subseteq [1,r] $ 和所有线性映射 $ \varphi \in \mathrm{Lin}([1,r], \mathbb{Z}) $，有 $ \rho(T^{\varphi(\alpha)}x, x) > \varepsilon $，从而违反 IP${}_{r}^{*}$-重临。
• 利用广义多项式与幂零群作用的已知结果，证明尼尔斯系统中返回集满足所需的交集性质。
• 证明 IP${}_{r}^{*}$-重临蕴含可由尼尔斯系统逼近，并利用此性质证明 IP${}_{r}^{*}$-重临在最小系统中刻画了尼尔斯系统。

实验结果

研究问题

• RQ1 IP${}_{r}^{*}$-重临是否在最小动力系统中刻画了尼尔斯系统？
• RQ2 在尼尔斯系统的背景下，IP${}_{r}^{*}$-重临是否等价于多项式 IP${}_{r}^{*}$-重临？
• RQ3 在一般非扩张系统中，IP${}_{r}^{*}$-重临与标准 IP$^{*}$-重临有何不同？
• RQ4 IP${}_{r}^{*}$-重临的失效是否可用于检测非预尼尔斯系统？
• RQ5 区域邻近关系 $ r $ 阶在刻画尼尔斯系统中起什么作用？

主要发现

• 紧致尼尔流形上的平移映射对某个 $ r \in \mathbb{N} $ 满足 IP${}_{r}^{*}$-重临，即其返回集与所有 IP$^{r}$-集相交。
• 在尼尔斯系统中，IP${}_{r}^{*}$-重临等价于多项式 IP${}_{r}^{*}$-重临，而这一性质在一般非扩张系统中并不成立。
• IP${}_{0}^{*}$-集类（即与某些 $ r $ 的所有 IP$^{r}$-集相交的集合）严格小于 IP$^{*}$-集类。
• 若一个最小系统不是预尼尔斯系统，则存在一点 $ x $ 和 $ \varepsilon > 0 $，使得对所有非空 $ \alpha \subseteq [1,r] $ 和所有 $ \varphi \in \mathrm{Lin}([1,r], \mathbb{Z}) $，有 $ \rho(T^{\varphi(\alpha)}x, x) > \varepsilon $，从而违反 IP${}_{r}^{*}$-重临。
• 此类点的存在性源于对违反 $ \varepsilon $-接近性的稠密集 $ R_r $ 应用贝尔纲定理。
• 本文确立了 IP${}_{r}^{*}$-重临在最小系统中刻画了尼尔斯系统，通过算术重临性质提供了动力系统的刻画。