[論文レビュー] Solving Infinite Kolam in Knot Theory

Yukitaka Ishimoto|arXiv (Cornell University)|Oct 10, 2007

Artificial Intelligence in Games被引用数 5

ひとこと要約

この論文は、ねじれ理論とTemperley-Lieb代数を用いて、ダイヤモンド型の点グリッド上の無限Kolamパターンの数え上げ問題を解決し、問題がNP完全でないことを示している。Kolam線をモースリンク表現としてモデル化し、代数的分解を適用することで、(1-3-1)に対して1、(1-3-5-3-1)に対して240、(1-3-5-7-5-3-1)に対して11,661,312という正確な数え上げが得られた。これは、ダイヤモンドグリッドを超えた一般化のための枠組みを提供する。

ABSTRACT

In south India, there are traditional patterns of line-drawings encircling dots, called ``Kolam'', among which one-line drawings or the ``infinite Kolam'' provide very interesting questions in mathematics. For example, we address the following simple question: how many patterns of infinite Kolam can we draw for a given grid pattern of dots? The simplest way is to draw possible patterns of Kolam while judging if it is infinite Kolam. Such a search problem seems to be NP complete. However, it is certainly not. In this paper, we focus on diamond-shaped grid patterns of dots, (1-3-5-3-1) and (1-3-5-7-5-3-1) in particular. By using the knot-theory description of the infinite Kolam, we show how to find the solution, which inevitably gives a sketch of the proof for the statement ``infinite Kolam is not NP complete.'' Its further discussion will be given in the final section.

研究の動機と目的

• 与えられたダイヤモンド型の点グリッド上で描ける1本線（無限）Kolamパターンの数を特定すること。
• 効率的な代数的手法を用いて、無限Kolamの数え上げ問題がNP完全でないことを示すこと。
• ねじれ理論とTemperley-Lieb代数を用いた数学的枠組みを確立し、Kolamパターンの体系的な列挙を行うこと。
• 特定のダイヤモンドグリッドに対して正確な数値結果を提供し、従来の計算的結果を確認および拡張すること。

提案手法

• Kolamパターンをねじれ理論におけるモースリンク表現に翻訳し、リンクの2次元的投影として表現すること。
• キャップ、カップ、置換演算子を備えた修正されたTemperley-Lieb代数を用いて、Kolamの描画プロセスをモデル化すること。
• Kolamの上部・下部図式的分解を実装し、ベクトルおよび行列表現を用いて計算複雑性を低減すること。
• Reidemeister移動と代数的関係を適用して、有効なリンク構成を簡略化および分類すること。
• 代数におけるパrameter 'a' を用いて状態空間を縮小し、全探索を回避すること。
• 対称性を考慮した演算子とデルタ収縮を導入し、位相的同値性を処理し、状態数の簡略化を行うこと。

実験結果

リサーチクエスチョン

• RQ1 ダイヤモンド型の点グリッド上で描ける、異なる1本線（無限）Kolamパターンはいくつあるか？
• RQ2 無限Kolamの数え上げ問題は多項式時間で解けるか、それともNP完全か？
• RQ3 無限Kolamパターンの位相的制約を効率的にモデル化できる代数的構造は何か？
• RQ4 ねじれ理論的手法をどのように変更すれば、全探索を避けながらKolam構成を列挙できるか？
• RQ5 Temperley-Lieb代数は、有効なKolamパスの列挙をどのように簡略化するか？

主な発見

• (1-3-1) グリッドにおける無限Kolamパターンの数は正確に1つである。
• (1-3-5-3-1) グリッドでは、異なる無限Kolamパターンの数は240であり、従来の計算結果と一致する。
• (1-3-5-7-5-3-1) グリッドでは、無限Kolamパターンの数は11,661,312であり、Yanagisawaによる独立的な確認が得られた。
• 修正されたTemperley-Lieb代数とデルタ収縮を用いた代数的還元により、全探索を回避した。
• 各段階で代数的制約を用いて無効な構成を pruning できるため、問題がNP完全でないものと予想される。
• この枠組みはダイヤモンドグリッドを超えて一般化可能であり、同じ代数的および位相的道具を用いて他のKolam構成に応用可能である。