[論文レビュー] The Degree-Diameter Problem for Circulant Graphs of Degree 8 and 9

Robert R. Lewis|arXiv (Cornell University)|Apr 11, 2014

Fiber-reinforced polymer composites被引用数 6

ひとこと要約

本稿は、直径を関数として定義された、次数8および9の極値巡回グラフの新しい族を構築し、従来の下界を改善する。次数8の構成がすべての直径に対して存在することを証明し、両方の族が閾値を超えるすべての直径に対して極値であると仮説を立て、次数6および7の結果を拡張する。

ABSTRACT

This paper considers the degree-diameter problem for undirected circulant graphs. The focus is on extremal graphs of given (small) degree and arbitrary diameter. The published literature only covers graphs of up to degree 7. The approach used to establish the results for degree 6 and 7 has been extended successfully to degree 8 and 9. Candidate graphs are defined as functions of the diameter for both degree 8 and degree 9. They are proven to be extremal for small diameters. They establish new lower bounds for all greater diameters, and are conjectured to be extremal. The existence of the degree 8 solution is proved for all diameters. Finally some conjectures are made about solutions for circulant graphs of higher degree.

研究の動機と目的

• 次数7を超える極値巡回グラフの構成を拡張すること。これまでのところ、次数6および7についてはChenとJiaの下界と、DoughertyとFaberの解法に限られていた。
• 直径を関数として定義された、次数8および9の巡回グラフの明示的族を構築し、既存の下界を改善すること。
• DoughertyとFaberによる次数6の証明に類似した手法を用いて、次数8のグラフ族がすべての直径に対して存在することを証明すること。
• コンピュータによる検証を根拠に、新しい族が特定の閾値を超えるすべての直径に対して極値のままであると仮説を立てること。
• 次数2から9までの極値巡回グラフの次数式における主要項に現れるパターンを特定し、より高い次数の将来的な構成に役立てる。

提案手法

• 論文は、巡回群のカイリー群として巡回グラフを定義し、生成子集合Gを用いて接続集合Cを決定し、無向かつ正則な構造を保証する。
• 次数8および9の場合、直径kをパrameterとするグラフ族を構築し、頂点数を最大化するように生成子集合を設計する。
• 次数8グラフの存在証明は4次元空間における幾何的議論を用い、基底ベクトルに相対する象限内の整数点を分析する。偶数および奇数の直径について場合分けを行う。
• 例外処理は、超平面で囲まれた領域を越えてベクトルを変換することで行い、直径制約内に存在するすべての点が到達可能であることを保証する。
• 小規模な直径に対して極値性を確認するため、コンピュータ探索を用い、グローバル極値性の仮説を支援する。
• 極値グラフの次数式における主要係数をChenとJiaの下界と比較し、偶数および奇数の次数におけるパターンを同定する。

実験結果

リサーチクエスチョン

• RQ1 直径を関数として定義した極値巡回グラフ（次数8および9）が、すべての直径でChenとJiaの下界を上回る構成が可能か？
• RQ2 DoughertyとFaberによる次数6の証明に類似した手法を用いて、次数8の極値グラフ族がすべての直径に対して存在することが証明可能か？
• RQ3 小規模な直径（閾値を超える）において、新しい次数8および9の巡回グラフ族が、実証的および理論的証拠に基づいて、すべての直径で極値のままか？
• RQ4 次数2から9までの極値巡回グラフの次数式における主要項に一貫したパターンが存在するか、特に偶数および奇数の次数において？
• RQ5 次数式における観察された係数パターンを一般化し、次数10以上における極値グラフの次数を予測できるか？

主な発見

• 本稿は、すべての直径でChenとJiaの下界を上回る、次数8および9の新しい巡回グラフ族を構築した。
• 4次元空間における詳細な幾何的議論を用いて、次数8のグラフ族がすべての直径に対して存在することを証明した。完全な証明はarXivに掲載済み。
• 閾値を超える小規模な直径において、新しい次数8および9のグラフがコンピュータ探索により極値であることが証明され、グローバル極値性の仮説を支持する。
• 次数8グラフの次数式における主要係数は1/2であり、偶数次数におけるChenとJiaの下界の係数と一致する。
• 次数9の場合、次数式の主要項はk⁴で、係数は1であり、2番目の項は0である。これは、奇数次数において観察されたパターンと整合的である。
• 本稿は、偶数次数dに対して、極値グラフ次数の主要項が(1/2)(4/f)^f k^f（f = d/2）であると仮説を立て、奇数次数dに対しては(4/f)^f k^f（f = (d-1)/2）であると仮説を立て、次数2〜9における観察されたパターンに基づく。