[論文レビュー] Long and winding central paths

Xavier Allamigeon, Pascal Benchimol+2 more|arXiv (Cornell University)|May 16, 2014

Polynomial and algebraic computation参考文献 44被引用数 7

ひとこと要約

この論文は、$3r+4$ 個の制約と $2r+2$ 次元を持つ線形計画問題の族を構成することで、ヒルシュ予想の連続的類似を反証した。その中央路線の全曲率は $\Omega(2^r)$ に達する。著者たちはトロピカル幾何学を用いて、古典的中央路線の対数極限を分析し、トロピカル中央路線が主要な幾何的特徴を捉え、指数的曲率を示しうることを示した。これはシンプレックス法の最悪ケース行動と一致する。

ABSTRACT

We disprove a continuous analogue of the Hirsch conjecture proposed by Deza, Terlaky and Zinchenko, by constructing a family of linear programs with $3r+4$ inequalities in dimension $2r+2$ where the central path has a total curvature in $\\Omega(2^r)$. Our method is to tropicalize the central path in linear programming. The tropical central path is the piecewise-linear limit of the central paths of parameterized families of classical linear programs viewed through logarithmic glasses. The lower bound for the classical curvature is obtained by developing a combinatorial concept of a tropical angle.

研究の動機と目的

• 線形計画問題における中央路線の全曲率が制約数に対して線形的に有界であるという主張を含む、連続的ヒルシュ予想の反証。
• 対数スケーリング下での古典的中央路線の極限を用いて、線形計画問題における中央路線を分析するためのトロピカル幾何学的枠組みの構築。
• 可能な半空間表現に依存しない、トロピカル中央路線の独立性の確立と、トロピカル重心による特徴付け。
• トロピカル中央路線がトロピカルシンプレックス法に類似した経路に退化し得ることを示し、最悪ケースの指数的挙動を示唆すること。
• 古典的中央路線の全曲率の下界を、トロピカル極限と組み合わせ的トロピカル角を用いて構成的に確立すること。

提案手法

• 著者たちは、非アルキメデス的体上の線形計画問題を定義するために、実数値関数のジェルムの体 $\mathbb{K}$ を用い、$t \to \infty$ に沿った連続的な実線形計画問題の族を可能にした。
• 中央路線に価値写像 $\operatorname{val}(f) = \lim_{t \to \infty} \log_t |f(t)|$ を適用することで、古典的中央路線の対数極限としてトロピカル中央路線を導出した。
• トロピカル中央路線は、目的関数によって誘導されるトロピカル部分レベル集合と交わった実行可能集合のトロピカル重心として幾何学的に特徴付けられた。
• トロピカル中央路線に沿った曲がり角の大きさを定量化するための組み合わせ的「トロピカル角」の概念が開発され、曲率推定が可能になった。
• 構成では、$3r+4$ 個の不等式と $2r+2$ 個の変数を持つ線形計画問題の族 $\mathbf{LP}_r(t)$ を用い、トロピカル中央路線が離散的点で交互な最大値を示すように設計された。
• 古典的中央路線がトロピカル中央路線に一様収束することを確立し、制約行列の構造に基づいた誤差バウンドが導出された。

実験結果

リサーチクエスチョン

• RQ1 連続的ヒルシュ予想——中央路線の曲率が制約数に対して線形に有界であるという主張——を反証できるか？
• RQ2 トロピカル幾何学は、線形計画問題における古典的中央路線の漸近的挙動をどの程度正確に捉えられるか？
• RQ3 トロピカル中央路線は、実行可能集合の半空間表現に依存しない形で特徴付けられるか？
• RQ4 トロピカル中央路線は、シンプレックス法と同等の最悪ケース挙動を示すか？
• RQ5 古典的中央路線の全曲率を下界づけるために、そのトロピカル極限を用いるために必要な組み合わせ的および幾何的道具は何か？

主な発見

• 構成された族 $\mathbf{LP}_r(t)$ における中央路線の全曲率は $\Omega(2^r)$ に属し、連続的ヒルシュ予想が反証された。
• トロピカル中央路線の全曲率は少なくとも $(2^{r-1} - 1)\frac{\pi}{2}$ であり、$2^{r-1}$ 個の離散的点で正確に $\frac{\pi}{2}$ の曲がり角を持つ。
• トロピカル中央路線は、実行可能集合とトロピカル部分レベル集合の交わりのトロピカル重心として特徴付けられ、多面体の外部表現に依存しない。
• トロピカル中央路線は、トロピカルシンプレックス法の経路と同一に退化し得るため、指数的最悪ケース挙動を示す可能性がある。
• $t$ が $2^{\Omega(r^2 2^r)}$ のオーダーのとき、古典的中央路線は $\Omega(2^r)$ の曲率に達し、下界が古典的設定でも達成可能であることが確認された。
• 双対中央路線についても、線形計画問題の変更版において、少なくとも $(2^r - 1)\frac{\pi}{2}$ の曲率を示し、結果が双対路線へと拡張された。