[논문 리뷰] Geometric Semigroup Theory

Jon McCammond, John Rhodes외 1명|arXiv (Cornell University)|2011. 04. 12.

semigroups and automata theory참고 문헌 23인용 수 9

한 줄 요약

이 논문은 유한 반군의 기하적 접근을 제안하며, 자유 버나이드 반군의 오른쪽 카일리 그래프와 유사하게 자동기를 확장함으로써 위상수학적 및 기하학적 분석을 단순화한다. 주요 기여는 대수적 구조를 유지하면서도 분수적이고 규칙적인 기하적 성질을 부여하는 유한 확장(맥컬로우 $M^c$-확장)을 제공하는 것이다. 이를 통해 반군 내 단어 문제와 정규 언어의 연구가 가능해진다.

ABSTRACT

Geometric semigroup theory is the systematic investigation of finitely-generated semigroups using the topology and geometry of their associated automata. In this article we show how a number of easily-defined expansions on finite semigroups and automata lead to simplifications of the graphs on which the corresponding finite semigroups act. We show in particular that every finite semigroup can be finitely expanded so that the expansion acts on a labeled directed graph which resembles the right Cayley graph of a free Burnside semigroup in many respects.

연구 동기 및 목표

• 유한 생성 반군을 분석하기 위한 기하학적 프레임워크를 개발하기 위해 자동기 위상수학과 기하학을 활용한다.
• 버나이드 반군 연구에서 사용된 기하 기법을 임의의 유한 반군으로 일반화한다.
• 임의의 유한 반군에 대해 유한한 확장을 구성함으로써, 그 작용이 자유 버나이드 반군의 오른쪽 카일리 그래프의 기하적 성질을 모방하는 레이블이 부여된 방향성 그래프 위에서 이루어지도록 한다.
• 확장된 자동기에서 대수적 랭크 함수와 기하학적 랭크 함수 사이의 대응 관계를 설정하여 안정화 분석의 일관성을 확보한다.

제안 방법

• 주어진 유한 자동기를 더 구조화되고 기하학적으로 규칙적인 형태로 변환하기 위해 맥컬로우 커버 구축을 활용한다.
• 유한 반군에 $M^c$-확장을 적용하여, 분수적이고 경로가 단순화된 레이블이 부여된 방향성 그래프 위에서 충실하게 작용하는 새로운 자동기를 생성한다.
• 원래 반군의 레이블의 대수적 랭크를 존중하는 확장된 자동기 위의 기하학적 랭크 함수를 정의한다.
• $\rJ'$-사상과 말체프 확장을 활용하여 반군 확장 중 $\rJ$-순서 구조를 유지하고 분석한다.
• 유일한 단순 경로 성질과 루프 경로(lp) 구성 기법을 활용하여 루프 레이블을 그들의 대수적 랭크 순서로 위상 정렬한다.
• 루트가 있는 그래프의 기본 모노이드를 활용하여 확장된 자동기 내의 안정자 구조와 아이디포텐트 체인을 분석한다.

실험 결과

연구 질문

• RQ1 모든 유한 $A$-반군은 그 작용이 자유 버나이드 반군 $\mathcal{B}(m,n)$의 오른쪽 카일리 그래프와 유사한 기하적 구조를 갖는 레이블이 부여된 방향성 그래프 위에서 이루어지는 유한한 확장을 가질 수 있는가?
• RQ2 $\rJ'$-사상과 말체프 확장이 반군 확장 과정에서 대수적 랭크 함수를 어떻게 유지하거나 변형하는가?
• RQ3 확장된 자동기 위의 기하학적 랭크 함수와 원래 반군의 원소들의 대수적 랭크 함수 사이의 관계는 무엇인가?
• RQ4 맥컬로우 확장은 얼마나 유한 반군 내의 단어 문제와 정규 언어 분석을 단순화할 수 있는가?
• RQ5 확장된 자동기 내의 루프와 안정자 구조는 원래 반군의 $\rJ$-순서와 아이디포텐트 체인 구조를 얼마나 잘 반영하는가?

주요 결과

• 모든 유한 $A$-반군은 $m \geq 6$ 인 자유 버나이드 반군 $\mathcal{B}(m,n)$의 오른쪽 카일리 그래프와 유사한 기하적 성질을 갖는 레이블이 부여된 방향성 그래프 위에서 충실하게 작용하는 유한한 $M^c$-확장을 갖는다.
• $M^c$-확장은 원래 반군의 $\rJ$-순서 구조를 유지하며, 이는 확장된 그래프의 기본 모노이드가 원래 반군의 정규 $\rJ$-클래스를 반영함을 보장한다.
• 확장된 자동기 위의 기하학적 랭크 함수는 원래 반군의 대수적 랭크 함수와 호환된다: $\mathsf{Rank}_S(y) < \mathsf{Rank}_S(z)$ 이면, 해당 굵은 화살표의 기하학적 랭크는 $r(e) < r(f)$ 를 만족한다.
• 모든 $s \in S$ 에 대해 $\mathsf{Rank}_S(s) = \mathsf{Rank}_T(\varphi(s))$ 를 만족하는 임의의 전사 $\rJ'$-사상 $\varphi: S \to T$ 는 대수적 랭크를 유지한다.
• 올리프팅 보조정리에 의해, 임의의 $t \in T$ 에 대해 $\varphi(s^\omega) = t^\omega$ 이고 $\mathsf{Rank}_S(s) \geq \mathsf{Rank}_T(t)$ 를 만족하는 $s \in S$ 가 존재함을 보장하며, 이는 전사 사상 하에서의 랭크 호환성을 확보한다.
• 유한 $\rJ$-상위 반군의 부분반군 역시 $\rJ$-상위이며, 그들의 대수적 랭크는 환경 반군의 랭크에 의해 상한으로 제한된다: 모든 $t \in T \subseteq S$ 에 대해 $\mathsf{Rank}_T(t) \leq \mathsf{Rank}_S(t)$.