[论文解读] 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进行的计算采样，作者推导出稀疏图族（特别是奇圈的楔形结构）的精确面数，并提供了强有力的证据支持这些图使面数达到最大值的猜想。主要贡献在于给出了具有 $ 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 $ 条边的连通图的对称边多面体中面数的最大值和最小值。
• 识别在对称边多面体中使面数达到最大或最小的图族。
• 为稀疏图类（尤其是边数较少的图）建立面数的组合公式。
• 通过计算和理论证据支持关于面数最大化图的猜想，特别是奇圈的楔形结构。
• 利用基于子图的组合工具探索面定义超平面的结构。

提出的方法

• 将 $ \mathrm{maxf}(n,m) $ 和 $ \mathrm{minf}(n,m) $ 定义为具有 $ n $ 个顶点和 $ m $ 条边的连通图的面数最大值和最小值。
• 利用 Higashitani、Jochemko 和 Michałek 提供的面定义超平面的组合描述推导面数。
• 应用风车图构造 $ WM(n,r) $，即 $ r $ 个三角形在单个顶点处楔合而成，以建模潜在的面数最大化图。
• 使用 SageMath 对具有 $ n $ 个顶点和 $ 3(n-1)/2 $ 条边的连通图进行马尔可夫链蒙特卡洛采样，以检验面数猜想。
• 通过计算枚举验证猜想，范围覆盖 $ n < 100,000 $，特别是奇数 $ n $，并将面数与理论预测进行比较。
• 利用关于反射多面体和单纯多面体的已知结果，包括 Nill 对伪对称反射单纯多面体的边界估计，来为研究结果提供背景。

实验结果

研究问题

• RQ1 对于具有 $ n $ 个顶点和 $ m $ 条边的连通图，其对称边多面体可实现的最大面数是多少？
• RQ2 哪些图结构（特别是稀疏图）在对称边多面体中使面数达到最大或最小？
• RQ3 风车图 $ WM(n) $（由 $ (n-1)/2 $ 个三角形在单个顶点处楔合而成）是否是奇数 $ n $ 且 $ m = 3(n-1)/2 $ 条边时唯一实现面数最大的图？
• RQ4 能否对所有 $ n $（特别是奇数 $ n $）证明关于 $ \mathrm{Maxf}(n) $ 和 $ \mathrm{Minf}(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 $ 为偶数时，$ \mathrm{Minf}(n) = 2^{k+1} - 2 $，由 $ K_{k,k} $ 实现。
• 使用马尔可夫链蒙特卡洛方法进行的计算采样表明，对于奇数 $ n $，风车图 $ WM(n) $ 在 $ n $ 个顶点和 $ 3(n-1)/2 $ 条边的图中实现了最大面数，验证至 $ n = 17 $。
• 对于 $ n=13 $，$ WM(13) $ 的面数为 $ 6^6 = 46,656 $，该值显著高于所有其他采样图，与次高值之间存在明显差距。
• 本文证明了当 $ n $ 为奇数时，风车图 $ WM(n) $ 的面数恰好为 $ 6^{(n-1)/2} $，其证明基于图连合作用下面数的乘法性质。