[論文レビュー] Extending the Tutte and Bollobás-Riordan Polynomials to Rank 3 Weakly-Colored Stranded Graphs

Rémi Cocou Avohou, Joseph Ben Geloun+1 more|arXiv (Cornell University)|Jan 9, 2013

Advanced Combinatorial Mathematics参考文献 17被引用数 8

ひとこと要約

本稿は、ルビンおよび抽象グラフの一般化であるランク3弱彩色済みストラントグラフに対して、7変数多項式不変量を導入する。これは、トゥッテ多項式およびボロバース＝ライオーダン多項式を一般化し、量子重力に関連するより広いクラスのテンソルグラフモデルにおける位相的・組合的データを、従来の多項式では表現できない形で捉える。

ABSTRACT

The Bollobás-Riordan polynomial [Math. Ann. 323, 81 (2002)] is a universal polynomial invariant for ribbon graphs. We find an extension of this polynomial for a particular family of combinatorial objects, called rank 3 weakly-colored stranded graphs. Stranded graphs arise in the study of tensor models for quantum gravity in physics, and generalize graphs and ribbon graphs. We present a seven-variable polynomial invariant of these graphs, which obeys a contraction/deletion recursion relation similar to that of the Tutte and Bollobás-Riordan polynomials. However, it is defined on a much broader class of objects, and furthermore captures properties that are not encoded by the Tutte or Bollobás-Riordan polynomials.

研究の動機と目的

• テンソルモデルにおける量子重力のフェルミオン図に由来するより広いクラスの組合的対象へ、トゥッテおよびボロバース＝ライオーダン多項式不変量を一般化すること。
• 収縮／削除再帰関係を満たすランク3弱彩色済みストラントグラフの多項式不変量を定義すること。
• 元のトゥッテおよびボロバース＝ライオーダン多項式では符号化されていない、位相的および組合的情報を捉えること。
• これらのグラフにおける辺操作（収縮およびカット）が安定して閉じているフレームワークを確立すること。
• テンソルモデルにおける多項式不変量の統一的代数的構造を提供し、非彩色およびハイブリッドグラフタイプの新しい不変量を可能にすること。

提案手法

• 物理的および位相的特徴をモデル化するため、半辺付きストラントグラフ（HEGs）を基礎的構造として導入し、半辺を伴う抽象グラフを一般化する。
• 面構造および可定向性を組み込むために、リボン半辺付きグラフ（HERGs）を定義し、ボロバース＝ライオーダン多項式を半辺付きリボングラフへ拡張する。
• 辺の収縮に関して閉じているようにするため、弱彩色（w-colored）ストラントグラフを導入し、提案された操作に対してクラスが安定であることを保証する。
• 収縮およびカット（削除の置換）に基づく線形再帰によって定義される7変数多項式不変量 $\mathfrak{T}_{\mathscr{G}}(x, \{\beta_e\}, z, s, q, t)$ を提案する。
• GurauおよびTanasaの手法を改善し、操作下でもグラフ構造を保持する、修正されたアクティブ／パasive収縮スキームを採用する。
• スパンニングc部分グラフの和および端末形の解析を用いて多項式を再帰的に計算し、明示的な例を通じて一貫性を検証する。

実験結果

リサーチクエスチョン

• RQ1 トゥッテおよびボロバース＝ライオーダン多項式不変量は、テンソルモデルおよび量子重力フェルミオン図に由来するより広いクラスのグラフへ拡張可能か？
• RQ2 ランク3ストラントグラフに対して、再帰的多項式不変量を支持するための一貫性のある収縮および削除操作は何か？
• RQ3 弱彩色ストラントグラフはどのように定義すれば、辺の収縮に関して閉じており、普遍的多項式不変量を支持できるか？
• RQ4 拡張された多項式は、元のトゥッテおよびBR多項式では捉えきれない、どのような新しい位相的および組合的情報を捉えているか？
• RQ5 新しい多項式の再帰関係は、非彩色およびハイブリッドグラフタイプに対しても一貫して適用可能で検証可能か？

主な発見

• 本稿は、ランク3弱彩色済みストラントグラフに対する7変数多項式不変量 $\mathfrak{T}_{\mathscr{G}}$ を構成し、トゥッテおよびボロバース＝ライオーダン多項式を一般化する収縮／削除再帰関係を満たすことを示した。
• 不変量は線形再帰により定義される： $\mathfrak{T}_{\mathscr{G}} = \mathfrak{T}_{\mathscr{G} \vee e} + x\beta_0 \mathfrak{T}_{\mathscr{G}/e}$ であり、$\mathscr{G} \vee e$ はカット操作、$\mathscr{G}/e$ は収縮を表し、$\beta_0$ は辺の色に関連する。
• ランク3彩色テンソルグラフ $\mathscr{G}$ に対して、多項式は $\mathfrak{T}_{\mathscr{G}} = \beta_1\beta_2\beta_3 xz_1^3z_2z_3^3sw^3q^3t^2 + (\beta_1\beta_2 + \beta_1\beta_3 + \beta_2\beta_3)xz_1z_3^4sw^4q^6t^4 + (\beta_1 + \beta_2 + \beta_3)xz_3^5sw^5q^9t^6 + z_3^8s^2w^8q^{12}t^8$ に評価される。
• 非彩色で平面的と似た弱彩色グラフ $\mathscr{G}_{\mathfrak{f}^0}$ に対して、多項式は $\mathfrak{T}_{\mathscr{G}_{\mathfrak{f}^0}} = [xz^{10}sw^5q^9t^6 + xyz^9sw^4q^6t^4 + 2z^2w^2q^6t^4 + 3yzwq^3t^2 + y^2]z^{14}sw^5q^9t^6$ として計算された。
• 再帰の一貫性は、$\mathfrak{T}_{\mathscr{G}_{\mathfrak{f}^0}} = \mathfrak{T}_{\mathscr{G}_{\mathfrak{f}^0} \vee e_2} + \mathfrak{T}_{\mathscr{G}_{\mathfrak{f}^0}/e_2}$ を示すことで確認され、部分グラフの明示的評価により一致する結果が得られた。
• GurauおよびTanasaの先行研究を一般化し、特に弱彩色グラフを閉じたクラスとして用いることで、テンソルグラフモデルにおける辺操作のより安定的かつ体系的なアプローチを提供した。