[논문 리뷰] Growth in product replacement graphs

Anton Malyshev, Igor Pak|arXiv (Cornell University)|2013. 04. 19.

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

한 줄 요약

이 논문은 자기유사성과 부분군 구조를 활용하는 새로운 조합 기법을 사용하여, k ≥ 5일 때 Grigorchuk 군 𝔾𝜔의 제품 치환 그래프 Γₖ(𝐺𝜔)에서 지수적 성장을 증명한다. 저자들은 k ≥ 4일 때 이러한 그래프가 연결되어 있음을 증명하고, k ≥ 5일 때 지수적 성장을 보이며, 중간 성장 성질을 가진 무한군에서 Nielsen 성장에 대한 보다 광범위한 추측을 뒷받침한다.

ABSTRACT

We prove the exponential growth of product replacement graphs for a large class of groups. Much of our effort is dedicated to the study of product replacement graphs of Grigorchuk groups, where the problem is most difficult.

연구 동기 및 목표

• 무한군 G에 대해 k ≥ d+1일 때 제품 치환 그래프 Γₖ(G)가 지수적 성장을 갖는다는 추측을 해결하기 위해.
• 중간 성장 성질을 가진 일반화된 Grigorchuk 군 𝔾𝜔에 대해 지수적 성장을 확립하기 위해.
• 지수적 성장을 증명하기 위한 조합 기법을 분지 군과 중간 성장 성질을 가진 자기유사 군에 적용 가능하도록 개발하기 위해.
• 모든 중간 성장 성질을 가진 군이 지수적 Nielsen 성장을 갖는다는 보다 광범위한 추측에 대한 증거를 제공하기 위해.
• 비가역적 설정에서 제품 치환 그래프의 연결성과 성장 성질을 조사하기 위해.

제안 방법

• Nielsen 이동을 사용하여 제품 치환 그래프 Γₖ(G)의 간선을 정의하며, 생성 k-튜플의 변환을 나타낸다.
• Grigorchuk 군의 재귀적이고 자기유사적인 구조를 적용하여 Nielsen 이동 하에서 생성 튜플의 성장을 분석한다.
• 경로 길이를 유계화하고 지수적 성장을 확립하기 위해 부분군과 자기형사의 기술적 구성 방법을 활용한다.
• 일부 유한지수 부분군 𝔾가 자유 모노이드의 자기형사를 포함한다는 사실을 활용하여, 지수적으로 많은 서로 다른 튜플을 생성한다.
• Nielsen 변환 하에서 Aut(Fₖ)의 몫으로서의 Γₖ(G)의 Schreier 그래프 구조를 사용하여 연결성과 성장 성질을 분석한다.
• 스플리터-믹서 군의 구조적 성질을 통해 고전적 Grigorchuk 군의 결과를 𝔾𝜔 군의 더 넓은 클래스로 일반화한다.

실험 결과

연구 질문

• RQ1 중간 성장 성질을 가진 무한군의 제품 치환 그래프 Γₖ(G)는 지수적 성장을 보이는가?
• RQ2 k ≥ 4일 때 제품 치환 그래프 Γₖ(𝔾𝜔)는 연결되어 있으며, k ≥ 5일 때 지수적 성장을 보이는가?
• RQ3 자기유사성과 부분군 역학을 기반으로 한 조합 기법이 중간 성장 성질을 가진 군에서 지수적 성장을 증명할 수 있는가?
• RQ4 유한지수 부분군에 자유 모노이드의 자기형사가 존재하면, 전체 군에서 지수적 Nielsen 성장이 유도되는가?
• RQ5 Γₖ(G)의 성장 성질이 Grigorchuk 군을 초월한 다른 분지 군의 클래스로 얼마나 일반화될 수 있는가?

주요 결과

• 모든 k ≥ 4에 대해 제품 치환 그래프 Γₖ(𝔾𝜔)는 연결되어 있다.
• k ≥ 5일 때 그래프 Γₖ(𝔾𝜔)는 지수적 성장을 보이며, 이는 논문의 주요 결과를 확인한다.
• 저자들은 스플리터-믹서 군과 중간 성장 성질을 가진 기타 자기유사 군에 적용 가능한 일반적인 기법을 확립한다.
• 이 방법은 Gupta–Sidki p-군과 Grigorchuk p-군의 가족에까지 확장되어 고전적 경우를 초월한다.
• 결과는 모든 중간 성장 성질을 가진 군이 지수적 Nielsen 성장을 갖는다는 보다 광범위한 추측을 뒷받침하지만, 일반적인 경우는 여전히 열려 있다.
• 논문은 비자기형사 자기형사로의 일반화를 위한 방법을 확장할 때의 주요 장애물로, Nielsen 이동 순서에서 청소 단계가 유계가 아닐 수 있음을 밝힌다.