[論文レビュー] On the Harary-Kauffman Conjecture and Turk's Head Knots

Nicholas E. Dowdall, Thomas W. Mattman+2 more|ArXiv.org|Nov 1, 2008

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}$ を導出し、未解決の条件のもとでそれが合成数であることを証明すること。

提案手法

• 帰納法を用いて、$THK(m,2)$ のチェッカーボードグラフにおける全域木の数が $m$ 番目のペル数 $P_m$ に等しいことを証明する。これにより行列式が得られる。
• フォックス $p$-彩色理論を適用：結びが $p$-彩色可能であるとは、$\gcd(p, \det K) > 1$ であるときであり、予想は $\det K = p$ が素数のとき、すべての非自明な彩色が異なる色を割り当てる必要がある。
• $m$ が奇数である $THK(m,2)$ に対して、すべての非自明なフォックス $p$-彩色がすべての弧に異なる色を割り当てる、すなわちこの族に対して予想が成立することを示す。
• $m=3$ または $m$ が偶数で $n \geq 3$ の場合、チェッカーボードグラフおよび全域木の数の性質を用いて、$THK(m,n)$ の行列式が合成数であることを証明する。
• 行列式 $G_{m,n}$ の公式を、行列 $\mathbf{A}_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}$ を満たす。
• 行列式が合成数であるすべての $THK(m,n)$ に対してハリー＝コウフマン予想が成立する。これは $m=3$ または $m$ が偶数の場合、およびその場合のすべての $n \geq 3$ に該当する。
• $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$ が奇数のとき、予想が非自明に検証済みである。