[論文レビュー] Some algebraic properties of bipartite Kneser graphs

S. Morteza Mirafzal, Ali Zafari|arXiv (Cornell University)|Apr 12, 2018

Finite Group Theory Research参考文献 9被引用数 7

ひとこと要約

本稿は二部グラフケネザー群 $H(n,k)$ の代数的性質を調査し、それらが弧推移的であることを証明し、$H(n,1)$ の自己同型群を $\mathrm{Sym}([n]) \times \mathbb{Z}_2$ として特定している。さらに、$H(n,1)$ がケイリー群であることを示し、一般の $k$ に対する自己同型群に関する未解決の問題を提起している。得られた結果は、ネットワーク設計および代数的グラフ理論において重要な対称性と構造的性質を確立する。

ABSTRACT

Let $n$ and $k$ be integers with $n> k\geq1$ and $[n] = \{1, 2, ... , n\} $. The $bipartite \ Kneser \ graph$ $H(n, k)$ is the graph with the all $k$-element and all ($n-k$)-element subsets of $[n] $ as vertices, and there is an edge between any two vertices, when one is a subset of the other. In this paper, we show that $H(n, k)$ is an arc-transitive graph. Also, we show that $H(n,1)$ is a distance-transitive Cayley graph. Finally, we determine the automorphism group of the graph $H(n, 1)$ and show that $Aut(H(n, 1)) \cong Sym([n] )$ $ imes \mathbb{Z}_2$, where $\mathbb{Z}_2$ is the cyclic group of order $2$. Moreover, we pose some open problems about the automorphism group of the bipartite Kneser graph $H(n, k)$.

研究の動機と目的

• 二部グラフケネザー群 $H(n,k)$ の自己同型群を調査すること、特に $k=1$ の場合に焦点を当てる。
• $H(n,k)$ がすべての $k$ に対して弧推移的かつ頂点推移的であるかどうかを特定すること。
• $H(n,k)$ の構造的および対称性の性質を調査すること、連結性および正則性を含む。
• $H(n,1)$ がケイリー群であるかどうかを確立し、その自己同型群を特徴づけること。
• 一般の $k$ に対する $H(n,k)$ の自己同型群に関する未解決の問題を提起すること。

提案手法

• 部分集合への置換作用の使用：$\theta \in \mathrm{Sym}([n])$ に対して、$k$-部分集合および $(n-k)$-部分集合への誘導写像 $f_\theta$ を定義する。
• $f_\theta$ が $H(n,k)$ の自己同型であることを証明し、群の埋め込み $\psi: \mathrm{Sym}([n]) \to \mathrm{Aut}(H(n,k))$ を確立する。
• 補集合写像 $\alpha(v) = v^c$ を定義し、これが $H(n,k)$ の自己同型であり、すべての $f_\theta$ と可換であることを示す。
• $\alpha \notin \mathrm{im}(\psi)$ を示し、$\alpha$ がいかなる置換によっても誘導されないことを証明し、これにより直積構造を構成する。
• 軌道-安定化子定理と $|\mathrm{Aut}(H(n,1))|$ の上限を用いて、$|\mathrm{Aut}(H(n,1))| \leq 2n!$ を証明し、$2n!$ の位数の部分群を構成することで等号を示す。
• $\mathrm{Aut}(H(n,1)) \cong \mathrm{Sym}([n]) \times \mathbb{Z}_2$ を、$\psi$ の像と $\langle \alpha \rangle$ の直積として証明する。ここで、部分群は可換であり、正規である。

実験結果

リサーチクエスチョン

• RQ1 すべての $n > k \geq 1$ に対して、二部グラフケネザー群 $H(n,k)$ は弧推移的か？
• RQ2 $H(n,1)$ の自己同型群は何か？ そして、完全に特徴づけられるか？
• RQ3 $H(n,1)$ はケイリー群か？ もしそうなら、どの群と生成集合に関してか？
• RQ4 一般の $k$ に対して、$H(n,k)$ の自己同型群は $\mathrm{Sym}([n]) \times \mathbb{Z}_2$ と同じ構造を持つか？
• RQ5 $n \neq 2k$ となるすべての $n$ および $k$ に対して、$H(n,k)$ の自己同型群を特定できるか？

主な発見

• $H(n,k)$ はすべての $n > k \geq 1$ に対して弧推移的であり、最大の接続性と高い対称性を示している。
• $H(n,1)$ の自己同型群は $\mathrm{Sym}([n]) \times \mathbb{Z}_2$ に同型であり、ここで $\mathbb{Z}_2$ は位数 2 の巡回群である。
• グラフ $H(n,1)$ はケイリー群であり、具体的には $\mathrm{Cay}(\mathbb{D}_{2n}, \Omega)$ に同型である。ここで $\mathbb{D}_{2n}$ は二面体群であり、$\Omega = \{ab, a^2b, \dots, a^{n-1}b\}$ である。
• $\mathrm{Aut}(H(n,1))$ の位数は $2n!$ であり、この上限は直積構成によって達成され、タイトである。
• 補集合写像 $\alpha(v) = v^c$ は $H(n,1)$ の自己同型であり、すべての置換誘導自己同型と可換であり、$\mathrm{Sym}([n])$ の像に属さない。
• 本稿は、$n \neq 2k$ のとき $\mathrm{Aut}(H(n,k)) \cong \mathrm{Sym}([n]) \times \mathbb{Z}_2$ が成り立つかどうかという未解決の問題を提起している。