[论文解读] 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

一句话总结

本文研究了正 Grassmannian 中子式之间等式与不等式的组合结构，通过一种新颖的立方距离度量将 t 阶最大子式排列与单纯形的剖分联系起来。关键贡献在于建立了 t 阶最大子式相对于最大子式的位置半径界限，表明其位于立方度量下半径为 $2^{t-1}$ 的球体内，该结果对子式之间的偏序结构及其在 Lam-Postnikov 剖分中的几何实现具有重要意义。

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.

研究动机与目标

• 理解正 Grassmannian 中子式之间等式与不等式的完整组合结构，超越目前已知的最大与最小子式情形。
• 将已知的最大子式排列与 Lam-Postnikov 单纯形剖分中单形之间的双射关系，扩展至 t 阶最大子式的排列。
• 在剖分的对偶图上定义并分析一种立方距离，以刻画按大小递减排列的子式之间的空间分布。
• 通过最大子式的排列诱导所有子式上的偏序集（poset）结构，揭示其在剖分中表现为二维网格结构。

提出的方法

• 在 Lam-Postnikov 单纯形剖分的对偶图上定义一种基于超平面 $H_{i,j,r}$（形式为 $x_i + \cdots + x_j = r$）分离的立方距离 $d_{ij}(x,y)$。
• 利用有序集合的概念以及子式的 $\epsilon_I$-坐标，形式化该距离并将其与子式的组合性质关联。
• 通过归纳法证明：在立方度量下，t 阶最大子式位于最大子式集合周围半径为 $2^{t-1}$ 的球体内，利用 Skandera 不等式及排序操作 $\text{Sort}_1, \text{Sort}_2$。
• 借助 Lam-Postnikov 单纯形剖分的电路剖分结构，将子式的偏序集描述为二维网格结构。
• 应用 [FP15] 中关于有序集合与弱分离的结果，将剖分的几何结构与子式排列的组合性质联系起来。
• 利用超平面分离条件定义子式相对于另一子式位于特定距离内的条件，从而实现对 t 阶最大子式的位置半径界限。

实验结果

研究问题

• RQ1 正 Grassmannian 中 t 阶最大子式的排列如何与单纯形的剖分相关联？
• RQ2 何种几何或组合结构控制了正 Grassmannian 中按大小递减排列的子式之间的相对位置？
• RQ3 剖分对偶图上的立方距离是否可用于界定 t 阶最大子式相对于最大子式的位置？
• RQ4 由最大子式排列所诱导的全部子式上的偏序集结构，如何反映剖分中潜在的二维网格结构？
• RQ5 在立方度量下，所有 t 阶最大子式相对于最大子式集合的精确半径是多少？

主要发现

• 第二大的子式对应于 Lam-Postnikov 单纯形剖分中单形的面。
• 所有 t 阶最大子式均位于立方距离度量下，以最大子式集合为中心、半径为 $2^{t-1}$ 的球体内。
• 由最大子式排列所诱导的全部子式偏序集，可通过 Lam-Postnikov 单纯形剖分实现为二维网格结构。
• 当且仅当集合 $I$ 与 $J$ 为有序集合时，立方距离 $d_{ij}(I,J)$ 的值不超过 1，这表明该度量与已知的组合结构存在关联。
• 半径界限的证明依赖于对 Skandera 不等式的归纳应用，以及排序操作 $\text{Sort}_1, \text{Sort}_2$ 对子式坐标的性质分析。
• 该结果表明，t 阶最大子式的排列被限制在最大子式周围的一个有界区域内，且该界限随 $t$ 呈指数增长。