[論文レビュー] Decomposing the vertex set of a hypercube into isomorphic subgraphs

Vytautas Gruslys|arXiv (Cornell University)|Nov 7, 2016

Advanced Graph Theory Research参考文献 8被引用数 8

ひとこと要約

本稿では、サイズが2の累乗である任意の超立方体 $ Q_k $ の部分誘導グラフ $ H $ が、十分に大きな $ n $ に対して $ Q_n $ の頂点集合を等長コピーに分割可能であることを証明している。この結果は、Offnerの問いに答え、$ \{0,1\}^n $ 内の組合せ的・計量的構造に基づく超立方体のタイル張りに関する先行研究を拡張する。

ABSTRACT

Let $G$ be an induced subgraph of the hypercube $Q_k$ for some $k$. We show that if $|G|$ is a power of $2$ then, for sufficiciently large $n$, the vertex set of $Q_n$ can be partitioned into induced copies of $G$. This answers a question of Offner. In fact, we prove a stronger statement: if $X$ is a subset of $\{0,1\}^k$ for some $k$ and if $|X|$ is a power of $2$, then, for sufficiently large $n$, $\{0,1\}^n$ can be partitioned into isometric copies of $X$.

研究の動機と目的

• 超立方体の誘導部分グラフ $ H $ がサイズが2の累乗である場合、大きな超立方体を頂点分割によってタイル張り可能かどうかを検討するOffnerの問いに応える。
• 与えられた部分グラフ $ H $ の同型コピーによる $ Q_n $ の頂点集合の分割が可能となる十分条件を、サイズと超立方体内への埋め込み可能性に基づき確立する。
• 誘導部分グラフに限らず、任意の $ X \subset \{0,1\}^k $ でサイズが2の累乗である集合に対しても、その結果を一般化し、$ \{0,1\}^n $ を等長コピーでタイル張り可能であることを示す。
• この問題を組合せ論におけるより広範なタイル張り予想（Chalcraftの予想およびLoncの予想）と結びつけ、新規の手法によりそれらの解決を統一する。
• グラフのべきのタイル張りにおいて、頂点推移性や計量的性質といった構造的条件の必要性を検討する。

提案手法

• $ \{0,1\}^n $ の計量的構造を用い、差のハミング重みで定義されるハミング距離をもつハミング空間として扱う。
• 大きな超立方体を、目的の部分グラフ $ X $ の構造を模倣するブロックに分解する再帰的タイル張り構成を適用する。
• 加法的組合せ論および群作用の道具を用いて、タイル張りが等長性を保ち、重複を避けることを保証する。
• より強い結果を証明する：任意の $ X \subset \{0,1\}^k $ で $ |X| = 2^m $ を満たす集合に対して、十分に大きな $ n $ に対して $ \{0,1\}^n $ を $ X $ の等長コピーに分割可能であることを示す。
• 非頂点推移的グラフ（例：$ P_3^n $）ではタイル張りが失敗することを示すために、パリティの障害を用いた議論を導入し、頂点推移性が必要条件であることを示す。
• Chalcraftの予想およびLoncの予想に関する先行研究の手法を統合し、対称的かつ構造的な部分グラフを用いて明示的なタイル張りを構成する。

実験結果

リサーチクエスチョン

• RQ1 サイズが2の累乗である固定された誘導部分グラフ $ H \subset Q_k $ に対して、十分に大きな超立方体 $ Q_n $ の頂点集合を $ H $ の誘導コピーに分割可能か？
• RQ2 十分に大きな $ n $ に対して、$ \{0,1\}^n $ を任意の $ X \subset \{0,1\}^k $（サイズが2の累乗）の等長コピーに分割可能か？
• RQ3 グラフ $ G $ にどのような構造的条件を課すと、$ G^n $ を固定された部分グラフ $ H $ の誘導コピーに分割可能になるか。特に $ |H| $ が2の累乗である場合に注目する。
• RQ4 $ P_3^n $ のような非頂点推移的グラフではタイル張りが失敗する現象は、このようなタイル張りにおいて頂点推移性が必要条件であることを示唆するか？
• RQ5 $ Q_n $ の辺集合を、固定された部分グラフ $ H $ の辺素コピーに分割可能か？その必要十分条件は何か？

主な発見

• 本稿では、任意の $ X \subset \{0,1\}^k $ で $ |X| $ が2の累乗である場合、$ \{0,1\}^n $ が $ X $ の等長コピーに分割可能であるような $ n $ が存在することを証明し、Offnerの問いに答えている。
• 明示的な構成が提示され、すべての十分に大きな $ n $ に対してこのようなタイル張りが存在することを示しており、再帰的かつ対称的な埋め込み技法によって達成されている。
• $ H $ が $ Q_k $ の誘導部分グラフでなくても、$ \{0,1\}^k $ の部分集合として等長である限り、この結果は成り立つ。
• パリティの障害を用いて、非頂点推移的グラフ（例：$ P_3^n $）では、サイズ条件を満たしていてもタイル張りが失敗することを示している。
• $ P_3^m $ において $ H $ が $ \ell $ 個の偶数頂点と $ \ell^2 - \ell $ 個の奇数頂点を持つ例を構成し、$ P_3^n $ の偶数頂点総数が $ \ell $ で割り切れないことから、タイル張りが不可能であることを示している。
• 予想10を提示し、$ |H| $ のすべての素因数が $ |G| $ に割り切れる限り、頂点推移的グラフ $ G $ に対して $ G^n $ が $ H $ の誘導コピーに分割可能であると提案している。