[論文レビュー] On the largest planar graphs with everywhere positive combinatorial curvature (extended arxiv version)

Luca Ghidelli|arXiv (Cornell University)|Aug 28, 2017

Computational Geometry and Mesh Generation参考文献 14被引用数 6

ひとこと要約

この論文は、ピラミッドと反ピラミッドを除く、至る所で正の組合せ的曲率を持つ平面的グラフの最大サイズについて、長年の予想を解決する。その結果、頂点数が正確に208個であることが示された。鋭い放電法と頂点および面の構造的組合せ的解析を組み合わせることで、このようなグラフが208頂点を超えることはできず、すべての面は最大で41本の辺で囲まれていることが示された。この上限は鋭く、かつ以前に証明されていなかった。

ABSTRACT

A planar PCC graph is a simple connected planar graph with everywhere positive combinatorial curvature which is not a prism or an antiprism and with all vertices of degree at least 3. We prove that every planar PCC graph has at most 208 vertices, thus answering completely a question raised by DeVos and Mohar. The proof is based on a refined discharging technique and on an accurate low-scale combinatorical description of such graphs. We also prove that all faces in a planar PCC graph have at most 41 sides, and this result is sharp as well.

研究の動機と目的

• ピラミッドと反ピラミッドを除く、至る所で正の組合せ的曲率を持つ平面的グラフの頂点数の正確な最大値を特定すること。
• DeVosとMoharが提起した、このようなグラフに対する鋭い上界に関する長年の未解決問題を解決すること。
• 平面的PCCグラフのすべての面が最大で41本の辺で囲まれており、この上限が鋭いことを証明すること。
• 頂点数と面のサイズの両方の上限が鋭いことを示す具体的な例の構成。
• PCCグラフの構造的性質を、$\heartsuit$-三角形とその円環的配置（鎖）の概念を用いて分類すること。

提案手法

• 線形最適化から導かれた巧みな放電ルールを用いた洗練された放電法を採用し、曲率を再分配することで構造的制約を導出する。
• 特に5角形、7角形、11角形、41角形の面を対象とした、小規模および大規模な面の詳細なケース解析により、曲率の正の性質を破る構成を除外する。
• $\heartsuit$-三角形（高い曲率を持つ特定の局所的頂点配置）を導入・分析し、大きなPCCグラフにおいてそれらが円環的鎖として配置されることを証明する。
• $\heartsuit$-モチーフに基づくモジュラー構成法を用いて、39辺および25辺の面を含むようなPCCグラフを生成する。
• 理論的放電論証と極値構成の明示的列挙・検証を組み合わせることで、既知の上界と下界の差を埋める。
• 210頂点のグラフが少なくとも42本の辺を持つ面を必要とすること、これは曲率制約下で不可能であることが証明されていることから、矛盾を導き出し、208頂点の上限を証明する。

実験結果

リサーチクエスチョン

• RQ1 ピラミッドと反ピラミッドを除く、至る所で正の組合せ的曲率を持つ平面的グラフの頂点数の正確な最大値は何か？
• RQ2 このようなグラフに対して208頂点という上界が鋭いことを証明でき、かつ達成可能か？
• RQ3 平面的PCCグラフにおいて、面がもつことのできる辺数の最大値は何か？この上限は鋭いか？
• RQ4 3から41本の辺をもつ任意のサイズの面をもつPCCグラフを構成できるか？
• RQ5 $\heartsuit$-三角形およびその円環的配置は、大きなPCCグラフのグローバル構造をどのように制約するか？

主な発見

• 平面的PCCグラフの頂点数の最大値は正確に208であり、明示的な構成によってこの上限が鋭いことが示された。
• 平面的PCCグラフのすべての面は最大で41本の辺で囲まれており、この上限は鋭い。41角形の面が存在することによってそれが裏付けられた。
• PCCグラフに42本以上の辺を持つ面が存在することは不可能であり、これは以前の予想を否定し、ZhangとOhが残した問題を解決する。
• 3から41までの任意の整数$N$に対して、サイズ$N$の面をもつPCCグラフが存在する。これは、すべてのこのような面サイズが実現可能であることを示している。
• 25本や39本の辺をもつ大きな面をもつPCCグラフの構成は、閉じたカバーを備えた$\heartsuit$-三角形のオープン鎖を用いてなされ、体系的な方法が得られた。
• 209頂点のPCCグラフが存在しないことは、そのようなグラフが少なくとも42本の辺を持つ面を必要とすること、そしてこれは曲率制約下で不可能であることを示すことによって証明された。