[논문 리뷰] Uniformity seminorms on $\ell^\infty$ and applications

Bryna Kra, Bernard Host|ArXiv.org|2007. 11. 22.

Limits and Structures in Graph Theory참고 문헌 14인용 수 4

한 줄 요약

이 논문은 유계 수열과의 관련성을 통해 닐시퀀스로 연결되는 고르기 세미노름을 정의하고, 이와 유사한 고르기 노름과 에르고딕 세미노름에 해당하는 $\ell^\infty(\mathbb{Z})$ 위의 고르기 세미노름을 도입한다. 이는 유계 수열이 닐시퀀스와 상관관계를 가지는 것을 보장하는 역정리 정리가 성립함을 보이며, 이러한 상관관계는 쌍대 노름에 의해 상한이 주어진다. 이 틀을 적용하여, 윈터-위너 정리의 닐시퀀스 버전과 가중치가 부여된 다중 에르고딕 수렴 결과를 포함한 새로운 에르고딕 정리들을 도출한다.

ABSTRACT

A key tool in recent advances in understanding arithmetic progressions and other patterns in subsets of the integers is certain norms or seminorms. One example is the norms on $\Z/N\Z$ introduced by Gowers in his proof of Szemerédi's Theorem, used to detect uniformity of subsets of the integers. Another example is the seminorms on bounded functions in a measure preserving system (associated to the averages in Furstenberg's proof of Szemerédi's Theorem) defined by the authors. For each integer $k\geq 1$, we define seminorms on $\ell^\infty(\Z)$ analogous to these norms and seminorms. We study the correlation of these norms with certain algebraically defined sequences, which arise from evaluating a continuous function on the homogeneous space of a nilpotent Lie group on a orbit (the nilsequences). Using these seminorms, we define a dual norm that acts as an upper bound for the correlation of a bounded sequence with a nilsequence. We also prove an inverse theorem for the seminorms, showing how a bounded sequence correlates with a nilsequence. As applications, we derive several ergodic theoretic results, including a nilsequence version of the Wiener-Wintner ergodic theorem, a nil version of a corollary to the spectral theorem, and a weighted multiple ergodic convergence theorem.

연구 동기 및 목표

• 고르기 노름과 에르고딕 세미노름에 유사한 형태로 $\ell^\infty(\mathbb{Z})$ 위에 고르기 세미노름을 정의함으로써, 유계 수열에 대해 정의된 고르기 세미노름을 도입하는 것.
• 유계 수열이 비영인 세미노름을 가질 경우 닐시퀀스와 상관관계를 가짐을 보여주는 역정리 정리를 수립하는 것.
• 모든 $k$-단계 닐시퀀스와의 상관관계를 상한으로 제어하는 쌍대 노름을 정의하는 것.
• 이 세미노름 틀을 적용하여, 고전적 결과의 닐시퀀스 버전을 포함한 새로운 에르고딕 정리를 도출하는 것.

제안 방법

• $k$-차원 입체도형에서의 평행육면체 평균을 사용하여 $\ell^\infty(\mathbb{Z})$ 위에 $k$-단계 고르기 세미노름 $\lvert\!|\!|f|\!|\!\rvert_k$ 를 정의한다.
• $k$-단계 닐시퀀스와의 상관관계를 상한으로 제어하는 쌍대 노름 $\lvert\!|\!|\cdot|\!|\!\rvert_k^*$ 를 구성한다.
• 니만포드와 닐시스템의 구조를 이용하여, 동차 공간 위의 불변 측도를 통해 이러한 세미노름의 행동을 분석한다.
• 세미노름 $\lvert\!|\!|f|\!|\!\rvert_k = 0$ 이면 $f = 0$ 이라는 것을 증명함으로써, 연속 함수 공간 위에서 이 세미노름이 진정한 노름임을 보장한다.
• $k$-중복 평행육면체의 구조와 닐맨포드 시스템 사이의 동형관계를 이용하여, 에르고딕 이론적 성질을 이전한다.
• 조건부 기대를 통해 세미노름 틀을 적용하여, 닐시스템으로의 축소를 통해 수렴 정리를 증명한다.

실험 결과

연구 질문

• RQ1 고르기 유형의 고르기 세미노름이 $\ell^\infty(\mathbb{Z})$ 위에 어떻게 정의될 수 있으며, 이는 에르고딕 이론과 조합론에서의 대수적 구조와 유사한 성질을 어떻게 반영할 수 있는가?
• RQ2 비영인 고르기 세미노름을 가진 유계 수열과 닐시퀀스 사이의 정확한 관계는 무엇인가?
• RQ3 모든 $k$-단계 닐시퀀스와의 상관관계를 상한으로 제어하는 쌍대 노름을 어떻게 구성할 수 있는가?
• RQ4 이 새로운 세미노름 틀을 통해 어떤 에르고딕 정리를 도출할 수 있으며, 특히 고전적 결과의 닐시퀀스 버전은 무엇인가?
• RQ5 닐시스템과 닐맨포드의 대수적 구조는 이러한 세미노름에 대한 구조 정리와 역정리의 기초가 되는가?

주요 결과

• $k$-단계 닐맨포드 위의 연속 함수 공간에서 고르기 세미노름 $\lvert\!|\!|f|\!|\!\rvert_k$ 는 영함수일 때에만 0이 되며, 이는 진정한 노름임을 보여준다.
• 유계 수열 $f \in \ell^\infty(\mathbb{Z})$ 가 $k$-단계 닐시퀀스와 상관관계를 가지는 것은 $\lvert\!|\!|f|\!|\!\rvert_k > 0$ 이라는 것과 동치이며, 이는 역정리 정리를 확립한다.
• $k$-단계 닐시퀀스와의 상관관계에 대해 쌍대 노름 $\lvert\!|\!|\cdot|\!|\!\rvert_k^*$ 가 상한을 제공한다.
• $\ell^\infty(\mathbb{Z})$ 위의 $k$-중복 평행육면체의 구조는 $k$-단계 닐맨포드 위의 닐시스템과 동형이며, 이는 유일한 에르고딕성과 이동에 대한 불변성을 보장한다.
• 윈터-위너 정리의 닐시퀀스 버전이 확립되며, 이는 닐시퀀스 가중치에 대해 균일 수렴을 보여준다.
• 가중치가 부여된 다중 에르고딕 수렴 정리가 증명되며, 이는 고르기 세미노름의 관점에서 닐시퀀스로 가중된 평균의 수렴성을 보여준다.