[논문 리뷰] On the growth of iterated monodromy groups

Kai‐Uwe Bux, Perez, Rodrigo|ArXiv.org|2004. 05. 24.

Mathematical Dynamics and Fractals참고 문헌 8인용 수 14

한 줄 요약

이 논문은 이차 다항식 $ z^2 + i $ 의 반복 단일화군에 대해 초지수적 성장을 증명하며, Nekrashevych의 추측, 즉 후기비판적 유한한 이차 다항식이 중간 성장률을 갖는 군을 유도한다는 추측을 뒷받침하는 첫 번째 비자명한 예를 제공한다. 증명은 무한 이진 트리 위에서 단어의 구조에 대한 재귀적 분석을 사용하며, 블록 분해와 군 생성자에서의 길이 감소 패tern을 활용하여, 교차하는 단어에서 양호한 문자와 나쁜 문자에 대한 조합적 제약 조건을 통해 성장률을 제한한다.

ABSTRACT

Nekrashevych conjectured that the iterated monodromy groups of quadratic polynomials with preperiodic critical orbit have intermediate growth. We illustrate some of the difficulties that arise in attacking this conjecture and prove subexponential growth for the iterated monodromy group of $z^2+i$. This is the first non-trivial example supporting the conjecture.

연구 동기 및 목표

• 후기비판적 유한한 이차 다항식의 반복 단일화군이 중간 성장률을 갖는다는 Nekrashevych의 추측을 뒷받침하는 첫 번째 비자명한 예를 제공하는 것.
• 반복 단일화군 $ \mathcal{I} = \operatorname{IMG}(z^2 + i) $ 의 성장 행동을 분석하여, 그 초지수적 성장을 집중적으로 다루는 것.
• 교차하는 단어의 구조와 그 블록으로의 분해를 분석함으로써 군의 성장률이 초지수적임을 입증하는 것.
• Grigorchuk 군에서 유래한 기법들을 영감으로 삼아, 재귀적 분할과 단어 구성 요소에 대한 조합적 상한을 사용하여 성장을 제어하는 프레임워크를 수립하는 것.

제안 방법

• 논문은 이진 트리 위에서의 행동의 세 번째 수준 분할에 의해 유도되는 $ \mathcal{I}_3 $ 에서 $ \mathcal{I} \times \cdots \times \mathcal{I} $ (8중 곱)로의 호모모르피즘을 사용한다.
• 세 번째 수준 분할에서의 행동에 의해 유도되는 특정 패턴 (1)-(4)에 기반해 교차하는 단어에서 '양호한 블록'을 정의하며, 이는 군 행동의 삼중 분할에서 길이 감소를 초래한다.
• 비-σ 문자들이 위치에 따라 나쁜 또는 양호한 것으로 간주되며, 이에 따라 단어가 구성 요소로 분해되며, Lemma 24에 의해 이러한 구성 요소의 수는 전역적으로 상수 M으로 유계화된다.
• 최대 εn개의 양호한 문자를 갖는 ε-나쁜 단어의 수는 이항 계수, 15의 거듭제곱(비-σ 문자용), 그리고 구성 요소 집합에 대한 전역 상한 M을 사용하여 유계화된다.
• 증명은 모순에 기반하여 Proposition 10을 적용하여 초지수적 성장을 보여주며, 지수적 성장 가정을 하고 양호한 문자들이 항상 충분한 길이 감소를 유도하여 성장 가정을 위반함을 보인다.
• 분석은 생성자 $ \alpha, \alpha_2, \beta_2, \beta_3, \alpha_8 $ 의 구조에 의존하며, $ \alpha_8 $ 가 길이 32를 갖기 때문에 길이 r인 단어에서 비-σ 문자의 수를 유계화한다.

실험 결과

연구 질문

• RQ1 반복 단일화군 $ \mathcal{I} = \operatorname{IMG}(z^2 + i) $ 는 Nekrashevych의 추측을 뒷받침하는 초지수적 성장을 보여주는가?
• RQ2 무한 이진 트리 위에서의 군 행동의 재귀적 구조를 블록 분해와 길이 감소를 통해 성장률을 제어하는 데 사용할 수 있는가?
• RQ3 비-σ 문자들이 나쁜 또는 위치적으로 양호한 구성으로 제한될 경우, 군 내 교차하는 단어에 어떤 제약 조건이 발생하는가?
• RQ4 성장 제어를 위해 필요로 하는, 양호한 블록이 없고 모든 비-σ 문자가 나쁜 구성인 교차하는 단어의 수에 대해 전역 상한이 존재하는가?
• RQ5 $ \mathcal{I}_3 $ 의 성장률이 '양호한' 문자의 빈도와 다중 분할 후 단어 길이에 대한 영향을 분석함으로써 초지수적임을 입증할 수 있는가?

주요 결과

• 반복 단일화군 $ \mathcal{I} = \operatorname{IMG}(z^2 + i) $ 는 초지수적 성장을 갖는다. 이는 Nekrashevych의 추측을 뒷받침하는 첫 번째 비자명한 예이다.
• 모든 비-σ 문자가 나쁘고 양호한 블록이 없는 교차하는 단어의 수에 대해 전역 상한 $ M $ 이 존재하며, 이는 모든 길이에 대해 균일하게 유계화된다.
• $ \mathcal{I}_3 $ 내의 ε-나쁜 단어의 수는 $ n \leq (r + 32)/35 $ 에 대해 합으로 유계화되며, 각 항은 이항 계수와 15의 거듭제곱 및 M을 포함한다.
• 증명은 양호한 문자(성격상 또는 위치상)가 삼중 분할 후 일관된 길이 감소를 유도함을 보여주며, 이는 Proposition 10을 적용하여 지수적 성장을 배제할 수 있도록 한다.
• $ \mathcal{I}_3 $ 의 성장률은 초지수적이다. 왜냐하면 ε-나쁜 원소의 수가 $ \lambda > 1 $ 인 임의의 지수함수 $ \lambda^r $ 보다 느리게 증가하기 때문이다.
• 결과는 $ \mathcal{I} $ 가 지수적 성장을 갖지 않음을 확인하며, 유한하거나 거의 니르베르트군이 아니므로 중간 성장률의 후보로 간주된다.