[論文レビュー] 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

ひとこと要約

この論文は、辺の長さが $a^2b^2c$、$a^3bc$、または $a^3b^2$（$a$、$b$、$c$ は相異なる）である同一の正五角形を用いた、頂点の次数がすべて 3 であるようなタイルが少なくとも1枚存在する条件下で、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$ が相異なる）である同一の正五角形による辺対辺の球面タイル張りを分類すること。
• 少なくとも1枚のタイルがすべての頂点の次数が 3 である条件下で、12枚を超えるタイル張りが存在するかどうかを特定すること。
• 球面正五角形タイル張りに関する先行研究で始まった分類プログラムを拡張し、$3^5$-タイルと非正三角形の辺長の組み合わせを対象とする。
• 特に非正三角形の辺長構成に対して、球面上の正五角形タイル張りの基礎的な幾何的および組合せ的制約を確立すること。

提案手法

• オイラーの公式を用いて、頂点次数、辺数、面数に関する制約を組合せ的トポロジーによって導出し、12枚を超えるタイル張りでは $f \geq 16$ が成り立つと結論づける。
• 命題1を用いて、特別なタイル（$3^5$-、$3^44$-、または $3^45$-タイル）を特定し、その周囲のタイル張りが辺および角度の配置に関する重要な情報を提供することを明らかにする。
• $3^5$-タイルの周囲のタイル張りを分析して、可能な辺長および角度の組み合わせを特定し、指定された可変長さのケースに制限する。
• 球面三角法を用いて、正五角形の角度および辺長に関する正確な幾何的制約を導出し、特に2組の辺が等しい正五角形に対して特に注目する。
• 角度和の式と頂点組み合わせ解析（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$-タイルの周囲のタイル張りを、指定された辺長タイプの完全な球面タイル張りに拡張することは可能か？

主な発見

• 辺の長さの組み合わせが $a^2b^2c$、$a^3bc$、または $a^3b^2$（$a$、$b$、$c$ が相異なる）である同一の正五角形を用いた辺対辺の球面タイル張りにおいて、すべての頂点の次数が 3 であるタイルが存在する場合、12枚を超えるタイル張りは存在しない。
• 辺の長さの組み合わせ $a^2b^2c$ の場合、$3^5$-タイルの周囲のタイル張りが矛盾を引き起こし、12枚を超えるタイル張りは排除される。
• $a^3bc$ の場合、周囲のタイル張りの解析も同様に矛盾を引き起こし、12枚を超えるタイル張りの可能性は排除される。
• $a^3b^2$ の場合、4つの可能な周囲のタイル張りが特定されたが、いずれの構成も完全な球面タイル張りに拡張できない。
• 4つの候補となる周囲のタイル張りのいずれの拡張も、角度和の制約および頂点組み合わせ解析（AVC）により不可能であることが証明され、$\alpha\gamma^2\epsilon$ や $\gamma^2\delta\epsilon$ のような頂点の除外が含まれる。
• 証明は球面三角法および角度交換の対称性に依拠しており、$\alpha = \frac{2}{3}\pi$ および $\alpha = \frac{4}{3}\pi$ が同時に成立するような構成は不可能であることを示し、すべてのケースを閉じる。