[论文解读] Combinatorial formulas for Le-coordinates in a totally nonnegative Grassmannian

Kelli Talaska|ArXiv.org|Dec 3, 2008

Advanced Mathematical Theories and Applications参考文献 6被引用 7

一句话总结

本文提供了明确的组合公式，用于确定完全非负格拉斯曼流形中某一点所属的正胞（positroid cell），并计算其Γ坐标，推广了Speyer和Williams对顶胞的结果。该研究简化了Postnikov的递归边界测量逆映射，并为每个胞确定了一个最小的完全正的普吕克坐标基底。

ABSTRACT

Postnikov constructed a decomposition of a totally nonnegative Grassmannian into positroid cells. We provide combinatorial formulas that allow one to decide which cell a given point belongs to and to determine affine coordinates of the point within this cell. This simplifies Postnikov's description of the inverse boundary measurement map and generalizes formulas for the top cell given by Speyer and Williams. In addition, we identify a particular subset of Pluecker coordinates as a totally positive base for the set of non-vanishing Pluecker coordinates for a given positroid cell.

研究动机与目标

• 提供一种直接的、组合的判别准则，用于确定给定点在完全非负格拉斯曼流形中属于哪一个正胞。
• 推导出在正胞内计算Γ坐标的显式非递归公式，推广先前对顶胞的结果。
• 简化Postnikov此前定义的递归边界测量逆映射。
• 识别出一个最小的普吕克坐标集合，使其构成给定正胞中非零普吕克坐标的一个完全正基底。
• 通过路径族与面权重，建立Γ-表、平面网络（Γ-网络）与普吕克坐标之间的联系。

提出的方法

• 从Γ-图L构造Γ-网络，使用一个具有边界源和汇的平面网络，其边界标记为[n]中的指标，其中形状λ由该图决定。
• 使用Γ-表T为Γ-网络的面分配权重，其中Γ-图中的每个+对应一个正实参数（即Γ坐标）。
• 定义Γ-网络中的广义路径W，并利用“最西北非相交路径族”Nest(W)的概念，将路径权重与普吕克坐标关联起来。
• 通过公式 wt(Nest(W)) = ∏_B (P_M(B)(Meas(T)))^{ε_W(B)} 表达Γ坐标为普吕克坐标的有理函数，其中B为满足L_B = +的方框。
• 通过将每个Γ坐标T_B表示为嵌套路径族权重之比，推导出逆边界测量映射：T_B = [wt(Nest(U_F))/wt(Nest(U_F'))] / [wt(Nest(D_F))/wt(Nest(D_F'))]，其中F = F(B)。
• 证明对于Γ-图L所索引的每个正胞，对应于满足L_B = +的方框B的普吕克坐标P_M(B)的集合，构成Fomin和Zelevinsky意义下的完全正基底。

实验结果

研究问题

• RQ1 如何算法性地确定给定点在完全非负格拉斯曼流形中属于哪一个正胞？
• RQ2 何种显式组合公式能以普吕克坐标表达点的Γ坐标，推广Speyer和Williams对顶胞的公式？
• RQ3 Postnikov的递归逆边界测量映射能否被一个非递归的显式公式所替代？
• RQ4 在固定正胞中，何种最小普吕克坐标集合构成非零普吕克坐标的完全正基底？
• RQ5 平面Γ-网络中的路径族如何编码Γ坐标与普吕克坐标之间的关系？

主要发现

• 本文提供了一种非递归的、组合的判别准则，利用普吕克坐标确定完全非负格拉斯曼流形中某一点所属的正胞。
• 推导出Γ坐标的显式公式，其形式为Γ-网络中路径族所索引的普吕克坐标乘积之比，推广了Speyer和Williams对顶胞的公式。
• 将逆边界测量映射从递归定义简化为使用嵌套路径族与面权重的显式公式。
• 对于由Γ-图L索引的每个正胞，对应于满足L_B = +的方框B的普吕克坐标P_M(B)的集合，在Fomin和Zelevinsky的意义下构成一个完全正基底。
• Γ-网络中“最西北非相交路径族”Nest(W)的权重由 ∏_{L_B = +} (P_{M(B)}(Meas(T)))^{ε_W(B)} 给出，建立了路径族与普吕克坐标之间的直接联系。
• 对于满足L_B = +的方框B，其Γ坐标T_B由相邻于B的面U_F和D_F所关联的嵌套路径族权重之比给出，从而提供了一个构造性的逆映射。