[論文レビュー] The distinguishing number of the augmented cube and hypercube powers

Melody Chan|ArXiv.org|Jan 14, 2006

Graph Labeling and Dimension Problems参考文献 8被引用数 7

ひとこと要約

この論文は、$p$-乗ハイパーキューブ $Q_n^p$ の区別数がすべての $2 < p < n-1$ に対して 2 に等しいことを証明することで、ハイパーキューブの $p$ 乗の区別数の分類を完了し、未解決の問題を解決した。さらに、増強ハイパーキューブ $AQ_n$ の区別数を計算し、$n \geq 4$ のとき $D(AQ_n) = 2$ であることを示した。$D(AQ_1)=2$、$D(AQ_2)=4$、$D(AQ_3)=3$ であり、区別数が上昇し、その後 2 に低下するようなグラフ列の存在についての未解決問題にも答えを提示した。

ABSTRACT

The distinguishing number of a graph G, denoted D(G), is the minimum number of colors such that there exists a coloring of the vertices of G where no nontrivial graph automorphism is color-preserving. In this paper, we show that the distinguishing number of p-th graph power of the n-dimensional hypercube is 2 whenever 2 &lt; p &lt; n-1. This completes the study of the distinguishing number of hypercube powers. We also compute the distinguishing number of the augmented cube, a variant of the hypercube, answering an open question.

研究の動機と目的

• 2 < p < n-1 のとき $Q_n^p$ の区別数について [3] で提起された未解決問題を解決すること。
• すべての $n \geq 1$ に対して増強キューブ $AQ_n$ の区別数を計算すること。
• [1] で提起された、区別数が $k \geq 4$ に上昇し、その後 2 に低下するようなグラフ列の存在に関する未解決問題に答えを提示すること。
• ハイパーキューブの $p$ 乗の区別数の分類を完了し、増強キューブと呼ばれる新しいグラフ族の区別数を特徴づけること。

提案手法

• $p$ が奇数のとき $\operatorname{Aut}(Q_n^p) \cong \operatorname{Aut}(Q_n)$ で、$p$ が偶数のとき $\operatorname{Aut}(Q_n^2)$ に同型であることを示す [10] の主要結果を活用すること。
• $\operatorname{Aut}(G_1) \subseteq \operatorname{Aut}(G_2)$ ならば $D(G_1) \leq D(G_2)$ であるという事実を用いて、$Q_n^p$ の区別数を $Q_n$ および $Q_n^2$ の区別数と関連付けること。
• 頂点の隣接関係と自己同型の不変性に基づく構造的議論を適用し、特定の頂点集合を固定する自己同型が自明であることを示すことで、$n \geq 4$ のとき $D(AQ_n) = 2$ を証明すること。
• 2進ベクトルと距離の性質に基づく場合分けを用いて、すべて0とすべて1の頂点が特定の集合 $M$ への隣接関係によって一意に特定されることを示し、これにより自己同型がそれらを固定することを強制すること。
• 既知の結果 $D(Q_n) = 2$（$n \geq 4$）および $D(Q_n^2) = 2$（$n \geq 4$）を、自己同型群の同型性と組み合わせて、$2 < p < n - 1$ のとき $D(Q_n^p) = 2$ を結論づけること。
• $AQ_1$、$AQ_2$、$AQ_3$ の区別数を、構造的解析と既知の自己同型群の性質に基づいて直接検証すること。

実験結果

リサーチクエスチョン

• RQ1 $Q_n$ を $n$ 次元ハイパーキューブとするとき、$2 < p < n - 1$ のとき $Q_n^p$ の区別数は何か？
• RQ2 すべての $n \geq 1$ に対して増強キューブ $AQ_n$ の区別数は何か？
• RQ3 [1] で提起されたように、区別数が $k \geq 4$ に上昇し、その後 2 に低下するようなグラフ列 $\{G_n\}_{n=1}^\infty$ が存在するか？
• RQ4 $2 < p < n - 1$ のとき、ハイパーキューブの $p$ 乗 $Q_n^p$ の自己同型群は、元のハイパーキューブ $Q_n$ の自己同型群とどのように関係するか？
• RQ5 特に、あるグラフの自己同型群が別のグラフのそれと同型である場合に、そのグラフの区別数はその自己同型群の構造から一意に決定できるか？

主な発見

• $2 < p < n - 1$ を満たすすべての $n$ と $p$ に対して、区別数 $D(Q_n^p) = 2$ である。これは [3] で提起された未解決問題を解決した。
• 増強キューブの区別数は、$D(AQ_1) = 2$、$D(AQ_2) = 4$、$D(AQ_3) = 3$、$D(AQ_n) = 2$（$n \geq 4$）である。
• 列 $\{D(AQ_n)\}_{n=1}^\infty$ は $n=2$ で 4 に上昇し、$n=3$ で 3 に低下し、その後 2 に安定する。これにより、[1] で提起された「上昇し、その後 2 に低下する」ような列の存在に関する未解決問題に答えを提示した。
• $2 < p < n - 1$ のとき、$p$ が奇数ならば $\operatorname{Aut}(Q_n^p) \cong \operatorname{Aut}(Q_n)$、$p$ が偶数ならば $\operatorname{Aut}(Q_n^p) \cong \operatorname{Aut}(Q_n^2)$ である。この同型性により、区別数の決定が可能になった。
• $n \geq 4$ のとき、$AQ_n$ の自己同型群は、2色塗り分けを固定する自己同型が自明なものしか存在しないように作用する。頂点の隣接関係と固定集合の構造的解析により、$D(AQ_n) = 2$ が確認された。
• 自己同型群の同型型だけでは、グラフの区別数が一意に決定されないことが確認された。$\operatorname{Aut}(Q_n^p) \cong \operatorname{Aut}(Q_n)$ であるが、$D(Q_n^p) = D(Q_n) = 2$ であり、$D(Q_n^2) = 2$ であることも示され、同型群の下では一貫性が保たれている。