[論文レビュー] Recipes for Edge-Transitive Tetravalent Graphs

Steve Wilson, Primož Potočnik|arXiv (Cornell University)|Aug 14, 2016

Advanced Graph Theory Research参考文献 25被引用数 7

ひとこと要約

本稿では、512頂点以下の辺推移的四価グラフの包括的リストを提示し、それらを生成するパラメータ化された族（例：$C_n(1,a)$、${\rm BC}_n(a,b,c,d)$、${ olimits}{\rm AMC}(k,n,M)$）を導入・統合する。構成のレシピを提供し、族間の関係を特定し、それらを発見するために用いられた計算技術を概説する。主な結果として、同定範囲内におけるダート推移的および1/2弧推移的グラフの完全性が得られている。

ABSTRACT

This paper is to accompany the Census of Edge-Transitive Tetravalent Graphs, available at jan.ucc.nau.edu/~swilson/C4FullSite/index.html, which is a collection of all known edge-transitive graphs of valence 4 up to 512 vertices. The Census contains information for each graph. This information includes parameters such as group order, diameter, girth etc., all known constructions, relations to other graphs in the Census and intersting substructures such as colorings, cycle structures, and dissections. We try to present most graphs as members of one or more parameterized families, and one purpose of this paper is to gather together, here in one place, descriptions of each of these families, to show how each is constructed, what the history of each is and how one family is related to another. We also discuss in this paper the theory and techniques behind computer searches leading to many entries in the Census.

研究の動機と目的

• 512頂点以下の既知のすべての辺推移的四価グラフを収集・体系化し、包括的な同定リストを構築すること。
• 辺推移的例を生成するパラメータ化された四価グラフ族を統合・記述すること。
• 異なるグラフ族間の関係を明確にし、構造的関係を同定すること。
• このようなグラフを発見するための計算技術と理論的基盤を提供すること。
• 辺推移的四価グラフの分類に関する未解決問題と研究方向を特定すること。

提案手法

• 本稿は、$C_n(1,a)$、${\rm BC}_n(a,b,c,d)$、${\rm AMC}(k,n,M)$ などのパラメータ化された族を用いて、辺推移的四価グラフを構築する。各族は頂点集合と辺集合を明確に定義する。
• 特に、自己同型群の作用をダーツ、辺、頂点上で分析することで、群論的手法を適用し、対称性の種類（ダート推移的、1/2弧推移的、半推移的）を分類する。
• 一貫したサイクル理論とビッグス＝コンウェイの定理を用いて、ダート推移的グラフにおける対称性の軌道構造を分析する。
• 理論的分類が不完全な場合に特に、パラメータ空間を探索するための計算探索技術を用いる。
• BGCG（基本的グラフ構成法）、DG、HC、TAG を用いて、3価グラフやマップから新しいグラフを生成する。
• LR 構造を用いて半推移的グラフを構築するツールとして導入し、一貫したサイクル軌道と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 ${\rm AMC}(k,n,M)$、${\rm MSZ}(m,n;k,r)$、${\rm CPM}(n,s,t,r)$ のようなグラフが、どのパラメータ値で辺推移的または LR 構造を持つのか。
• RQ2 一般のメタサーキュラントのクラスをどのようにパラメータ化できるか。また、いつダート推移的または1/2弧推移的となるか。
• RQ3 $a^2 \equiv \pm 1 \pmod{n}$ を満たすとき、トーラスグラフが ${\mathcal{C}}_n(1,a)$ と同型になる条件は何か。
• RQ4 2つのスパイダーグラフが同型になる条件は何か。完全な同型定理を確立できるか。
• RQ5 メタサーキュラントと同じ図式を持つが、それらと同型でないグラフ（例：${\rm PS}$、${\rm MPS}$）が存在する理由は何か。このような例外を分類できるか。

主な発見

• 同定リストには、512頂点以下の既知のすべての辺推移的四価グラフが含まれており、この範囲内でのすべてのダート推移的および1/2弧推移的グラフも含まれている。
• ダート推移的四価グラフは、ビッグス＝コンウェイの定理により、正確に3つの一貫したサイクル軌道を持つ。
• 1/2弧推移的四価グラフは、ビッグス＝コンウェイ理論の後続の一般化により、正確に2つの一貫したサイクル軌道を持つ。
• 半推移的グラフについては、リストに欠落がない限り同定が完全である。もし欠落しているグラフが存在するなら、それは半推移的でなければならない。
• ${\rm AMC}(k,n,M)$ や ${\rm MSZ}(m,n;k,r)$ のようないくつかのパラメータ化された族は、辺推移性について未分類のままであり、未解決問題を示している。
• ${\rm KE}_{12}(1,3,8,5,1}$ のようなグラフは、メタサーキュラントと同じ図式を持つが、それらと同型でないことが判明し、稀な例外ケースを明らかにした。