[論文レビュー] Circle graphs (chord interlacement graphs) of Gauss diagrams: Descriptions of realizable Gauss diagrams, algorithms, enumeration

Abdullah Khan, Alexei Lisitsa+2 more|arXiv (Cornell University)|Aug 5, 2021

Geometric and Algebraic Topology参考文献 24被引用数 4

ひとこと要約

本稿は、円グラフ（コードの入れ違いグラフ）を用いたガウス図の実現可能性基準を再検討し、実験的検証を通じて先行理論的記述の欠陥を特定し、修正された実現可能性基準を提案するとともに、効率的な実現可能性チェックのためのアルゴリズムを導入する。本稿では、サイズ13までの実現可能なガウス図およびミーナー図を列挙し、それらの数え上げを変種交替的ケーブル・ノットの類に結びつけるとともに、ガウス図のためのA343358およびミーナー図のためのA338660という新しいOEIS列を寄与する。

ABSTRACT

Chord diagrams, under the name of Gauss diagrams, are used in low-dimensional topology as an important tool for studying curves or knots. Those Gauss diagrams that correspond to curves or knots are called realizable. The theme of our paper is the fact that realizability of a Gauss diagram can be expressed via its circle graph. Accordingly, one can define and study realizable circle graphs (with realizability of a circle graph understood as realizability of any one of chord diagrams corresponding to the graph). Several studies contain theorems purporting to prove the fact. We check several of these descriptions experimentally and find counterexamples to the descriptions of realizable Gauss diagrams in some of these publications. We formulate new descriptions of realizable circle graphs and present an elegant algorithm for checking if a circle graph is realizable. We enumerate realizable circle graphs for small sizes and comment on these numbers. Then we concentrate on one type of curves, called meanders, and study the circle graphs of their Gauss diagrams.

研究の動機と目的

• ガウス図の実現可能性とそれに対応する円グラフの間の整合性を調査すること。
• ガウス図の実現可能性基準について、既に発表されたものに誤りが存在することを特定し、是正すること。
• 与えられた円グラフが実現可能かどうかを判定するための効率的なアルゴリズムを開発すること。
• 小さなサイズにおける実現可能なガウス図およびミーナー図を列挙し、その結果得られる数列を分析すること。
• 実現可能なガウス図の円グラフと変種交替的ノットの類との関係を調査すること。

提案手法

• 著者らは、サイズ13までの非同型ガウス図をすべて生成・分析することで、既存の実現可能性基準の妥当性を実験的に検証する。
• サイズ11までを対象に置換ベースのアルゴリズム、サイズ12までを対象に段階的アルゴリズムを実装し、サイズ13ではTait曲線を用いる。
• ガウス図から円グラフを構築する際、弦を頂点とし、図の中で交差する弦同士を接続することで実現する。
• PythonのNetworkXライブラリを用いた同型性チェックを適用し、非同型ガウスグラフおよびミーナー図の分類と数え上げを実施する。
• 結果の妥当性を確認するため、特にStoimenovのノット表と照合し、変種ノット同値類との整合性を検証する。
• 理論的結果を用いて、円グラフの同型性とノットの変種移動との関係を確立し、同型な円グラフは変種移動によって関連する図に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 先行文献に記載されたガウス図の実現可能性基準は、正確かつ完全であるか？
• RQ2 与えられた円グラフが実現可能かどうかを判定するための効率的なアルゴリズムを開発可能か？
• RQ3 小さなサイズにおける実現可能なガウス図およびミーナー図の正確な数え上げは何か？ それらはノット不変量とどのように関係するか？
• RQ4 実現可能なガウス図の非同型円グラフの数と、変種ノット類の数の間に直接的な対応関係があるか？
• RQ5 実現可能なガウスグラフおよびミーナー図の数列は、ノット理論における既知の列（例えば、変種に関しての交替的ノット）と一致するか？

主な発見

• 本稿では、先行して発表された実現可能性基準に対して反例を特定し、一部の理論的記述が誤りであることを実証した。
• 実験的検証と理論的整合性に基づき、修正された円グラフの実現可能性基準を提案した。
• 円グラフの実現可能性をチェックするための効率的なアルゴリズムを開発・実装し、サイズ13までの列挙を可能にした。
• 非同型実現可能なガウスグラフの数（A343358）は、サイズ10までは交替的素ノットの数と一致するが、サイズ11で変種ノット対の影響により乖離を示す。
• A343358が、実現可能なガウス図の非同型円グラフの数および変種ノット類の数を数えることを確認し、ノット変種との理論的リンクを裏付けた。
• 実現可能なミーナー図の数（A338660）は、既知のデータと整合しており、本手法によりOEISに新たな項が寄与され、ノット理論データベースとの照合が可能になった。