[论文解读] Isometric embeddings of Archimedean Wythoff polytopes into hypercubes and half-cubes

Michel Deza, Mathieu Dutour Sikirić+1 more|arXiv (Cornell University)|Jul 30, 2004

Cellular Automata and Applications被引用 1

一句话总结

本文研究了通过威托夫构造从正多面体生成的阿基米德威托夫多面体在超立方体 Hm 和半立方体 1/2Hm 中的等距嵌入。文章建立了此类嵌入存在的条件，特别是针对骨架和对偶骨架的情况，并对可嵌入的情形进行了完整分类，揭示了与多面体对称性和组合结构相关的结构性约束。

ABSTRACT

We study polytopes, obtained by the Wythoff construction from regular polytopes, and the isometric embeddings of their skeletons or dual skeletons into the hypercubes Hm and half-cubes 1/2 Hm.

研究动机与目标

• 确定哪些阿基米德威托夫多面体的骨架或对偶骨架可等距嵌入至超立方体 Hm 和半立方体 1/2Hm。
• 分析对称性和组合结构在实现此类等距嵌入中的作用。
• 对威托夫生成的多面体在 Hm 和 1/2Hm 中的所有可能等距嵌入进行分类，重点关注结构和几何约束。
• 探讨威托夫构造与超立方体及半立方体的格点性质之间的相互作用。
• 基于多面体类型和维度，建立等距嵌入存在的必要和充分条件。

提出的方法

• 对正多面体应用威托夫构造以生成阿基米德威托夫多面体，保持高对称性和一致的顶点图。
• 分析这些多面体的 1-骨架（边-顶点图）及其对偶 1-骨架，以评估其与超立方体和半立方体的度量兼容性。
• 使用组合与群论技术，研究多面体的自同构群及其与 Hm 和 1/2Hm 对称性的兼容性。
• 采用保持距离的映射（等距变换）来检验多面体骨架的图度量是否可等距嵌入至 Hm 和 1/2Hm 的 1-骨架中。
• 利用关于超立方体和半立方体图结构的已知结果，识别嵌入的障碍或实现方式。
• 根据维度和多面体类型对结果进行分类，特别关注正多面体和一致多面体，如二十四胞体、一百二十胞体及其威托夫变体。

实验结果

研究问题

• RQ1 哪些阿基米德威托夫多面体可等距嵌入至超立方体 Hm 或半立方体 1/2Hm？
• RQ2 威托夫多面体需满足何种组合与对称性条件，才能实现其在 Hm 或 1/2Hm 中的等距嵌入？
• RQ3 威托夫多面体的骨架和对偶骨架如何与 Hm 和 1/2Hm 的度量结构相关联？
• RQ4 此类等距嵌入的存在是否存在与维度相关的限制？
• RQ5 对于给定的威托夫多面体，其全部等距嵌入是否可被完全分类？

主要发现

• 威托夫多面体骨架在 Hm 和 1/2Hm 中的等距嵌入仅在特定对称性和维度约束下才可能实现。
• 二十四胞体及其对偶（对偶二十四胞体）可分别等距嵌入至 H8 和 1/2H8，这是由于其高度对称性和自对偶性。
• 当多面体的顶点图或边结构与超立方体的度量格点不一致时，高维超立方体中的嵌入会受阻。
• 威托夫多面体的对偶骨架仅在原多面体的对称群保持超立方体特定子格点结构时，才可嵌入至 1/2Hm。
• 已建立可嵌入威托夫多面体的完整分类，表明在所有维度中仅存在有限组此类嵌入。
• 本文指出，等距嵌入的存在性与多面体的自同构群是否为超立方体对称群的子群密切相关。