[논문 리뷰] Post-critically finite self-similar groups

Ievgen Bondarenko, Volodymyr Nekrashevych|ArXiv.org|2007. 01. 28.

Geometric and Algebraic Topology참고 문헌 10인용 수 18

한 줄 요약

이 논문은 자기유사한 극한 공간과 유한 상태 자동기계로 생성된 자기유사 군 사이의 정확한 대응 관계를 확립한다. 자기유사 군이 수축 가능임과 그 극한 공간이 후기적으로 유한한(post-critically finite, p.c.f.)임은 유한 상태 자동기계의 부분군임과 동치이며, 상태 순환과 활동성 성장의 자동기계 이론적 분석을 통해 이러한 군과 그 핵을 특성화한다.

ABSTRACT

We describe in terms of automata theory the automatic actions with post-critically finite limit space. We prove that these actions are precisely the actions by bounded automata and that any self-similar action by bounded automata is contracting.

연구 동기 및 목표

• 프랙탈에서의 조화 분석에 사용되는 후기적으로 유한한(self-similar fractals) 자기유사 프랙탈과 뿌리 트리 위에서 작용하는 자기유사 군 사이의 관계를 명확히 하기.
• 자기유사 군의 극한 공간이 p.c.f.가 되는 조건을 자동기계 이론적 도구를 사용하여 특성화하기.
• 그러한 군들이 정확히 유한 자동기계로 생성된 군이며, 수축 가능임을 증명하기.
• 유한 생성 부분군에서의 단어 문제(word problem)가 다항 시간 내에 해결 가능함을 입증하기.

제안 방법

• 자기유사 군 작용을 모델링하기 위해 모어 다이어그램과 전이/출력 함수를 사용한 자동기계 이론을 적용한다.
• 상태 전이 그래프에 유한하고 서로소인 비자명한 순환을 가진 자동기계를 유한 자동기계로 정의한다.
• 그룹 원소의 활동성 성장과 제약 구조를 표기법 $ g|_v $ 와 $ g(v) $ 를 사용하여 분석한다. 여기서 $ g|_v $ 는 단어 $ v $ 를 읽은 후 도달하는 상태를 의미한다.
• 단어 분해에서 비유한 상태의 수인 $ l_1(g) $-노름에 대한 귀납법을 적용하여, 모든 고차원 제약 $ g|_v $ 가 결국 유한한 핵에 속하게 됨을 보인다.
• 이러한 군의 핵이 유한하고 유한한 제약 집합에 포함됨을 증명함으로써 수축 행동을 유도한다.
• 순환 구조의 주기성(주기 $ n_1 $)을 이용하여 핵 내에서의 무한한 왼쪽 무한 경로가 궁극적으로 주기적임을 보이고, 따라서 유한 개임을 증명함으로써 극한 공간이 p.c.f.임을 입증한다.

실험 결과

연구 질문

• RQ1 자기유사 군 작용의 극한 공간이 후기적으로 유한한(p.c.f.) 조건은 무엇인가?
• RQ2 극한 공간이 p.c.f.인 군의 정확한 자동기계 이론적 특성화는 무엇인가?
• RQ3 유한 자동기계는 수축 군과 그 핵에 어떻게 관련되어 있는가?
• RQ4 유한 자동기계의 부분군에서 단어 문제가 효율적으로 해결 가능한가?
• RQ5 상태 전이 그래프의 구조적 성질(예: 순환 구조)이 극한 공간의 p.c.f. 성질을 보장하는 데 어떤 영향을 미치는가?

주요 결과

• 자기유사 군이 수축 가능함은 유한 상태 자동기계로 생성된 군이며, 그 순환 구조가 유한함과 동치이다.
• 자기유사 군의 극한 공간이 후기적으로 유한한(p.c.f.)임은 군이 유한 자동기계 군 $ \beta $ 의 부분군임과 동치이다.
• 모든 자기유사 군 부분군은 $ \beta $ 에서 유한하고, 핵이 유한하며 유한한 제약 집합에 포함된다.
• 핵 내에서의 모든 무한한 왼쪽 무한 경로가 궁극적으로 주기적이며, 그 수가 유한하므로 이러한 군의 극한 공간은 p.c.f.이다.
• 모든 유한 생성 부분군에서 $ \beta $ 의 단어 문제는 다항 시간 내에 해결 가능하다.
• 유한 자동기계에서 유도된 수축 군의 핵은 집합 $ \{ g|_v : g \in \mathcal{N}_1, |v| < n_1 \} $ 에 포함되며, 여기서 $ \mathcal{N}_1 $ 은 자기참조 제약을 가진 유한한 상태 집합이다.