[논문 리뷰] Ergodic theorems for polynomials in nilpotent groups

Pavel Zorin‐Kranich|arXiv (Cornell University)|2013. 09. 02.

Limits and Structures in Graph Theory참고 문헌 80인용 수 5

한 줄 요약

이 논문은 낮은 복잡도를 가진 다항수열에 대한 에르고딕 정리들을 노름군에서 확장하며, 다항 복잡도에 기반한 새로운 구조 정리와 정교한 색칠 기법을 사용하여 푸르스텐베르크의 방법을 노름군 작용으로 확장한다. 주요 기여는 다항수열에 대한 IP 다중 재귀 정리의 노름군 확장과 노름수열에 대한 위너-윈터 반환 시간 정리로, 유일성 인자에 대한 수직 조건을 만족할 경우 가중 다중 에르고딕 평균의 거의 확실히 수렴을 증명한다.

ABSTRACT

The principal results proved in this expository thesis are the IP polynomial Szemerédi theorem for nilpotent groups and the multiple term return times theorem with nilsequence weights. It also contains extensions of the convergence theorem for nilpotent polynomial multiple ergodic averages and the return times theorem to locally compact second countable amenable groups.

연구 동기 및 목표

• 푸르스텐베르크의 에르고딕 방법을 노름군 내 다항수열로 일반화하기.
• 새로운 색칠 결과를 사용하여 IP 다중 재귀 정리의 노름군 확장을 수립하기.
• 유비에이블 군 작용의 맥락에서 노름수열에 대한 위너-윈터 반환 시간 정리 증명하기.
• 작용 군이 아니라 다항사상 수준에서의 컴팩트성과 믹싱 사이의 이분화를 달성하는 구조 정리 개발하기.
• 균일성 반노름 추정과 큐브 공간 측도를 통해 고차원 푸리에 분석과 반환 시간 수렴을 통합하기.

제안 방법

• 노름군에 적응된 PET 유도(Polynomial Epsilon Theorem)를 사용하여 재귀 문제를 더 단순한 경우로 점진적으로 축소하기.
• 다항 구성에 대해 노름군 헤일즈-지벳 정리의 강화판이 되는 새로운 색칠 결과 도입하기.
• 리블먼의 궤도 폐쇄 정리와 노름다양체 위에서의 등분포 기준을 적용하여 노름수열의 행동 분석하기.
• 큐브 측도와 린든스트라우스 커버링 보조정리를 사용하여 곱 공간에서의 일반성과 수렴성 다루기.
• 균일성 반노름 추정과 노름수열의 특성화를 활용하여 다중 에르고딕 평균 제어하기.
• 제품 측도의 보편적 분해를 적용하여 수렴성의 0으로의 축소를 크로네커 인자에 대한 수직 조건으로 환원하기.

실험 결과

연구 질문

• RQ1 푸르스텐베르크의 다중 재귀 방법에서의 구조 정리는 다항수열을 포함하는 노름군에 대해 적응 가능한가?
• RQ2 노름군 헤일즈-지벳 정리는 다항수열에 대한 IP 다중 재귀를 증명하기에 충분한 강화판을 가질 수 있는가?
• RQ3 위너-윈터 정리는 노름수열을 포함하는 가중 다중 에르고딕 평균으로 확장 가능한가?
• RQ4 다항수열을 따라 다중 에르고딕 평균이 거의 확실히 수렴하는 조건은 무엇인가?
• RQ5 작용 군이 아니라 다항사상 수준에서 컴팩트성과 믹싱 사이의 이분화는 어떻게 재구성할 수 있는가?

주요 결과

• 논문은 정교한 색칠 기법과 새로운 다항 헤일즈-지벳 유형 결과를 사용하여 IP 다중 재귀 정리의 노름군 확장을 증명한다.
• 노름수열에 대한 위너-윈터 반환 시간 정리를 수립하여, $k,l\in\mathbb{N}$ 및 $l$-단계 노름수열 $(a_n)$에 대해 $\mathbb{E}_{n\in\Phi_N} a_n \prod_{i=0}^k f_i(T_i^n x_i)$ 형태의 가중 평균이 거의 확실히 수렴함을 보인다.
• 특성 인자 조건 CF$(k,l)$ 하에서 $f_0 \perp \mathcal{Z}_{k+l}(X_0)$ 또는 어떤 $i=1,\dots,k$ 에 대해 $f_i \perp \mathcal{Z}_{k+l+1-i}(X_i)$ 라면 수렴이 0으로 이루어진다.
• 증명은 노름수열 곱이 균일성 인자와 수직임과 큐브 측도에 대해 거의 모든 점의 일반성에 기반한다.
• 저자들은 함수들이 해당 균일성 인자와 수직일 경우 다중 에르고딕 평균의 극한이 거의 확실히 0이 되며, 이를 노름군으로의 환원과 노름다양체 위의 등분포를 통해 보여준다.
• 구조 정리는 다항사상 수준에서 컴팩트성과 믹싱 사이의 이분화를 달성하여 다항 에르고딕 평균에 대한 청결한 유도 프레임워크를 가능하게 한다.