[논문 리뷰] On Multiple and Polynomial Recurrent extensions of infinite measure preserving transformations

Tom Meyerovitch|arXiv (Cornell University)|2007. 03. 30.

Advanced Topology and Set Theory참고 문헌 6인용 수 5

한 줄 요약

이 논문은 다중 및 다항식 재귀 성질이 가역적이고 무한 측도를 보존하는 변환의 측도 보존 확장에 대해 유지됨을 증명한다. 조건부 측도와 에르고딕 이론 기법을 사용하여, 기저 변환이 다중 또는 다항식 재귀적이라면 그 어떤 확장에도 동일한 성질이 유지됨을 보이며, 유한 측도 에르고딕 이론의 결과를 무한 측도 설정으로 일반화한다.

ABSTRACT

We prove that multiple-recurrence and polynomial-recurrence of invertible infinite measure preserving transformations are both properties which pass to extensions.

연구 동기 및 목표

• 무한 측도 공간에서 측도 보존 확장에 대해 다중 재귀가 유지됨을 확립하는 것.
• 기저 시스템에서 다항식 재귀 성질을 그 확장으로 일반화하는 것.
• 아론슨과 나카다가 제기한 무한 측도 확장에서의 재귀 문제를 해결하는 것.
• 조건부 측도 기법을 사용하여 유한 측도 재귀 결과를 무한 측도 시스템으로 일반화하는 것.
• 소수와 같은 0 밀도 집합을 포함한 시스템에서의 재귀를 연구하기 위한 프레임워크를 제공하는 것.

제안 방법

• 기저 공간 $Y$ 상에서 $\nu$-거의 모든 곳에서 정의된 조건부 측도 $\mu_y$를 사용하여, 확장 $X$ 내의 집합과 $Y$ 내의 사영 간의 관계를 설정한다. 여기서 $\mu = \mu \circ \pi^{-1}$이다.
• 기저 시스템 내에서 양의 밀도를 가진 집합에서 산술적 등차수열을 탐지하기 위해 수직 버전의 수제레디 정리를 적용한다.
• 고밀도 부분집합 $\mathbb{Z}^l$ 내에서 다항식 구성요소를 찾기 위해 베르게르송-라이블란 다항식 재귀 정리를 수직 형태로 활용한다.
• 조건부 측도 $\mu_y(A) > \epsilon$를 만족하는 $B_\epsilon \subset Y$를 구성하여 재귀 분석에 대한 균일한 하한을 확보한다.
• 다항식 궤도 $p_i(k) = \sum a_{i,j}k^j$의 구조를 활용하여 확장 사상 $\pi$를 통해 $T$ 내의 재귀를 $S$ 내의 재귀로 매핑한다.
• 측도 이론적 추론을 적용하여, $\nu(\bigcap_{j=0}^M S^{-jn}B) > 0$ 이면, 큰 부분집합 $E$에 대해 $\mu(\bigcap_{j\in E} T^{-jn}A) > 0$ 임을 보이며, 이는 재귀를 이끌어낸다.

실험 결과

연구 질문

• RQ1 무한 측도 보존 시스템에서의 다중 재귀 성질이 측도 보존 확장에 대해 유지되는가?
• RQ2 무한 측도 설정에서 기저 변환이나 그 측도 보존 확장으로 다항식 재귀를 확장할 수 있는가?
• RQ3 무한 측도 시스템에서의 재귀 성질이 유한 측도 시스템의 성질과 얼마나 유사한가?
• RQ4 무한 측도 맥락에서 기저 시스템에서의 재귀 행동을 그 확장으로 이전시키는 일반적 메커니즘이 존재하는가?
• RQ5 양의 밀도 집합 내에서 다항식 구성요소의 구조가 무한 측도 시스템의 확장에서도 유지되는가?

주요 결과

• 만약 $S$가 가역적이고 다중 재귀적인 무한 측도 보존 변환이라면, $S$의 임의의 측도 보존 확장 $T$ 역시 다중 재귀적이다.
• 만약 $S$가 다항식 재귀적이라면, $S$의 임의의 측도 보존 확장 $T$ 역시 다항식 재귀적이다.
• 모든 $A \in \mathcal{B}$ 에 대해 $\mu(A) > 0$ 이면, $\mu(\bigcap_{i=0}^d T^{-p_i(k)}A) > 0$ 를 만족하는 $k \neq 0$ 이 존재함을 보여, $T$ 내에서 다항식 재귀가 확인된다.
• $\nu(B_\epsilon) > 0$ 이고 모든 $y \in B_\epsilon$ 에 대해 $\mu_y(A) > \epsilon$ 를 만족하는 집합 $B_\epsilon \subset Y$ 가 존재함으로써, $S$ 에서 $T$ 로의 재귀 전이가 가능해진다.
• 베르게르송-라이블란 정리의 적용으로, 충분히 큰 $N$ 에 대해 $r$ 과 $\overline{u}$ 가 존재하여 $\overline{u} + \sum a_{i,j}r^j e_j \in E$ 가 되며, 이는 확장 내에서 공통 재귀 시간을 이끌어낸다.
• 다차원 수제레디 및 베르게르송-라이블란 정리를 사용하여 $\mathbb{Z}^d$-행동로 일반화할 수 있으며, 이는 고차원 역학에서의 강건성을 확인한다.