[논문 리뷰] Groups of intermediate growth

Laurent Bartholdi|arXiv (Cornell University)|2002. 01. 30.

Geometric and Algebraic Topology참고 문헌 26인용 수 7

한 줄 요약

이 논문은 루트를 가진 트리 위에서 작용하는 군의 일족을 제안하며, 그들의 성장 생성 함수에 대한 함수방정식을 사용하여 다항식과 지수함수 사이의 중간 성장(중간 성장)을 입증하고자 한다. 분석적 접근법을 썼음에도 불구하고 증명에 심각한 오류가 있어 핵심 주장, 특히 구프타-시드키 군에 관해선 증명되지 않은 채로 남아 있다.

ABSTRACT

I describe a class of groups acting on rooted trees. The original claim was that all have intermediate word growth between polynomial and exponential. The argument constructs a functional equation on the growth formal power series, and derives the growth properties from its analytical behaviour. Unfortunately, there are substantial mistakes in the proofs, so the main claims should be considered unsettled. In particular, it is still an open problem whether the growth of the Gupta-Sidki group is intermediate or exponential.

연구 동기 및 목표

• 루트를 가진 트리 위에서 작용하는 군의 단어 성장을 조사하는 것.
• 이 군들이 다항식과 지수함수 성장 사이에 엄격히 놓이는 중간 성장을 보임을 입증하는 것.
• 군의 구조에서 유도된 함수방정식을 통해 성장 행동을 분석하는 것.
• 구프타-시드키 군이 중간 성장인지 지수함수 성장인지, 오랫동안 미해결된 문제를 밝혀내는 것.
• 형식적 거듭제곱급수에서 성장 성질을 유도하기 위해 사용된 분석적 방법의 타당성을 평가하는 것.

제안 방법

• 군의 단어 길이 분포를 코딩하는 형식적 거듭제곱급수를 구성하는 것.
• 트리 위에서 군의 재귀적 구조에 기반해 성장 급수를 만족해야 할 함수방정식을 유도하는 것.
• 성장 급수의 해석적 행동을 분석하여 渐近적 성장률을 유추하는 것.
• 특이점 분석과 생성함수의 성질을 사용해 성장 유형을 도출하는 것.
• 함수방정식에 분석적 조합 기법을 적용하여 수렴성과 성장 순서를 연구하는 것.
• 급수의 수렴 반경과 특이점과 군의 성장률을 연결하는 것.

실험 결과

연구 질문

• RQ1 루트를 가진 트리 위에서 작용하는 구성된 군들이 다항식과 지수함수 사이에 엄격히 놓이는 단어 성장을 보이는가?
• RQ2 함수방정식 접근법이 이러한 군의 성장 유형을 정확히 결정하는 데 유용한가?
• RQ3 논문에서 주장한 바와 같이, 구프타-시드키 군의 성장은 중간인지 지수함수적인가?
• RQ4 성장 생성함수의 어떤 분석적 성질이 성장률을 결정하는가?
• RQ5 논문의 증명들이 주장된 성장 결과를 충분히 입증하는가?

주요 결과

• 논문은 구성된 군들이 중간 단어 성장을 보인다고 주장하지만, 이 주장은 증명의 오류로 뒷받침되지 않는다.
• 함수방정식 접근법은 군의 구조와 성장 급수 행동을 연결하는 데 핵심적인 역할을 한다.
• 성장 급수의 해석적 행동을 사용해 성장이 다항식이나 지수함수 성장이 아니라는 것을 유추한다.
• 방법론적 프레임워크가 있음에도 불구하고 논리적 유도의 심각한 결함으로 인해 결과는 검증되지 않은 채 남아 있다.
• 구프타-시드키 군의 성장 유형은 여전히 해결되지 않았으며, 논문의 주장은 신뢰할 수 없다.
• 논문의 기여점은 결론이 확립되지 않았더라도 방법론 제안에 있다.