[論文レビュー] Relative Tutte Polynomials for Colored Graphs and Virtual Knot Theory

Yuanan Diao, Gábor Hetyei|ArXiv.org|Sep 7, 2009

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

ひとこと要約

本稿では、彩色グラフに対する相対的トゥッテ多項式を導入し、元のトゥッテ多項式を部分的な辺の独立した操作を許容する形に一般化する。この多項式を用いることで、仮想リンクの面グラフに対する相対的トゥッテ多項式から、特定の変数置換を施すことにより、クラフマンブラケット多項式（したがってジョーンズ多項式）を直接計算できることを確立する。これにより、仮想リンク理論におけるリボングラフ手法とは対照的に、直接的な代替手法が得られる。

ABSTRACT

We introduce the concept of a relative Tutte polynomial of colored graphs. We show that this relative Tutte polynomial can be computed in a way similar to the classical spanning tree expansion used by Tutte in his original paper on this subject. We then apply the relative Tutte polynomial to virtual knot theory. More specifically, we show that the Kauffman bracket polynomial (hence the Jones polynomial) of a virtual knot can be computed from the relative Tutte polynomial of its face (Tait) graph with some suitable variable substitutions. Our method offers an alternative to the ribbon graph approach, using the face graph obtained from the virtual link diagram directly.

研究の動機と目的

• 部分的な辺集合 H に対して、残りの辺とは異なる処理を可能にする相対的トゥッテ多項式の一般化を、ラベル付けの独立性を保ちつつ行う。
• ボロバースとライオーダンの枠組みを相対的設定に拡張し、彩色グラフに対するラベル付けに依存しない相対的トゥッテ多項式を提供する。
• 仮想リンクの面グラフの相対的トゥッテ多項式とそのクラフマンブラケット多項式との間の直接的な関係を確立する。
• リボングラフ手法とは対照的に、面グラフを直接用いることで、仮想リンクのジョーンズ多項式を計算する代替手法を提供する。
• 特に、トゥールの置換によって構成される仮想リンクに対して、ジョーンズ多項式の効率的計算を可能にする。

提案手法

• 彩色グラフ $ G $ とその辺部分集合 $ \mathcal{H} $ を持つ場合、$ T_{/mathcal{H}}(G) $ を定義する。この定義は2段階のプロセスに基づく：$ \mathcal{H} $ に属さない辺については削除・縮約を行い、残りのグラフに対して別個の規則で変数を割り当てる。
• トゥッテの元来の方法に類似したスパンニングツリー展開を採用し、ラベル順序に関する辺の活性状態を数える。これにより、ラベル付けの選択に依存しないことが保証される。
• 面グラフにおける辺の種別（ブリッジ、ループなど）に対応する変数 $ X_+, Y_+, x_+, y_+ $ を用い、値を $ X_+ = -A^{-3}, Y_+ = -A^3, x_+ = A, y_+ = A^{-1} $ と置換することで、クラフマンブラケット多項式にマッピングする。
• 仮想リンク図の面（テイト）グラフに相対的トゥッテ多項式を適用し、これらの置換のもとで $ \langle K \rangle = T_{\mathcal{H}}(G) $ が成り立つことを示す。
• 非-$ \mathcal{H} $ 辺の数に関する帰納法を用い、標準的なトゥッテの再帰関係（辺の削除・縮約）により、相対的トゥッテ多項式が辺の順序に依存しないことを証明する。
• 2つの仮想的交差を有する仮想リンクに対して、この手法を適用し、相対的トゥッテ多項式を計算。その結果が既知のクラフマンブラケット多項式およびジョーンズ多項式と一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 部分的な辺集合 $ \mathcal{H} $ に対して、ラベル付けの順序に依存しない相対的トゥッテ多項式を彩色グラフに対して定義可能か？ ただし、$ \mathcal{H} $ に属さない辺の縮約・削除が限定的に行われる場合を含む。
• RQ2 仮想リンクの面グラフの相対的トゥッテ多項式は、その対応する仮想リンクのクラフマンブラケット多項式を計算するためにどのように利用できるか？
• RQ3 相対的トゥッテ多項式は、リボングラフ手法とは対照的に、面グラフを直接用いることで、仮想リンクのジョーンズ多項式を計算する直接的かつ代替的手段を提供するか？
• RQ4 繰り返しのトゥール置換によって構成される仮想リンクに対して、相対的トゥッテ多項式を用いてジョーンズ多項式を効率的に計算可能か？
• RQ5 相対的トゥッテ多項式におけるラベル付けの独立性を保証する正確な関係の集合は何か？ これはボロバース＝ライオーダンの枠組みを一般化するものである。

主な発見

• 相対的トゥッテ多項式 $ T_{\mathcal{H}}(G) $ は、辺のラベル付け順序に依存しない。これは、トゥッテの元来のラベル付けに依存しない性質を、相対的設定に一般化したものである。
• 仮想リンク $ K $ のクラフマンブラケット多項式は、$ \langle K \rangle = T_{\mathcal{H}}(G) $ を満たす。ここで $ G $ は $ K $ の面グラフであり、変数置換 $ X_+ = -A^{-3}, Y_+ = -A^3, x_+ = A, y_+ = A^{-1} $ を適用する。
• スリップ数が 3 で、面グラフが $ G $ である仮想リンクに対して、ジョーンズ多項式は $ J_K(t) = t + t^3 - t^4 $ として計算される。これは $ \langle K \rangle = -A^{-3} + A^{-7} - A^5 $ から $ A = t^{-1/4} $ を用いて導出される。
• リボングラフの構築を必要とせず、面グラフから直接ジョーンズ多項式を計算できるため、より単純で直感的な手法が得られる。
• 相対的トゥッテ多項式は、セットポイント付きトゥッテ多項式を一般化し、従来の一般化をすべて包含する。したがって、彩色グラフに対するラベル付けに依存しない最も包括的なトゥッテ多項式である。
• この枠組みにより、繰り返しのトゥール置換によって構成される仮想リンクのジョーンズ多項式を多項式時間で計算可能となり、古典的リンク理論の結果が仮想的設定へと拡張される。