[论文解读] Graphs $4_n$ that are isometrically embeddable in hypercubes

Michel Deza, Mathieu Dutour Sikirić+1 more|ArXiv.org|Nov 16, 2004

Interconnection Networks and Systems参考文献 7被引用 9

一句话总结

本文分类了所有可等距嵌入到超立方体中的3-正则、4边形和6边形面的平面图（记为$4_n$）。利用$l_1$-嵌入性质与超立方体几何，作者证明仅有五种此类图——立方体、六边形柱面、截半立方体、截角立方体以及扭曲截角立方体——可实现此类嵌入，且均具有特定的对称群与超立方体维度。

ABSTRACT

A connected 3-valent plane graph, whose faces are $q$- or 6-gons only, is called a {\em graph $q_n$}. We classify all graphs $4_n$, which are isometric subgraphs of a $m$-hypercube $H_m$.

研究动机与目标

• 分类所有3-正则、4边形与6边形面的平面图（$4_n$），使其为超立方体的等距子图。
• 通过超立方体几何，确定满足$l_1$-嵌入条件的此类图的完整集合。
• 确立仅有五种特定多面体图满足等距嵌入到超立方体的条件。
• 探讨对称性、面结构与测地路径类型在决定可嵌入性中的作用。
• 在3-正则平面图且面类型受限的背景下，拓展对$l_1$-可嵌入图的理解。

提出的方法

• 利用$l_1$-可嵌入性与等距嵌入到超立方体$H_m$之间的等价性，利用二分图满足此等价性的事实。
• 将超立方体$H_m$表示为$m$-元素集合的幂集，边通过对应对称差的坐标进行标记。
• 根据等距嵌入到$H_m$下的像，为$4_n$图的边分配标签（坐标）。
• 应用超立方体中测地路径具有不重复标签的性质，且标签集合对应于端点的对称差。
• 利用路径上标签数量的奇偶性，确定测地路径的类型（标签集合），即使对非测地路径也适用。
• 通过面环路与标签一致性上的组合与几何论证，排除非等距或非平面的配置。

实验结果

研究问题

• RQ1 哪些3-正则、4边形与6边形面的平面图（$4_n$）可等距嵌入到超立方体中？
• RQ2 给定其面结构与对称性，$4_n$图$l_1$-可嵌入的必要与充分条件是什么？
• RQ3 标签一致性与测地路径类型如何约束$4_n$图在超立方体中可能的构型？
• RQ4 是否存在具有非平凡自同构群（如$O_h$）的$4_n$图，但无法等距嵌入到超立方体中？
• RQ5 若图中无自相交区域，是否可保证其$t$-可嵌入性，其中$t$等于最大面的边数？

主要发现

• 仅有五种$4_n$图可等距嵌入到超立方体中：立方体（$H_3$）、六边形柱面（$H_4$）、截半立方体（$H_6$）、截角立方体（$H_7$）以及扭曲截角立方体（$H_7$）。
• 立方体、六边形柱面与截半立方体分别为zonohedra与根格点（$Z_3$、$A_2 \times Z_1$、$A_3^*$）的Voronoi多面体。
• 截角立方体及其扭曲版本是分类中唯一的非zonohedra$4_n$图，分别具有$O_h$与$D_{3h}$对称性。
• 所有自同构群为$O_h$且顶点数不超过210的$4_n$图，均由立方体上的Goldberg–Coxeter构造生成，且均为$l_1$-可嵌入。
• 该分类确认，除上述五种图外，不存在其他$4_n$图可实现等距嵌入到超立方体中，基于对面对环路与标签一致性的详尽分析。
• 结果支持如下猜想：所有已知的$l_1$-可嵌入的$3_{n}$、$5_{n}$图及其对偶图即为全部，不存在额外的实例，与注释中列出的图一致。