結び目の不変量 — ほどけるかどうかを、多項式が言い当てる

3本の糸を14回組んで閉じたトーラス結び目 T(3,7) のロゼット — トーラス結び目 T(3,7)。3本の糸を7回ひねって輪に閉じたもの——ロープをドーナツの表面に巻きつけた形。1本の糸でできていて、どうやってもほどけない

なにか

ポケットから出したイヤホンのケーブルを見て、私たちはいつも同じ問いを立てている——これは引っぱればほどけるのか、それとも本当に結ばれているのか。人間は絵を睨んで勘で答えるが、数学はこの問いに機械的な答えを持っている。

難しさは「同じ結び目の絵が無限にある」ことにある。糸をどうくねらせても結び目そのものは変わらない（ライデマイスターの3つの移動）。だから欲しいのは絵を変えても値が動かない量＝不変量。1984年、V. ジョーンズは作用素環（フォン・ノイマン環）の研究をしていて、まったく別の目的の計算から結び目の不変量が落ちてくることに気づいた。これがジョーンズ多項式で、彼はこの発見でフィールズ賞を受けた。

この作品は、その多項式を自分で計算する装置。V(結び目) ≠ 1 なら、その糸は絶対にほどけない——絵をいくら描き替えても無駄だ、と証明できる。

交差の数は、結び目の性質ではない

3交差の三つ葉結び目、6交差だが同じ三つ葉、6交差だが正体は自明な結び目 — 左＝三つ葉結び目（3交差）。中＝交差を3つ足しただけの、同じ三つ葉（6交差）。右＝6交差もあるのに、引っぱればただの輪に戻る。中と右は絵がよく似ているが、多項式は `t + t³ − t⁴` と `1` ではっきり違う

中央の絵は左と同じ結び目（安定化と共役という変形で交差を足しただけ）。右の絵は、自明な輪から同じ種類の変形だけで作った——だから正体は必ずただの輪。目で見分けるのはほぼ不可能だが、多項式は一発で仕分ける。逆に言えば「交差が6つある絵」は「6回結ばれている」ことを意味しない。

結び目図鑑

自明な結び目・三つ葉・8の字・ホップ絡み目・五葉結び目・T(3,4) — 上段: 自明な結び目 / 三つ葉 3₁ / 8の字 4₁　下段: ホップ絡み目 2²₁ / 五葉結び目 5₁ / T(3,4)=8₁₉

自明な結び目 V = 1 — ほどける輪の基準点
三つ葉 3₁ = T(2,3) V = t + t³ − t⁴ — 1 ではない＝ほどけないことの証明。しかも V(t) ≠ V(1/t) なので鏡像と別物（キラル）＝右巻きの三つ葉は左巻きに変形できない
8の字 4₁ V = t⁻² − t⁻¹ + 1 − t + t² — 式が t ↔ 1/t で対称。実際この結び目は鏡像と同じ（アンフィキラル）
ホップ絡み目 2²₁ V = −t^1/2 − t^5/2 — 輪が2本の絡み目では t の指数が半整数になる
五葉 5₁ = T(2,5) V = t² + t⁴ − t⁵ + t⁶ − t⁷
T(3,4) = 8₁₉ V = t³ + t⁵ − t⁸ — 交差8個なのに項は3つだけ。トーラス結び目 T(3,q) はいつも3項になる

100年の予想が、この多項式で落ちた

19世紀の物理学者 P.G. テイトは結び目の表を作りながら、こう予想した——交代図式（糸をたどると上・下・上・下と必ず交互になる絵）で、無駄な交差がなければ、その交差の数がその結び目の最小交差数である。当たり前に見えて、100年間だれも証明できなかった。1987年、カウフマン・村杉・シスルスウェイトはジョーンズ多項式のスパン（最高次 − 最低次）がちょうど交差数に等しいことを示し、予想を落とした。

この作品でも機械検査している: T(2,n) の交代図式（n = 2〜9）で span V = n がぴたり成立。対照に、同じ交差数でも交代でない絵（右のスパイラル）では span V = 0 になり、定理の前提が効いていることが見える。ケルト装飾の織りが必ず交代になるのは、この定理が使える形をしているということでもある。

どう作ったか

計算は L. カウフマンのブラケット状態和。各交差を2通り（A・B）に「平滑化」して糸を切り開くと、交差ゼロの輪だけが残る。2^交差数通りすべてについて「A の回数 − B の回数」と「残った輪の本数」を数え、d = −A² − A⁻² を輪の本数−1 乗して足し上げる。最後にライズ（交差の符号の和）で正規化し、A = t^−1/4 を代入するとジョーンズ多項式になる。係数はすべて整数のまま扱う（丸めゼロ）。

図式は「閉組紐」から作る: n 本の糸を並べ、σ_j（j 番目が j+1 番目の上を通る）の列で編み、上端と下端を繋ぐ。トーラス結び目 T(p,q) は (σ₁σ₂…σ_p−1)^q の閉じ方そのもの。

機械検査は15件。①既知の多項式7件と一致（自明・三つ葉・8の字・ホップ・5₁・T(3,4)・T(3,5)）②鏡像の法則 V_鏡(t) = V(1/t) が5例で厳密成立し、三つ葉はキラル・8の字は対称③マルコフ安定化・共役・R2挿入で絵を変えても多項式不変④連結和で積になる V(K₁#K₂)=V(K₁)V(K₂) ⑤スケイン関係式 t⁻¹V(L₊) − tV(L₋) = (t^1/2−t^−1/2)V(L₀) ⑥スパン定理（交代 T(2,n) で span=交差数・非交代では不成立）⑦トーラス結び目の閉形式 V(T(p,q)) = t^{(p−1)(q−1)/2}(1 − t^p+1 − t^q+1 + t^p+q)/(1−t²) が総当たりの結果と9組で一致（割り算は余りゼロ）。

→ 結ばれた輪（かけ算第12号）——この多項式でケルト装飾の糸の正体を突き止める

→ 組紐と最大公約数（糸の本数＝gcd。閉じ方はこの作品のトーラス絡み目と同じ）

→ 非周期のケルト装飾（交代性＝スパン定理が使える形）

出典

数理: V.F.R. Jones, "A polynomial invariant for knots via von Neumann algebras", Bull. AMS 12 (1985) 103–111。状態和は L.H. Kauffman, "State models and the Jones polynomial", Topology 26 (1987) 395–407。スパン定理は Kauffman / K. Murasugi / M.B. Thistlethwaite（いずれも 1987・テイトの予想 1898 の解決）
生成: generators/jones.js（ローラン多項式の整数演算・Union-Find による状態ごとの輪の計数・閉組紐の極座標ロゼット描画。すべて依存ゼロ）