[論文レビュー] Minors for alternating dimaps

Graham Farr|arXiv (Cornell University)|Nov 12, 2013

Advanced Combinatorial Mathematics参考文献 21被引用数 3

ひとこと要約

この論文は、各頂点で入れ違いに向き付けられた辺をもつ向き付け可能に埋め込まれた有向グラフ（alternating dimaps）のための微小理論を展開し、トゥッテの三重性に関連する3つの微小操作を導入する。閉じたジャンルスに制限された構造の除外微小特徴付けを確立し、微小操作の非可換性を示し、単純および拡張されたトゥッテ不変量を定義し、それらが平面グラフのトゥッテ多項式を一般化することを示している。

ABSTRACT

We develop a theory of minors for alternating dimaps --- orientably embedded digraphs where, at each vertex, the incident edges (taken in the order given by the embedding) are directed alternately into, and out of, the vertex. We show that they are related by the triality relation of Tutte. They do not commute in general, though do in many circumstances, and we characterise the situations where they do. The relationship with triality is reminiscent of similar relationships for binary functions, due to the author, so we characterise those alternating dimaps which correspond to binary functions. We give a characterisation of alternating dimaps of at most a given genus, using a finite set of excluded minors. We also use the minor operations to define simple Tutte invariants for alternating dimaps and characterise them. We establish a connection with the Tutte polynomial, and pose the problem of characterising universal Tutte-like invariants for alternating dimaps based on these minor operations.

研究の動機と目的

• alternating dimapsの包括的な微小理論を構築し、古典的なグラフ微小概念を向き付け可能に埋め込まれた有向グラフへと拡張すること。
• 微小操作の非可換性を調査し、それらがいつ可換になるかを特徴づけること。
• ジャンルスが上限 g である alternating dimaps の有限除外微小特徴付けを確立すること。
• alternating dimapsの単純および拡張されたトゥッテ不変量を定義・分析し、古典的トゥッテ多項式と関連付けること。
• 新しい微小操作と三重性構造を用いて、普遍的なトゥッテに類似した不変量の可能性を検討すること。

提案手法

• alternating dimapsに3つの微小操作（1-還元、ω-還元、ω²-還元）を導入し、削除と縮約の一般化を実現する。
• これらの操作が、グラフや二進関数の理論におけるトゥッテの三重性に類似した三重性関係を満たすことを示す。
• 三重性構造を用いて、微小操作がいつ可換になるかを分析し、操作の順序独立性を保つ条件を同定する。
• 微小操作を応用し、任意の固定された g に対して、ジャンルスが g 以下の alternating dimaps の除外微小集合を有限に導出する。
• エッジの種別（ループ、コループなど）に基づく再帰的関係によって単純トゥッテ不変量を定義し、順序付きエッジ還元を用いて拡張不変量を定義する。
• alt_c(H) や alt_a(H) 上の不変量がエッジ順序に依存しないことを示し、拡張トゥッテ不変量を平面グラフのトゥッテ多項式と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 alternating dimapsにおける微小操作はどのように定義・特徴づけられ、三重性と何の関係があるのか？
• RQ2 alternating dimapsにおける3つの微小操作がいつ可換になるのか、どのような条件下で可換になるのか？
• RQ3 ジャンルスが上限 g である alternating dimaps は、有限の除外微小集合によって特徴づけられるか？
• RQ4 単純および拡張されたトゥッテ不変量の性質と限界は何か？
• RQ5 平面グラフのトゥッテ多項式が、alternating dimapsにおける拡張トゥッテ不変量の特別な場合としてどの程度回復可能か？

主な発見

• alternating dimapsにおける3つの微小操作は、トゥッテ理論および著者の二進関数に関する以前の研究と類似した三重性関係を満たす。
• alternating dimapsにおける微小操作は一般には可換でないが、関係するエッジが同じ面やスターダイアグラム構造に属さない場合には可換である。
• 任意の固定されたジャンルス g に対して、ジャンルスが g 以下の alternating dimaps のクラスには有限の除外微小特徴付けが存在する。
• alternating dimapsの単純トゥッテ不変量は範囲が限定されており、グラフやマトロイド理論におけるそれらの対応物に比べて著しく少ない情報を含む。
• 順序付きエッジ還元を用いて定義された拡張トゥッテ不変量はより豊かで、平面グラフのトゥッテ多項式を特別な場合として含む。
• 基礎となるグラフ H が4正則で、G = alt_c(H) である場合、各還元後に ω²-ループが存在するため、拡張トゥッテ不変量はエッジ順序に依存しない。