[論文レビュー] Arrangements Of Minors In The Positive Grassmannian And a Triangulation of The Hypersimplex

Miriam Farber, Yelena Mandelshtam|arXiv (Cornell University)|Sep 8, 2015

Advanced Combinatorial Mathematics参考文献 22被引用数 3

ひとこと要約

本稿は、正のグラスマンニアンにおける小行列式同士の等式および不等式の組み合わせ的構造を調査し、t番目に大きな小行列式の配置を、双対グラフ上の新規な立方体距離を用いてハイパーシンプレックスの三角形分割に関連付ける。主な貢献は、t番目に大きな小行列式が立方体距離で半径 $2^{t-1}$ の球内に存在することを示す半径束縛であり、これは小行列式の順序集合構造およびラム＝ポストニコフの三角形分割における幾何的実現に影響を及ぼす。

ABSTRACT

The structure of zero and nonzero minors in the Grassmannian leads to rich combinatorics of matroids. In this paper, we investigate an even richer structure of possible equalities and inequalities between the minors in the positive Grassmannian. It was previously shown that arrangements of equal minors of largest value are in bijection with the simplices in a certain triangulation of the hypersimplex that was studied by Stanley, Sturmfels, Lam and Postnikov. Here we investigate the entire set of arrangements and its relations with this triangulation. First, we show that second largest minors correspond to the facets of the simplices. We then introduce the notion of cubical distance on the dual graph of the triangulation, and study its relations with the arrangement of t-th largest minors. Finally, we show that arrangements of largest minors induce a structure of partially ordered sets on the entire collection of minors. We use the Lam and Postnikov circuit triangulation of the hypersimplex to describe a 2-dimensional grid structure of this poset.

研究の動機と目的

• 正のグラスマンニアンにおける小行列式の等式および不等式の完全な組み合わせ的構造を、最大および最小の小行列式の既知のケースを超えて理解すること。
• ラム＝ポストニコフのハイパーシンプレックスの三角形分割における最大小行列式の配置と単体の間の既知の双対写像を、t番目に大きな小行列式の配置へと拡張すること。
• 三角形分割の双対グラフ上に定義された立方体距離を定義・分析し、大小が減少する小行列式の空間的分布を特徴付けること。
• 最大小行列式の配置によって誘導されるすべての小行列式の順序集合（poset）構造を確立し、三角形分割を介して2次元グリッド構造を明らかにすること。

提案手法

• ハイパーシンプレックスのラム＝ポストニコフ三角形分割の双対グラフ上に、形式 $x_i + \cdots + x_j = r$ の超平面 $H_{i,j,r}$ を用いて立方体距離 $d_{ij}(x,y)$ を定義する。
• 小行列式の $\epsilon_I$-座標とソート集合の概念を用いて距離を形式化し、小行列式の組み合わせ的性質と関連付ける。
• スカンデラの不等式とソート操作 $\text{Sort}_1, \text{Sort}_2$ を用いて、帰納法により $t$-番目に大きな小行列式が立方体距離で最大小行列式の集合の周囲に半径 $2^{t-1}$ の球内にあることを証明する。
• ラム＝ポストニコフの回路三角形分割を活用し、小行列式の順序集合を2次元グリッド構造として記述する。
• [FP15] のソート集合および弱分離に関する結果を応用し、三角形分割の幾何と小行列式配置の組み合わせ的性質の関係を結びつける。
• 超平面分離条件を用いて、ある小行列式が別の小行列式から特定の距離内にあるかどうかを定義し、$t$-番目に大きな小行列式の半径束縛を可能にする。

実験結果

リサーチクエスチョン

• RQ1 正のグラスマンニアンにおける $t$-番目に大きな小行列式の配置は、ハイパーシンプレックスの三角形分割とどのように関係するか？
• RQ2 正のグラスマンニアンにおける大小が減少する小行列式の相対的位置を支配する幾何的または組み合わせ的構造は何か？
• RQ3 三角形分割の双対グラフ上の立方体距離を用いて、$t$-番目に大きな小行列式の最大小行列式からの位置を束縛できるか？
• RQ4 最大小行列式の配置によって誘導されるすべての小行列式の順序集合構造は、三角形分割における2次元グリッド構造をどのように反映するか？
• RQ5 立方体距離において、すべての $t$-番目に大きな小行列式が最大小行列式の集合の周囲に存在する正確な半径は何か？

主な発見

• 2番目に大きな小行列式は、ラム＝ポストニコフのハイパーシンプレックス三角形分割における単体の面に対応する。
• すべての $t$-番目に大きな小行列式は、立方体距離で最大小行列式の集合の周囲に半径 $2^{t-1}$ の球内にある。
• 最大小行列式の配置によって誘導されるすべての小行列式の順序集合は、ラム＝ポストニコフのハイパーシンプレックス三角形分割を介して2次元グリッド構造として実現可能である。
• 立方体距離 $d_{ij}(I,J)$ が1以下であることは、かつは集合 $I$ と $J$ がソート済みであることにのみ依存し、これにより距離が既知の組み合わせ的構造と関連づけられる。
• 半径束縛の証明は、スカンデラの不等式の帰納的適用と、小行列式座標におけるソート操作 $\text{Sort}_1, \text{Sort}_2$ の性質に依存する。
• この結果は、$t$-番目に大きな小行列式の配置が最大小行列式の周囲に有界な領域に制限されることを示し、その束縛は $t$ に対して指数関数的に増大する。