[논문 리뷰] A General Correspondence between Averages and Integrals

Henry Towsner|ArXiv.org|2008. 04. 17.

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

한 줄 요약

이 논문은 다이나믹스 시스템의 평균과 측도 공간 위의 적분 사이에 통합된 일반적인 대응 관계를 수립하며, 퓌르스텐베르크의 대응 원리를 함수, 그래프 및 $L^∞$-함수로 확장한다. 애먼 세미군 작용에 대해 Følner 수열을 갖는 집합 $S$에서 연속 함수의 평균에 대한 liminf 및 limsup는 해당 함수 $ ilde{E}_{s_i}$의 적분에 의해 유계임을 증명하며, 이는 에르고딕 이론과 가군해석학에서의 이전 결과를 일반화한다.

ABSTRACT

Recent work has generalized the Furstenberg correspondence between sets of integers and dynamical systems to versions which involve sequences of finite graphs or sequences of $L^\infty$ functions. We give a unified version of the theorem subsuming all these generalizations.

연구 동기 및 목표

• 집합, 함수, 그래프를 포함한 퓌르스텐베르크 대응 원리의 서로 다른 일반화를 하나의 프레임워크로 통합하기 위해.
• 공통적인 측도 이론적 및 다이나믹스 시스템 프레임워크를 사용하여 $L^\infty$-함수와 유한 그래프의 수열로 대응을 확장하기 위해.
• 불가측한 애먼 세미군과 연속 함수에 대해 좌변이 불변하는 평균과 위상 조건을 이용하여 대응을 수립하기 위해.
• 고전적 및 비표준 해석 기법을 모두 사용하여 결과를 증명함으로써 광범위한 적용 가능성을 확보하기 위해.
• 불가측한 애먼 세미군과 연속 함수 $E: S \to X$에 대해, $S$가 국소 콪 pact일 때 $\tilde{E}_s$의 연속성을 유지하는 충분한 위상 조건(예: 균일 연속성)을 규명하기 위해.

제안 방법

• 가산 집합 $S$, $S$에 작용하는 세미군 $G$, 그리고 컴act 공간 $X$를 고려하여, Følner 수열 $\{I_n\}$을 사용한 일반적인 대응 정리의 수립.
• 다이나믹스 시스템 $(Y,\mathcal{B},\mu,(T_g)_{g\in G})$과 측도 가능 함수 $\tilde{E}_s: Y \to X$를 정의하여 $\tilde{E}_{gs} = \tilde{E}_s \circ T_g$를 만족시키기 위해.
• 임의의 연속 함수 $u: X^k \to \mathbb{R}$와 $s_1,\dots,s_k \in S$에 대해, $I_n$ 위에서 $u(E(gs_1),\dots,E(gs_k))$의 평균에 대한 liminf 및 limsup가 측도 $\mu$에 대한 $\int u(\tilde{E}_{s_1},\dots,\tilde{E}_{s_k})\,d\mu$에 의해 유계임을 증명하기 위해.
• 고전적 대각선화 기법과 Følner 수열을 사용한 증명, 그리고 초유한 집합과 표준 부분을 사용한 비표준 해석 기법을 사용한 두 가지 증명 제공.
• Følner 수열 대신 좌변이 불변하는 평균 $m$을 사용하여 불가측한 애먼 세미군로의 결과 확장.
• $S$가 국소 콩 pact이고 $E$가 연속일 때, 함수 $\tilde{E}_s$가 연속이 되도록 보장하는 위상 조건(예: $\{g \circ E \mid g \in G\}$의 균일 연속성) 수립.

실험 결과

연구 질문

• RQ1 기존의 퓌르스텐베르크 대응 원리의 일반화들(집합, 함수, 그래프 포함)이 하나의 통합 원리 아래에 통합될 수 있는가?
• RQ2 측도 이론적 프레임워크에서 일관성 있게 $L^\infty$-함수와 유한 그래프 수열로 대응을 확장할 수 있는가?
• RQ3 세미군 $G$가 불가측하거나 $S$가 불가측이며 위상적일 경우, 대응이 성립하기 위한 조건은 무엇인가?
• RQ4 $S$와 $E$에 대한 어떤 위상 조건이 $\tilde{E}_s$의 연속성을 유지하는가?
• RQ5 비표준 해석 기법을 사용하여 대응을 증명할 수 있으며, 이는 고전적 접근과 비교해 볼 때 어떻게 다른가?

주요 결과

• 논문은 임의의 가산 애먼 세미군 $G$가 집합 $S$에 작용할 때, Følner 수열을 통한 평균과 다이나믹스 시스템 위의 적분 사이의 일반적인 대응 관계를 수립한다.
• 임의의 연속 함수 $u: X^k \to \mathbb{R}$에 대해, $I_n$ 위에서 $u(E(gs_1),\dots,E(gs_k))$의 평균에 대한 liminf 및 limsup는 불변 측도 $\mu$에 대한 $u(\tilde{E}_{s_1},\dots,\tilde{E}_{s_k})$의 적분에 의해 유계이다.
• $E: \mathbb{Z} \to \{0,1\}$인 경우, 상한 바나흐 밀도가 양인 집합에서 산술적 등차수열이 존재한다는 퓌르스텐베르크의 원래 결과를 복원한다.
• $E: \mathbb{Z} \to [-1,1]$인 경우, 유계 함수의 다중 평균에 대한 결과를 복원한다.
• 불가측한 애먼 세미군의 경우, Følner 수열 대신 좌변이 불변하는 평균 $m$을 사용하여 대응을 일반화한다. 이때 $m(\{g \mid \phi(g)\})$로 대체된다.
• $S$가 국소 콩 pact이고 $E$가 연속일 경우, $\{g \circ E \mid g \in G\}$의 균일 연속성이 보장되면 $\tilde{E}_s$가 $Y$에서 연속이 되어 대응이 성립한다.