[論文レビュー] Honeycomb Toroidal Graphs

Brian Alspach|arXiv (Cornell University)|Jul 10, 2020

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

ひとこと要約

この論文は、一般化ダイヘドラル群上の3正則ケイリーグラフであるヘキサゴナルトロイダルグラフ（HTG）を研究し、その構造的性質、ハミルトン性、直径、自己同型群について考察する。トポロジカルグラフ理論および代数的グラフ理論と関連を示し、連結性およびハミルトン・レースラビリティの条件を提示するとともに、直径や自己同型群のサイズといった重要なパラメータを同定している。短い経路とGRRの特徴付けに関する未解決問題も提示している。

ABSTRACT

Honeycomb toroidal graphs are trivalent Cayley graphs on generalized dihedral groups. We examine the two historical threads leading to these graphs, some of the properties that have been established, and some open problems.

研究の動機と目的

• ヘキサゴナルトロイダルグラフ（HTG）の構造的および代数的性質を調査すること。HTGは一般化ダイヘドラル群上の3正則ケイリーグラフの族である。
• HTGの歴史的発生を、特にハミルトングラフとケイリーグラフ予想に関連して、トポロジカルグラフ理論および代数的グラフ理論の文脈から検討すること。
• HTGの主要なグラフパラメータ、たとえば直径、最短経路、自己同型群のサイズを特定すること。
• HTGに関連するグラフ理論およびアルゴリズム設計における未解決問題を同定すること。特にGRRの特徴付けと最短経路計算に関する問題を含む。

提案手法

• D_n を位数2n のダイヘドラル群とし、S を3つの反転からなる集合とする。HTGをケイリーグラフ Cay(D_n; S) としてモデル化する。ここで S = {τ, ρ^iτ, ρ^jτ} であり、0 < i < j < n を満たす。
• 群論的条件を用いる：HTG(D_n; S) が連結であるのは、gcd(n, i, j) = 1 であるときであり、構造は gcd(n, i) = m > 1 に依存する。
• m列n行のグリッド型埋め込みを用いてHTGを表現する。平坦な辺（左/右または右/左）とジャンプ辺（垂直または巡回的）を用い、ρ^jτ からの接続をモデル化する。
• 整数論的演算と巡回的ラベル付けを用い、頂点の位置と辺の遷移、特に第二の下付き添え字をnで法とするジャンプ辺をモデル化する。
• 最短経路を制約するための補題を用いる：補題6.1は、最短経路に複数のジャンプ辺が存在する場合、それらはすべて同じ方向にある必要があることを示し、経路の複雑さを低減する。
• パラメータ m, n, ℓ に関する場合分けを用いて直径の上限を導出し、既存の研究結果 [17, 19, 21] を活用して、特定のHTG族の直径値を表形式で整理する。

実験結果

リサーチクエスチョン

• RQ1 HTG(m, n, ℓ) の直径は m, n, ℓ の関数としてどのように表され、異なるパrameterの範囲でどのように変化するか？
• RQ2 HTG(m, n, ℓ) の任意の頂点間の最短経路は何か？ジャンプ辺は経路長および構造にどのように影響するか？
• RQ3 HTG(m, n, ℓ) がGRR（自己同型群のサイズが最大のグラフ、mn）であるのはいつか？m, n, ℓ に関する条件は何か？
• RQ4 パラメータに応じてHTGの自己同型群はどのように変化するか？特に、Heawoodグラフ（自己同型群の位数336）とHTG(1,14,3)（自己同型群の位数28）の間で自己同型群の位数に顕著な差が生じる理由は何か？
• RQ5 HTG(m, n, ℓ) がハミルトン・レースラブルまたはハミルトン接続可能であるための必要十分条件は何か？特に双対グラフの場合について検討する。

主な発見

• HTG(m, 6m, 3m) の直径は 2m であり、[17] で示され、本研究でも確認された。
• HTG(m, 2m, m) の直径は、m ≡ 1,4 (mod 6) のとき ⌊4m/3⌋、m ≡ 0,2,3,5 (mod 6) のとき ⌈4m/3⌉ である。これは [17] における初期の誤りを是正するものである。
• HTG(m, n, 0) の直径は、m が偶数で m ≥ n−2 のとき m であり、m が偶数で m < n−2 のとき (n+m)/2 である。
• m ≥ n/2 かつ ℓ ≡ n−m (mod n) を満たす HTG(m, n, ℓ) については、直径が max{m, ⌊(2m+n+1)/3⌋} で有界である。
• HTG(1, n, ℓ) の直径は、ℓ ≤ √n のとき 2⌊n/ℓ⌋ + 1 であり、ジャンプ辺を用いた経路長の解析から導出された。
• 定理7.1は、HTG(1, n, ℓ) がGRRであるための必要十分条件を提示する：n ≥ 18、ℓ < n/2、そして (ℓ±1)²/4 と (ℓ²−1)/4 が n/2 を法として互いに合同でない3つの合同条件を満たすこと。