[論文レビュー] Hopf algebras and Tutte polynomials

Thomas Krajewski, Iain Moffatt+1 more|arXiv (Cornell University)|Aug 4, 2015

Advanced Combinatorial Mathematics参考文献 38被引用数 4

ひとこと要約

本稿は、削除および縮約操作を備えた組合せ的対象に対して、普遍的なホップ代数の枠組みを導入し、チュッテ型多項式を自然に構成する。ホップ代数の準同型および双対性を用いて定義された普遍的なチュッテ多項式により、古典的およびトポロジカルなグラフ多項式—ボロバース＝リアイアン、クリュシュカル、ペネロープ、ラス・ヴェルナス多項式—が特別な場合として得られることを示している。主な貢献は、削除・縮約の再帰的性質、双対性、畳み込み公式といった共通の性質を持つ、一様で構造を保つ多項式の普遍的かつ普遍的な構成法であり、これらを一つの代数的形式的枠組みで統一している。

ABSTRACT

By considering Tutte polynomials of Hopf algebras, we show how a Tutte polynomial can be canonically associated with combinatorial objects that have some notions of deletion and contraction. We show that several graph polynomials from the literature arise from this framework. These polynomials include the classical Tutte polynomial of graphs and matroids, Las Vergnas' Tutte polynomial of the morphism of matroids and his Tutte polynomial for embedded graphs, Bollobas and Riordan's ribbon graph polynomial, the Krushkal polynomial, and the Penrose polynomial. We show that our Tutte polynomials of Hopf algebras share common properties with the classical Tutte polynomial, including deletion-contraction definitions, universality properties, convolution formulas, and duality relations. New results for graph polynomials from the literature are then obtained as examples of the general results. Our results offer a framework for the study of the Tutte polynomial and its analogues in other settings, offering the means to determine the properties and connections between a wide class of polynomial invariants.

研究の動機と目的

• 削除および縮約操作を備えた多様な組合せ的対象に対して、「チュッテ多項式」とは何かを定義する根本的問題に取り組む。
• ホップ代数の構造を用いて、普遍的かつ一様なチュッテ型多項式の構成を行う。
• 古典的チュッテ多項式およびそのトポロジカルな類似物（ボロバース＝リアイアン、クリュシュカル、ペネロープ、ラス・ヴェルナス多項式）を、一つの代数的枠組みで統一する。
• ホップ代数の手法により、これらの多項式が共有する構造的性質（例：削除・縮約、双対性、畳み込み）を確立する。
• トポロジカルなチュッテ多項式における曖昧さを解消し、それらが普遍的構成の制限された特別な場合として生じることを示す。

提案手法

• 削除、縮約、直和の操作を備えた組合せ的対象（例：グラフ、デルタマトロイド、リボングラフ）のマイナー系を定義する。
• 同型類の自由ベクトル空間からホップ代数 H を構成し、コプロダクト Δ を削除および縮約により定義する。
• 削除・縮約の挙動を符号化する線形汎関数（選択子）δa, δb, δc を H 上に導入し、普遍的性質を用いてチュッテ多項式を定義する。
• デルタマトロイドにおける双対性およびねじれ双対性を用いて、双対な対象のコプロダクトの関係を確立し、ホップ代数構造と整合性を保つ。
• コプロダクトと選択子を含む畳み込み方程式の普遍的解として、普遍的チュッテ多項式が生じることを証明する。
• 具体的な例（例：リボングラフ、マトロイド、マトロイドの準同型）にこの枠組みを適用し、既知の多項式が特別な場合として回復されることを示す。

実験結果

リサーチクエスチョン

• RQ1 組合せ的対象がホップ代数の構成により普遍的チュッテ多項式を有するためには、どのような条件を満たしている必要があるか？
• RQ2 古典的チュッテ多項式およびそのトポロジカルな類似物（例：ボロバース＝リアイアン、クリュシュカル、ペネロープ）を、一つの代数的枠組みで統一できるか？
• RQ3 埋め込みグラフに対して、なぜ異なるトポロジカルチュッテ多項式（例：ラス・ヴェルナス、ボロバース＝リアイアン、クリュシュカル）が存在するのか、それらの関係は何か？
• RQ4 ホップ代数の形式的枠組みにおいて、これらの多項式が共有する構造的性質（例：双対性、畳み込み、削除・縮約）は何か？
• RQ5 ペネロープ多項式は、この枠組みにおいて普遍的チュッテ多項式として導出可能か？その場合、どのような条件下で成立するか？

主な発見

• リボングラフの2変数ペネロープ多項式は、ホップ代数 Hper の普遍的チュッテ多項式として実現され、α(a,b)(G) = x₁^ξ(D) y₂^{|E|−ξ(D)} ˜PD(y₁/x₁ + 1, x₂/y₂ + 1) となる。ここで a = (√(x₁x₂), x₁, x₂), b = (√(y₁y₂), y₁, y₂) である。
• デルタマトロイドのためのホップ代数 Hpe の普遍的チュッテ多項式は、2変数ボロバース＝リアイアン多項式であり、α(a,b)(D) = x₁^ξ(D) y₂^{|E|−ξ(D)} ˜PD(y₁/x₁ + 1, x₂/y₂ + 1) である。
• この枠組みにより、デルタマトロイドにおける3つのマイナー操作（削除、縮約、ねじれ縮約）が生成するのは、唯一2つの異なるチュッテ多項式であることが示された：ボロバース＝リアイアン多項式およびペネロープ多項式。
• Hper の普遍的チュッテ多項式は、ホップ代数の双対性 ∗ を用いて、双対性関係 ˆα(ˆa,ˆb)(D) = α(a,b)(D*) を満たし、この構成においてペネロープ多項式が自己双対であることを証明する。
• 選択子 δa が条件 a₁ = √(a₂a₃) の下で一様である場合、クリュシュカル多項式は普遍的チュッテ多項式の制限された特別な場合として回復される。
• ペネロープ多項式 PG(λ) が、PG(λ) = λ^{c(G)} PD(G)(λ) を満たすように、デルタマトロイド多項式に比例することが示され、2変数版 ˜PG(x,y) は Hper の枠組みにおいて普遍的チュッテ多項式として導出された。