[論文レビュー] Computing The Extension Complexities of All 4-Dimensional 0/1-Polytopes

Michael L. Oelze, Arnaud Vandaele+1 more|arXiv (Cornell University)|Jun 18, 2014

graph theory and CDMA systems参考文献 6被引用数 5

ひとこと要約

この論文は、拡張形式の下界と上界を精緻化することで、4次元0/1多面体のすべての拡張複雑度を計算し、すべての such 多面体が最小サイズの拡張をもち、かつその拡張自身が0/1多面体であることを示している。著者は202個のアフィン同値類すべてについて、拡張複雑度と幾何的構成の完全なリストを提供しており、すべての最小拡張が、頂点とその射影の1対1対応を含む強力な構造的性質を保っていることを示している。

ABSTRACT

We present slight refinements of known general lower and upper bounds on sizes of extended formulations for polytopes. With these observations we are able to compute the extension complexities of all 0/1-polytopes up to dimension 4. We provide a complete list of our results including geometric constructions of minimum size extensions for all considered polytopes. Furthermore, we show that all of these extensions have strong properties. In particular, one of our computational results is that every 0/1-polytope up to dimension 4 has a minimum size extension that is also a 0/1-polytope.

研究の動機と目的

• 4次元0/1多面体のすべての拡張複雑度を計算し、今後の拡張形式に関する研究の基盤を完成させること。
• 4次元までの一様な0/1多面体の最小サイズの拡張が、自身が0/1多面体であるかどうかを特定し、有理数拡張に関する未解決問題に答えること。
• 4次元0/1多面体の202個のアフィン同値類すべてについて、最小拡張の明示的幾何的構成を提供すること。
• 幾何的および組合的技法を用いて、拡張複雑度の一般下界と上界を精緻化し、計算を効率化すること。
• 今後の高次元多面体や半定値拡張に関する研究を支援する、拡張複雑度の計算ベンチマークを確立すること。

提案手法

• 整数性や頂点対応といった望ましい性質を保つ幾何的構成を用いて、既知の一般下界と上界を精緻化した。
• Yannakakisの定理を適用し、スラック行列の非負ランクへの拡張複雑度の計算を還元し、行列計算の効率化に二重記述法を活用した。
• polymakeとカスタムスクリプトを用いて0/1多面体のスラック行列を計算し、非負ランク計算を現実可能にした。
• 長方形被覆境界の組合的精緻化を用いて下界を向上させつつ、計算可能性を維持した。
• 4次元0/1多面体の202個のアフィン同値類すべてについて、下界と上界を一致させ、正確な拡張複雑度を確認する包括的計算を実施した。
• すべての最小拡張が0/1多面体であり、拡張の頂点とその射影との間の1対1対応が成り立つことを検証した。

実験結果

リサーチクエスチョン

• RQ1 4次元までの一様な0/1多面体は、すべて自身が0/1多面体である最小サイズの拡張をもつか？
• RQ2 精緻化された幾何的および組合的技法を用いて、0/1多面体の拡張複雑度のタイトな下界と上界を効率的に計算できるか？
• RQ3 4次元以下の0/1多面体において、最小拡張の頂点とその射影との間に1対1対応が存在するか？
• RQ4 すべての4次元0/1多面体（アフィン同値類ごと）の拡張複雑度の完全なリストは何か？
• RQ5 本研究の結果は、4次元における半定値拡張複雑度を計算する基盤として機能できるか？

主な発見

• 4次元0/1多面体のすべての拡張複雑度が計算され、202個のアフィン同値類すべてについて結果が提供された。
• 4次元までの一様な0/1多面体のすべての最小サイズ拡張が、自身が0/1多面体であることが確認され、強力な構造的性質が裏付けられた。
• すべての最小拡張において、拡張の頂点とその射影との間の1対1対応が存在する。
• 4次元超立方体（頂点集合{0,1}^4）の拡張複雑度は12であり、その面の数と一致する。
• 本研究では、202個のクラスすべてについて最小拡張の明示的幾何的構成が提供されており、4次元における16,384個の可能な0/1多面体を含む。
• 結果から、単純な幾何的構成で十分に最適な拡張複雑度が達成可能であり、4次元ではさらに複雑な境界は必要ないことが示唆された。