[论文解读] 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 $ 的顶点集可被划分为若干个与 $ H $ 同构的等距副本。该结果解决了 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$.

研究动机与目标

• 回答 Offner 关于大小为2的幂次的超立方体诱导子图是否能通过顶点划分铺砌大超立方体的问题。
• 基于大小与在超立方体中的可嵌入性，建立 $ Q_n $ 顶点集划分为给定子图 $ H $ 的同构副本的充分条件。
• 将结果推广至任意大小为2的幂次的子集 $ X \subset \{0,1\}^k $，证明其可通过等距副本铺砌 $ \{0,1\}^n $。
• 将该问题与组合学中的更广泛铺砌猜想（包括 Chalcraft 与 Lonc 的猜想）联系起来，并利用新方法统一解决这些猜想。
• 探讨在铺砌过程中顶点传递性与度量性质等结构性条件的必要性。

提出的方法

• 利用 $ \{0,1\}^n $ 的度量结构，将其视为汉明空间，其中距离由差值的汉明权重定义。
• 采用基于将大超立方体分解为模拟目标子图 $ X $ 结构的块的递归铺砌构造。
• 运用加法组合学与群作用工具，确保铺砌保持等距性且无重叠。
• 证明更强结果：对任意满足 $ |X| = 2^m $ 的子集 $ X \subset \{0,1\}^k $，当 $ n $ 足够大时，$ \{0,1\}^n $ 可被划分为 $ X $ 的等距副本。
• 引入奇偶性障碍论证，排除在非顶点传递图（如 $ P_3^n $）中铺砌的可能性，表明顶点传递性是此类铺砌的必要条件。
• 结合先前关于 Chalcraft 与 Lonc 猜想的研究技术，通过使用对称且结构化的子图构造显式铺砌。

实验结果

研究问题

• RQ1 对于足够大的超立方体 $ Q_n $，若 $ |H| $ 为2的幂次，是否可将 $ Q_n $ 的顶点集划分为固定诱导子图 $ H \subset Q_k $ 的若干个诱导副本？
• RQ2 对于足够大的 $ n $，是否可将 $ \{0,1\}^n $ 划分为任意大小为2的幂次的子集 $ X \subset \{0,1\}^k $ 的等距副本？
• RQ3 图 $ G $ 需满足何种结构性条件，才能保证 $ G^n $ 可被划分为固定子图 $ H $ 的诱导副本，尤其当 $ |H| $ 为2的幂次时？
• RQ4 在非顶点传递图（如 $ P_3^n $）中铺砌失败是否表明顶点传递性是此类铺砌的必要条件？
• RQ5 是否可将 $ Q_n $ 的边集划分为若干条边不相交的固定子图 $ H $ 的副本？其必要与充分条件是什么？

主要发现

• 本文证明，对任意满足 $ |X| = 2^m $ 的子集 $ X \subset \{0,1\}^k $，存在某个 $ n $，使得 $ \{0,1\}^n $ 可被划分为 $ X $ 的等距副本，从而解决了 Offner 的问题。
• 提供了显式构造，表明对所有足够大的 $ n $，此类铺砌均存在，且通过递归与对称嵌入技术实现。
• 即使 $ H $ 在诱导意义下不是 $ Q_k $ 的子图，只要其与 $ \{0,1\}^k $ 中某个大小为2的幂次的子集等距同构，结论依然成立。
• 通过奇偶性障碍论证，表明在非顶点传递图（如 $ P_3^n $）中，即使满足大小条件，铺砌仍会失败。
• 构造了一个例子：在 $ P_3^m $ 中，$ H $ 有 $ \ell $ 个偶数顶点与 $ \ell^2 - \ell $ 个奇数顶点，而 $ P_3^n $ 中偶数顶点总数不能被 $ \ell $ 整除，因此铺砌不可能实现。
• 提出猜想 10：若图 $ G $ 是顶点传递图，且 $ |H| $ 的所有素因子均整除 $ |G| $，则 $ G^n $ 可被划分为 $ H $ 的诱导副本。