[논문 리뷰] Groups of Intermediate Growth: an Introduction for Beginners

Rostislav Grigorchuk, Igor Pak|ArXiv.org|2006. 07. 17.

Markov Chains and Monte Carlo Methods참고 문헌 7인용 수 16

한 줄 요약

이 논문은 기본 대수 지식만을 가진 초보자들에게도 접근할 수 있도록, 로스티슬라브 그리고르추크가 처음으로 구성한 중간 성장도를 갖는 군에 대한 소개를 제공한다. 나무 자기동형사상과 재귀적 재작성 규칙을 사용하여, 군 𝔾가 다항식보다는 초월적이지만 지수함수보다는 느린 성장도를 갖는다는 것을 증명한다. 동시에 이 군이 주기적임을 입증하고, 거의 선형 시간 내에 단어 문제를 해결할 수 있음을 보여준다.

ABSTRACT

We present an accessible introduction to basic results on groups of intermediate growth.

연구 동기 및 목표

• 기본 대수 지식만을 가진 초보자들이 중간 성장 군 이론을 이해할 수 있도록 하기 위해.
• 고도로 전문화된 문헌에 의존하지 않고, 중간 성장 군의 첫 번째 예시인 군 𝔾의 중간 성장성을 단순화된 자가 포함된 증명을 제공하기 위해.
• 𝔾가 주기적(모든 원소의 차수는 유한함)임을 보이고, 그 단어 문제가 거의 선형 시간 내에 해결될 수 있음을 보여주기 위해.
• 초보자 수준의 기초 도구를 제공하여 성장 함수의 상한을 구하고, 향후 연구에 재사용 가능한 방식으로 성장률을 제어하기 위함이다.

제안 방법

• 기반 구조로 무한한 루트를 가진 이진 나무의 자기동형사상 군인 Aut(T)를 사용한다.
• 나무의 각 수준에서의 재귀적 관계를 통해 유한 생성 부분군 𝔾를 정의한다.
• 군 원소를 분해하고, 나무의 각 수준에서의 단어 길이를 유 bounds하기 위해 재귀적 재작성 규칙을 적용한다.
• 길이 상한의 계층적 구조를 사용한다: ℓ(g₀₀₀) + ⋯ + ℓ(g₁₁₁) ≤ (5/6)ℓ(h) + 8, 이는 단어 표현에서의 상쇄 패턴에서 유도된다.
• 하나의 생성 집합에서의 성장 함수를 비교하기 위해, 하향성과 성장 등가성의 성질을 활용한다.
• 성장률을 재귀적 부등식을 통해 제어하기 위해 기술적 보조정리(상한 및 하한 보조정리)를 도입한다.

실험 결과

연구 질문

• RQ1 기본적인 방법으로 중간 성장 군의 첫 번째 예시의 중간 성장 성질을 증명할 수 있는가?
• RQ2 군 𝔾는 주기적인가? 즉, 모든 원소의 차수가 유한한가?
• RQ3 그 군의 단어 문제는 그 재귀적 구조를 활용해 거의 선형 시간 내에 해결할 수 있는가?
• RQ4 성장 함수 γ의 경우, limₙ→∞ logₙ log γ(n) = α 를 만족하는 보편적인 성장률 α 가 존재하는가?
• RQ5 모든 중간 성장 군은 어떤 α > 0 에 대해 γ(n) ≽ exp(n^α) 의 형태를 갖는가?

주요 결과

• 군 𝔾는 중간 성장을 갖는다: 어떤 다항식보다는 빠르게, 어떤 지수함수보다는 느리게 성장한다.
• 성장 함수 γ_𝔾(n) 는 γ_𝔾(n) ≼ exp(n / log n) 를 만족하여, 지수함수보다 느린 성장을 보인다.
• 군 𝔾는 주기적이다: 모든 원소의 차수는 유한하며, 유한 생성된 무한군에서 비로소 중요한 성질이다.
• 𝔾에서 단어 문제를 거의 선형 시간 내에 해결할 수 있는 알고리즘이 존재한다. 이는 재귀적 나무 수준 분해에 기반한다.
• 𝔾의 성장 함수가 점점이 exp(n^α) 의 형태를 갖는다는 것은 알려져 있지 않지만, 그러한 극한 α 가 존재한다는 것이 추측된다.
• 군 𝔾는 유한 생성 표현을 갖지 않으며, 어떤 유한 생성 표현을 갖는 군도 중간 성장을 가질 수 있는지 여부는 아직 미해결 문제로 남아 있다.