[論文レビュー] Mosaic number of knots

Hwa Jeong Lee, Kyungpyo Hong+2 more|arXiv (Cornell University)|Jan 25, 2013

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（ジン＝キム＝コ）を適用して長方形成分を有するリンクを分析し、多成分リンクの上界を導出する。
• トーラス結び目およびプリティゼル結び目の明示的モザイク表現を構築し、より鋭い上界を導出する。

実験結果

リサーチクエスチョン

• 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) $-モザイクを生成し、主な上界の証明を裏付ける。