[論文レビュー] Facets of Symmetric Edge Polytopes for Graphs with Few Edges

Benjamin Braun, Kaitlin Bruegge|arXiv (Cornell University)|Jan 31, 2022

Advanced Combinatorial Mathematics被引用数 6

ひとこと要約

本稿は、辺が少ない連結グラフに付随する対称的辺多面体の面の数を調査する。組合せ的公式とSageMathによる計算的サンプリングを用いて、特に奇数長のサイクルのワッフェッド構造を含むスパarsなグラフ族の正確な面数を導出し、これらのグラフが面数を最大化すると予想される強力な証拠を提供する。主たる貢献は、$ n $ 頂点と $ m $ 辺をもつ連結グラフの対称的辺多面体における最大面数の公式であり、極値の場合には閉形式の表現が提示されている。

ABSTRACT

Symmetric edge polytopes, also called adjacency polytopes, are lattice polytopes determined by simple undirected graphs. We introduce the integer array \(\mathrm{maxf}(n,m)\) giving the maximum number of facets of a symmetric edge polytope for a connected graph having \(n\) vertices and \(m\) edges, and the corresponding sequence \(\mathrm{minf}(n,m)\) of minimal values. We establish formulas for the number of facets obtained in several classes of sparse graphs and provide partial progress toward conjectures that identify facet-maximizing graphs in these classes. These formulas are combinatorial in nature and lead to independently interesting observations and conjectures regarding integer sequences defined by sums of products of binomial coefficients.

研究の動機と目的

• $ n $ 頂点と $ m $ 辺をもつ連結グラフに対して、対称的辺多面体の最大および最小の面数を特定すること。
• 対称的辺多面体における面数を最大化または最小化するグラフ族を同定すること。
• 特に辺が少ないクラスのスパarsなグラフクラスにおける面数の組合せ的公式を確立すること。
• 特に奇数長のサイクルのワッフェッド構造を含む、面数を最大化するグラフに関する予想を、計算的および理論的証拠で裏付けること。
• 部分グラフに基づく組合せ的ツールを用いて、面を定義する超平面の構造を調査すること。

提案手法

• $ n $ 頂点と $ m $ 辺をもつ連結グラフにおける最大面数と最小面数をそれぞれ $ \mathrm{maxf}(n,m) $ および $ \mathrm{minf}(n,m) $ と定義する。
• Higashitani, Jochemko, および Michałek による面を定義する超平面の組合せ的記述を用いて、面数を導出する。
• $ r $ 個の三角形が1つの頂点にワッフェッドされた構造である、風車グラフ $ WM(n,r) $ を用い、面数を最大化すると予想されるグラフのモデルを構築する。
• SageMath を用いて、$ n $ 頂点と $ 3(n-1)/2 $ 辺をもつ連結グラフのマルコフ連鎖モンテカルロサンプリングを実施し、面数に関する予想を検証する。
• $ n < 100,000 $ に対して計算的列挙を実施し、特に奇数 $ n $ について確認し、面数を理論的予測と比較する。
• 反射的かつ単体的多面体に関する既知の結果、特に Nill による擬似対称反射的単体的多面体に対する上限を用いて、得られた結果を文脈づける。

実験結果

リサーチクエスチョン

• RQ1 $ n $ 頂点と $ m $ 辺をもつ連結グラフに対して、対称的辺多面体が達成可能な最大の面数は何か？
• RQ2 特にスパarsなグラフにおいて、どのようなグラフ構造が対称的辺多面体の面数を最大化または最小化するか？
• RQ3 奇数 $ n $ および $ m = 3(n-1)/2 $ の場合に、$ (n-1)/2 $ 個の三角形を1つの頂点にワッフェッドした風車グラフ $ WM(n) $ は、面数を最大化する唯一のグラフであるか？
• RQ4 $ \mathrm{Maxf}(n) $ および $ \mathrm{Minf}(n) $ に対する予想された公式が、すべての $ n $ に対して、特に奇数 $ n $ に対して証明可能か？
• RQ5 固定された $ n $ と $ m $ をもつ連結グラフのランダムサンプルにおける面数の挙動はいかにか？ そして、それらは予想された極値グラフを支持するか？

主な発見

• 奇数 $ n = 2k+1 $ の場合、予想される最大面数は $ \mathrm{Maxf}(n) = 6^k $ であり、これは $ k $ 個の三角形のワッフェッド構造によって達成され、$ n < 100,000 $ に対して計算的検証で裏付けられている。
• 偶数 $ n = 2k $ の場合、予想される最大面数は $ \mathrm{Maxf}(n) = 14 \cdot 6^{k-2} $ であり、これは $ K_4 $ と $ k-2 $ 個の三角形のワッフェッド構造によって達成され、部分的な理論的支援がある。
• $ n $ 頂点における最小面数は、奇数 $ n = 2k+1 $ の場合 $ \mathrm{Minf}(n) = 3 \cdot 2^k - 2 $ であり、完全二部グラフ $ K_{k,k+1} $ によって達成され、偶数 $ n = 2k $ の場合 $ 2^{k+1} - 2 $ であり、$ K_{k,k} $ によって達成される。
• マルコフ連鎖モンテカルロ法による計算的サンプリングにより、奇数 $ n $ に対して、$ n $ 頂点と $ 3(n-1)/2 $ 辺をもつグラフにおいて、風車グラフ $ WM(n) $ が最大の面数を達成することが確認された（$ n \leq 17 $）。
• $ n=13 $ の場合、$ WM(13) $ の面数は $ 6^6 = 46,656 $ であり、これは他のすべてのサンプルされたグラフよりも顕著に大きく、次に高い値からも明確な差を示している。
• 本稿では、$ n $ が奇数である風車グラフ $ WM(n) $ の面数が正確に $ 6^{(n-1)/2} $ に等しいことを確立した。これは、グラフの結合における面数の乗法的性質を用いた証明により示された。