[论文解读] Refined dual Grothendieck polynomials, integrability, and the Schur measure

Kohei Motegi, Travis Scrimshaw|arXiv (Cornell University)|Dec 30, 2020

Advanced Combinatorial Mathematics参考文献 9被引用 11

一句话总结

本文构建了一个顶点模型，其分划函数等于精化对偶格罗滕迪克多项式，并将单项式解释为非相交格路。利用可积系统技巧，证明了精化版的雅可比-特雷米公式，建立了新的利特尔伍德与柯西-利特尔伍德恒等式，并通过概率与代数方法将这些多项式与最后通过时渗滤及施尔过程联系起来。

ABSTRACT

We construct a vertex model whose partition function is a refined dual Grothendieck polynomial, where the states are interpreted as nonintersecting lattice paths. Using this, we show refined dual Grothendieck polynomials are multi-Schur functions and give a number of identities, including a Littlewood and Cauchy(-Littlewood) identity. We then refine Yeliussizov's connection between dual Grothendieck polynomials and the last passage percolation (LPP) stochastic process discussed by Johansson. By refining algebraic techniques of Johansson, we show Jacobi-Trudi formulas for skew refined dual Grothendieck polynomials conjectured by Grinberg and recover a relation between LPP and the Schur process due to Baik and Rains. Lastly, we extend our vertex model techniques to show some identities for refined Grothendieck polynomials, including a Jacobi-Trudi formula.

研究动机与目标

• 通过非相交格路构造一个分划函数为精化对偶格罗滕迪克多项式的顶点模型。
• 利用可积系统方法，为精化对偶格罗滕迪克多项式证明精化版的利特尔伍德与柯西-利特尔伍德恒等式。
• 通过概率与代数技术，将精化对偶格罗滕迪克多项式与最后通过时渗滤（LPP）及施尔过程联系起来。
• 将顶点模型框架扩展，为精化格罗滕迪克多项式推导新恒等式，包括雅可比-特雷米公式。
• 通过施尔分解与可积性，证明精化对偶格罗滕迪克多项式为多重施尔函数。

提出的方法

• 在锯齿形格点上构造一个五顶点模型，其中状态对应于非相交格路（NILP），编码精化对偶格罗滕迪克多项式的单项式。
• 利用精化对偶格罗滕迪克多项式的施尔分解，将分划函数解释为反平面分拆的和。
• 应用可积系统技巧，包括杨-巴克斯方程与转移矩阵方法，推导恒等式与结构公式。
• 通过引入参数 $\mathbf{t} = (t_1, \dots, t_{\ell-1})$，精化约尔丹对LPP的代数证明，推广 $\beta$-情形。
• 利用陈-李-娄克恒等式，证明精化对偶格罗滕迪克多项式在拉苏克斯意义下为多重施尔函数。
• 在LPP模型与反平面分拆之间建立概率双射，将联合概率 $P(\mathbf{G}(n) = \lambda)$ 与 $g_\lambda(\mathbf{x}; \mathbf{t})$ 关联，仅相差一个归一化因子。

实验结果

研究问题

• RQ1 精化对偶格罗滕迪克多项式能否作为可积顶点模型的分划函数实现？
• RQ2 精化对偶格罗滕迪克多项式是否具有精化版的利特尔伍德与柯西-利特尔伍德恒等式？
• RQ3 如何将最后通过时渗滤与施尔过程之间的联系扩展至含参数 $\mathbf{t}$ 的精化情形？
• RQ4 是否存在精化对偶格罗滕迪克多项式的多重施尔函数解释？其与施尔分解有何关系？
• RQ5 能否利用可积系统与精化代数技巧推导出斜形的对偶雅可比-特雷米公式？

主要发现

• 通过施尔分解与可积性技术，证明精化对偶格罗滕迪克多项式 $g_\lambda(\mathbf{x}; \mathbf{t})$ 为多重施尔函数。
• 利用顶点模型与可积系统框架，获得关于直形的雅可比-特雷米公式的全新证明。
• 建立了精化版的利特尔伍德与柯西-利特尔伍德恒等式，拓展了阿马诺夫-叶利乌西佐夫与叶利乌西佐夫的早期结果。
• 在LPP模型中，联合概率 $P(\mathbf{G}(n) = \lambda)$ 被识别为 $g_\lambda(\mathbf{x}; \mathbf{t})$，仅相差一个整体归一化因子。
• 通过顶点模型构造，揭示了精化对偶格罗滕迪克多项式中新的对称性。
• 通过受约尔丹证明启发的精化代数技巧，独立证明了斜形 $g_{\lambda/\mu}(\mathbf{x}; \mathbf{t})$ 的对偶雅可比-特雷米公式，与金及阿马诺夫-叶利乌西佐夫的近期结果相互印证。