[论文解读] Some algebraic properties of bipartite Kneser graphs

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

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

一句话总结

本文研究了二分Kneser图 $H(n,k)$ 的代数性质，证明其为弧传递图，并确定 $H(n,1)$ 的自同构群为 $\mathrm{Sym}([n]) \times \mathbb{Z}_2$。此外，本文还证明 $H(n,1)$ 是一个Cayley图，并提出了关于一般 $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)$.

研究动机与目标

• 研究二分Kneser图 $H(n,k)$ 的自同构群，特别是 $k=1$ 的情形。
• 确定 $H(n,k)$ 对所有 $k$ 是否为弧传递图和顶点传递图。
• 探索 $H(n,k)$ 的结构与对称性特性，包括其连通性与正则性。
• 确定 $H(n,1)$ 是否为Cayley图，并刻画其自同构群。
• 针对一般 $k$，提出关于 $H(n,k)$ 自同构群的开放问题。

提出的方法

• 使用对子集的置换作用：对 $\theta \in \mathrm{Sym}([n])$，定义 $f_\theta$ 为在 $k$-子集与 $(n-k)$-子集上诱导的映射。
• 证明 $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!$ 的子群，从而得出等式成立。
• 通过 $\psi$ 的像与 $\langle \alpha \rangle$ 的直积，证明 $\mathrm{Aut}(H(n,1)) \cong \mathrm{Sym}([n]) \times \mathbb{Z}_2$，其中两子群可交换且正规。

实验结果

研究问题

• RQ1 对所有 $n > k \geq 1$，二分Kneser图 $H(n,k)$ 是否为弧传递图？
• RQ2 $H(n,1)$ 的自同构群是什么？能否被完全刻画？
• RQ3 $H(n,1)$ 是否为Cayley图？若是，相对于哪个群与生成集？
• RQ4 对于一般 $k$，$H(n,k)$ 的自同构群是否具有与 $\mathrm{Sym}([n]) \times \mathbb{Z}_2$ 相似的结构？
• RQ5 能否对所有满足 $n \neq 2k$ 的 $n$ 与 $k$ 确定 $H(n,k)$ 的自同构群？

主要发现

• 对所有 $n > k \geq 1$，图 $H(n,k)$ 是弧传递图，表明其具有最大连通性与高度对称性。
• $H(n,1)$ 的自同构群同构于 $\mathrm{Sym}([n]) \times \mathbb{Z}_2$，其中 $\mathbb{Z}_2$ 为二阶循环群。
• 图 $H(n,1)$ 是一个Cayley图，具体同构于 $\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$ 是否对所有 $k$ 成立？