[論文レビュー] A systematic classification of knotoids on the plane and on the sphere

Dimos Goundaroulis, Julien Dorier+1 more|arXiv (Cornell University)|Feb 19, 2019

Geometric and Algebraic Topology参考文献 21被引用数 12

ひとこと要約

本稿では、5交差以下の素性平面結び目数および6交差タイプを含む$S^2$-結び目数の体系的分類を提示する。新規の二重数表記と、ループ矢印多項式や二重被覆といった不変量を用いて、156個の素性$S^2$-結び目数、13種の回転可能タイプ、2種の強くアキラルタイプを同定した。二重被覆法は、同相類を区別する能力において、ループ矢印多項式を上回ることが示された。

ABSTRACT

In this paper we generate and systematically classify all prime planar knotoids with up to 5 crossings. We also extend the existing list of knotoids in $S^2$ and add all knotoids with 6 crossings.

研究の動機と目的

• 5交差以下のすべての素性平面結び目数を体系的に分類し、$S^2$-結び目数の分類を6交差タイプまで拡張すること。
• 最小交差数と拡張ガウスコードの全順序に基づく、平面および$S^2$両ケースに適用可能な一貫性のある二重数表記を考案すること。
• 平面および球面設定における回転可能、アキラル、強くアキラルな結び目数タイプの同定と枚挙すること。
• ループ矢印多項式と二重被覆法の、結び目数同相類を区別する能力を比較すること。
• 人工的な閉じ込みを伴わない結び目数を用いた、くねりくねったタンパク質構造の解析のための計算的・トポロジー的枠組みを提供すること。

提案手法

• 二重数表記を導入し、最初の数が最小交差数、2番目の数がその交差クラス内での順位（実現可能な拡張ガウスコードの全順序に基づく）を表す。
• 分類は、反転および3つの対称性自己同型（対称性、鏡像反転、回転）に関して行う。
• 結び目数の同相類を区別するために、ループ矢印多項式と二重被覆法を適用する。
• $S^2$における6交差までのすべての素性結び目数を体系的に生成・分類するアルゴリズムを実装し、先行の表と照合する。
• 分類の完全性と一貫性を保証するため、拡張ガウスコードと同相不変量を活用する。
• ループ矢印多項式と二重被覆不変量の間で、同相類の区別能力を計算的に比較する。

実験結果

リサーチクエスチョン

• RQ1 5交差以下の素性平面結び目数はいくつ存在し、新しい表記体系を用いてどのように体系的に分類されるか？
• RQ2 ループ矢印多項式と比較して、二重被覆法は結び目数同相類を区別する際にどの程度の強力な能力を示すか？
• RQ3 どの結び目数が回転可能、アキラル、または強くアキラルであり、これらの性質は平面と$S^2$-結び目数の間でどのように異なるか？
• RQ4 $S^2$-結び目数表に以前に欠落していたり分類されていなかった結び目数は存在するか？6交差まで完全に分類を拡張できるか？
• RQ5 結び目数の分類は、従来の結び目閉じ込み法よりも、より正確で幾何学的性質を保ったまま、くねりくねったタンパク質のトポロジー的特徴づけを可能にするか？

主な発見

• 著者らは、6交差までの156個の素性$S^2$-結び目数を同定し、そのうち13個が回転可能、3個がアキラル、2個が強くアキラルなタイプである。
• 二重被覆法は1121個の同相類を区別したのに対し、ループ矢印多項式は916個の同相類を区別した。
• ループ矢印多項式は、二重被覆法が分離に失敗する2組の結び目数—$\mathbf{2_5}$と$\mathbf{5_{146}}$、$\mathbf{3_7}$と$\mathbf{4_{37}}$—を正しく区別できた。
• 分類は、先行の$S^2$-結び目数表に欠落していた結び目数$\mathbf{5_{24}}$の存在を確認し、以前の研究の結果を裏付けた。
• 二重数表記は、平面および$S^2$-結び目数の両方で一貫しており、結び目型の結び目数に対するRolfsen表と整合する。
• 本研究は、6交差までのすべての素性$S^2$-結び目数の完全かつ検証済みのリストを提供し、回転可能タイプは表7および付録Bに明示的に記載されている。