[논문 리뷰] A uniform nilsequence Wiener-Wintner theorem for bilinear ergodic averages

Pavel Zorin‐Kranich|arXiv (Cornell University)|2015. 04. 17.

Limits and Structures in Graph Theory참고 문헌 15인용 수 7

한 줄 요약

이 논문은 유니폼한 nilsequence Wiener–Wintner 정리와 이차 에르고딕 평균을 위한 유니폼성 준거 추정을 증명함으로써, nilsequence를 가중치로 포함하는 가중 평균의 수렴성을 보장한다. 주요 결과는 어떤 시스템이 $k$-선형 점별 에르고딕 정리(ergodic theorem)를 만족하면, nilsequence 가중치를 갖는 유니폼한 형태의 정리도 만족함을 보여주며, 이는 $k=2$에 대한 이전 결과를 일반화하고, Gowers 유니폼성 노름과 귀납법을 통해 고차수 평균으로 확장한다.

ABSTRACT

We show that a $k$-linear pointwise ergodic theorem on an ergodic measure-preserving system implies a uniform $k$-linear nilsequence Wiener-Wintner theorem on that system. The assumption is known to hold for arbitrary systems and $k=2$ (due to Bourgain) and for distal systems and arbitrary $k$ (due to Huang, Shao, and Ye).

연구 동기 및 목표

• 에르고딕 시스템에서 이차 에르고딕 평균에 대한 유니폼한 nilsequence Wiener–Wintner 정리를 수립한다.
• 다항식 가중치와 nilsequence에 대한 이전 결과를 고차수 다항 에르고딕 평균으로 일반화한다.
• 함수 $f_i$의 $U^{k+l}(T,c)$ 준거 노름에 의해 가중 평균의 상한을 통제하는 유니폼성 준거 추정을 증명한다.
• $k$-선형 점별 에르고딕 정리가 nilsequence 가중치를 갖는 유니폼 수렴을 암시함을 보이며, $k=2$에 대한 알려진 결과를 확장한다.
• nilpotent 군의 군 계수에 대한 귀납법을 통해, distal 시스템과 임의의 $k$에 적용 가능한 일반적 프레임워크를 제공한다.

제안 방법

• nilpotent 리 군 $G$의 필터링 $G_{ullet}$의 길이 $l$에 대한 귀납법을 사용한다.
• nilmanifold $G/\tilde{\tau}$ 상의 함수에 대한 수직 푸리에 분해를 적용하여 문제를 수직 특성으로 환원한다.
• van der Corput 보조정리를 적용하여, 가중 평균의 $L^{2^{l+1}}$-노름을 통제한다.
• 수정된 Gowers–Host–Kra 유니폼성 준거 노름 $U^{k+l}(T,c)$을 사용하여 수렴 행동을 정량화한다.
• 귀납 가정을 활용하여, 입자 구조와 군 확장을 통해 $l$-경우를 $(l-1)$-경우로 환원한다.
• Fatou의 보조정리와 Hölder의 부등식을 적용하여, $L^{2^{l+1}}$-노름을 함수 $f_i$의 $U^{k+l}(T,c)$ 준거 노름에 따라 유계로 bound한다.

실험 결과

연구 질문

• RQ1 가장 기본 시스템이 $k$-선형 점별 에르고딕 정리를 만족하면, nilsequence를 가중치로 포함한 이차 에르고딕 평균의 수렴이 유니폼하게 이루어지는가?
• RQ2 정리 1.1의 유니폼성 준거 추정이 고차수 nilpotent 군과 임의의 $k$로 확장될 수 있는가?
• RQ3 기본 시스템이 $k$-선형 에르고딕 정리를 만족하면, 모든 nilsequence에 대해 가중 평균의 수렴이 유니폼한가?
• RQ4 nilpotent 군의 필터링 $G_{ullet}$의 구조가 수렴의 유니폼성에 어떤 영향을 미치는가?
• RQ5 결과는 distal 시스템에 적용 가능하며, 정리 1.3의 등가성에 의해 다항식 가중치로 일반화될 수 있는가?

주요 결과

• 논문은 유니폼성 준거 추정(정리 1.1)을 증명한다: 함수 $f_i$의 $U^{k+l}(T,c)$ 준거 노름에 의해, 가중 평균의 상한의 $L^{2^{l+1}}$-노름이 유계로 bound되며, 이 상한은 $b_1,\dots,b_k$, $l$, 그리고 nilmanifold $G/\Gamma$에만 의존한다.
• 이 결과는 유니폼한 nilsequence Wiener–Wintner 정리(보조정리 1.4)를 암시한다: 임의의 $f_1,\dots,f_k \in L^\infty(X)$에 대해, 수열 $\prod_{i=1}^k f_i(T^{b_i n}x)$는 거의 모든 $x \in X$에서 정리 1.3의 동치 조건을 만족하며, 이는 nilsequence를 가중치로 포함하는 가중 평균의 수렴도 포함한다.
• 특히 $k=2$의 경우 Bourgain의 이차 에르고딕 정리에 의해 조건 없이 성립하며, 이 결과는 Assani, Duncan, Moore의 이전 작업을 복구하고 확장한다.
• 증명은 $l$에 대한 귀납법을 통해 진행되며, 수직 푸리에 분해와 van der Corput 보조정리를 사용하여 $l$-경우를 $(l-1)$-경우로 환원한다.
• 핵심 기술적 단계는 가중 평균의 $L^{2^{l+1}}$-노름을 $C$-liminf 형태의 $L^{2^l}$-노름의 차이에 의해 추정하는 것으로, 이는 귀납 가정과 Gowers 유니폼성 준거 노름을 통해 bound된다.
• 최종적으로 이 bound는 $\min_i \|f_i\|_{U^{k+l}(T,c)}^{2^{l+1}}$에 의해 통제됨을 보여주며, 원하는 유니폼성과 수렴성을 확립한다.