[论文解读] Tight Lower Bounds on the Sizes of Symmetric Extensions of Permutahedra and Similar Results

Kanstantsin Pashkovich|arXiv (Cornell University)|Dec 17, 2009

Advanced Combinatorial Mathematics参考文献 6被引用 5

一句话总结

本文建立了对排列单纯形 Πₙ 和基数指示多面体的对称扩展形式的紧致 Ω(n²) 下界，证明了不存在比 Θ(n²) 更小的对称扩展。该证明利用对称不变线性泛函和基于精心选择系数的矛盾论证，表明更小的对称扩展将违反多面体不等式，从而弥合了已知对称形式（Θ(n²)）与非对称形式（Θ(n log n)）之间的差距。

ABSTRACT

It is well known that the permutahedron Pi_n has 2^n-2 facets. The Birkhoff polytope provides a symmetric extended formulation of Pi_n of size Theta(n^2). Recently, Goemans described a non-symmetric extended formulation of Pi_n of size Theta(n log(n)). In this paper, we prove that Omega(n^2) is a lower bound for the size of symmetric extended formulations of Pi_n.

研究动机与目标

• 建立排列单纯形 Πₙ 的对称扩展形式大小的紧致下界。
• 将下界分析扩展至基数指示多面体 P_card(n)，表明其与排列单纯形具有相同的对称扩展复杂度。
• 证明这些多面体的对称扩展不可能小于 Θ(n²)，尽管非对称扩展可达到 Θ(n log n)。
• 利用对称不变线性泛函和基于矛盾的证明方法，排除更小的对称扩展。
• 弥合已知对称形式（Θ(n²)）与理论下界（Ω(n²)）之间的差距，证明紧致性。

提出的方法

• 将对称扩展形式定义为在原始多面体坐标置换下保持不变的形式。
• 使用对称不变线性泛函 s_a 和 s_b 分析潜在对称扩展的结构。
• 引入一组以子集 W ⊆ [n] 索引的系数 λ_x，根据 |W| 和特定集合结构，分配值 1、1+ε、-ε 或 0。
• 通过证明：若扩展大小小于 n(n−1)/2，则某些线性不等式（例如 ∑λ_x s_b(x) ≥ 0）将被违反，从而构造出矛盾。
• 利用基数指示多面体具有 n! 个不同的非平凡面（由排列索引），每个面在扩展中必须有唯一对应面的事实。
• 利用 P_card(n) 的有效面不等式 ∑_{v≤k*} x_v − ∑_{k≤k*} kz_k − ∑_{k>k*} k*z_k ≤ 0 来推导矛盾。

实验结果

研究问题

• RQ1 排列单纯形 Πₙ 的对称扩展形式能否小于 Θ(n²)？
• RQ2 基数指示多面体 P_card(n) 和排列单纯形 Πₙ 是否具有相同的对称扩展大小下界？
• RQ3 基于伯克霍夫多面体的 Πₙ 的 Θ(n²) 扩展形式在对称扩展中是否最优？
• RQ4 是否存在大小为 o(n²) 的对称扩展，使得 Πₙ 或 P_card(n) 不违反多面体不等式？
• RQ5 n! 个面（两个多面体均为 n!）在建立对称扩展下界时起到什么作用？

主要发现

• 为排列单纯形 Πₙ 的对称扩展形式大小建立了紧致的 Ω(n²) 下界。
• 相同的 Ω(n²) 下界也适用于基数指示多面体 P_card(n)，与其中的对称形式大小一致。
• 该证明表明，任何小于 n(n−1)/2 的对称扩展都将通过精心构造的系数分配 λ_x 导致矛盾。
• 矛盾源于违反 P_card(n) 的一个有效面不等式，即 ∑_{v≤k*} x_v − ∑_{k≤k*} kz_k − ∑_{k>k*} k*z_k ≤ 0。
• P_card(n) 中存在 n! 个不同的非平凡面，意味着任何扩展至少需有 Ω(n log n) 个面，但此条件不足以排除对称扩展低于 Θ(n²) 的可能性。
• 该结果弥合了已知对称形式（Θ(n²)）与理论下界（Ω(n²)）之间的差距，证明 Θ(n²) 是这两个多面体对称扩展的最优大小。