[논문 리뷰] Connected reversible Mealy automata of prime size cannot generate infinite Burnside groups

Thibault Godin, Ines Klimann|arXiv (Cornell University)|2016. 04. 12.

Algebraic structures and combinatorial models참고 문헌 3인용 수 4

한 줄 요약

이 논문은 소수 개의 상태를 가진 연결된 가역적-역행성 Mealy 오토마타가 무한 Burnside 군을 생성할 수 없다는 것을 증명한다. 새로운 도구인 Junggle 트리와 궤도 트리에서의 자기로 승격 가능한 분지 분석을 통해 저자들은 모든 군 원소가 일정한 유한 차수를 가지며, 이는 Zelmanov의 정리에 의해 유한성을 이끌어내며, 따라서 소수 크기의 가역적 오토마타에 대한 오랜 동안 남아 있던 추측을 해결한다.

ABSTRACT

The simplest example of an infinite Burnside group arises in the class of automaton groups. However there is no known example of such a group generated by a reversible Mealy automaton. It has been proved that, for a connected automaton of size at most~3, or when the automaton is not bireversible, the generated group cannot be Burnside infinite. In this paper, we extend these results to automata with bigger stateset, proving that, if a connected reversible automaton has a prime number of states, it cannot generate an infinite Burnside group.

연구 동기 및 목표

• 가역적 Mealy 오토마타가 무한 Burnside 군을 생성할 수 없다는 추측을 해결하기 위해.
• 2상태 및 3상태 가역 오토마타에 대한 이전 결과를 모든 소수 크기의 연결된 가역 Mealy 오토마타로 확장하기 위해.
• 궤도 트리 및 Junggle 트리 분석을 통해 이 클래스에서 무한 순서 원소의 존재를 막는 구조적 장벽을 규명하기 위해.
• 오토마타 군의 구조를 연구하기 위해 특별히 개발된 새로운 도구—즉, Junggle 트리와 자기로 승격 가능한 분지 분석—을 개발하기 위해.

제안 방법

• 루트 트리 위에서 오토마타 군 작용의 역학을 분석하기 위해 궤도 트리의 개선판인 Junggle 트리를 도입한다.
• 이전 연구에서 얻은 레이블된 궤도 트리를 기반으로 하여 Junggle 트리 구조를 구성한다.
• 자기로 승격 가능한 분지와 줄기의 개념을 적용하여 군 원소가 트리의 각 수준에서 작용하는 방식을 제어한다.
• 재귀적 구성 방법을 사용하여 상태집합의 임의의 단어가 Junggle 트리에서 순환 단어와 동일한 작용을 유도함을 보인다.
• 순환 Junggle 단어가 일정한 유한 차수를 가지며, 이는 상태집합의 유한성에 기반함을 이용한다.
• 잔여 유한성과 균일한 지수 범위를 갖는 군에 대해 Zelmanov의 정리를 적용하여 군의 유한성을 결론짓는다.

실험 결과

연구 질문

• RQ1 소수 크기의 연결된 가역적-역행성 Mealy 오토마타가 무한 Burnside 군을 생성할 수 있는가?
• RQ2 궤도 트리와 그 개선판이 이러한 군에서 무한 순서 원소의 존재를 막는 구조적 성질은 무엇인가?
• RQ3 자기로 승격 가능한 분지 개념을 3상태에서 소수 p에 대해 p상태 오토마타로 일반화할 수 있는가?
• RQ4 상태집합의 대칭성(예: 소수성)이 오토마타 군의 구조를 얼마나 제약하는가?
• RQ5 Junggle 트리 구성은 소수 크기의 오토마타나 비연결 오토마타로 확장될 수 있는가?

주요 결과

• 소수 크기의 연결된 가역적-역행성 Mealy 오토마타는 무한 Burnside 군을 생성할 수 없다.
• 생성된 군의 모든 원소는 오직 Junggle 트리 구조에 의존하는 상수에 의해 유한 차수를 갖는다.
• Zelmanov의 정리에 따라 잔여 유한성과 균일한 지수 상한 덕분에 군은 반드시 유한하다.
• Junggle 트리 구성은 트리의 모든 수준에서 군 원소 작용의 통일된 분석을 가능하게 한다.
• 이 증명은 2상태 및 3상태 오토마타에 대한 이전 결과를 모든 소수 크기의 가역 오토마타로 일반화한다.
• 상태집합의 소수성은 증명에서 핵심적이며, 특히 ∼-클래스와 자기로 승격 가능한 분지의 구조를 제어하는 데 기여한다.