[論文レビュー] Characterization of generalized Petersen graphs that are Kronecker covers

Matjaž Krnc, Tomaž Pisanski|arXiv (Cornell University)|Feb 20, 2018

Finite Group Theory Research被引用数 4

ひとこと要約

この論文は、一般化されたペテルセングラフ $G(n,k)$ がクノーナー被覆（$K_2$ とのテンソル積による双対被覆）であるものすべてを特徴づけ、その商グラフの構造を特定する。主な結果は完全な分類である：$G(n,k)$ がクノーナー被覆であるための必要十分条件は、$k^2 \equiv 1 \pmod{n}$ かつ $n \mid \frac{k^2 - 1}{2}$ であり、このとき商グラフは $k$ の偶奇に応じて特定の LCF 表記グラフ $C^+(n,k)$ または $C^-(n,k)$ に同型である。この分類により、このようなグラフがクノーナー被覆であるのは $n$ が奇数である場合に限ることが明らかになり、その条件下で商グラフは一意的であることが判明する。

ABSTRACT

The family of generalized Petersen graphs $G(n, k)$, introduced by Coxeter et al. [4] and named by Mark Watkins (1969), is a family of cubic graphs formed by connecting the vertices of a regular polygon to the corresponding vertices of a star polygon. The Kronecker cover $\mathrm{KC}(G)$ of a simple undirected graph $G$ is a a special type of bipartite covering graph of $G$, isomorphic to the direct (tensor) product of $G$ and $K_2$. We characterize all the members of generalized Petersen graphs that are Kronecker covers, and describe the structure of their respective quotients. We observe that some of such quotients are again generalized Petersen graphs, and describe all such pairs.

研究の動機と目的

• 一般化されたペテルセングラフ $G(n,k)$ が他のグラフのクノーナー被覆であるものすべてを特定すること。
• 一般化されたペテルセングラフ $G(n,k)$ に対してクノーナー被覆操作を施した際に得られる商グラフの構造を特徴づけること。
• パラメータ $(n,k)$ のうち、$G(n,k)$ がクノーナー被覆である場合を分類すること、特に商グラフが一意的となる条件に焦点を当てる。
• 一般化されたペテルセングラフとそのクノーナー被覆との関係を調査すること、特に被覆自身が一般化されたペテルセングラフである場合に注目する。

提案手法

• 論文は、クノーナー被覆をテンソル積 $G \times K_2$ として定義し、一般化されたペテルセングラフの双対被覆を生成する。
• 被覆操作の下での商グラフを定義する2次元の自己同型（クノーナー対合）を分析する。
• 著者らは、LCF 表記を用いて $C^+(n,k)$ と $C^-(n,k)$ という2つのグラフ族を定義し、$G(n,k)$ のクノーナー被覆における商グラフを表現する。
• 分類は、$k^2 \equiv 1 \pmod{n}$ および $n \mid \frac{k^2 - 1}{2}$ という合同条件の解法に依拠しており、これが $G(n,k)$ がクノーナー被覆をもつための条件を決定する。
• 群論的議論により、クノーナー対合の集合が同値類に分割されることを示し、与えられた条件下でその同値類の数がちょうど1つであることを示す。
• 加法群 $\mathbb{Z}/m\mathbb{Z}$ の構造を用いて対合の軌道を分析し、商グラフの一意性を確立する。

実験結果

リサーチクエスチョン

• RQ1 パラメータ $(n,k)$ がどのような値のとき、一般化されたペテルセングラフ $G(n,k)$ が他のグラフのクノーナー被覆となるか？
• RQ2 一般化されたペテルセングラフ $G(n,k)$ がクノーナー被覆である場合、その商グラフの構造はどのようになるか？
• RQ3 一般化されたペテルセングラフ $G(n,k)$ がクノーナー被覆である場合、その商グラフが一意的となる条件は何か？
• RQ4 クノーナー被覆 $\mathrm{KC}(G(n,k))$ が自身一般化されたペテルセングラフであるのはどのようなときか？
• RQ5 一般化されたペテルセングラフ $G(n,k)$ の対称性および自己同型群は、クノーナー被覆およびその商グラフとどのように関係するか？

主な発見

• 一般化されたペテルセングラフ $G(n,k)$ がクノーナー被覆であるための必要十分条件は、$k^2 \equiv 1 \pmod{n}$ かつ $n \mid \frac{k^2 - 1}{2}$ である。
• $k \equiv 1 \pmod{4}$ のとき、$G(n,k)$ のクノーナー被覆における商グラフは、LCF 表記で定義された $C^+(n,k)$ に同型である。
• $k \equiv 3 \pmod{4}$ のとき、商グラフは LCF 表記で定義された $C^-(n,k)$ に同型である。
• 与えられた条件下で、クノーナー対合の同値類の数がちょうど1つであるため、商グラフは一意的である。
• クノーナー被覆 $\mathrm{KC}(G(n,k))$ が一般化されたペテルセングラフであるのは、$n$ が奇数である場合に限る。
• $n$ が偶数のとき、クノーナー被覆 $\mathrm{KC}(G(n,k))$ は一般化されたペテルセングラフではなく、$k$ の偶奇に応じて2つの既知のクラスのいずれかに属する。