[論文レビュー] 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²)）と非対称的拡張形式（Θ(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)の有効な facet 不等式である∑_{v≤k*} x_v − ∑_{k≤k*} kz_k − ∑_{k>k*} k*z_k ≤ 0 を用いて矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 置換体Πₙの対称的拡張形式はΘ(n²)未塔に小さくできるか？
• RQ2 基数を示す多面体P_card(n)と置換体Πₙは、対称的拡張形式のサイズに同一の下界を持つのか？
• RQ3 ΠₙのBirkhoff多面体に基づく形式のΘ(n²)サイズは、対称的拡張形式の中で最適なのか？
• RQ4 ΠₙまたはP_card(n)に対して、o(n²)サイズの対称的拡張形式が存在し得るか、その場合多面体的不等式に違反するのか？
• RQ5 両多面体に共通するn!個の面の数が、対称的拡張形式の下界を確立する上で果たす役割は何か？

主な発見

• 置換体Πₙの対称的拡張形式のサイズにΩ(n²)のタイトな下界が確立された。
• 同様に、基数を示す多面体P_card(n)に対してもΩ(n²)の下界が成立し、これにより対称的拡張形式のサイズと一致する。
• n(n−1)/2未塔の任意の対称的拡張形式は、係数λ_xを適切に割り当てたことで矛盾を引き起こすことが示された。
• 矛盾は、P_card(n)の有効な facet 不等式∑_{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²)が最適であることが証明された。