[논문 리뷰] The further chameleon groups of Richard Thompson and Graham Higman: Automorphisms via dynamics for the Higman groups $G_{n,r}$

Collin Bleak, Peter J‎. Cameron외 3명|arXiv (Cornell University)|2016. 05. 30.

semigroups and automata theory참고 문헌 10인용 수 7

한 줄 요약

이 논문은 루빈의 정리와 전이기계 이론을 활용하여, 히그먼-탐슨 군 $G_{n,r}$의 자기동형군을 칸토어 공간 $τ_{n,r}$ 위의 호메오모르피즘 군으로 특성화한다. 핵심 결과는 $Δ\text{Aut}(G_{n,r})$가 정확히 이중으로 동기화되는 전이기계—같은 조건에서 동기화되고 역이 존재하는 유한 상태 기계—로 나타나며, 이는 마지막으로 남아 있던 '변형군'으로서의 $V = G_{2,1}$의 자기동형군을 분류하는 20년에 걸친 탐구를 완성한다.

ABSTRACT

We describe, through the use of Rubin's theorem, the automorphism groups of the Higman-Thompson groups $G_{n,r}$ as groups of specific homeomorphisms of Cantor spaces $\mathfrak{C}_{n,r}$. This continues a thread of research begun by Brin, and extended later by Brin and Guzmán: to characterise the automorphism groups of the `Chameleon groups of Richard Thompson,' as Brin referred to them in 1996. The work here completes the first stage of that twenty-year-old program, containing (amongst other things) a characterisation of the automorphism group of $V$, which was the `last chameleon.' The homeomorphisms which arise fit naturally into the framework of Grigorchuk, Nekrashevich, and Suschanskii's rational group $\mathscr{R}$: they are exactly those homeomorphisms which are induced by bi-sychronizing transducers, which we define in the paper. This result appears to offer insight into the nature of Brin and Guzman's exotic automorphisms, while also uncovering connections with the theory of reset words for automata (arising in the Road Colouring Problem) and with the theory of automorphism groups of the full shift.

연구 동기 및 목표

• 히그먼-탐슨 군 $G_{n,r}$, 특히 $V = G_{2,1}$의 자기동형군 분류를 완료하는 것. 이는 브린의 1996년 작업 이후 오랫동안 미해결 상태였던 문제이다.
• 톰슨 군 가문에서 마지막 '변형군'으로 남아 있던 $V$의 자기동형군을 특성화하는 오랜 숙제를 해결하는 것.
• 유한 상태 전이기계와 그들이 칸토어 공간에 작용하는 방식을 통해 자기동형군의 역학적 특성화를 수립하는 것.
• 기타 자기동형군 이론과 자동기 이론의 리셋 단어, 전체 이동의 자기동형군 사이의 연결 고리를 설정하는 것.
• 자기동형군 $G_{n,r}$의 모든 자기동형군이 정확히 이중으로 동기화되는 전이기계에 의해 유도된다는 것을 보여주는 것, 그리고 이는 $Σ_{n,r}$ 내의 합리적 군에 속한다.

제안 방법

• 루빈의 정리를 적용하여 $Δ\text{Aut}(G_{n,r})$를 칸토어 공간 $τ_{n,r}$의 호메오모르피즘 군의 부분군으로 식별하며, 군의 공간에 대한 작용을 활용한다.
• 유한한 국소 작용을 가지는 성질을 통해 자기동형군을 특성화함으로써, 이들이 유한 상태 전이기계로 표현 가능하다는 것을 보장한다.
• 이중으로 동기화되는 전이기계—동기화되며, 그 역도 동기화되는 전이기계—의 개념을 도입하고 분석하며, 이것이 정확히 $G_{n,r}$의 자기동형군을 유도함을 증명한다.
• 그리고치크, 네크라셰비치, 수스찬스키가 개발한 합리적 군 $Σ_{n,r}$의 프레임워크를 사용하여 자기동형군을 통합하고 분류한다.
• $G_{n,r}$의 임의의 자기동형군이 이중으로 동기화되는 전이기계로부터 유도되며, 반대로 모든 이러한 전이기계가 자기동형군을 유도함을 증명한다.
• 이중으로 동기화되는 전이기계로 구성된 부분군과의 동형사상에 의해 $Δ\text{Aut}(G_{n,r})$가 $Σ_{n,r}$의 부분군으로 동형임을 보이며, 이미지 집합과 단사성에 대한 조합론적 및 위상적 제약 조건을 사용한다.

실험 결과

연구 질문

• RQ1 히그먼-탐슨 군 $G_{n,r}$, 특히 $V = G_{2,1}$의 자기동형군 $Δ\text{Aut}(G_{n,r})$의 정확한 구조는 무엇인가?
• RQ2 $G_{n,r}$의 자기동형군은 칸토어 공간 $τ_{n,r}$ 위에서의 작용을 통해 어떻게 동역학적으로 특성화될 수 있는가?
• RQ3 특히 이중으로 동기화되는 전이기계가 $G_{n,r}$의 자기동형군을 실현하는 데 어떤 역할을 하는가?
• RQ4 고정된 $n$에 대해 $r$이 변할 때 $Δ\text{Aut}(G_{n,r})$의 자기동형군은 어떻게 달라지며, 서로 다른 $r$에 대해 동형인지 여부는 어떻게 되는가?
• RQ5 $G_{n,r}$의 자기동형군과 자동기 이론의 리셋 단어, 특히 로드 컬러링 문제의 맥락에서 어떤 연결 고리가 존재하는가?

주요 결과

• $Δ\text{Aut}(G_{n,r})$는 합리적 군 $Σ_{n,r}$ 내의 이중으로 동기화되는 전이기계로 구성된 부분군과 동형이다.
• $G_{n,r}$의 모든 자기동형군은 강력히 동기화되며, 그 역도 강력히 동기화되는 유한 상태 전이기계에 의해 유도된다.
• $Δ\text{Aut}(G_{n,r})$는 칸토어 공간 $τ_{n,r}$의 호메오모르피즘 군의 부분군으로 작용하며, 공통된 무한한 접미사를 가진 동치류를 고정하는 방식으로 특성화된다.
• 논문은 특정 이미지 및 이미지 합집합 성질을 갖는 전이기계의 완성은 반드시 $r \equiv 0 \mod 3$여야 하며, 특히 $Σ_{4,1}$과 $Σ_{4,2}$는 $Σ_{4,3}$에 적절히 포함되며, 이는 서로 다른 $r$에 대해 동형이 아닌 이소모르피즘 타입을 가짐을 시사한다.
• $n > 2$일 때의 이국적 자기동형군의 존재는 이중으로 동기화되는 전이기계의 역학적 성질을 통해 설명되며, 리셋 단어와 전체 이동 이론과 연결된다.
• 임의의 이중으로 동기화되는 전이기계의 역은 재귀적 이미지 분해와 상태 전이 규칙을 통해 조합론적으로 구성 가능하며, 이는 합리적 군 프레임워크 내에서 단사성을 보장한다.