[論文レビュー] Hypercellular graphs: partial cubes without $Q_3^-$ as partial cube minor

Victor Chepoi, Kolja Knauer+1 more|arXiv (Cornell University)|Jun 7, 2016

Advanced Graph Theory Research参考文献 32被引用数 5

ひとこと要約

この論文は、3次元超立方体から1つの頂点を除いたもの（$Q_3^-$）を部分超立方体マイナーとして含まない部分超立方体であるハイパセルラルグラフを導入する。著者らは、これらのグラフが、辺と偶数長のサイクルのカルテジアン積のゲート付きアンマニエーションによって形成される凸部分グラフによって特徴づけられることを証明し、中間グラフとセルラルグラフを一般化する。主な結果として、これらは有向マトロイドのゾノトープ的COMのトープグラフであり、中間セル性質を満たすことが示され、セルラルグラフの自然な高次元一般化であることが確立される。

ABSTRACT

We investigate the structure of isometric subgraphs of hypercubes (i.e., partial cubes) which do not contain finite convex subgraphs contractible to the 3-cube minus one vertex $Q^-_3$ (here contraction means contracting the edges corresponding to the same coordinate of the hypercube). Extending similar results for median and cellular graphs, we show that the convex hull of an isometric cycle of such a graph is gated and isomorphic to the Cartesian product of edges and even cycles. Furthermore, we show that our graphs are exactly the class of partial cubes in which any finite convex subgraph can be obtained from the Cartesian products of edges and even cycles via successive gated amalgams. This decomposition result enables us to establish a variety of results. In particular, it yields that our class of graphs generalizes median and cellular graphs, which motivates naming our graphs hypercellular. Furthermore, we show that hypercellular graphs are tope graphs of zonotopal complexes of oriented matroids. Finally, we characterize hypercellular graphs as being median-cell -- a property naturally generalizing the notion of median graphs.

研究の動機と目的

• $Q_3^-$ を部分超立方体マイナーとして含まない部分超立方体を特徴づけること。
• 中間グラフとセルラルグラフから得られる構造的結果を、より広い部分超立方体のクラスへ一般化すること。
• 頂点数が有限な凸部分グラフのゲート付きアンマニエーションによる分解定理を確立すること。
• ハイパセルラルグラフと有向マトロイド理論、特にゾノトープ的COMとの関係を調査すること。
• ハイパセルラルグラフが、3C条件を満たす単連結ハイパープリズム複体の1次スケルトンとして特徴づけられるかどうかを調査すること。

提案手法

• 著者らは、ハイパセルラルグラフを、辺と偶数長サイクルのカルテジアン積の逐次的ゲート付きアンマニエーションによって得られるすべての有限凸部分グラフを持つ部分超立方体として定義する。
• 特に、超立方体座標に対応する辺の縮約を用いた部分超立方体マイナーの概念を用いて、$Q_3^-$ のマイナーとしての除外を定義する。
• 証明は、凸性、ゲート付き部分グラフ、および超立方体への等長埋め込みを含む構造的グラフ理論に依拠する。
• ゲート付きアンマニエーションの概念を用いて、凸部分グラフを分解し、グローバルなグラフ構造を再構成する。
• ゾノトープ的COMのトープグラフを通じて有向マトロイド理論と結びつけ、ハイパセルラルグラフがまさにこのような複体のトープグラフであることを示す。
• ハイパセルラルグラフが、3C条件を満たす単連結ハイパープリズム複体の1次スケルトンであると予想し、CAT(0)幾何と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 $Q_3^-$ を部分超立方体マイナーとして含まない部分超立方体を特徴づける構造的性質は何か？
• RQ2 ゲート付きアンマニエーションを用いて、このようなグラフの凸部分グラフはどのように分解できるか？
• RQ3 ハイパセルラルグラフは、有向マトロイドのゾノトープ的COMのトープグラフに正確に一致するか？
• RQ4 ハイパセルラルグラフは、3C条件を満たす単連結多角形またはハイパープリズム複体の1次スケルトンとして特徴づけられるか？
• RQ5 ハイパセルラルグラフは、中間セル条件のような一般化された中間性質を満たすか？

主な発見

• ハイパセルラルグラフは、$Q_3^-$ を部分超立方体マイナーとして含まない部分超立方体のクラスに正確に一致し、マイナー閉じたクラス $\mathcal{F}(Q_3^-)$ を形成する。
• ハイパセルラルグラフの任意の有限凸部分グラフは、辺と偶数長サイクルのカルテジアン積のゲート付きアンマニエーションと同型である。
• ハイパセルラルグラフにおける任意の等長サイクルの凸包は、ゲート付きであり、辺と偶数長サイクルのカルテジアン積と同型である。
• ハイパセルラルグラフは、有向マトロイドのゾノトープ的COMのトープグラフに正確に一致する。
• 全てのハイパセルラルグラフは中間セル性質を満たし、中間グラフの中央性質を一般化する。
• ハイパセルラルグラフはヘリーグループであり、したがってバイオートマチックである。なぜなら、それらがクリーク複体（ヘリーグラフ）に幾何的に作用するからである。