[논문 리뷰] A Modification of the Sarkar-Wang Algorithm and an Analysis of its Computational Complexity

Jonathan Hales, Dmytro Karabash외 1명|ArXiv.org|2007. 11. 28.

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

한 줄 요약

이 논문은 Heegaard Floer knot homology의 hatปีก형($\widehat{HFK}$)을 계산하기 위한 Sarkar-Wang 알고리즘을 수정하여, 핸들 부착과 영역 단순화를 통해 Heegaard 거리를 1로 감소시킴으로써 계산 복잡도를 $O(v^{15g})2^{O(g)}$로 줄였으며, 여기서 $v$는 정점 수이고 $g$는 종수이다. 수정된 알고리즘은 knot 다이어그램 구성에 대한 일정한 추측 하에 기존의 Manolescu-Ozsváth-Sarkar 알고리즘보다 빠를 수 있음을 보여준다.

ABSTRACT

The Sarkar-Wang algorithm computes the hat version of the Heegaard Floer homology of a closed oriented three manifold. This paper analyzes the computational complexity of the Sarkar-Wang algorithm; then the algorithm is modified to obtain a better bound. Then the computational complexity of calculating HFK hat from a Heegaard diagram by means of the modified Sarkar-Wang algorithm is also analyzed. Under certain assumptions it is shown that the modified Sarkar-Wang algorithm is faster than the Manolescu-Ozsvath-Sarkar algorithm.

연구 동기 및 목표

• Heegaard 다이어그램에서 $\widehat{HFK}$를 계산하기 위한 Sarkar-Wang 알고리즘의 계산 복잡도를 분석하고 향상시키는 것.
• 핸들 부착과 영역 단순화를 통해 다이어그램의 Heegaard 거리를 1로 감소시켜 더 효율적인 계산을 가능하게 하는 것.
• knot 다이어그램 구성에 대한 납득할 만한 추측 하에 수정된 알고리즘이 Manolescu-Ozsváth-Sarkar 알고리즘보다 더 나은 시간 복잡도를 달성할 수 있음을 보여주는 것.

제안 방법

• 단계 1: 기저점 $z$ 또는 $w$를 포함하지 않는 이등변 삼각형(기저점이 없는 큰 삼각형)을 손가락 이동(finger moves)을 사용해 제거한다.
• 단계 2: 핸들을 부착하여 악성도(badness)를 줄이고 다이어그램를 단순화함으로써 비디스크 영역(non-disk regions)을 제거한다.
• 단계 3: 모든 악성 영역에 핸들을 부착하여 Heegaard 거리를 1로 줄이며, $Z$로 향하는 모든 경로가 최대 한 개의 $\beta$-곡선만 가로질러야 하도록 보장한다.
• 단계 4: 다이어그램를 완전히 깔끔한 다이어그램(nice diagram)으로 변환하기 위해 수정된 Sarkar-Wang 절차를 적용한다.
• 수정된 알고리즘을 사용하여 $\partial\partial_{\alpha}^{-1}$, 상대적인 Alexander 및 Maslov 등급, 그리고 호모로지 계산을 위한 미분(differential)을 계산한다.
• 각 단계를 거치며 정점 수의 증가와 종수의 증가를 추적하여 총 시간 복잡도를 유계화하며, 최종적으로 $O(v^{15g})2^{O(g)}$ 시간으로 끝낸다.

실험 결과

연구 질문

• RQ1 Sarkar-Wang 알고리즘의 $\widehat{HFK}$ 계산에 대한 다이어그램 단순화 과정을 수정함으로써 계산 복잡도를 줄일 수 있는가?
• RQ2 핸들 부착을 통해 Heegaard 거리를 1로 줄이는 것이 알고리즘 효율성에 상당한 향상을 가져오는가?
• RQ3 수정된 Sarkar-Wang 알고리즘이 Manolescu-Ozsváth-Sarkar 알고리즘보다 시간 복잡도 측면에서 언제 더 빠른가?
• RQ4 터널 수가 $\tau$인 knot에 대해 종수 $\tau+1$인 Heegaard 다이어그램을 $O(k)$개의 정점으로 다항 시간 내에 구성할 수 있는가? 여기서 $k$는 교차 수이다.
• RQ5 터널 수가 유계인 knot에 대해 수정된 Sarkar-Wang 알고리즘이 Manolescu-Ozsváth-Sarkar 알고리즘보다 점근적으로 더 빠른가?

주요 결과

• 수정된 Sarkar-Wang 알고리즘은 종수 $g$와 $v$개의 정점을 가진 Heegaard 다이어그램을 최대 $v' = v2^{O(g)}$개의 정점을 가진 깔끔한 다이어그램으로 변환한다.
• 수정된 알고리즘을 사용해 깔끔한 다이어그램을 계산하는 데 걸리는 시간은 $O(v')$이며, 이는 최종 다이어그램의 정점 수에 대해 다항식 시간이다.
• 수정된 알고리즘을 사용해 $\widehat{HFK}$를 계산하는 총 시간 복잡도는 $O(v^{15g})2^{O(g)}$로 유계되며, 여기서 $v$는 초기 정점 수이고 $g$는 종수이다.
• 추측 1에 따르면 (터널 수가 $\tau$인 knot에 대해 종수 $\tau+1$인 다이어그램을 $2^{O(k)}$개의 정점으로 $2^{O(k)}$ 시간 내에 구성할 수 있다면), 알고리즘은 $2^{O(k)}$ 시간 내에 실행된다.
• 추측 2에 따르면 (같은 다이어그램를 $O(k)$ 시간 내에 구성할 수 있다면), 알고리즘은 $k$에 대해 다항식 시간 내에 $\widehat{HFK}$를 계산하며, 이는 $2^{O(k\log k)}$ 시간이 소요되는 Manolescu-Ozsváth-Sarkar 알고리즘보다 더 빠르게 작동한다.