[논문 리뷰] Freeness of automata groups vs boundary dynamics

Daniele D’Angeli, Emanuele Rodaro|arXiv (Cornell University)|2014. 10. 22.

semigroups and automata theory참고 문헌 15인용 수 3

한 줄 요약

이 논문은 부가적 이중 전이기계의 경계 역학과 연결시켜 자동기계 군의 자유성에 대한 역학적 특성화를 수립한다. 군(또는 양방향 전이기계)이 생성하는 군의 대수적 성질인 자유성과 경계 동역학을 연결함으로써, 자동기계 군이 자유일 필요조건과 충분조건을 규명한다. 핵심 결과는 이중 전이기계로 확장되어 알고리즘적, 역학적, 대수적 결과를 도출한다.

ABSTRACT

We prove that the boundary dynamics of the (semi)group generated by the enriched dual transducer characterizes the algebraic property of being free for an automaton group. We specialize this result to the class of bireversible transducers and we show that the property of being not free is equivalent to have a finite Schreier graph in the boundary of the enriched dual pointed on some essentially non-trivial point. From these results we derive some consequences from the dynamical, algorithmic and algebraic point of view. In the last part of the paper we address the problem of finding examples of non-bireversible transducers defining free groups, we show examples of transducers with sink accessible from every state which generate free groups, and, in general, we link this problem to the nonexistence of certain words with interesting combinatorial and geometrical properties.

연구 동기 및 목표

• 나무의 경계에서 부가적 이중 전이기계의 역학을 이용하여 자동기계 군의 자유성을 특성화하는 것.
• 이중 전이기계가 자유군을 생성하는 데서의 역할을 분석하고, 특히 경계점에서의 슈라이어 그래프의 구조를 조사하는 것.
• 역학적 특성화로부터 알고리즘적 및 대수적 결과를 도출하여, 양의 관계가 존재하지 않거나 순환군이 없는 조건을 찾는 것.
• 자기 자신이 이중 전이기계가 아닌 전이기계가 자유군을 생성할 수 있는지 탐색하며, 특히 수신 상태를 가진 경우를 중심으로 분석하는 것.
• 자동기계 군의 안정자, 애너빌리티, 관계의 조합적 구조에 관한 열린 문제를 다루는 것.

제안 방법

• 원래 자동기계보다 더 풍부한 역학을 포착하기 위해 부가적 이중 전이기계를 정의하여 경계 행동 분석을 가능하게 한다.
• Gromov 자유군 $F_Q$의 경계인 $(Q \cup Q^{-1})^\omega$의 경계에서 '기본적으로 비자명한' 점의 개념을 도입한다.
• 기본적으로 비자명하지 않은 점에서 루트를 둔 슈라이어 그래프는 군의 구조와 무관하게 항상 유한하다는 것을 증명한다.
• 이중 전이기계가 생성하는 군의 자유성은 기본적으로 비자명한 경계점에서 루트를 둔 모든 슈라이어 그래프가 무한할 때에만 성립한다는 것을 확립한다.
• 역학적 특성화를 활용하여 대수적 결과를 도출하며, 예를 들어 지수가 유계인 버너사이드 군이 유한하다는 새로운 증명을 제시한다.
• 프레임워크를 적용하여 이중 전이기계의 반대쪽에서의 양의 관계(즉, $u=1$)의 부재가 자유성의 필수 조건임을 보여준다.

실험 결과

연구 질문

• RQ1 부가적 이중 전이기계의 기본적으로 비자명한 경계점에서 루트를 둔 모든 슈라이어 그래프가 무한한가와 자동기계 군의 자유성은 동치인가?
• RQ2 수신 상태를 가진 비이중 전이기계가 나무 위에서 추이적으로 작용하는 자유비아벨 자동기계 군을 생성할 수 있는가?
• RQ3 ‘강하게 취약한’ 단어의 기하학적 및 조합적 구조는 무엇이며, 이를 완전히 특성화할 수 있는가?
• RQ4 정수환 $\mathbb{Z}_n$ 위에서 0전이 캐일리 기계의 이중 전이기계가 생성하는 군은 자유군인가, 아니면 유한군의 자유곱인가?
• RQ5 역전이기계의 경우, 경계점에서 루트를 둔 슈라이어 그래프가 유한한지 여부를 결정할 수 있는가?

주요 결과

• 자동기계 군은 부가적 이중 전이기계의 기본적으로 비자명한 경계점에서 루트를 둔 모든 슈라이어 그래프가 무한할 때에만 자유이다.
• 이중 전이기계의 경우, 이중 전이기계가 생성하는 군이 자유일 필요조건과 충분조건은 기본적으로 비자명한 점에서의 슈라이어 그래프가 모두 무한하고, 기본적으로 비자명하지 않은 점에서의 슈라이어 그래프는 항상 유한하다는 것이다.
• 이중 전이기계의 반대쪽에서의 양의 관계(즉, $u=1$)가 존재하지 않는 것은 군이 자유일 조건으로서 필수적이다.
• 만약 이중 전이기계가 경계에서 모든 자리를 비자명하게 유지하는 군을 생성한다면, 그 이중 전이기계의 반대쪽은 순환군이 없고, 양의 관계도 존재하지 않는다.
• 논문은 지수가 유계인 버너사이드 자동기계 군이 유한하다는 것을 제레먼프의 정리에 의존하지 않고, 새로운 간단한 증명을 제시한다.
• m개의 발생을 가진 가장 짧은 강하게 취약한 단어의 길이는 최소 $3(2^{m-1}) - 2$ 이상이므로, 관계가 존재한다면 매우 길고 복잡하다는 것을 시사한다.