[论文解读] 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$ 互素外，所有 Turk’s Head 链结 $THK(m,n)$ 的 Harary-Kauffman 猜想。证明的关键在于表明仅 $THK(m,2)$ 链结可能具有素数行列式——具体而言为 Pell 数——而对于这些情况，由于其独特的着色性质，猜想成立。在其余所有情况下，行列式为合数，因此猜想显然成立。

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.

研究动机与目标

• 验证 Turk’s Head 链结 $THK(m,n)$ 类别的 Harary-Kauffman 猜想。
• 确定哪些 $THK(m,n)$ 链结具有素数行列式，因为仅此类情况对猜想而言是非平凡的。
• 建立 $THK(m,2)$ 的行列式为第 $m$ 个 Pell 数 $P_m$，且仅当 $P_m$ 为素数时，猜想才需要非平凡验证。
• 为剩余未解情况（$m \geq 5$ 为奇数，$n \geq 3$ 与 $m$ 互素）提供支持猜想的证据。
• 推导 $THK(m,n)$ 行列式的公式 $G_{m,n}$，并证明在未解决条件下其为合数。

提出的方法

• 使用数学归纳法证明 $THK(m,2)$ 的棋盘图中生成树的数量等于第 $m$ 个 Pell 数 $P_m$，从而得到行列式。
• 应用 Fox $p$-着色理论：当且仅当 $\gcd(p, \det K) > 1$ 时，链结可被 $p$-着色；当 $\det K = p$ 为素数时，猜想要求所有非平凡着色为不同颜色。
• 证明当 $m$ 为奇数时，对所有非平凡 Fox $p$-着色，$THK(m,2)$ 的所有弧均被赋予不同颜色，从而验证该族的猜想。
• 利用棋盘图的性质与生成树计数，证明当 $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)$ 链结，其行列式为素数？在这些情况下，Harary-Kauffman 猜想是否成立？
• RQ2 能否以递推矩阵的特征值表示 $THK(m,n)$ 的行列式？当 $m \geq 5$ 为奇数且 $n \geq 3$ 时，其是否恒为合数？
• RQ3 当 $P_m$ 为素数时，Harary-Kauffman 猜想是否对 $THK(m,2)$ 成立？原因是什么？
• RQ4 是否只有 $THK(m,2)$ 家族（其中 $P_m$ 为 Pell 素数）的 Turk’s Head 链结可能具有素数行列式？
• RQ5 能否对行列式公式 $G_{m,n}$ 进行代数因式分解，以证明当 $m \geq 5$ 为奇数且 $n \geq 3$ 时其为合数？

主要发现

• $THK(m,2)$ 的行列式为第 $m$ 个 Pell 数 $P_m$，其递推关系为 $P_1=1$，$P_2=2$，$P_m = 2P_{m-1} + P_{m-2}$。
• 对于所有行列式为合数的 $THK(m,n)$，Harary-Kauffman 猜想成立，这包括所有 $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)$ 链结是 $THK(m,2)$ 且 $P_m$ 为 Pell 素数的情况；对于这些情况，当 $m$ 为奇数时，猜想已被验证成立。