[论文解读] Tilings of the Sphere by Congruent Pentagons I

Ka Yue Cheuk, Ho Man Cheung+1 more|arXiv (Cornell University)|Oct 8, 2013

Quasicrystal Structures and Properties参考文献 8被引用 5

一句话总结

本文在至少一个面的所有顶点度数为3的条件下，对具有可变边长 $a^2b^2c$、$a^3bc$ 或 $a^3b^2$（其中 $a$、$b$、$c$ 互不相同）的12个以上全等正五边形的边对边球面密铺进行了分类。通过顶点度数分析与球面三角学导出的组合与几何约束，作者证明了除12个面以外不存在此类密铺，从而完成了球面正五边形密铺分类中的关键情形。

ABSTRACT

We show that there are no edge-to-edge tilings of the sphere by congruent pentagons beyond the minimal dodecahedron tiling, such that there is a tile with all vertices having degree 3 and the edge length combinations are three of the five possibilities.

研究动机与目标

• 对具有可变边长组合 $a^2b^2c$、$a^3bc$ 或 $a^3b^2$（其中 $a$、$b$、$c$ 互不相同）的全等正五边形的边对边球面密铺进行分类。
• 确定在至少一个面的所有顶点度数为3的条件下，此类密铺是否可存在超过12个面。
• 扩展先前关于球面正五边形密铺的研究工作，聚焦于存在 $3^5$-面且边长组合非等边的情形，推进分类程序。
• 建立球面上正五边形密铺的几何与组合基础约束，尤其针对非等边边长配置。

提出的方法

• 应用组合拓扑学，利用欧拉公式推导顶点度数、边数与面数的约束，得出超过12个面的密铺必有 $f \geq 16$ 的结论。
• 使用引理1识别一种特殊面——即 $3^5$-面、$3^44$-面或 $3^45$-面——其邻域密铺可提供关于边长与角度配置的关键信息。
• 分析 $3^5$-面的邻域密铺，以确定可能的边长与角度组合，限定于指定的可变边长情形。
• 运用球面三角学推导正五边形角度与边长的精确几何约束，特别是针对具有两组等边的正五边形。
• 通过角度和方程与顶点组合分析（AVC）排除不可能的配置，尤其是涉及 $\gamma^2\epsilon$ 或 $\gamma^2\delta\epsilon$ 顶点的情形。
• 利用对称性与角度交换论证排除其他可能配置，包括通过变换并重新应用类似情形的证明。

实验结果

研究问题

• RQ1 若正五边形的边长组合为 $a^2b^2c$（$a$、$b$、$c$ 互不相同）且存在一个 $3^5$-面，是否存在边对边球面密铺使得密铺面数超过12个？
• RQ2 在相同条件下，对于边长组合 $a^3bc$ 或 $a^3b^2$，此类密铺是否可能存在？
• RQ3 在具有可变边长的球面正五边形密铺中，存在 $3^5$-面会引出哪些几何与组合约束？
• RQ4 角度和方程与顶点组合分析（AVC）如何限制此类密铺的可能配置？
• RQ5 能否将 $3^5$-面的邻域密铺扩展为完整球面密铺，适用于指定的边长类型？

主要发现

• 若存在一个所有顶点度数为3的面，则不存在由超过12个全等正五边形构成的边对边球面密铺，其边长组合为 $a^2b^2c$、$a^3bc$ 或 $a^3b^2$（其中 $a$、$b$、$c$ 互不相同）。
• 对于边长组合 $a^2b^2c$，$3^5$-面的邻域密铺导致矛盾，从而排除超过12个面的密铺可能性。
• 对于 $a^3bc$，邻域密铺分析同样导致矛盾，排除超过12个面的可能性。
• 对于 $a^3b^2$，共识别出四种可能的邻域密铺，但均无法扩展为完整的球面密铺。
• 通过角度和约束与顶点组合分析（包括排除 $\alpha\gamma^2\epsilon$ 与 $\gamma^2\delta\epsilon$ 等顶点），证明了无法将任一候选邻域密铺扩展为完整密铺。
• 该证明依赖于球面三角学与角度交换对称性，表明同时满足 $\alpha = \frac{2}{3}\pi$ 与 $\alpha = \frac{4}{3}\pi$ 的配置不可能存在，从而彻底排除所有情形。