[논문 리뷰] Unknotting number and number of Reidemeister moves needed for unlinking

Chuichiro Hayashi, Miwa Hayashi|arXiv (Cornell University)|2010. 12. 18.

Geometric and Algebraic Topology참고 문헌 11인용 수 4

한 줄 요약

이 논문은 낫개수 기반으로 새로운 링크 다이어그램 불변량 $iu(D)$를 도입하며, 이는 어떤 Reidemeister 이동이라도 최대 2만큼 변화한다. 이 불변량을 통해 저자들은 특정 무한한 두 성분 링크 다이어그램 가족이 교차수의 $×$ 제곱 수준의 이동을 필요로 함을 증명한다. 복합 토러스 링크 낫개수에 대한 추측을 바탕으로, 이러한 다이어그램들이 분리되기 위해 제곱 수준의 이동을 필요로 함을 보이며, 풀링 복잡도에 하한을 설정한다.

ABSTRACT

Using unknotting number, we introduce a link diagram invariant of Hass and Nowik type, which changes at most by 2 under a Reidemeister move. As an application, we show that a certain infinite sequence of diagrams of the trivial two-component link need quadratic number of Reidemeister moves for being unknotted with respect to the number of crossings. Assuming a certain conjecture on unknotting numbers of a certain series of composites of torus knots, we show that the above diagrams need quadratic number of Reidemeister moves for being splitted.

연구 동기 및 목표

• Reidemeister 이동에 대해 안정적인 새로운 링크 다이어그램 불변량 $iu(D)$를 낫개수를 이용해 정의하기.
• 특정 가족의 자명한 두 성분 링크를 풀거나 분리하기 위해 필요한 Reidemeister 이동 수의 하한을 설정하기.
• Hass-Nowik 불변량 프레임워크를 낫개수 차이를 이용해 링크로 확장하기.
• 복합 토러스 링크 낫개수에 대한 추측을 전제로, 자명한 2성분 링크의 일부 다이어그램이 $×$ 제곱 수준의 이동을 필요로 함을 보여주기.

제안 방법

• 다이어그램 $D$의 모든 교차점 $p$에 대해 $iu(D) = \sum_{p \in \mathcal{C}(D)} \text{sign}(p) \cdot |u(D_p) - u(L_D)|$로 정의하며, 여기서 $D_p$는 교차점 $p$를 스무딩하여 얻은 링크이다.
• 모든 Reidemeister 이동에 대해 $iu(D)$가 최대 2만큼 변화함을 증명하며, 특정 이동 유형(예: 매칭된 RII는 최대 1)에 대해 더 견고한 하한을 제공한다.
• RI 이동에 대한 변화를 추적하고 이동 수 하한을 유도하기 위해 $iu_{\epsilon,\delta}(D) = iu(D) + \epsilon(\frac{1}{2}c(D) + \delta\frac{3}{2}w(D))$를 사용한다.
• 모든 음의 교차점 $n$개와 양의 교차점 $2n-1$개를 가진 브레이드 클로처를 통해 자명한 두 성분 링크를 나타내는 다이어그램 가족 $D_n$을 구성한다.
• III, RI, 그리고 매칭된 RII 이동의 순서를 적용하여 $D_n$을 언링크로 줄이고, 이동 수를 세어 상한을 확보한다.
• $T(2,k)\sharp T(2,-k)$ 및 $T(2,n)\sharp T(2,-n)$의 낫개수를 사용해 $iu(D_n)$를 계산하며, $n$에 대해 제곱 수준으로 증가함을 보여준다.

실험 결과

연구 질문

• RQ1 주어진 자명한 두 성분 링크 다이어그램을 풀기 위해 필요한 Reidemeister 이동의 최소 수는 얼마인가?
• RQ2 낫개수 기반의 링크 다이어그램 불변량이 이동 복잡도에 효과적인 하한을 제공할 수 있는가?
• RQ3 Reidemeister 이동에 대한 $iu(D)$의 행동은 Hass-Nowik 링크 불변량과 어떻게 비교되는가?
• RQ4 언제 링크를 분리하기 위해 필요한 이동 수가 풀기 위해 필요한 이동 수를 초과하는가?
• RQ5 복합 토러스 링크의 낫개수를 사용해 링크 다이어그램의 이동 복잡도 하한을 유도할 수 있는가?

주요 결과

• 불변량 $iu(D)$는 어떤 Reidemeister 이동이라도 최대 2만큼 변화하며, 특정 하한은 다음과 같다: RI 및 매칭되지 않은 RII는 0, 매칭된 RII는 1, RIII는 2.
• $7n-1$개의 교차점을 가진 다이어그램 $D_n$은 $2n^2 + 3n$개의 Reidemeister 이동으로 풀릴 수 있으며, 이 하한은 상수 배수 범위 내에서 정확하다.
• 불변량 $iu(D_n)$는 $2\sum_{k=1}^{n-1} u(T(2,k)\sharp T(2,-k)) + u(T(2,n)\sharp T(2,-n))$로 제곱 수준으로 증가하며, 이는 이동 수에 대한 제곱 하한을 암시한다.
• 복합 토러스 링크 $T(2,k)\sharp T(2,-k)$의 낫개수에 대한 추측을 전제로, $D_n$을 분리하기 위해 필요한 이동 수 역시 $n$에 대해 제곱 수준이다.
• $iu_{+1,+1}(D_n)$는 위치와 교차점 수의 영향으로 $3n-2$만큼 증가하며, 이 증가 추세는 제곱 하한을 뒷받침한다.
• 논문은 $|iu(D_1) - iu(D_2)|/2$가 $D_1$을 $D_2$로 변환하기 위해 필요한 매칭된 RII 및 RIII 이동 수의 하한을 제공함을 증명한다.