[논문 리뷰] IPr* recurrence and nilsystems

Vitaly Bergelson, A. Leibman|arXiv (Cornell University)|2016. 04. 08.

semigroups and automata theory참고 문헌 8인용 수 5

한 줄 요약

이 논문은 컴act nilmanifold 위의 번역이 표준 IP${}_{r}^{*}$-재귀보다 더 강한 재귀 성질인 IP${}_{r}^{*}$-재귀로 특징지어지며, 이는 임의의 수열에서 최대 $ r $개의 서로 다른 정수의 합집합과의 교차를 요구한다. 또한 이 IP${}_{r}^{*}$-재귀가 다항 IP${}_{r}^{*}$-재귀와 동치임을 증명하며, 일반적인 distal 시스템에서는 이러한 동치성이 성립하지 않는다는 점에서 nilsystem과의 차이를 드러낸다.

ABSTRACT

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

연구 동기 및 목표

• 특히 컴 pact nilmanifold 위의 번역을 포함한 nilsystem을 표준 IP$^{*}$-재귀보다 더 강한 재귀 성질로 특징짓는 것.
• 최대 $ r $개의 서로 다른 정수의 합집합과의 비자명한 교차를 요구하는 IP${}_{r}^{*}$-재귀가 nilsystem을 특징짓는다는 것을 보여주는 것.
• nonsystem 내에서 IP${}_{r}^{*}$-재귀와 다항 IP${}_{r}^{*}$-재귀가 동치임을 증명하는 것.
• 이 동치성이 일반적인 distal 시스템에서는 성립하지 않음을 보여주어, nilsystem이 distal 시스템의 범주 안에서 어떻게 특징지어지는지 밝히는 것.

제안 방법

• IP${}_{r}^{*}$-집합을 정의: $\mathbb{Z}$의 부분집합으로, 임의의 수열에서 최대 $ r $개의 서로 다른 원소의 합집합을 포함하는 모든 IP$^{r}$-집합과의 교차를 가져야 한다.
• 다이나믹 시스템에 대한 IP${}_{r}^{*}$-재귀의 개념을 도입: 모든 $ x_0 \in X $ 와 이웃 $ U $ 에 대해, 귀환 집합 $ R_U(x_0) $ 가 모든 IP$^{r}$-집합과 교차해야 한다.
• 비전형적 pre-nilsystem이 아닌 최소 시스템의 구조를 분석하기 위해 순서 $ r $의 지역적으로 가까운 관계 $ \mathbf{RP}^{[r]} $ 를 사용한다.
• 만약 최소 시스템이 pre-nilsystem이 아니라면, Baire 카테고리 정리를 적용하여, 모든 비어있지 않은 $ \alpha \subseteq [1,r] $ 과 모든 선형 사상 $ \varphi \in \mathrm{Lin}([1,r], \mathbb{Z}) $ 에 대해 $ \rho(T^{\varphi(\alpha)}x, x) > \varepsilon $ 를 만족하는 점 $ x $ 와 $ \varepsilon > 0 $ 가 존재함을 보이며, 이는 IP${}_{r}^{*}$-재귀를 위반한다.
• 일반화된 다항식과 나이플레트 군 작용에 대한 기존 결과를 활용하여, nilsystem 내 귀환 집합이 요구되는 교차 성질을 만족함을 보인다.
• IP${}_{r}^{*}$-재귀가 nilsystem에 의해 근사 가능함을 증명하고, 이를 통해 IP${}_{r}^{*}$-재귀가 최소 시스템 내에서 nilsystem을 특징짓는다는 것을 보인다.

실험 결과

연구 질문

• RQ1 IP${}_{r}^{*}$-재귀는 최소 다이나믹 시스템 내에서 nilsystem을 특징짓는가?
• RQ2 nonsystem 내에서 IP${}_{r}^{*}$-재귀와 다항 IP${}_{r}^{*}$-재귀는 동치인가?
• RQ3 일반적인 distal 시스템에서 IP${}_{r}^{*}$-재귀는 표준 IP$^{*}$-재귀와 어떻게 다를까?
• RQ4 IP${}_{r}^{*}$-재귀의 실패는 pre-nilsystem이 아닌 시스템을 탐지하는 데 사용될 수 있는가?
• RQ5 순서 $ r $의 지역적으로 가까운 관계는 nilsystem을 특징짓는 데 어떤 역할을 하는가?

주요 결과

• 일부 $ r \in \mathbb{N} $ 에 대해 컴 pact nilmanifold 위의 번역은 IP${}_{r}^{*}$-재귀를 만족하며, 이는 귀환 집합이 모든 IP$^{r}$-집합과 교차한다는 것을 의미한다.
• nonsystem 내에서 IP${}_{r}^{*}$-재귀는 다항 IP${}_{r}^{*}$-재귀와 동치이며, 일반적인 distal 시스템에서는 이러한 성질이 성립하지 않는다.
• 일부 $ r $ 에 대해 모든 IP$^{r}$-집합과의 교차를 보장하는 IP${0}^{*}$-집합의 집합은 IP$^{*}$-집합의 집합보다 엄밀히 작다.
• 만약 최소 시스템이 pre-nilsystem이 아니라면, 모든 비어있지 않은 $ \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}^{*}$-재귀가 최소 시스템 내에서 nilsystem을 특징짓는다는 것을 확립하였으며, 산술적 재귀 성질을 통한 다이나믹 특징화를 제공한다.