[논문 리뷰] Mosaic number of knots

Hwa Jeong Lee, Kyungpyo Hong외 2명|arXiv (Cornell University)|2013. 01. 25.

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

한 줄 요약

이 논문은 교차 수를 기반으로 한 링크와 뭉치의 모자자수 상한을 설정한다. 비자명하고 분리되지 않은 뭉치(허프 링크 제외)의 경우, 모자자수는 교차 수보다 1 이하이며, 소수이면서 비교형 뭉치(6^3_3 링크 제외)의 경우 교차 수보다 1 이하임을 증명한다. 결과는 아크 지수와 격자도 기법을 통해 도출되며, 프레틀젠 및 토르스 뭉치에의 응용을 통해 더 날카로운 상한을 도출한다.

ABSTRACT

Lomonaco and Kauffman developed knot mosaics to give a definition of a quantum knot system. This definition is intended to represent an actual physical quantum system. A knot $n$-mosaic is an $n imes n$ matrix of 11 kinds of specific mosaic tiles representing a knot or a link. The mosaic number $m(K)$ of a knot $K$ is the smallest integer $n$ for which $K$ is representable as a knot $n$-mosaic. In this paper we establish an upper bound on the mosaic number of a knot or a link $K$ in terms of the crossing number $c(K)$. Let $K$ be a nontrivial knot or a non-split link except the Hopf link. Then $m(K) \leq c(K) + 1$. Moreover if $K$ is prime and non-alternating except $6^3_3$ link, then $m(K) \leq c(K) - 1$.

연구 동기 및 목표

• 교차 수를 기반으로 한 링크와 뭉치의 모자자수 상한을 결정하는 것.
• 모자자수와 교차 수와 같은 고전적 뭉치 불변량 간의 관계를 조사하는 것.
• 프레틀젠 및 토르스 뭉치를 포함한 특정 뭉치 유형에 대한 상한을 개선하는 것.
• 양자 뭉치 시스템을 표현하는 데서 뭇마자수의 이해를 확장하는 것.
• 로모나코와 케이프만이 제기한 모자자수와 교차 수 관계에 대한 열린 질문을 해결하는 것.

제안 방법

• 아크 표현과 격자도를 활용하여 아크 지수를 통해 모자자수와 교차 수를 연결한다.
• 평면 위상수학과 라이드미스터 이동을 적용하여 격자도를 단순화하고 더 작은 모자자수 표현을 구성한다.
• 수직 모서리를 순환적으로 이동시키고 이동 이동을 사용하여 격자 크기를 1 줄여 (\alpha(K)-1)-모자자수를 얻는다.
• 아크 지수와 격자 지수 간의 동치성(\alpha(K) = g(K))을 이용하여 격자도에서의 상한을 모자자수로 이전한다.
• 레마 5(Jin-Kim-Ko)를 적용하여 직사각형 성분을 가진 뭉치를 분석하고 다중 성분 뭉치에 대한 상한을 유도한다.
• 토르스 및 프레틀젠 뭇마자수의 명시적 표현을 구성하여 더 날카로운 상한을 도출한다.

실험 결과

연구 질문

• RQ1 뭉치 또는 뭇마자수의 모자자수와 교차 수 사이의 관계는 무엇인가?
• RQ2 모든 비자명한 뭇마자수와 뭇마자수에 대해 모자자수는 교차 수를 기반으로 상한으로서 유계가 될 수 있는가?
• RQ3 소수이면서 비교형 뭇마자수의 상한은 비교형 또는 복합 뭇마자수의 경우와 어떻게 다를 수 있는가?
• RQ4 프레틀젠 및 토르스 뭇마자수와 같은 특정 가족에 대해 더 날카로운 상한을 설정할 수 있는가?
• RQ5 격자도와 아크 표현은 모자자수 상한을 도출하는 데 어떤 역할을 하는가?

주요 결과

• 비자명한 뭇마자수 또는 분리되지 않은 뭇마자수(허프 링크 제외)에 대해, 모자자수는 $ m(K) \leq c(K) + 1 $ 를 만족한다.
• 소수이면서 비교형 뭇마자수(6^3_3 링크 제외)에 대해 $ m(K) \leq c(K) - 1 $ 이다.
• 프레틀젠 뭇마자수 $ P(-p,q,r) $ 에 대해, $ p \geq 3 $, $ q,r \geq 4 $ 일 때 모자자수는 $ p+q+r-3 $ 이하로 유계된다.
• 토르스 뭇마자수 $ T_{p,q} $ 에 대해 $ m(T_{p,q}) \leq p+q-1 $ 이며, $ |p-q| \neq 1 $ 이면 $ \leq p+q-2 $ 이다.
• $6^3_3$ 링크는 $ c(K)-1 $ 상한의 예외이며, 교차 수가 6이지만 모자자수는 6이다.
• 격자도를 단순화하고 이동시키는 구성은 유효한 $ (\alpha(K)-1) $-모자자수를 생성하며, 이는 주요 상한을 증명한다.