[논문 리뷰] An algorithm for deciding reducibility

Mark C. Bell|arXiv (Cornell University)|2014. 03. 12.

Geometric and Algebraic Topology참고 문헌 8인용 수 5

한 줄 요약

이 논문은 표면의 멀티커브에 대한 맵핑 클래스 군 작용을 삼등분할을 통해 표현하여, 표면 위의 맵핑 클래스가 축소 가능한지를 판단하는 알고리즘을 제시한다. 이는 단어 길이에 대해 지수함수 시간 내에 축소 가능성 여부를 결정할 수 있음을 증명하며, 표준 곡선 체계의 크기가 단어 길이에 대해 지수함수로 유계임을 보여주어 문제를 NP에 포함시킨다.

ABSTRACT

For a marked surface we construct a description of the action of the mapping class group on the set of multicurves via a triangulation. We use this encoding to give an algorithm to determine if a mapping class is reducible in time exponential in the word length with respect to some fixed generating set. We go on to show that a reducible mapping class fixes a maximal multicurve whose size is at most exponential in the word length. From this we deduce that determining if a mapping class is reducible is a problem in NP. Moreover, this shows that the size of the canonical curve system of a mapping class is also at most exponential in the word length.

연구 동기 및 목표

• 표면 위의 맵핑 클래스가 축소 가능한지를 판단하기 위한 알고리즘을 개발하는 것.
• 삼등분할 기반 표현을 통해 맵핑 클래스 군이 멀티커브에 작용하는 방식을 기술하는 것.
• 맵핑 클래스의 표준 곡선 체계의 크기를 단어 길이에 따라 유계로 제한하는 것.
• 단어 길이에 대해 크기가 최대 지수함수인 증거가 존재함을 보여, 축소 가능성 문제의 결정 문제를 NP에 포함시키는 것.

제안 방법

• 표면의 삼등분할을 통해 맵핑 클래스 군이 멀티커브에 작용하는 방식을 표현하는 것.
• 삼등분할을 이용해 맵핑 클래스와 그 멀티커브에 대한 작용을 계산 가능한 형태로 표현하는 것.
• 삼등분할과 멀티커브 구조에 대한 유도된 작용을 분석하여 축소 가능성 여부를 확인하는 알고리즘을 구성하는 것.
• 모든 축소 가능한 맵핑 클래스가 단어 길이의 지수함수로 유계된 크기의 최대 멀티커브를 고정함을 증명하는 것.
• 표준 곡선 체계의 크기가 유계임을 이용해 축소 가능성 결정 문제를 NP에 포함시키는 것.
• 고정된 생성집합에 대해 표준 곡선 체계의 크기가 단어 길이에 대해 최대 지수함수로 유계임을 입증하는 것.

실험 결과

연구 질문

• RQ1 맵핑 클래스 군 작용의 삼등분할 기반 표현을 사용하여 맵핑 클래스의 축소 가능성을 알고리즘적으로 결정할 수 있는가?
• RQ2 단어 길이에 비례해 맵핑 클래스와 관련된 표준 곡선 체계의 최대 크기는 얼마인가?
• RQ3 맵핑 클래스가 축소 가능한지를 판단하는 문제가 복잡도 클래스 NP에 속하는가?
• RQ4 맵핑 클래스 군의 멀티커브에 대한 작용의 구조는 그 클래스의 단어 길이와 어떻게 관련이 있는가?

주요 결과

• 고정된 생성집합에 대해 맵핑 클래스의 단어 길이에 대해 지수함수 시간 내에 축소 가능성을 결정하는 알고리즘이 존재한다.
• 축소 가능한 맵핑 클래스는 단어 길이에 대해 지수함수로 유계된 크기의 최대 멀티커브를 고정한다.
• 맵핑 클래스의 표준 곡선 체계의 크기는 단어 길이에 대해 지수함수 함수로 상한이 존재한다.
• 크기가 유계된 증거가 존재하므로, 맵핑 클래스의 축소 가능성 결정 문제는 NP에 속한다.
• 삼등분할 기반 표현은 멀티커브에 대한 맵핑 클래스 군 작용의 유한하고 계산 가능한 표현을 제공한다.
• 결과적으로 단어 길이와 맵핑 클래스 군의 역학에서의 구조적 복잡성 간의 날카로운 연결 고리를 확립한다.