[論文レビュー] Sublinear extensions of polygons

Yaroslav Shitov|arXiv (Cornell University)|Dec 1, 2014

Computational Geometry and Mesh Generation参考文献 40被引用数 11

ひとこと要約

この論文は、多面体組合せ論における長年の未解決問題を解決し、任意の $ n $ 頂点を持つ凸多角形が、高次元多面体への線形射影として表現可能であることを示している。その高次元多面体の面の数は、$ 147n^{2/3} $ 以下である。この結果は、多角形の頂点を細い列に幾何的に分解し、非負行列ランク理論を応用して拡張複雑度を制限することで得られた。

ABSTRACT

Every convex polygon with $n$ vertices is a linear projection of a higher-dimensional polytope with at most $147\,n^{2/3}$ facets.

研究の動機と目的

• 凸多角形の最悪ケースにおける拡張複雑度に関する質問1を解決すること。
• 任意の凸 $ n $-角形に線形射影可能な高次元多面体に必要な最小の面数、$ \operatorname{pc}(n) $ を特定すること。
• 従来の文献および次元数え上げ的議論に基づく、$ \operatorname{pc}(n) $ が $ n $ に対してほぼ線形であるという期待を、反証すること。
• 幾何的・代数的技法を用いて、$ \operatorname{pc}(n) $ の非線形上界を確立すること、具体的には $ \operatorname{pc}(n) \leq 147n^{2/3} $ を示すこと。

提案手法

• 任意の凸 $ n $-角形の頂点集合を、12個の部分集合に分解し、3個以上の頂点を持つ各部分集合が $ \pi/6 $-細い列であるようにする。
• 補題8を適用して、多角形の拡張複雑度を、これらの部分集合の凸包の拡張複雑度の和に、残りの頂点数を加えたもので上界づけられる。
• 補題60を用いて、各部分集合の拡張複雑度を、そのスラック行列の非負ランクを用いて上界づけ、$ \operatorname{xc}(P) $ が $ P $ のスラック行列の非負ランクに等しいという事実を活用する。
• 関数 $ \sqrt[3]{t^2} $ が凹関数であることを利用して、$ \sum n_i = n $ の制約下で、各部分集合のサイズの二乗の立方根の和を最大化し、すべての $ n_i = n/12 $ のときが最適となることを示す。
• 代数的簡略化と数値近似を用いて、最終的な上界 $ \operatorname{xc}(P) \leq \frac{324}{\sqrt[3]{129}} \cdot 12 \sqrt[3]{n^2 / 12^2} < 147n^{2/3} $ を導出する。
• 非負ランクと拡張複雑度に関する既知の結果、特に Yannakakis の定理（拡張複雑度がスラック行列の非負ランクに等しい）を活用する。

実験結果

リサーチクエスチョン

• RQ1 高次元多面体が任意の凸 $ n $-角形に線形射影可能であるために必要な最小の面数 $ \operatorname{pc}(n) $ は何か？
• RQ2 凸 $ n $-角形の拡張複雑度は、$ n $ に対して非線形に上界づけられるか、それとも漸近的に線形以上であるか？
• RQ3 多角形の頂点の幾何的構造、特にその角度分布が、細い列への分解を通じて非線形の拡張複雑度を可能にするか？
• RQ4 幾何的分解と凹関数の最大化を用いて、$ n $-角形のスラック行列の非負ランクを上界づけられるか？
• RQ5 拡張形式の最適な実装に非自明な数の面が必要となる多角形を構成可能か？これにより、$ \operatorname{pc}(n) $ が $ \sqrt{n} $ より速く増加するとする予想を支持できるか？

主な発見

• 本論文は非線形上界を確立した：$ \operatorname{pc}(n) \leq 147n^{2/3} $ であり、任意の凸 $ n $-角形が、高次元多面体から線形射影可能であることを示した。
• この上界は、$ n $-角形の頂点を12個の部分集合に分解し、それぞれが小さいか $ \pi/6 $-細い列であるようにし、それらの個々の拡張複雑度を合算することで得られた。
• 制約 $ \sum n_i = n $ の下で、$ \sum_{i=1}^{12} \sqrt[3]{n_i^2} $ の最大値は、すべての $ n_i = n/12 $ のとき達成され、これが最もタイトな推定となる。
• 最終的な上界は、不等式 $ \frac{324}{\sqrt[3]{129}} \cdot 12 \sqrt[3]{n^2 / 12^2} < 147n^{2/3} $ を用いて、すべての正の整数 $ n $ に対して数値的に検証された。
• この結果により、従来の文献から生じる $ \operatorname{pc}(n) $ が $ n $ に対してほぼ線形であるという期待が反証され、代わりに厳密に非線形の成長率であることが示された。
• 本論文は、$ \operatorname{pc}(n) = \sqrt{n} \cdot \alpha(n) $ であり、$ \alpha(n) $ が無限大に発散するという予想を支持しており、相関多面体の証拠と既知の下界に基づいて、拡張複雑度が $ \sqrt{n} $ より速く増加することを示唆している。