[논문 리뷰] Amenability of Universal 2-Grigorchuk group

Roman Muchnik|ArXiv.org|2005. 05. 26.

Geometric and Algebraic Topology참고 문헌 6인용 수 4

한 줄 요약

이 논문은 자유 생성자 4개로 생성되는 군의 모든 G_ω 군으로의 군 준동형사상의 핵들의 교집합에 대한 몫으로 정의된 보편 그리고치크 2군이 애매가능하다는 것을 증명한다. 카이만비히의 작업에서 유래한 '뮐른하우젠 기교'와 함께 중첩된 구조를 사용하여, 저자는 이중 트리의 자기동형군 내에 자기유사 표현을 구성하고, 이 군 위에서의 랜덤 워크의 엔트로피가 0으로 감소함을 보여, 이는 애매가능성을 암시한다.

ABSTRACT

We consider the universal Grigorchuk 2-group, i.e., the group such that every Grigorchuk 2-group is a quotient. We show that this group has a nice universal representation in the group of all functions f:{0,1,2}^N --> Aut(T_2), where T_2 is a group of automorphism of the binary tree. Finally, we prove that this universal Grigorchuk 2-group is amenable. The proof is an application of the ``Munchhausen trick'' developed by V. Kaimanovich.

연구 동기 및 목표

• 모든 개별 그릭로치크 2군으로의 사상이 존재하는 가장 큰 군으로서 보편 그릭로치크 2군을 정의하고 연구하는 것.
• 보편 그릭로치크 2군을 {0,1,2}^N에서 이진 트리의 자기동형군 Aut(T₂)로의 함수 군으로의 사상 군에 내재된 표준 표현을 구성하는 것.
• 이 보편 군이 엔트로피 기반의 애매가능성 기준을 적용할 수 있도록 하는 중첩된 구조를 갖춘다는 것을 확립하는 것.
• 뮐른하우젠 기교와 랜덤 워크의 엔트로피 감소를 사용하여 보편 그릭로치크 2군의 애매가능성을 증명하는 것.

제안 방법

• 보편 그릭로치크 2군을 자유군 F₄에서 모든 G_ω 군으로의 사상의 핵들의 교집합에 대한 몫으로 정의한다.
• 군을 H^X ⋊ Sym(X) 형태의 와르프 곱에 통합함으로써 중첩된 구조를 구성한다. 여기서 H는 {0,1,2}^N에서 Aut(T₂)로의 함수 군이다.
• 전이 확률이 행렬 값 마르코프 체인에 의해 지배되는, 몫 공간 X = {0,1} 위에서의 유도된 랜덤 워크를 모델링한다.
• successive 하위 트리로의 반복적 랜덤 워크 유도를 통해, '뮐른하우젠 기교'를 적용하여 측도의 엔트로피가 0으로 감소함을 보인다.
• 군의 자기유사성과 각 단계에서 계수들이 최소 2/3의 비율로 감소함을 이용하여 엔트로피 증가를 유 bounds 한다.
• 최종적으로, 점근적 엔트로피 h(μ₀) ≤ lim sup h(μₙ) ≤ lim H(μₙ) = 0 임을 보여 애매가능성을 결론짓는다.

실험 결과

연구 질문

• RQ1 보편 그릭로치크 2군이 개별 G_ω 군으로의 사상의 핵들의 교집합으로 정의될 때, 이 군은 애매가능한가?
• RQ2 보편 그릭로치크 2군은 이중 트리 위에서 자기유사 군으로서 중첩된 구조를 통해 작용할 수 있는가?
• RQ3 반복적인 유도를 통해 보편 그릭로치크 2군 위에서의 랜덤 워크의 엔트로피가 0으로 감소하는가? 이는 애매가능성을 암시하는가?
• RQ4 엔트로피 방정식의 고정점을 명시적으로 계산하지 않고도, '뮐른하우젠 기교'를 적용하여 애매가능성을 증명할 수 있는가?

주요 결과

• 보편 그릭로치크 2군은 반복적 유도 하에서 랜덤 워크의 엔트로피가 0으로 감소함으로써 애매가능하다.
• 이 군은 {0,1,2}^N 위의 함수 군과 Sym({0,1})의 와르프 곱 내에서 중첩된 구조를 지니며, 이는 랜덤 워크의 재귀적 분석을 가능하게 한다.
• 왼쪽 하위 트리에서의 유도된 랜덤 워크는 계수들이 최소 2/3의 비율로 감소하는 측도를 유도하며, 이는 엔트로피 감소를 보장한다.
• 초기 측도 μ₀의 엔트로피는 h(μ₀) ≤ lim sup h(μₙ) ≤ lim H(μₙ) = 0 를 만족하며, 고정점을 명시적으로 계산하지 않고도 애매가능성을 증명한다.
• 군의 자기유사성과 유도된 측도의 구조 덕분에 계수 감소 기반의 깔끔한 엔트로피 추론이 가능하다.
• 결과적으로, 지수적 성장보다 느린 성장을 보이는 군들의 극한임에도 불구하고, 이 보편 그릭로치크 2군은 그 재귀적 구조를 통해 애매가능성을 습득함을 확인한다.