[논문 리뷰] On the Harary-Kauffman Conjecture and Turk's Head Knots

Nicholas E. Dowdall, Thomas W. Mattman외 2명|ArXiv.org|2008. 11. 01.

Finite Group Theory Research참고 문헌 4인용 수 8

한 줄 요약

이 논문은 $m \geq 5$가 홀수이고 $n \geq 3$가 $m$과 서로소일 때를 제외한 모든 터크 헤드 결합 $THK(m,n)$에 대해 하라리-카우프만 추측을 증명한다. 증명은 오직 $THK(m,2)$ 결합만이 소수 행렬식을 가질 수 있으며, 특히 펠 수열의 소수일 경우에만 비로소 추측이 성립함을 보여 이는 고유한 색칠 성질 때문이며, 나머지 경우는 모두 복합 행렬식을 가지므로 추측이 자명하게 성립한다.

ABSTRACT

The m,n Turk's Head Knot, THK(m,n), is an "alternating (m,n) torus knot." We prove the Harary-Kauffman conjecture for all THK(m,n) except for the case where m \geq 5 is odd and n \geq 3 is relatively prime to m. We also give evidence in support of the conjecture in that case. Our proof rests on the observation that none of these knots have prime determinant except for THK(m,2) when P_m is a Pell prime.

연구 동기 및 목표

• 클래스 $THK(m,n)$의 터크 헤드 결합에 대해 하라리-카우프만 추측을 검증하는 것.
• 행렬식이 소수인 $THK(m,n)$ 결합을 특정화하는 것. 왜냐하면 이러한 경우들만 추측에 대해 비자명하기 때문이다.
• $THK(m,2)$의 행렬식이 $m$번째 펠 수 $P_m$와 같고, $P_m$가 소수일 때에만 추측이 비자명하게 검증이 필요함을 확립하는 것.
• 남은 열린 경우인 $m \geq 5$가 홀수이고 $n \geq 3$가 $m$과 서로소일 경우에 대해 추측을 뒷받침하는 증거를 제공하는 것.
• $THK(m,n)$의 행렬식을 나타내는 공식 $G_{m,n}$을 유도하고, 해결되지 않은 조건 하에서 복합성을 증명하는 것.

제안 방법

• 체스보드 그래프의 스패닝 트리 수가 $m$번째 펠 수 $P_m$와 같음을 귀납법으로 증명함으로써, $THK(m,2)$의 행렬식을 도출한다.
• 폭의 $p$-색칠 이론을 적용: 결합이 $p$-색칠 가능할 조건은 $\gcd(p, \det K) > 1$이며, 추측은 $\det K = p$가 소수일 때 모든 비자명한 색칠이 서로 다른 색을 부여해야 함을 요구한다.
• $m$이 홀수인 $THK(m,2)$의 경우, 모든 비자명한 폭의 $p$-색칠이 모든 호의에 서로 다른 색을 할당함을 보여, 이 가족에 대해 추측이 검증됨.
• $m=3$이거나 $m$이 짝수이며 $n \geq 3$인 경우, 체스보드 그래프의 성질과 스패닝 트리 수를 이용해 $THK(m,n)$의 행렬식이 복합임을 증명한다.
• $\mathbf{A}_m^n$ 행렬의 특성다항식을 사용하여 $THK(m,n)$의 행렬식을 나타내는 공식 $G_{m,n}$을 유도하고, $m \geq 5$가 홀수이며 $n \geq 3$인 경우에 $G_{m,n}$이 복합임을 증명한다.
• 다항식 $d_m(x)$의 근 $\alpha_i$의 대칭 함수를 이용해 $G_{m,n}$을 제곱 또는 제곱의 곱으로 인수분해함으로써, $n \geq 3$일 때 복합성을 증명한다.

실험 결과

연구 질문

• RQ1 어느 $THK(m,n)$ 결합의 행렬식이 소수이며, 하라리-카우프만 추측이 그 경우에 성립하는가?
• RQ2 $THK(m,n)$의 행렬식은 재귀 행렬의 고유값으로 표현될 수 있는가? 그리고 $m \geq 5$가 홀수이고 $n \geq 3$일 때 항상 복합인가?
• RQ3 $P_m$이 소수일 때, $THK(m,2)$에 대해 하라리-카우프만 추측이 성립하는가? 그리고 그 이유는 무엇인가?
• RQ4 행렬식이 소수인 유일한 터크 헤드 결합의 가족은 $P_m$이 펠 소수인 $THK(m,2)$ 가족인가?
• RQ5 $G_{m,n}$의 행렬식 공식을 대수적으로 인수분해하여, $m \geq 5$가 홀수이고 $n \geq 3$일 때 복합성을 보일 수 있는가?

주요 결과

• $THK(m,2)$의 행렬식은 $m$번째 펠 수 $P_m$이며, 재귀관계 $P_1=1$, $P_2=2$, $P_m = 2P_{m-1} + P_{m-2}$를 만족한다.
• 모든 $m=3$이거나 짝수인 경우, 그리고 이러한 경우에 대해 $n \geq 3$인 $THK(m,n)$의 행렬식이 복합이므로 하라리-카우프만 추측은 성립한다.
• $m \geq 5$가 홀수이고 $n \geq 3$이 $m$과 서로소일 경우, $G_{m,n}$의 행렬식은 복합임을 보여, 1보다 큰 정수의 제곱으로 인수분해함으로써 증명된다.
• $n$이 홀수이고 $n \geq 3$이면 $G_{m,n} = G_{m,1} (G'_{m,n})^2 = (G'_{m,n})^2$이며, $G'_{m,n} > 1$ 이므로 $G_{m,n}$은 복합이다.
• $n$이 짝수이고 $n \geq 4$이면 $G_{m,n} = G_{m,2} (G'_{m,n})^2$이며, $G'_{m,n} > 1$ 이므로 $G_{m,n}$은 다시 복합이다.
• 행렬식이 소수일 수 있는 유일한 $THK(m,n)$ 결합은 $P_m$이 펠 소수인 $THK(m,2)$이며, 이 경우에서 $m$이 홀수일 때 추측이 검증됨.