[論文レビュー] Refined dual Grothendieck polynomials, integrability, and the Schur measure

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

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

ひとこと要約

本稿では、分割関数が精細化された双対グロテンディーク多項式に一致する頂点モデルを構築し、単項式を交差しない格子パスとして解釈する。可積分系の技法を用いて、精細化されたジャコビ＝トゥルディ型式を証明し、新しいリトルウッドおよびコーシー＝リトルウッド恒等式を確立し、確率論的および代数的手段を通じて多項式を最終到達時間パーコレーション（LPP）およびシュール過程と結びつける。

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）に対応する状態を持つ、ざらざらした格子上の五頂点モデルを構築し、精細化された双対グロテンディーク多項式の単項式を符号化する。
• 精細化された双対グロテンディーク多項式のシュール分解を用いて、分割関数を逆平面分割の和として解釈する。
• ヤン＝バクスター方程式および移行行列法を含む可積分系の技法を適用し、恒等式および構造的公式を導出する。
• ヨハンソンのLPPのジャコビ＝トゥルディ型式の代数的証明を精細化し、パrameter $\mathbf{t} = (t_1, \dots, t_{\ell-1})$ を導入することで $\beta$-ケースを一般化する。
• チエン＝リー＝ルックの恒等式を用いて、精細化された双対グロテンディーク多項式がラスカウクの意味でのマルチシュール関数であることを示す。
• LPPモデルと逆平面分割の間の確率的双対写像を確立し、共通確率 $P(\mathbf{G}(n) = \lambda)$ が正規化定数を除き $g_\lambda(\mathbf{x}; \mathbf{t})$ に一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 精細化された双対グロテンディーク多項式は、可積分頂点モデルの分割関数として実現可能か？
• RQ2 精細化された双対グロテンディーク多項式に対して、リトルウッドおよびコーシー＝リトルウッド恒等式のどの精細化版が成り立つか？
• RQ3 パrameter $\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})$ の双対ジャコビ＝トゥルディ型式は、ヨハンソンの証明にインspiredされた精細化された代数的技法を用いて証明され、キムおよびアマノフ–イェリウシゾフによる最近の結果を独立に確認した。