[论文解读] 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的可實現高斯圖與梅安德圖進行了枚舉，並將其計數與突變交替扭結的類別關聯，為OEIS貢獻了新序列，包括高斯圖的A343358與梅安德圖的A338660。

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貢獻了新項，實現與扭結理論資料庫的交叉驗證。