[論文レビュー] Graphs $4_n$ that are isometrically embeddable in hypercubes

Michel Deza, Mathieu Dutour Sikirić+1 more|ArXiv.org|Nov 16, 2004

Interconnection Networks and Systems参考文献 7被引用数 9

ひとこと要約

この論文は、超立方体に等長埋め込み可能な3正則、4および6角形面を持つ平面的グラフ（$4_n$と表記）を分類する。$l_1$-埋め込みと超立方体幾何学の性質を用いて、等長埋め込みを許すのは、立方体、六角柱、截半立方体、チャーマークドキューブ、ねじれ付きチャーマークドキューブの5つのみであり、それぞれ特定の対称性群と超立方体次元を持つことが証明された。

ABSTRACT

A connected 3-valent plane graph, whose faces are $q$- or 6-gons only, is called a {\em graph $q_n$}. We classify all graphs $4_n$, which are isometric subgraphs of a $m$-hypercube $H_m$.

研究の動機と目的

• 3正則で4および6角形面を持つ平面的グラフ（$4_n$）のうち、超立方体の等長部分グラフであるものをすべて分類すること。
• 超立方体幾何学を用いて、$l_1$-埋め込み条件を満たすようなグラフの完全な集合を同定すること。
• 超立方体への等長埋め込みを満たすのは、5つの特定の多面体的グラフに限られることを確立すること。
• 対称性、面構造、測地線パスの種類が埋め込み可能性を決定づける役割を解明すること。
• 制限された面タイプを持つ3価平面的グラフの文脈において、$l_1$-埋め込み可能なグラフの理解を拡張すること。

提案手法

• $l_1$-埋め込みと超立方体$H_m$への等長埋め込みの同値性を用い、双子グラフがこの同値性を満たすという事実を活用する。
• 超立方体$H_m$を$m$要素集合の冪集合として表現し、辺は対称差に対応する座標でラベル付けする。
• 等長埋め込みによる$4_n$グラフの辺に、それらが$H_m$に写される先に対応するラベル（座標）を割り当てる。
• 超立方体$H_m$における測地線パスはラベルを繰り返さず、ラベル集合は端点の対称差に対応することを応用する。
• パス上のラベル数の偶奇性を用いて、測地線パスの種類（ラベル集合）を特定し、非測地線パスに対しても同様に適用する。
• 面サイクルとラベルの一貫性に関する組合せ論的・幾何学的議論を用いて、非等長または非平面的構成を除外する。

実験結果

リサーチクエスチョン

• RQ1 どの3正則で4および6角形面を持つ平面的グラフ（$4_n$）が超立方体に等長埋め込み可能か？
• RQ2 面構造と対称性を考慮した場合、$4_n$グラフが$l_1$-埋め込み可能であるための必要十分条件は何か？
• RQ3 ラベルの一貫性と測地線パスの種類は、$4_n$グラフが超立方体内に取りうる構成をどのように制限するか？
• RQ4 非自明な自己同型群（例：$O_h$）を持つ$4_n$グラフのうち、超立方体への等長埋め込みが不可能なものは存在するか？
• RQ5 グラフに自己交差する領域がない場合、最大面の多角形数に等しい$t$について、$t$-埋め込み可能性が保証されるか？

主な発見

• 超立方体への等長埋め込み可能な$4_n$グラフは5つに限られる：立方体（$H_3$）、六角柱（$H_4$）、截半立方体（$H_6$）、チャーマークドキューブ（$H_7$）、ねじれ付きチャーマークドキューブ（$H_7$）。
• 立方体、六角柱、截半立方体はそれぞれゾノヘドロンであり、根格子のボロノイ多面体（$Z_3$、$A_2 \times Z_1$、$A_3^*$）である。
• チャーマークドキューブとそのねじれ版は、分類において唯一の非ゾノヘドロン$4_n$グラフであり、それぞれ$O_h$および$D_{3h}$の対称性を持つ。
• 自己同型群が$O_h$である$4_n$グラフで、210頂点以下であるものは、すべて立方体に対するゴールドバーグ＝コクサー構成によって生成され、$l_1$-埋め込み可能である。
• 面サイクルとラベル一貫性の包括的解析に基づき、上記5つのグラフ以外に、超立方体への等長埋め込みを許す$4_n$グラフは存在しないことが分類によって確認された。
• 結果は、$l_1$-埋め込み可能な$3_{n}$、$5_{n}$およびその双対グラフは、すべて既知のものに限られ、それ以上に追加の例は存在しないという予想を支持する。