[論文レビュー] The Maximum Number of Pentagons in a Planar Graph

Ervin Győri, Addisu Paulos+3 more|arXiv (Cornell University)|Sep 30, 2019

Advanced Graph Theory Research被引用数 7

ひとこと要約

この論文は、1979年に Hakimi と Schmeichel が提起した予想を確認している。n-頂点平面グラフにおける五角形（C₅）の最大数は、n ≥ 8 かつ n ≠ 8,11 のとき 2n² − 10n + 12 であり、極値グラフとして明示的な Dₙ が存在する。n = 8 および n = 11 の場合、同じ最大値に達する追加の極値グラフ A₈ および A₁₁ が存在する。証明は構造的グラフ理論と、平面グラフにおける頂点次数およびサイクル寄与のケース解析に基づいている。

ABSTRACT

In 1979, Hakimi and Schmeichel considered the problem of maximizing the number of cycles of a given length in an $n$-vertex planar graph. They precisely determined the maximum number of triangles and $4$-cycles and presented a conjecture for the maximum number of pentagons. In this work, we confirm their conjecture. Even more, we characterize the $n$-vertex, planar graphs with the maximum number of pentagons.

研究の動機と目的

• Hakimi と Schmeichel (1979) が提起した、n-頂点平面グラフにおける5サイクル（五角形）の最大数に関する長年の予想を解決すること。
• 各 n に対して、五角形の数が最大に達する n-頂点平面グラフをすべて同定すること。
• 平面グラフにおける極値グラフ理論の結果を拡張し、正確に extremal 関数 f(n, C₅) を特定すること。
• C₅ に対する平面グラフの極値グラフを完全に分類すること、特に n=8 および n=11 における例外的なケースを含むこと。
• 頂点次数の制約と構造的分解を用いた、平面グラフにおけるサイクル数の分析フレームワークを確立すること。

提案手法

• 特に次数が5以上の頂点に注目し、頂点次数および近傍構造に基づくケース解析を採用した。
• 外部パスとサイクル寄与（タイプ1、タイプ2、タイプ0）の概念を用い、元のグラフ G と変更されたグラフ G′ の間で5サイクルの数を比較して上限を導出する。
• 平面性の制約を適用して、サイクルで囲まれた領域内の頂点数を制限し、部分構造の重複数えを回避する。
• 縮約と埋め込み技術を用いて、与えられたグラフ G と簡略化されたグラフ G′ 間のサイクル数を比較し、G が上限を超えることはないことを証明する。
• 既知の極値境界と補題（例：外部パスに関する補題2）を活用し、中心頂点の近傍外の頂点が寄与する部分を制御する。
• 頂点の閉近傍内および外の隣接パターンに基づき、C₅ のコピー総数への寄与を詳細に数える。

実験結果

リサーチクエスチョン

• RQ1 n-頂点平面グラフに存在できる5サイクル（五角形）の最大数は何か？
• RQ2 どの n-頂点平面グラフがこの最大数の5サイクルを達成するか？
• RQ3 平面グラフにおける5サイクル数の予想される上限 2n² − 10n + 12 は、すべての n ≥ 8 に対して成り立つか？
• RQ4 n=8,11 における Dₙ の家族を超えた、最大サイクル数に達する例外的なグラフは存在するか？
• RQ5 最小次数や平面性といった構造的制約は、グラフ内の5サイクル数をどのように制限するか？

主な発見

• n-頂点平面グラフにおける5サイクルの最大数は、すべての n ≥ 8 および n ≠ 8,11 に対して正確に 2n² − 10n + 12 である。
• n = 8 および n = 11 の場合、極値グラフは一意ではない： D₈ と A₈、D₁₁ と A₁₁ の両方が最大の5サイクル数に達する。
• n = 8,11 を除くすべての n ≥ 8 に対して、最大値に達する唯一の極値グラフは Dₙ であり、これは長さ n−2 のサイクルのすべての頂点に接続される2つの頂点を追加して得られるグラフである。
• f(5, C₅) = 6 および f(7, C₅) = 41 であり、この公式は小さい n に対しては成り立たないことが示された。
• 証明により、平面グラフが 2n² − 10n + 12 を超える5サイクル数を有することは不可能であり、1979年の予想が正当化された。
• 分析により、中心頂点の近傍外の頂点が寄与する5サイクル数は厳密に 4(n−3) 未満に制限され、全体の上限が保たれることを示した。