[論文レビュー] On perfect colorings of the halved 24-cube

Denis S. Krotov|ArXiv.org|Mar 2, 2008

graph theory and CDMA systems参考文献 3被引用数 3

ひとこと要約

本稿は、24-立方体の偶数半分（H²⁴ₑᵥₑₙ）における完全2色分けの研究を行っている。パラメータ行列 ((20 + c, 256 − c)(c, 276 − c)) に対応する固有値20を持つ色分けに注目し、c = 3 から 128 までで c = 1, 2, 4, 5, 7, 10, 13 を除くすべてのcに対してそのような色分けが存在することを示している。一方、c = 1, 2, 4, 5, 7 に対しては存在しないことを証明している。これらの結果は、スペクトルグラフ理論と、二進空間における等衡分割および球詰めの組み合わせ的構成に基づいている。

ABSTRACT

A vertex 2-coloring of a graph is said to be perfect with parameters $(a_{ij})_{i,j=1}^k$ if for every $i,j\in\{1,...,k\}$ every vertex of color $i$ is adjacent with exactly $a_{ij}$ vertices of color $j$. We consider the perfect 2-colorings of the distance-2 graph of the 24-cube $\{0,1\}^{24}$ with parameters $((20+c,256-c)(c,276-c))$ (i.e., with eigenvalue 20). We prove that such colorings exist for all $c$ from 1 to 128 except 1, 2, 4, 5, 7, 10, 13 and do not exist for $c=1, 2, 4, 5, 7$. Keywords: perfect coloring, equitable partition, hypercube, halved n-cube

研究の動機と目的

• .
• 固有値20を持つ24-立方体の偶数半分における完全2色分けの許容可能なパラメータcの完全な集合を特定すること。
• パラメータ ((20 + c, 256 − c)(c, 276 − c)) の存在問題を、大多数のcについて存在を証明し、特定の値について非存在を示すこと。
• 等衡分割および球詰めの議論を用いて、このような色分けに課される構造的制約を確立すること。

提案手法

• .
• 本稿は、24-立方体（距離1グラフ）の完全色分けと、その距離2グラフ（偶数半分の24-立方体）の完全色分けとの関係をスペクトルグラフ理論を用いて関係づけている。
• 重要な補題を適用し、超立方体の完全色分けが、変換されたパラメータをもつ距離2グラフに対しても完全色分けを誘導することを示している。
• 二進空間 {0,1}^24 における組み合わせデザインおよび球詰めを用いて、明示的な色分けを構成している。
• c = 1,2,4,5,7 について、隣接頂点の数え上げと球の交差解析に基づく背理法を用いて非存在を証明している。
• 互いに素な色分けを同じ固有値を持つものとして統合するための統一補題を用いて、新たな有効な色分けを構築している。

実験結果

リサーチクエスチョン

• RQ1 .
• RQ2 パラメータ ((20 + c, 256 − c)(c, 276 − c)) を持つ、偶数半分の24-立方体における完全2色分けが、どのcの値について存在するか。
• RQ3 c = 1,2,4,5,7,10,13 において、許容可能なパラメータのスペクトルにギャップが生じる理由は何か。
• RQ4 特定のc値に対してこのような色分けが存在できない構造的制約（球の交差や偶奇性など）は何か。

主な発見

• .
• パラメータ ((20 + c, 256 − c)(c, 276 − c)) を持つ完全2色分けは、すべてのc ∈ {3,6,8,9,11,12} ∪ {14,15,…,128} に対して存在する。
• c = 1, 2, 4, 5, 7 に対しては、隣接頂点の数え上げと球の交差解析に基づく背理法により、そのような色分けは存在しないことが証明されている。
• c = 10 および c = 13 については未解決であり、許容可能なパラメータのスペクトルにギャップが存在することを示している。
• 色分けが球の和集合である場合、c ≥ 25 または c が3の倍数であることが存在の必要条件である。
• 色分けの特性関数は固有値20を持つ完全色分けであり、これにより偶数半分の24-立方体のスペクトル的性質と関連づけられる。