[논문 리뷰] The Word Problem for the Singular Braid Monoid

Oliver T. Dasbach, Bernd Gemein|ArXiv.org|1998. 09. 12.

Geometric and Algebraic Topology참고 문헌 18인용 수 7

한 줄 요약

이 논문은 단일 브레이드 모노이드 SB_n 의 단어 문제를 해결하며, 단어 길이와 단일 생성자의 수의 곱에 대해 이차 시간 알고리즘을 제시한다. 또한 Fenn, Keyman, Rourke 의 임베딩 결과에 대한 대수적 증명을 제공하고, 관련된 군의 코homological 차원을 계산한다.

ABSTRACT

We give a solution to the word problem for the singular braid monoid SB_n. The complexity of the algorithm is quadratic in the product of the word length and the number of the singular generators in the word. Furthermore we algebraically reprove a result of Fenn, Keyman and Rourke that the monoid embeds into a group and we compute the cohomological dimension of this group.

연구 동기 및 목표

• 단일 브레이드 모노이드 SB_n 의 단어 문제를 해결하여 두 단어가 같은 원소를 나타내는지 여부를 판단하는 것.
• 시간 복잡도가 증명된 효율적인 알고리즘을 통해 SB_n 내에서 단어 축약을 위한 알고리즘 제공.
• 이전에 Fenn, Keyman, Rourke 가 수행한 바와 같이, 단일 브레이드 모노이드 SB_n 이 군에 임베딩될 수 있음을 순수 대수적 방법으로 재증명하는 것.
• SB_n 이 임베딩되는 군의 코homological 차원을 계산하는 것.
• 기하학적 및 군론적 방법을 사용하여 단일 브레이드의 기본 대수적 및 알고리즘적 성질을 수립하는 것.

제안 방법

• 정의 관계의 집합을 사용하여 단일 브레이드 모노이드 SB_n 원소의 정규형을 개발한다.
• 브레이드 관계와 단일 생성자 규칙을 체계적으로 적용하여 단어를 단순화하는 축약 알고리즘을 활용한다.
• 축약 과정의 복잡도를 분석하여, 이가 단어 길이와 단일 생성자의 수의 곱에 대해 이차 시간임을 보여준다.
• 군 표현과 호모로지 대수학을 포함한 대수적 기법을 사용하여 SB_n 의 군화 구조를 분석한다.
• 기하학적 위상수학과 군론의 결과를 적용하여 SB_n 이 군에 임베딩됨을 확립한다.
• 특히 모노이드와 그 분수군의 구조를 사용하여 대수적 위상수학 방법을 통해 군의 코homological 차원을 계산한다.

실험 결과

연구 질문

• RQ1 단일 브레이드 모노이드 내에서 두 단어가 같은 원소를 나타내는지 판단하기 위한 효율적인 알고리즘은 무엇인가?
• RQ2 순수 대수적 방법을 사용하여 단일 브레이드 모노이드 SB_n 이 군에 임베딩될 수 있음을 어떻게 증명할 수 있는가?
• RQ3 SB_n 과 관련된 군의 코homological 차원은 얼마인가?
• RQ4 SB_n 에서 단어 문제를 해결하는 데 필요한 계산 복잡도는 무엇인가?
• RQ5 SB_n 의 관계들이 정규형과 단어 축약을 가능하게 하기 위해 어떻게 상호작용하는가?

주요 결과

• 단일 브레이드 모노이드 SB_n 의 단어 문제는 단어 길이와 단일 생성자의 수의 곱에 대해 이차 시간 내에 해결 가능하다.
• Fenn, Keyman, Rourke 의 결과를 기반으로 하되, 위상수학적 추론에 의존하지 않고, 순수 대수적 방법으로 SB_n 이 군에 임베딩됨을 증명한다.
• SB_n 이 임베딩되는 군의 코homological 차원은 n − 1 로 계산된다.
• 알고리즘적 해결책은 SB_n 의 정의 관계에 기반한 체계적인 축약 시스템에 의존한다.
• SB_n 의 군화가 단일 브레이드 모노이드의 분수군의 부분군과 동형임을 보여준다.
• 이 결과들은 기하학적 및 군론적 맥락에서 단일 브레이드를 다루는 데 있어 완전한 대수적 및 알고리즘적 프레임워크를 수립한다.