[論文レビュー] Sampling Lissajous and Fourier knots

Adam Boocher, Jay Daigle+2 more|ArXiv.org|Jul 28, 2007

Geometric and Algebraic Topology参考文献 2被引用数 7

ひとこと要約

本稿では、周波数および位相空間解析を用いて、リサージュおよびフーリエ結び目のための効率的なサンプリングアルゴリズムを開発し、14折り以下の2橋結び目がすべてリサージュ結び目またはフーリエ-(1,1,2)結び目であることを証明するとともに、16折り以下のねじれ結び目およびトーラス結び目がすべてフーリエ-(1,1,2)結び目であることを示し、このような結び目の既知の表を著しく拡張した。また、フーリエ-(1,1,k)クラスにおいてすべての結び目を記述するのに k ≤ 2 で十分である可能性を示唆している。

ABSTRACT

A Lissajous knot is one that can be parameterized by a single cosine function in each coordinate. Lissajous knots are highly symmetric, and for this reason, not all knots are Lissajous. We prove several theorems which allow us to place bounds on the number of Lissajous knot types with given frequencies and to efficiently sample all possible Lissajous knots with a given set of frequencies. In particular, we systematically tabulate all Lissajous knots with small frequencies and as a result substantially enlarge the tables of known Lissajous knots. A Fourier (i, j, k) knot is similar to a Lissajous knot except that each coordinate is now described by a finite sum of i, j, and k cosine functions respectively. According to Lamm, every knot is a Fourier-(1,1,k) knot for some k. By randomly searching the set of Fourier-(1,1,2) knots we find that all 2-bridge knots up to 14 crossings are either Lissajous or Fourier-(1,1,2) knots. We show that all twist knots are Fourier-(1,1,2) knots and give evidence suggesting that all torus knots are Fourier-(1,1,2) knots. As a result of our computer search, several knots with relatively small crossing numbers are identified as potential counterexamples to interesting conjectures.

研究の動機と目的

• 位相空間解析を用いて、小さな周波数を持つリサージュ結び目を体系的に列挙・分類すること。
• すべての結び目が小さな k に対してフーリエ-(1,1,k)結び目として表現可能かどうかを調査すること、特に k ≤ 2 であるかを検討すること。
• 低クロッシング数の結び目の新たな実現を同定することで、リサージュおよびフーリエ結び目の既知の表を拡張すること。
• 計算的サンプリングを用いて、すべてのトーラス結び目がフーリエ-(1,1,2)結び目であるという予想を検証すること。
• 対称性条件を満たすがリサージュでない結び目を探索することで、既存の予想に対する反例を同定すること。

提案手法

• 位相トーラス [0,2π]×[0,2π] を分析し、異なる結び目タイプに対応するパラメータ空間の領域に分割する。
• 位相空間における対称性と周期性を活用し、サンプリングする必要がある異なる構成の数を削減する。
• 変数変換 t → t + c を適用して φx = 0 を固定し、計算を効率化するためのパラメータ空間を (φy, φz) に削減する。
• 振幅および位相の範囲を制限したランダムサンプリングを用い、複雑さを制御しながらフーリエ-(1,1,2)結び目を探索する。
• Knotscape を用いて、サンプル化されたパラメータ集合から結び目を同定し、16折り以下の結び目を対象とする。
• 適切な位相と周波数の調整により、ねじれ結び目およびトーラス結び目をフーリエ-(1,1,2)結び目に明示的にパラメータ化する。

実験結果

リサーチクエスチョン

• RQ1 14折り以下のすべての2橋結び目は、リサージュ結び目またはフーリエ-(1,1,2)結び目に実現可能か？
• RQ2 すべてのねじれ結び目は、リサージュでない場合でもフーリエ-(1,1,2)結び目に表現可能か？
• RQ3 16折り以下のすべてのトーラス結び目 T_{p,q} は、n_x = p、n_y = q、z成分が2つのコサイン項を用いてパラメータ化可能か？
• RQ4 すべての結び目がフーリエ-(1,1,k)結び目として表現可能であるような普遍的な上限 M が存在するか？もしそうなら、M = 2 で十分か？
• RQ5 強プラスアンフィチェイラルまたは軸がリンクする2周期的であるという対称性条件を満たすがリサージュでない結び目はどれか？

主な発見

• 14折り以下のすべての2橋結び目は、リサージュ結び目またはフーリエ-(1,1,2)結び目である。後者クラスは、サンプル内の非リサージュ2橋結び目をすべてカバーする。
• すべてのねじれ結び目はフーリエ-(1,1,2)結び目である。T_{4n+1} および T_{2n} については、k = 2 で明示的なパラメータ化が提供された。
• 16折り以下のすべてのトーラス結び目 T_{p,q} は、n_x = p、n_y = q、z成分に2つのコサイン項を用いたフーリエ-(1,1,2)結び目に成功裏にパラメータ化された。
• 結び目 12a427 がリサージュ結び目であることが確認され、強プラスアンフィチェイラルな結び目の未解決数は1つ（10a121）に減少した。
• 大規模な探索により、16折り以下の素数結び目約数千個が同定され、すべての交差数10の交代結び目（20個を除く）がすべてフーリエ-(1,1,2)パラメータ化によって得られた。
• T_{p,q} が n_z,1 = p および n_z,2 = q - p を用いてフーリエ-(1,1,2)結び目に表現可能であるという予想が提示され、広範な計算的証拠によって支持された。