[논문 리뷰] Conjugacy classes of periodic braids

Eon-Kyung Lee, Sangjin Lee|arXiv (Cornell University)|2007. 02. 13.

Geometric and Algebraic Topology참고 문헌 23인용 수 3

한 줄 요약

이 논문은 브레인 군에서 주기적 브레인에 대한 공액성 탐색 문제(CSP)를 다항 시간 내에 해결하는 알고리즘을 제시한다. BKL Garside 구조를 활용하여 초점 집합의 부분 순환 연산을 이용함으로써, 초점 집합의 크기가 지수적임에도 불구하고 효율적인 공액성 탐지 및 원소 계산을 달성하였으며, 기존의 브레인 차수 n에 따라 악화되는 전수 검색 방법보다 크게 향상시켰다.

ABSTRACT

Recently, there have been several progresses for the conjugacy search problem (CSP) in Garside groups, especially in braid groups. All known algorithms for solving this problem use a sort of exhaustive search in a particular finite set such as the super summit set and the ultra summit set. Their complexities are proportional to the size of the finite set, even when there exist very short conjugating elements. However, ultra summit sets are very large in some cases especially for reducible braids and periodic braids. Some possible approaches to resolve this difficulty would be either to use different Garside structures and Garside groups in order to get a sufficiently small ultra summit set, or to develop an algorithm for finding a conjugating element faster than exhaustive search. Using the former method, Birman, González-Meneses and Gebhardt have proposed a polynomial-time algorithm for the CSP for periodic braids. In this paper we study the conjugacy classes of periodic braids under the BKL Garside structure, and show that we can solve the CSP for periodic braids in polynomial time although their ultra summit sets are exponentially large. Our algorithm describes how to connect two periodic braids in the (possibly exponentially large) ultra summit set by applying partial cycling polynomially many times.

연구 동기 및 목표

• 초점 집합의 크기가 지수적으로 커져서 복잡도가 급격히 증가하는 기존 주기적 브레인 공액성 탐색 알고리즘의 비효율성을 해결하기 위해.
• BKL Garside 구조 하에서 주기적 브레인의 공액성 탐색 문제(CSP)를 위한 결정론적이고 전수 검색이 아닌 알고리즘을 개발하기 위해.
• 특수 부분군 $P_{n,2}$와 $\mathrm{Sym}_{2n-2}$ 간의 이항 사상에 의존하는 기존 방법보다 계산 복잡도를 감소시키기 위해.
• 원소를 원자가 아닌 단순 원소의 표현 방식으로 입력받는 알고리즘을 제공하여 계산 효율성과 표현의 자연스러움을 향상시키기 위해.
• 초점 집합의 크기가 지수적으로 클 경우에도 다항 시간 내에 공액성 해법이 가능함을 보여주기 위해.

제안 방법

• 브레인 군 $B_n$ 에서 BKL Garside 구조를 활용하여 알고리즘적 성질이 양호한 공액성 대표 집합을 정의한다.
• 초점 집합을 전수 탐색하지 않고도 다항 시간 내에 순환할 수 있도록 부분 순환 연산을 사용한다.
• 브레인 원소를 원자가 아닌 단순 원소의 단어로 표현함으로써 더 효율적인 계산을 가능하게 한다.
• 복잡도가 $\mathcal{O}(ln)$ 이내로 최적화된 수정된 순환 및 역순환 연산을 적용하여 이전의 복잡도 기준을 향상시킨다.
• 특수한 $\delta$-형 주기적 브레인에 대한 CDP 및 CSP를 위한 알고리즘 II와 $\varepsilon$-형에 대한 알고리즘 IV를 제안하며, 둘 다 다항 시간 복잡도를 갖는다.
• 기존 연구에서 요구되었던 $P_{n,2}$ 와 $\mathrm{Sym}_{2n-2}$ 간의 명시적 이항 사상이 필요 없도록 한다. 이는 이전 연구에서 추가적인 복잡도를 유발했던 요소였다.

실험 결과

연구 질문

• RQ1 초점 집합의 크기가 지수적으로 클 경우에도 주기적 브레인의 공액성 탐색 문제를 다항 시간 내에 해결할 수 있는가?
• RQ2 초점 대표 집합 내에서 전수 검색을 피하는 결정론적 알고리즘을 주기적 브레인 공액성 문제에 대해 구성할 수 있는가?
• RQ3 Garside 구조의 선택(비교: BKL 대 Artin)이 주기적 브레인의 CSP 해결에 대한 복잡도와 가능성에 어떤 영향을 미치는가?
• RQ4 원자 생성자 대신 단순 원소 표현 방식을 직접 사용할 수 있는 알고리즘을 설계할 수 있는가? 이는 효율성을 향상시킬 수 있다.
• RQ5 복잡한 이항 사상 기반 변환을 간단한 순환 연산으로 대체했을 때 알고리즘 복잡도에 어떤 영향을 미치는가?

주요 결과

• 제안된 알고리즘은 주기적 브레인에 대해 공액성 결정 문제(CDP)와 공액성 탐색 문제(CSP)를 다항 시간 내에 해결한다. CDP의 경우 복잡도는 $\mathcal{O}(l^2n^2 + n^2\log n)$, $\delta$-형 CSP의 경우 $\mathcal{O}(l^2n^2)$ 이다.
• $\varepsilon$-형 주기적 브레인에 대한 알고리즘 IV는 복잡도 $\mathcal{O}(l^2n^2 + n^2\log n)$ 을 달성하며, 이는 이전 방법의 $\mathcal{O}(l^3n^2)$ 복잡도에 더해 이항 사상 구현이 추가로 필요한 것보다 뛰어난 성능을 보인다.
• 원자 대신 단순 원소 표현 방식을 사용함으로써 복잡도가 감소하고 효율성이 향상된다. 단순 원소는 Garside 군 알고리즘에서 더 자연스럽고 계산적으로 효율적이다.
• 기존 연구에서 주요 복잡도 원인이었던 $P_{n,2}$ 와 $\mathrm{Sym}_{2n-2}$ 간의 명시적 이항 사상이 필요 없어지며, 이는 복잡도 감소에 기여한다.
• BKL Garside 구조와 부분 순환을 활용함으로써, 초점 집합의 크기가 지수적으로 클 경우에도 다항 시간 성능을 달성한다.
• 다시 분석한 복잡도 분석 결과, 순환/역순환 연산은 각각 $\mathcal{O}(ln)$ 시간 내에 수행 가능하며, 이는 이전에 가정된 $\mathcal{O}(l^2n)$ 기준보다 향상된 것이다.