[论文解读] Graph properties of graph associahedra

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

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

一句话总结

本文研究了圖形associahedra的1-骨架的直徑與哈密頓性，將經典associahedra與交錯多面體的結果推廣。本文證明直徑在圖形包含關係下非遞減，建立tubing中測地線的結構性性質，並透過遞歸拼接固定根子圖的循環，構造圖形associahedra的哈密頓圈，將已知結果推廣至廣泛的圖形與nestohedra類別。

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.

研究动机与目标

• 將經典associahedra與交錯多面體在直徑與哈密頓性方面的已知結果推廣至更廣泛的圖形associahedra類別。
• 探討圖形associahedra中測地線是否保持在由其共同上集所張成的面內（非離開面性質），特別是針對嵌套tubing。
• 將tubing與測地線的結構性結果推廣至nestohedra家族。
• 透過沿橋接點遞歸組合固定根子圖的循環，構造圖形associahedra中的哈密頓圈。
• 利用圖形zonotope與已知的associahedra結果，建立圖形associahedra直徑的緊緻邊界。

提出的方法

• 使用嵌套複形作為圖形associahedra的面格，其中頂點對應至最大tubing，邊對應於它們之間的翻轉。
• 應用直徑非遞減性質：若 G ⊆ G'，則 δ(F(G)) ≤ δ(F(G'))
• 證明任一位於兩tubing之間測地線上的tubing，皆包含其包含偏序集的共同上集。
• 透過沿圖中邊對應的橋接點，遞歸拼接來自固定根子圖（F_u(G)）的循環，構造哈密頓圈。
• 利用經典associahedra與圖形zonotope的已知結果，推導圖形associahedra直徑的下界。
• 使用Schlegel圖與小圖案（最多6個頂點）的案例分析，驗證複雜配置下的哈密頓性。

实验结果

研究问题

• RQ1 圖形associahedra的1-骨架直徑是否在圖形包含關係下非遞減？
• RQ2 圖形associahedra中兩tubing之間的所有測地線是否都保持在由其共同上集所張成的面內？
• RQ3 能否透過遞歸組合來自固定根子圖的循環，在任一圖形associahedra的1-骨架中構造出哈密頓圈？
• RQ4 以頂點數與邊數表示時，圖形associahedra直徑的最緊致已知邊界為何？
• RQ5 短翻轉與固定根子圖之間的衝突如何影響哈密頓圈的構造？能否系統性地解決？

主要发现

• 圖形associahedra的1-骨架直徑在圖形包含關係下非遞減：若 G ⊆ G'，則 δ(F(G)) ≤ δ(F(G'))。
• 位於兩tubing之間測地線上的任一tubing，皆包含其包含偏序集的共同上集，提供最短路徑的結構性約束。
• 對於具有 n+1 個頂點與 e 條邊的連通圖 G，圖形associahedra的直徑滿足不等式 2n−4 ≤ δ(F(G)) ≤ (n+1)(n+2)/2 − 3，其中下界在 n ≥ 9 時為緊緻。
• 只要子圖對齊得當，即可透過沿橋接點遞歸拼接來自固定根子圖的哈密頓圈，在圖形associahedra的1-骨架中構造出哈密頓圈。
• 對於所有最多6個頂點且具有特定邊集的連通圖，作者透過案例分析與Schlegel圖驗證了哈密頓性，包含存在衝突短翻轉的複雜配置。
• 圖形zonotope的直徑提供了對應圖形associahedra直徑的下界，此用於精煉整體直徑邊界。