[논문 리뷰] Inverse semigroups with rational word problem are finite

Tara Brough|arXiv (Cornell University)|2013. 11. 15.

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

한 줄 요약

이 논문은 두 테이프 비동기 유한 오토마타에 의해 인식 가능한 쌍의 단어들로 정의되는 유리어휘문제(rational word problem)를 가진 역반군(inverse semigroup)은 반드시 유한하다는 것을 증명한다. 증명은 단일 생성자 역반군의 구조적 분석을 사용하며, 오직 하나의 무한 후보인 자유 단일 생성자 역반군이 펌핑 보조정리 스타일의 모순으로 인해 단어 동치성에서 유리어휘문제를 가질 수 없음을 보여준다.

ABSTRACT

This note proves a generalisation to inverse semigroups of Anisimov's theorem that a group has regular word problem if and only if it is finite, answering a question of Stuart Margolis. The notion of word problem used is the two-tape word problem -- the set of all pairs of words over a generating set for the semigroup which both represent the same element.

연구 동기 및 목표

• 스튜어트 매기놀리스(Stuart Margolis)가 제기한 질문, 즉 무한한 역반군이 유리어휘문제를 가질 수 있는가를 해결하기 위해.
• 유한성과 정규어휘문제를 가진 군이 동치임을 나타내는 앙니소프의 정리(Anisimov’s theorem)를 역반군의 범주로 확장하기 위해.
• 단일 생성자 역반군의 구조 분석을 통해, 유리어휘문제를 가진 유일한 역반군은 유한하다는 것을 보여주기 위해.
• 가장 가능성 있는 무한 후보인 자유 단일 생성자 역반군이 실제로 유리어휘문제를 가지지 않는다는 것을 보여주기 위해.
• 자동기 이론적 및 반군 이론적 기법을 사용하여, 역반군에서 유리어휘문제는 유한성을 암시함을 확립하기 위해.

제안 방법

• 생성집합 상의 단어 쌍 중 같은 원소를 나타내는 관계로 정의된 두 테이프 어휘문제를 정의한다.
• 비동기 유한 상태 오토마타(AFSA)를 사용하여 유리어휘문제의 개념을 형식화하며, 이는 두 입력 테이프의 병렬이지만 동시적이지 않은 독해에 의존한다.
• 기존 결과를 적용한다: 유리어휘문제의 정의는 생성집합의 선택과 무관하며, 유리어휘문제를 가진 반군의 유한 생성 부분반군 역시 동일한 클래스에 속한다.
• 단일 생성자 역반군의 분류를 분석한다: 주기적, 무한 순환, 이중원소(bicyclic), 또는 자유 단일 생성자 역반군.
• 자유 단일 생성자 역반군의 어휘문제를 인식하는 AFSA에 대해 펌프링 추론을 적용하여, 잘못된 단어 쌍도 수용하게 되는 것을 보여준다.
• 자유 역반군의 표준 모델에서의 계산을 통해, 오토마타가 수용하는 일부 단어 쌍이 실제로 반군 내에서 동치가 아니라는 것을 보여, 오토마타의 정확성과 모순된다.

실험 결과

연구 질문

• RQ1 무한한 역반군이 유리어휘문제를 가질 수 있는가?
• RQ2 역반군에서 유리어휘문제 조건이 군과 마찬가지로 유한성을 암시하는가?
• RQ3 가장 가능성 있는 무한 후보인 자유 단일 생성자 역반군이 실제로 유리성 조건에 의해 배제되는가?
• RQ4 유리어휘문제를 가진 역반군의 구조를 완전히 특성화할 수 있으며, 이는 모든 무한 예제를 배제하는가?
• RQ5 두 테이프 오토마타 모델은 비자유 설정에서 특히 역반군의 단어 동치성에 어떤 제약을 가하는가?

주요 결과

• 유리어휘문제를 가진 유일한 역반군은 유한하며, 이는 앙니소프의 정리를 역반군으로 일반화한 것이다.
• 자유 단일 생성자 역반군은 오토마타의 펌프링과 표준 모델에서의 단어 동치성 간의 모순으로 인해 유리어휘문제를 가지지 않음을 입증하였다.
• 자유 단일 생성자 역반군의 어휘문제를 인식하는 비동기 유한 오토마타는 반군 내에서 동치가 아닌 단어 쌍도 수용하게 되며, 이는 정확성과 모순된다.
• 이 증명은 무한 부분반군이 유리어휘문제 반군의 부분집합이면 반드시 무한 순서의 원소를 포함해야 하며, 이러한 원소는 역반군에서 자유 단일 생성자 역반군을 이끈다는 사실에 기반한다.
• 유리어휘문제 반군 내에서 이중원소 모노이드와 무한 부분군의 부재는 무한한 역반군의 가능한 구조를 추가로 제한한다.
• 결과적으로, 역반군에서 유리어휘문제는 정규어휘문제와 유사하게 강력한 유한성 조건임을 확인한다.