[論文レビュー] IPr* recurrence and nilsystems

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

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

ひとこと要約

この論文は、コンパクトなニル多様体上の翻訳が、任意の数列から取り出される最大 $ r $ 個の異なる整数の和集合と常に非自明に交わるという、より強い再帰性である IP${}_{r}^{*}$-再帰性によって特徴づけられることを確立している。さらに、この IP${}_{r}^{*}$-再帰性が、一般の距離系では成り立たないが、ニル系では成り立つより強い多項式 IP${}_{r}^{*}$-再帰性と同値であることを示している。

ABSTRACT

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

研究の動機と目的

• コンパクトなニル多様体上の翻訳を含むニル系を、標準的な IP$^{*}$-再帰性よりも強い再帰性によって特徴づけること。
• 最大 $ r $ 個の異なる整数の和集合と常に交わる IP${}_{r}^{*}$-再帰性が、ニル系を特徴づけること。
• ニル系の文脈において、IP${}_{r}^{*}$-再帰性と多項式 IP${}_{r}^{*}$-再帰性との同値性を確立すること。
• この同値性が一般の距離系では成り立たないことを示し、ニル系を距離系のクラスの中で特徴づけること。

提案手法

• IP${}_{r}^{*}$-集合を、任意の $\mathbb{Z}$ 内の数列から取り出される最大 $ r $ 個の異なる要素の和集合を含む集合として定義する。
• 動的系における IP${}_{r}^{*}$-再帰性の概念を導入する：任意の $ x_0 \in X $ および近傍 $ U $ に対して、帰還集合 $ R_U(x_0) $ がすべての IP$^{r}$-集合と交わらなければならない。
• 非前ニル系である最小系の構造を分析するために、$ r $ 階の局所的接近関係 $ \mathbf{RP}^{[r]} $ を用いる。
• Baireのカテゴリー定理を適用して、最小系が前ニル系でない場合、ある点 $ 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}^{*}$-再帰性が同値であり、これは一般の距離系では成り立たない性質である。
• ある $ r $ に対してすべての IP$^{r}$-集合と交わる集合の集合である IP${0}^{*}$-集合のクラスは、IP$^{*}$-集合のクラスよりも厳密に小さい。
• 最小系が前ニル系でない場合、すべての非空な $ \alpha \subseteq [1,r] $ およびすべての $ \varphi \in \mathrm{Lin}([1,r], \mathbb{Z}) $ に対して $ \rho(T^{\varphi(\alpha)}x, x) > \varepsilon $ を満たす点 $ x $ と $ \varepsilon > 0 $ が存在し、IP${}_{r}^{*}$-再帰性に反する。
• このような点の存在は、$ \varphi $-和の下での $ \varepsilon $-近接性を破る点の集合 $ R_r $ の稠密性に由来し、Baireのカテゴリー定理を適用することで導かれる。
• 本論文は、IP${}_{r}^{*}$-再帰性が最小系の中でニル系を特徴づけることを確立し、算術的再帰性の性質による動的特徴づけを提供している。