[論文レビュー] Graph properties of graph associahedra

Thibault Manneville, Vincent Pilaud|arXiv (Cornell University)|Sep 29, 2014

Advanced Combinatorial Mathematics参考文献 19被引用数 6

ひとこと要約

本稿は、古典的アソシアヘドラとパーミュタヘドラの一般化として、グラフアソシアヘドラの1スケルトンの直径およびハミルトニアン性を調査する。グラフの包含関係に関して直径が非減少であることを示し、チューブイングにおける測地線に関する構造的性質を証明し、固定根部分グラフの再帰的接合を用いてハミルトニアン閉路を構成することで、広範なグラフおよびネストヘドラクラスへの既知の結果の拡張を達成する。

ABSTRACT

A graph associahedron is a simple polytope whose face lattice encodes the nested structure of the connected subgraphs of a given graph. In this paper, we study certain graph properties of the 1-skeleta of graph associahedra, such as their diameter and their Hamiltonicity. Our results extend known results for the classical associahedra (path associahedra) and permutahedra (complete graph associahedra). We also discuss partial extensions to the family of nestohedra.

研究の動機と目的

• 古典的アソシアヘドラおよびパーミュタヘドラの直径およびハミルトニアン性に関する既知の結果を、より広範なグラフアソシアヘドラのクラスへと拡張すること。
• 測地線が、特にネストされたチューブイングに対して、共通の上位集合が張る面から外れない（非面外れ性）かどうかを調査すること。
• チューブイングおよび測地線に関する構造的結果をネストヘドラの族へ一般化すること。
• ブリッジに相当する辺を介して、固定根部分グラフからのサイクルを再帰的に結合することで、グラフアソシアヘドラの1スケルトンにハミルトニアンサイクルを構成すること。
• グラフィカルゾノトープと既知のアソシアヘドラに関する結果を用いて、グラフアソシアヘドラの直径に対するタイトな境界を確立すること。

提案手法

• 頂点が最大チューブイングに、辺がそれらの間のフラップに一致するように、グラフアソシアヘドラの面ラティスとしてネスト複体を用いる。
• 直径が非減少である性質を適用：G ⊆ G' ならば δ(F(G)) ≤ δ(F(G')) が成り立つ。
• 2つのチューブイング間の測地線上にある任意のチューブイングは、それらの包含ポセットの共通上位集合をすべて含むことを証明する。
• グラフに属する辺に対応するブリッジに沿って、固定根部分グラフ（F_u(G)）からのサイクルを再帰的に接合することで、ハミルトニアンサイクルを構成する。
• 古典的アソシアヘドラおよびグラフィカルゾノトープに関する既知の結果を活用し、グラフアソシアヘドラの直径に対する下界を導出する。
• 6頂点以下の小さなグラフについて、シュレーゲル図と事例解析を用いて、複雑な構成におけるハミルトニアン性を検証する。

実験結果

リサーチクエスチョン

• RQ1 グラフアソシアヘドラの1スケルトンの直径は、グラフの包含関係に関して非減少か？
• RQ2 2つのチューブイング間の測地線は、それらの共通上位集合が張る面から外れないか？
• RQ3 固定根部分グラフからのサイクルを再帰的に結合することで、任意のグラフアソシアヘドラの1スケルトンにハミルトニアンサイクルを構成できるか？
• RQ4 頂点数および辺数の観点から、グラフアソシアヘドラの直径に対する最もタイトな既知の境界は何か？
• RQ5 短いフラップと固定根部分グラフとの間の競合は、ハミルトニアンサイクルの構成にどのように影響するか？ そして、それらは体系的に解消可能か？

主な発見

• グラフアソシアヘドラの1スケルトンの直径は、グラフの包含関係に関して非減少である：G ⊆ G' ならば δ(F(G)) ≤ δ(F(G')) が成り立つ。
• 2つのチューブイング間の測地線上にある任意のチューブイングは、それらの包含ポセットの共通上位集合をすべて含む。これは、最短経路に対する構造的制約を提供する。
• n+1 個の頂点と e 条の辺を持つ連結グラフ G に対して、グラフアソシアヘドラの直径は不等式 2n−4 ≤ δ(F(G)) ≤ (n+1)(n+2)/2 − 3 を満たす。n ≥ 9 のとき、下界はタイトである。
• 適切に整列された固定根部分グラフからのハミルトニアンサイクルをブリッジに沿って再帰的に接合することで、グラフアソシアヘドラの1スケルトンにハミルトニアンサイクルが存在する。
• 6頂点以下の連結グラフおよび特定の辺集合に対して、著者らはシュレーゲル図と事例解析を用いてハミルトニアン性を検証した。これは、競合する短いフラップを含む複雑な構成に対しても適用可能である。
• グラフィカルゾノトープの直径は、対応するグラフアソシアヘドラの直径に対する下界を提供する。この性質が、全体の直径境界の精緻化に用いられている。