[論文レビュー] Neighborly and almost neighborly configurations, and their duals

Arnau Padrol|arXiv (Cornell University)|Apr 26, 2013

Optimization and Packing Problems参考文献 4被引用数 4

ひとこと要約

本稿では、Gale 縫い付け構成（Gale Sewing Construction）を導入し、隣接する多面体およびほぼ隣接する多面体とその双対の向き付きマトロイドを体系的に生成する手法を提示する。辞書的拡張とGale双対性を活用することで、Gale 縫い付けられた隣接多面体のすべての部分多面体が再び隣接することを証明し、元の単体的多面体の辞書的三角形分割に基づいて、このような多面体のクラスの完全な組合せ的記述を確立する。

ABSTRACT

This thesis presents new applications of Gale duality to the study of polytopes, point configurations and oriented matroids with extremal combinatorial properties. The first part of the thesis explores construction techniques for neighborly polytopes and oriented matroids. First, we provide a new interpretation of Shemer's classical Sewing Construction for neighborly polytopes in terms of lexicographic extensions of oriented matroids. This allows us to provide a simplified proof and to generalize it to oriented matroids in two ways: the Extended Sewing Construction and the Gale Sewing Construction. Estimating the number of polytopes constructed with the later, we can provide new lower bounds for the number of combinatorial types of neighborly polytopes that even improve the current best bounds for the number of polytopes. The combination of both new techniques also allows us to construct many non-realizable neighborly oriented matroids. The degree of a point configuration is the maximal codimension of its interior faces. The second part of the thesis presents various results on the combinatorial structure of point configurations whose degree is small compared to their dimension; specifically, those whose degree is smaller than [(d+1)/2], the degree of neighborly polytopes. The study of this problem comes motivated by Ehrhart theory, where a notion equivalent to the degree - for lattice polytopes - has been widely studied during the last years. In addition, the study of the degree is also related to the Generalized Lower Bound Theorem for simplicial polytopes, with Cayley polytopes and with Tverberg theory. Among other results, we present a complete combinatorial classification for point configurations of degree 1. Moreover, we show combinatorial restrictions for configurations of small degree in terms of the novel concepts of weak Cayley configurations and codegree decompositions.

研究の動機と目的

• 隣接およびほぼ隣接する点配置とその双対の向き付きマトロイドを体系的に構成するための手法を開発すること。
• Gale 縫い付けられた隣接多面体内の部分多面体の組合せ的構造を特徴づけること。
• 双対性および拡張技術を用いて、Gale 縫い付けられた隣接多面体のすべての部分多面体が再び隣接することを確立すること。
• 元の多面体の辞書的三角形分割の観点から、Gale 縫い付け構成の組合せ的記述を提供すること。

提案手法

• Gale 縫い付け構成は、双対マトロイドの辞書的拡張を用いて、既存の多面体から新しい隣接多面体を生成する。
• 点配置をベクトル配置に、逆にベクトル配置を点配置に変換するGale双対性を適用し、組合せ的構造を保存する。
• 部分多面体とその双対を分析するために、向き付きマトロイドにおける削除および縮約作用に依存する。
• Sewing定理およびその拡張版を用いて、普遍フラグおよび部分フラグから隣接多面体を構成する。
• 構成は、双対マトロイドの拡張として形式化される：与えられた双対マトロイド M に対して、新しい双対は M[p][q] である。ここで p と q は特定の辞書的拡張である。
• 証明はランクに関する帰納法を用い、向き付きマトロイドにおける商および縮約作用に関する補題を活用して、頂点削除に関して閉じていることを示す。

実験結果

リサーチクエスチョン

• RQ1 Gale 縫い付けられた隣接多面体のすべての部分多面体が隣接のままであることが示せるか？
• RQ2 元のSewing定理を超えて、普遍フラグでないものも含む一般化は可能か？
• RQ3 Gale 縫い付け構成における元の単体的多面体と得られる辞書的三角形分割との間の組合せ的関係は何か？
• RQ4 向き付きマトロイドの辞書的拡張は、点配置における幾何的作用とどのように対応するか？
• RQ5 この方法による隣接多面体の構成において、最適性および最小性を保証する条件は何か？

主な発見

• Gale 縫い付けられた隣接多面体のすべての部分多面体が、双対向き付きマトロイドのランクに関する帰納法を用いた証明により、再び隣接することが示された。
• 頂点を削除して得られる部分多面体の双対は、元の双対マトロイドの商に等しく、具体的には (N/ẽ)[p̃][q̃] である。ここで ẽ は基本マトロイドにおける対応する要素である。
• 辞書的拡張を通じて、隣接性が保たれる：元のマトロイドが隣接であれば、拡張されたマトロイドに対しても隣接性が成立する。
• Gale 縫い付け多面体の組合せ的性質は、元の単体的多面体の辞書的三角形分割によって完全に記述される。
• 普遍部分フラグを含むフラグの使用を許容することで、この方法は古典的Sewing定理を一般化し、構成可能な隣接配置の範囲を拡大する。
• 証明は、向き付きマトロイド P の任意の要素 e に対して、P emove e の双対が (N/ẽ)[p̃][q̃] に同型であるという重要な補題に依存しており、頂点削除に関して閉じていることを保証する。