[论文解读] Total positivity, Grassmannians, and networks

Alexander Postnikov|ArXiv.org|Sep 27, 2006

Advanced Combinatorial Mathematics参考文献 30被引用 498

一句话总结

本文建立了平面有向网络、完全正性与格拉斯曼流形组合之间的深刻联系。通过网络的边界测量，引入了完全非负格拉斯曼流形的参数化方法，证明这些测量构成了非负格拉斯曼流形胞腔的胞覆分解，并提供了多种组合模型——如$\Gamma$-图、带装饰的排列和交错辫图——用于描述这些胞腔，且给出了明确的双射关系与计数公式。

ABSTRACT

The aim of this paper is to discuss a relationship between total positivity and planar directed networks. We show that the inverse boundary problem for these networks is naturally linked with the study of the totally nonnegative Grassmannian. We investigate its cell decomposition, where the cells are the totally nonnegative parts of the matroid strata. The boundary measurements of networks give parametrizations of the cells. We present several different combinatorial descriptions of the cells, study the partial order on the cells, and describe how they are glued to each other.

研究动机与目标

• 通过边界测量，建立平面有向网络与完全非负格拉斯曼流形之间的对应关系。
• 将边界测量映射的像刻画为完全非负格拉斯曼流形$Gr_{kn}^{\mathrm{tnn}}$。
• 利用马蒂罗伊德层与非负格拉斯曼流形胞腔，提供$Gr_{kn}^{\mathrm{tnn}}$的组合胞腔分解。
• 描述保持边界测量不变的网络变换，包括规范不变性与边方向变换。
• 对非负格拉斯曼流形胞腔进行计数，并将其与带装饰的排列、$\Gamma$-图及超平面排列相关联。

提出的方法

• 定义从平面网络到格拉斯曼流形$Gr_{kn}$的边界测量映射$\mathit{Meas}$，其中$M_{ij}$为从源$b_i$到汇$b_j$的所有路径上边权乘积之和。
• 引入回路消除路径与卷绕指标的概念，以处理含定向环的网络，确保边界测量保持为不含减法的有理函数。
• 使用$\Gamma$-图——满足$\Gamma$-性质的杨图填数（0与1）——来参数化非负格拉斯曼流形胞腔$S_{\mathcal{M}}^{\mathrm{tnn}}$。
• 通过格拉斯曼项链与循环布吕赫特序，建立$\Gamma$-图与带装饰排列之间的双射。
• 应用规范变换与方块移动等变换，关联具有相同边界测量的不同网络。
• 构建平面辫图（plabic networks，即平面双分图），并利用交错辫图建模胞腔分解，研究其粘合结构。

实验结果

研究问题

• RQ1 从平面有向网络到格拉斯曼流形的边界测量映射的像是什么？
• RQ2 完全非负格拉斯曼流形如何分解为胞腔？哪些组合对象参数化了这些胞腔？
• RQ3 哪些网络变换保持边界测量不变？网络能否从其测量结果中重建？
• RQ4 在$Gr_{kn}^{\mathrm{tnn}}$中，非负格拉斯曼流形胞腔的数量是多少？其与带装饰排列等组合不变量有何关联？
• RQ5 是否存在多种组合模型（如$\Gamma$-图、车放置、超平面排列）来枚举$Gr_{kn}^{\mathrm{tnn}}$中的同一类对象？

主要发现

• 边界测量映射$\mathit{Meas}$的像是完全非负格拉斯曼流形$Gr_{kn}^{\mathrm{tnn}}$，且具有固定组合结构的网络的像为非负格拉斯曼流形胞腔$S_{\mathcal{M}}^{\mathrm{tnn}}$。
• 在$Gr_{kn}^{\mathrm{tnn}}$中，非负格拉斯曼流形胞腔的数量等于形状为$\lambda \subseteq (n-k)^k$的$\Gamma$-图的数量，该数量也等于具有给定反超越集的带装饰排列的数量。
• 大小为$n$的带装饰排列总数为$N_n = \sum_{k=0}^n N_{kn}$，满足递推关系$N_n = n \cdot N_{n-1} + 1$，初始值$N_0 = 1$，其指数生成函数为$\sum_{n \geq 0} N_n \frac{x^n}{n!} = \frac{e^x}{1-x}$。
• 非负胞腔维数的生成函数为$N_{kn}(q) = \sum_D q^{|D|}$，其中求和范围为形状$\lambda \subseteq (n-k)^k$的$\Gamma$-图，$|D|$为图中1的个数。
• 形状为三角形$\lambda = (n,n-1,\dots,1)$且角落方格中不含1的$\Gamma$-图与$S_n$中的排列之间存在双射，此类图的数量为$n!$。
• 在$\Omega_\lambda$中，非负胞腔的数量等于在$\lambda$上的德图顿放置数、在偏移形状$\kappa_\lambda$上的车放置数、超平面排列$A_{w_\lambda}$的区域数，以及布吕赫特区间$[e, w_\lambda]$中的元素数，从而建立了深刻的组合等价性。