[논문 리뷰] Approximate invariance for ergodic actions of amenable groups

Michael Björklund, Alexander Fish|arXiv (Cornell University)|2016. 07. 09.

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

한 줄 요약

이 논문은 가소성 있는 군의 에르고딕 작용 하에서 소 doubling을 갖는 행동 집합을 분석하기 위한 역학적 프레임워크를 개발한다. 이는 Kneser의 조밀도 정리의 일반화로서 가산 가소성 군으로의 확장이다. 바나흐 및 점근적 조밀도에 대한 역정리를 입증하여, 소 doubling은 주기적 또는 슈투르미안 유사 집합을 통한 구조적 통제를 암시함을 보이며, 결과의 최적성을 보여주는 날카로운 반례를 제시한다.

ABSTRACT

We develop in this paper some general techniques to analyze action sets of small doubling for probability measure-preserving actions of amenable groups. As an application of these techniques, we prove a dynamical generalization of Kneser's celebrated density theorem for subsets in $(\bZ,+)$, valid for any countable amenable group, and we show how it can be used to establish a plethora of new inverse product set theorems for upper and lower asymptotic densities. We provide several examples demonstrating that our results are optimal for the settings under study.

연구 동기 및 목표

• 가산 가소성 군으로 (Z, +)의 부분집합에 대한 Kneser의 고전적 조밀도 정리를 일반화한다.
• 가소성 군 작용에서 상한 및 하한 점근적 조밀도에 대한 역정리를 수립한다.
• 에르고딕 군 작용의 맥락에서 소 doubling을 갖는 집합의 구조를 분석한다.
• Z에서 Følner 수열을 사용한 명시적 반례를 통해 결과의 날카로움을 입증한다.
• 콤���트 군에서 행동 집합과 곱집합을 연결하는 역학적 대응 원칙을 개발한다.

제안 방법

• AB ⊂ FB 이고 |F| ≤ k 를 만족하는 k-중복 쌍 (A,B) 의 개념을 도입하여, 근사 부분군을 일반화한다.
• 콤팩트 군 모델에서 일반 G-공간으로 성질를 이전시키는 '조인잉 기법' 을 적용하여, 중복 행동을 유지한다.
• 보렐 G-공간에서 그림자와 헐을 사용하여 차등 산술 및 포함 성질을 분석한다.
• Furstenberg의 대응 원리와 불변 평균을 사용하여 조밀도 성질과 역학계를 연결한다.
• 대응 원리를 적용하여 콤팩트 군에서의 결과를 일반 가소성 군 작용으로 확장한다.
• 이rrational 회전을 이용한 토러스 T = R/Z 에서의 반례를 구성하여 약화된 가정의 한계를 보여준다.

실험 결과

연구 질문

• RQ1 Kneser의 조밀도 정리는 (Z, +) 에서부터 임의의 가산 가소성 군으로 얼마나 일반화할 수 있는가?
• RQ2 행동에서 소 doubling이 발생할 경우, 어떤 조건에서 집합이 주기적 또는 슈투르미안 유사 구조에 포함되는가?
• RQ3 에르고딕 군 작용 맥락에서 바나흐 및 점근적 조밀도에 대한 역정리를 수립할 수 있는가?
• RQ4 A+B 가 조밀도 d*(A) + d(B) 를 갖는 데 필요한 조건은 무엇이며, 언제 이 성질이 실패할 수 있는가?
• RQ5 행동 집합의 구조적 성질은 기저 군 작용의 역학과 어떻게 관련되는가?

주요 결과

• 논문은 임의의 가산 가소성 군에 대해 Kneser 정리의 역학적 일반화를 증명하며, 소 doubling이 주기적 집합을 통한 구조적 통제를 암시함을 보여준다.
• 상한 바나흐 및 하한 점근적 조밀도에 대한 역정리를 수립하여, d*(A) + d(B) < 1 이고 A+B 가 소 doubling을 갖는다면 A 와 B 는 주기적 또는 슈투르미안 유사 집합에 포함됨을 보여준다.
• 반례를 통해 A 또는 B 에서 심티네틱성 또는 주기성의 부재가 d*(A+B) < d*(A) + d(B) 를 초래할 수 있음을 보이며, 가정의 필수성을 입증한다.
• 논문은 A 가 슈투르미안 집합에 포함되지 않더라도 d*(A+B) = d*(A) + d(B) < 1 이 되는 예를 구성하여, 추가 가정 없이 이 조건이 충분하지 않음을 보여준다.
• Følner 수열 {[-n,n]} 에서, A 와 B 의 구조에 따라 A+B 가 두꺼운 집합이거나 두꺼운 집합이 아닐 수 있음을 보이며, 하한 조밀도가 양수임에도 불구하고 이를 입증한다.
• 조인잉 기법을 통해 콤팩트 군 모델에서의 중복 성질을 일반 보렐 G-공간으로 이전시킬 수 있으며, 이는 소 오버슈트 조건 하에서 포함 결과를 증명하는 데 기여한다.